[llvm-commits] [llvm] r119153 - in /llvm/trunk/test/Transforms/InstCombine: phi.ll select.ll

[Duncan Sands]

Author: baldrick
Date: Mon Nov 15 10:43:28 2010
New Revision: 119153

URL: http://llvm.org/viewvc/llvm-project?rev=119153&view=rev
Log:
Move PHI tests to phi.ll, out of select.ll.

Modified:
    llvm/trunk/test/Transforms/InstCombine/phi.ll
    llvm/trunk/test/Transforms/InstCombine/select.ll

Modified: llvm/trunk/test/Transforms/InstCombine/phi.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/phi.ll?rev=119153&r1=119152&r2=119153&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/phi.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/phi.ll Mon Nov 15 10:43:28 2010
@@ -423,3 +423,49 @@
     ret i32 %res
 }
 
+define i1 @test18(i1 %cond) {
+  %zero = alloca i32
+  %one = alloca i32
+  br i1 %cond, label %true, label %false
+true:
+  br label %ret
+false:
+  br label %ret
+ret:
+  %ptr = phi i32* [ %zero, %true ] , [ %one, %false ]
+  %isnull = icmp eq i32* %ptr, null
+  ret i1 %isnull
+; CHECK: @test18
+; CHECK: ret i1 false
+}
+
+define i1 @test19(i1 %cond, double %x) {
+  br i1 %cond, label %true, label %false
+true:
+  br label %ret
+false:
+  br label %ret
+ret:
+  %p = phi double [ %x, %true ], [ 0x7FF0000000000000, %false ]; RHS = +infty
+  %cmp = fcmp ule double %x, %p
+  ret i1 %cmp
+; CHECK: @test19
+; CHECK: ret i1 true
+}
+
+define i1 @test20(i1 %cond) {
+  %a = alloca i32
+  %b = alloca i32
+  %c = alloca i32
+  br i1 %cond, label %true, label %false
+true:
+  br label %ret
+false:
+  br label %ret
+ret:
+  %p = phi i32* [ %a, %true ], [ %b, %false ]
+  %r = icmp eq i32* %p, %c
+  ret i1 %r
+; CHECK: @test20
+; CHECK: ret i1 false
+}

Modified: llvm/trunk/test/Transforms/InstCombine/select.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/select.ll?rev=119153&r1=119152&r2=119153&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/select.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/select.ll Mon Nov 15 10:43:28 2010
@@ -500,59 +500,12 @@
 ; CHECK: ret i1 false
 }
 
-define i1 @test41(i1 %cond) {
-  %zero = alloca i32
-  %one = alloca i32
-  br i1 %cond, label %true, label %false
-true:
-  br label %ret
-false:
-  br label %ret
-ret:
-  %ptr = phi i32* [ %zero, %true ] , [ %one, %false ]
-  %isnull = icmp eq i32* %ptr, null
-  ret i1 %isnull
-; CHECK: @test41
-; CHECK: ret i1 false
-}
-
-define i1 @test42(i1 %cond, double %x) {
-  br i1 %cond, label %true, label %false
-true:
-  br label %ret
-false:
-  br label %ret
-ret:
-  %p = phi double [ %x, %true ], [ 0x7FF0000000000000, %false ]; RHS = +infty
-  %cmp = fcmp ule double %x, %p
-  ret i1 %cmp
-; CHECK: @test42
-; CHECK: ret i1 true
-}
-
-define i1 @test43(i1 %cond) {
-  %a = alloca i32
-  %b = alloca i32
-  %c = alloca i32
-  br i1 %cond, label %true, label %false
-true:
-  br label %ret
-false:
-  br label %ret
-ret:
-  %p = phi i32* [ %a, %true ], [ %b, %false ]
-  %r = icmp eq i32* %p, %c
-  ret i1 %r
-; CHECK: @test43
-; CHECK: ret i1 false
-}
-
-define i32 @test44(i1 %cond, i32 %x, i32 %y) {
+define i32 @test41(i1 %cond, i32 %x, i32 %y) {
   %z = and i32 %x, %y
   %s = select i1 %cond, i32 %y, i32 %z
   %r = and i32 %x, %s
   ret i32 %r
-; CHECK: @test44
+; CHECK: @test41
 ; CHECK: %r = and i32 %x, %y
 ; CHECK: ret i32 %r
 }