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

[Davide Italiano via Phabricator via llvm-commits]

davide added a comment.

In https://reviews.llvm.org/D27413#623414, @ranma42 wrote:

> 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?


Showing that any pattern will be folded may be hard, but if you can add some more patterns, that will be nice.


https://reviews.llvm.org/D27413