private static byte floatDiv(OPT_Instruction s) {
private static DefUseEffect floatDiv(OPT_Instruction s) {
  private static byte floatDiv(OPT_Instruction s) {   if (CF_FLOAT) {      OPT_Operand op2 = Binary.getVal2(s);      if (op2.isFloatConstant()) {        OPT_Operand op1 = Binary.getVal1(s);        if (op1.isFloatConstant()) {          // BOTH CONSTANTS: FOLD          float val1 = op1.asFloatConstant().value;          float val2 = op2.asFloatConstant().value;          Move.mutate(s, FLOAT_MOVE, Binary.getClearResult(s),                       FC(val1/val2));          return MOVE_FOLDED;        }      }    }    return UNCHANGED;  }