[PATCH] D14850: ScalarEvolution: do not set nuw when creating exprs of form <expr> + <all-ones>.

Hans Wennborg via llvm-commits llvm-commits at lists.llvm.org
Thu Nov 19 17:05:21 PST 2015


hans added inline comments.

================
Comment at: lib/Analysis/ScalarEvolution.cpp:7031
@@ -7030,3 +7030,3 @@
       RHS = getAddExpr(getConstant(RHS->getType(), (uint64_t)-1, true), RHS,
                        SCEV::FlagNSW);
       Pred = ICmpInst::ICMP_SGT;
----------------
Just to double check: this one is safe right?


http://reviews.llvm.org/D14850





More information about the llvm-commits mailing list