Examples with IValue com.dat3m.dartagnan.expression.IValue used on opensource projects

Example 11 with IValue

use of com.dat3m.dartagnan.expression.IValue in project Dat3M by hernanponcedeleon.

the class VisitorLitmusAArch64 method visitExpressionRegister32.

@Override
public IExpr visitExpressionRegister32(LitmusAArch64Parser.ExpressionRegister32Context ctx) {
    IExpr expr = programBuilder.getOrCreateRegister(mainThread, ctx.register32().id, ARCH_PRECISION);
    if (ctx.shift() != null) {
        IValue val = new IValue(new BigInteger(ctx.shift().immediate().constant().getText()), ARCH_PRECISION);
        expr = new IExprBin(expr, ctx.shift().shiftOperator().op, val);
    }
    return expr;
}