Expand description
Peephole optimizations applied during translation.
These fire when abstract interpretation has proven one or more operands are constant, replacing expensive opaque builtins (DIV, MOD, SDIV, SMOD, ADDMOD, MULMOD, EXP) with native LLVM operations that it can optimize further (e.g. pow2 udiv → lshr, pow2 urem → and).
Constants§
- INT_MIN 🔒
- i256 INT_MIN: 1 << 255.