commit c6260457ea8f4037392497b1e263e1280cc3650e
author Philip Reames <listmail@philipreames.com> Sun Oct 03 15:32:15 2021 -0700
committer Copybara-Service <copybara-worker@google.com> Sun Oct 03 15:35:40 2021 -0700
tree 4b29a365c871e83b349da006f8e6de2444437070
parent 7c4c8ac846a064a76f393f8df5868391caf0fe62

[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