[PATCH] D27413: Simplify gep (gep p, a), (b-a)

[Andrea Canciani via Phabricator via llvm-commits]

ranma42 added a comment.

The const+const pattern is already tested by test3 in test/Transforms/InstCombine/getelementptr.ll
Are there any other specific patterns that might be important to include in the patch?

I can write tests for more patterns, but I have no clue on how to check that any instcombine-able pattern will be folded away. Is it possible to do that? Any hints on how it could be achieved?


https://reviews.llvm.org/D27413