tree 4b29a365c871e83b349da006f8e6de2444437070
parent 7c4c8ac846a064a76f393f8df5868391caf0fe62
author Philip Reames <listmail@philipreames.com> 1633300335 -0700
committer Copybara-Service <copybara-worker@google.com> 1633300540 -0700

[SCEV] Use full logic when infering flags on add and gep

This is a followon to D109845. With that landed, we will have fixed all known instances of pr51817, and can thus start inferring flags more aggressively with greatly reduced risk of miscompiles. This patch simply applies the same inference logic used in that patch to our other major flag inference path.

We can still do much better here (on both paths), but this is our first step.

Differential Revision: https://reviews.llvm.org/D111003

GitOrigin-RevId: d02db32644b7360bcda54cdf739fa42abe450fcd