Strength reduction in this vein is pretty trivial though, even if there is lower hanging fruit. For example this is what transforming some_int * a_power_of_two looks like in PyPy: https://bitbucket.org/pypy/pypy/src/default/pypy/jit/metaint...