[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#623355, @ranma42 wrote:

> The new patch extends the patterns recognised by InstCombine as suggested by Eli Friedman.
>  It can now optimise any gep (gep p, a), b which can be represented as gep p, a+b whenever the a+b operation is folded or simplified away by InstSimplify.
>  This strictly extends the patterns that are captured, because the previous code only simplified the addition when one operand was 0 or both were constant.


Is it possible to add a test to show the generalized behaviour?


https://reviews.llvm.org/D27413