This PR optimizes lean_nat_shiftr for scalar operands. The new compiler converts Nat divisions into right shifts, so this now shows up as hot in some profiles. |
||
|---|---|---|
| .. | ||
| lean.h | ||
| lean_gmp.h | ||
| lean_libuv.h | ||
This PR optimizes lean_nat_shiftr for scalar operands. The new compiler converts Nat divisions into right shifts, so this now shows up as hot in some profiles. |
||
|---|---|---|
| .. | ||
| lean.h | ||
| lean_gmp.h | ||
| lean_libuv.h | ||