[PATCH] D106852: [SCEV] Fix getAddExpr for adding loop invariants into start of some AddRec

[Eli Friedman via Phabricator via llvm-commits]

efriedma added inline comments.


================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:2788
+      SCEV::NoWrapFlags FlagsForNewStart = Flags;
+      if (UsedLoops.size())
+        FlagsForNewStart = StrengthenNoWrapFlags(
----------------
I'm not sure I see the connection between UsedLoops.size() and the treatment of nowrap flags.


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

https://reviews.llvm.org/D106852