[polly] [InstCombine] Canonicalise SextADD + GEP (PR #69581)

[Nikita Popov via llvm-commits]

nikic wrote:

Please, can you take a bit more care? Your proof is very obviously broken if you just look at the result.

Here is a fixed version: https://alive2.llvm.org/ce/z/FSNnoo Note that the `nsw` on the `add` is required for correctness, which you don't check.

https://github.com/llvm/llvm-project/pull/69581