[llvm-commits] [llvm] r134223 - in /llvm/trunk: lib/Analysis/InstructionSimplify.cpp lib/VMCore/ConstantFold.cpp test/Transforms/InstSimplify/binop.ll test/Transforms/InstSimplify/undef.ll

[Dan Gohman]

Author: djg
Date: Thu Jun 30 20:03:43 2011
New Revision: 134223

URL: http://llvm.org/viewvc/llvm-project?rev=134223&view=rev
Log:
Improve constant folding of undef for cmp and select operators.

Added:
    llvm/trunk/test/Transforms/InstSimplify/undef.ll
      - copied, changed from r134221, llvm/trunk/test/Transforms/InstSimplify/binop.ll
Removed:
    llvm/trunk/test/Transforms/InstSimplify/binop.ll
Modified:
    llvm/trunk/lib/Analysis/InstructionSimplify.cpp
    llvm/trunk/lib/VMCore/ConstantFold.cpp

Modified: llvm/trunk/lib/Analysis/InstructionSimplify.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/InstructionSimplify.cpp?rev=134223&r1=134222&r2=134223&view=diff
==============================================================================
--- llvm/trunk/lib/Analysis/InstructionSimplify.cpp (original)
+++ llvm/trunk/lib/Analysis/InstructionSimplify.cpp Thu Jun 30 20:03:43 2011
@@ -2204,15 +2204,15 @@
   if (TrueVal == FalseVal)
     return TrueVal;
 
-  if (isa<UndefValue>(TrueVal))   // select C, undef, X -> X
-    return FalseVal;
-  if (isa<UndefValue>(FalseVal))   // select C, X, undef -> X
-    return TrueVal;
   if (isa<UndefValue>(CondVal)) {  // select undef, X, Y -> X or Y
     if (isa<Constant>(TrueVal))
       return TrueVal;
     return FalseVal;
   }
+  if (isa<UndefValue>(TrueVal))   // select C, undef, X -> X
+    return FalseVal;
+  if (isa<UndefValue>(FalseVal))   // select C, X, undef -> X
+    return TrueVal;
 
   return 0;
 }

Modified: llvm/trunk/lib/VMCore/ConstantFold.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/VMCore/ConstantFold.cpp?rev=134223&r1=134222&r2=134223&view=diff
==============================================================================
--- llvm/trunk/lib/VMCore/ConstantFold.cpp (original)
+++ llvm/trunk/lib/VMCore/ConstantFold.cpp Thu Jun 30 20:03:43 2011
@@ -730,9 +730,12 @@
   }
 
 
+  if (isa<UndefValue>(Cond)) {
+    if (isa<UndefValue>(V1)) return V1;
+    return V2;
+  }
   if (isa<UndefValue>(V1)) return V2;
   if (isa<UndefValue>(V2)) return V1;
-  if (isa<UndefValue>(Cond)) return V1;
   if (V1 == V2) return V1;
 
   if (ConstantExpr *TrueVal = dyn_cast<ConstantExpr>(V1)) {
@@ -1851,7 +1854,9 @@
   if (isa<UndefValue>(C1) || isa<UndefValue>(C2)) {
     // For EQ and NE, we can always pick a value for the undef to make the
     // predicate pass or fail, so we can return undef.
-    if (ICmpInst::isEquality(ICmpInst::Predicate(pred)))
+    // Also, if both operands are undef, we can return undef.
+    if (ICmpInst::isEquality(ICmpInst::Predicate(pred)) ||
+        (isa<UndefValue>(C1) && isa<UndefValue>(C2)))
       return UndefValue::get(ResultTy);
     // Otherwise, pick the same value as the non-undef operand, and fold
     // it to true or false.

Removed: llvm/trunk/test/Transforms/InstSimplify/binop.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstSimplify/binop.ll?rev=134222&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/InstSimplify/binop.ll (original)
+++ llvm/trunk/test/Transforms/InstSimplify/binop.ll (removed)
@@ -1,99 +0,0 @@
-; RUN: opt -instsimplify -S < %s | FileCheck %s
-
-; @test0
-; CHECK: ret i64 undef
-define i64 @test0() {
-  %r = mul i64 undef, undef
-  ret i64 %r
-}
-
-; @test1
-; CHECK: ret i64 undef
-define i64 @test1() {
-  %r = mul i64 3, undef
-  ret i64 %r
-}
-
-; @test2
-; CHECK: ret i64 undef
-define i64 @test2() {
-  %r = mul i64 undef, 3
-  ret i64 %r
-}
-
-; @test3
-; CHECK: ret i64 0
-define i64 @test3() {
-  %r = mul i64 undef, 6
-  ret i64 %r
-}
-
-; @test4
-; CHECK: ret i64 0
-define i64 @test4() {
-  %r = mul i64 6, undef
-  ret i64 %r
-}
-
-; @test5
-; CHECK: ret i64 undef
-define i64 @test5() {
-  %r = and i64 undef, undef
-  ret i64 %r
-}
-
-; @test6
-; CHECK: ret i64 undef
-define i64 @test6() {
-  %r = or i64 undef, undef
-  ret i64 %r
-}
-
-; @test7
-; CHECK: ret i64 undef
-define i64 @test7() {
-  %r = udiv i64 undef, 1
-  ret i64 %r
-}
-
-; @test8
-; CHECK: ret i64 undef
-define i64 @test8() {
-  %r = sdiv i64 undef, 1
-  ret i64 %r
-}
-
-; @test9
-; CHECK: ret i64 0
-define i64 @test9() {
-  %r = urem i64 undef, 1
-  ret i64 %r
-}
-
-; @test10
-; CHECK: ret i64 0
-define i64 @test10() {
-  %r = srem i64 undef, 1
-  ret i64 %r
-}
-
-; @test11
-; CHECK: ret i64 undef
-define i64 @test11() {
-  %r = shl i64 undef, undef
-  ret i64 %r
-}
-
-; @test12
-; CHECK: ret i64 undef
-define i64 @test12() {
-  %r = ashr i64 undef, undef
-  ret i64 %r
-}
-
-; @test13
-; CHECK: ret i64 undef
-define i64 @test13() {
-  %r = lshr i64 undef, undef
-  ret i64 %r
-}

Copied: llvm/trunk/test/Transforms/InstSimplify/undef.ll (from r134221, llvm/trunk/test/Transforms/InstSimplify/binop.ll)
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstSimplify/undef.ll?p2=llvm/trunk/test/Transforms/InstSimplify/undef.ll&p1=llvm/trunk/test/Transforms/InstSimplify/binop.ll&r1=134221&r2=134223&rev=134223&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstSimplify/binop.ll (original)
+++ llvm/trunk/test/Transforms/InstSimplify/undef.ll Thu Jun 30 20:03:43 2011
@@ -97,3 +97,31 @@
   %r = lshr i64 undef, undef
   ret i64 %r
 }
+
+; @test14
+; CHECK: ret i1 undef
+define i1 @test14() {
+  %r = icmp slt i64 undef, undef
+  ret i1 %r
+}
+
+; @test15
+; CHECK: ret i1 undef
+define i1 @test15() {
+  %r = icmp ult i64 undef, undef
+  ret i1 %r
+}
+
+; @test16
+; CHECK: ret i64 undef
+define i64 @test16(i64 %a) {
+  %r = select i1 undef, i64 %a, i64 undef
+  ret i64 %r
+}
+
+; @test17
+; CHECK: ret i64 undef
+define i64 @test17(i64 %a) {
+  %r = select i1 undef, i64 undef, i64 %a
+  ret i64 %r
+}