private static byte intZeroCheck(OPT_Instruction s) {
private static DefUseEffect intZeroCheck(OPT_Instruction s) {
  private static byte intZeroCheck(OPT_Instruction s) {   {      OPT_Operand op = ZeroCheck.getValue(s);      if (op.isIntConstant()) {        int val = op.asIntConstant().value;        if (val == 0) {          Trap.mutate(s, TRAP, ZeroCheck.getClearGuardResult(s),                      OPT_TrapCodeOperand.DivByZero());          return TRAP_REDUCED;        } else {          Move.mutate(s, GUARD_MOVE, ZeroCheck.getClearGuardResult(s), TG());          return MOVE_FOLDED;        }      }    }    return UNCHANGED;  }