[PATCH] D11051: Extend LICM to hoist loop invariant GEP out

[hfinkel at anl.gov]

hfinkel added a comment.

I believe that if you restrict to 'inbounds' GEPs, you can avoid the overflow question.

> About doing it in inst combining, I am not an expert of inst combining, my question is: is it possible for inst combining to hoist instruction outside loop?


No, but Quentin is right. When this kind of interchange is legal, we should establish a canonical form and use instcombine to transform to it. This will also allow CSE/GVN, etc. to pick up more of these cases.

Please upload your patches with full context.


Repository:
  rL LLVM

http://reviews.llvm.org/D11051