llvm.org GIT mirror llvm / 2e26f15
CVP. Turn marking adds as no wrap (introduced by r278107) off by default It causes a regression on our internal benchmark. Introduce cvp-dont-process flag and set it off by default while investigating the regression. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@279082 91177308-0d34-0410-b5e6-96231b3b80d8 Artur Pilipenko 3 years ago
2 changed file(s) with 6 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all
3939 STATISTIC(NumSDivs, "Number of sdiv converted to udiv");
4040 STATISTIC(NumSRems, "Number of srem converted to urem");
4141
42 static cl::opt DontProcessAdds("cvp-dont-process-adds", cl::init(true));
43
4244 namespace {
4345 class CorrelatedValuePropagation : public FunctionPass {
4446 public:
383385
384386 static bool processAdd(BinaryOperator *AddOp, LazyValueInfo *LVI) {
385387 typedef OverflowingBinaryOperator OBO;
388
389 if (DontProcessAdds)
390 return false;
386391
387392 if (AddOp->getType()->isVectorTy() || hasLocalDefs(AddOp))
388393 return false;
None ; RUN: opt < %s -correlated-propagation -S | FileCheck %s
0 ; RUN: opt < %s -correlated-propagation -cvp-dont-process-adds=false -S | FileCheck %s
11
22 ; CHECK-LABEL: @test0(
33 define void @test0(i32 %a) {