Propagate a load/store offset even if locals are not in ssa form

  The initial OptimizeAddedConstants pass did not try to handle the case of non-ssa locals. However, that can happen, and optimizing those cases too improves us by almost 1% of code size on some large benchmarks like bullet.

  How this works is that if we see

  b = a + 10
  a = c
  load(b)
  then we copy the base value at the add,

  a' = a
  b = a' + 10
  a = c
  load(a', offset=10)
  This no longer has a guarantee of improving code size, since in theory both b and a may have other uses. However, in practice it's very common for b to be optimized out later.

0 files changed, 0 insertions, 0 deletions