[llvm-commits] [llvm] r119153 - in /llvm/trunk/test/Transforms/InstCombine: phi.ll select.ll
Duncan Sands
baldrick at free.fr
Mon Nov 15 08:43:28 PST 2010
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
}
More information about the llvm-commits
mailing list