[PATCH] D61934: [SCEV] Use wrap flags in InsertBinop

[Nikita Popov via Phabricator via llvm-commits]

nikic added inline comments.


================
Comment at: lib/Analysis/ScalarEvolutionExpander.cpp:865
                          ConstantInt::get(Ty, RHS.logBase2()),
-                         /*IsSafeToHoist*/ true);
+                         SCEV::FlagNW, /*IsSafeToHoist*/ true);
   }
----------------
samparker wrote:
> nikic wrote:
> > Should be FlagAnyWrap?
> Neither lshr or udiv wrap, they only support 'exact'.
Right, that's why you want to pass no flags here, which is what AnyWrap (=0) does. FlagNW is a different kind of nowrap flag that doesn't apply to udiv and has no IR representation anyway.


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

https://reviews.llvm.org/D61934