Today's localopt: a * (1 << x) -> a << x.