[PATCH] D144050: [SCEV] Strengthen nowrap flags via ranges for ARs on construction.

[Florian Hahn via Phabricator via llvm-commits]

fhahn marked 2 inline comments as done.
fhahn added inline comments.


================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:5739
+                   (SCEV::NoWrapFlags)(AR->getNoWrapFlags() |
+                                       proveNoWrapViaConstantRanges(AR)));
+  }
----------------
mkazantsev wrote:
> Should we update `Flags` here to have more optimistic flags for `BEInst`?
I tried to do that in D144197, but it seems the only change is a single regression; I've not looked into it in detail so far though.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D144050/new/

https://reviews.llvm.org/D144050