FOLD x / 2^k ==> x * 2^-k.

src/lj_opt_fold.c

@@ -816,6 +816,15 @@ LJFOLDF(simplify_nummuldiv_k)
     fins->o = IR_ADD;
     fins->op2 = fins->op1;
     return RETRYFOLD;
+  } else if (fins->o == IR_DIV) {  /* x / 2^k ==> x * 2^-k */
+    uint64_t u = ir_knum(fright)->u64;
+    if ((u & U64x(000fffff,ffffffff)) == 0 &&
+	(uint32_t)(u = ((u >> 52) & 0x7ff)) - 1 < 0x7fd) {
+      u = (u & (uint64_t)1 << 63) | ((uint64_t)(0x7fe - (uint32_t)u) << 52);
+      fins->o = IR_MUL;  /* Multiply by exact reciprocal. */
+      fins->op2 = lj_ir_knum_u64(J, u);
+      return RETRYFOLD;
+    }
   }
   return NEXTFOLD;
 }