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

Example 1 with BExpr

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

the class Simplifier method simplifyJump.

private boolean simplifyJump(Event pred, CondJump jump) {
    Label label = jump.getLabel();
    Event successor = jump.getSuccessor();
    BExpr expr = jump.getGuard();
    if (label.equals(successor) && expr instanceof BConst) {
        label.getListeners().remove(jump);
        pred.setSuccessor(successor);
        return true;
    }
    return false;
}

Example 2 with BExpr

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

the class Simplifier method simplifyJump.

private boolean simplifyJump(CondJump jump) {
    Label label = jump.getLabel();
    Event successor = jump.getSuccessor();
    BExpr expr = jump.getGuard();
    if (label.equals(successor) && expr instanceof BConst) {
        jump.delete();
        return true;
    }
    return false;
}