[llvm] r269252 - Revert "[SCCP] Partially propagate informations when the input is not fully defined."

Davide Italiano via llvm-commits llvm-commits at lists.llvm.org
Wed May 11 16:06:11 PDT 2016


Author: davide
Date: Wed May 11 18:06:10 2016
New Revision: 269252

URL: http://llvm.org/viewvc/llvm-project?rev=269252&view=rev
Log:
Revert "[SCCP] Partially propagate informations when the input is not fully defined."

This reverts commit r269105 as it caused PR27712.

Modified:
    llvm/trunk/lib/Transforms/Scalar/SCCP.cpp
    llvm/trunk/test/Transforms/ConstProp/shift.ll

Modified: llvm/trunk/lib/Transforms/Scalar/SCCP.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Scalar/SCCP.cpp?rev=269252&r1=269251&r2=269252&view=diff
==============================================================================
--- llvm/trunk/lib/Transforms/Scalar/SCCP.cpp (original)
+++ llvm/trunk/lib/Transforms/Scalar/SCCP.cpp Wed May 11 18:06:10 2016
@@ -1331,9 +1331,6 @@ bool SCCPSolver::ResolvedUndefsIn(Functi
         }
 
         Op1LV = getValueState(I.getOperand(1));
-
-        if (!Op0LV.isUndefined() && !Op1LV.isUndefined())
-          break;
       }
       // If this is an instructions whose result is defined even if the input is
       // not fully defined, propagate the information.

Modified: llvm/trunk/test/Transforms/ConstProp/shift.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/ConstProp/shift.ll?rev=269252&r1=269251&r2=269252&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/ConstProp/shift.ll (original)
+++ llvm/trunk/test/Transforms/ConstProp/shift.ll Wed May 11 18:06:10 2016
@@ -1,5 +1,4 @@
 ; RUN: opt < %s -constprop -S | FileCheck %s
-; RUN: opt < %s -sccp -S | FileCheck %s
 
 ; CHECK-LABEL: shift_undef_64
 define void @shift_undef_64(i64* %p) {




More information about the llvm-commits mailing list