return MOVE_FOLDED;
return DefUseEffect.MOVE_FOLDED;
  private static byte intOr(OPT_Instruction s) {   if (CF_INT) {      canonicalizeCommutativeOperator(s);      OPT_Operand op1 = Binary.getVal1(s);      OPT_Operand op2 = Binary.getVal2(s);      if (op1.similar(op2)) {        // THE SAME OPERAND: x | x == x        Move.mutate(s, INT_MOVE, Binary.getClearResult(s),                     Binary.getClearVal1(s));        return op1.isConstant() ? MOVE_FOLDED : MOVE_REDUCED;      }      if (op2.isIntConstant()) {        int val2 = op2.asIntConstant().value;        if (op1.isIntConstant()) {          // BOTH CONSTANTS: FOLD          int val1 = op1.asIntConstant().value;          Move.mutate(s, INT_MOVE, Binary.getClearResult(s),                       IC(val1 | val2));          return MOVE_FOLDED;        } else {          // ONLY OP2 IS CONSTANT: ATTEMPT TO APPLY AXIOMS          if (val2 == -1) { // x | -1 == x | 0xffffffff == 0xffffffff == -1            Move.mutate(s, INT_MOVE, Binary.getClearResult(s), IC(-1));            return MOVE_FOLDED;          }          if (val2 == 0) {                  // x | 0 == x            Move.mutate(s, INT_MOVE, Binary.getClearResult(s),                         Binary.getClearVal1(s));            return MOVE_REDUCED;          }        }      }    }    return UNCHANGED;  }