summaryrefslogtreecommitdiff
path: root/test/Transforms/InstCombine/select.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/Transforms/InstCombine/select.ll')
-rw-r--r--test/Transforms/InstCombine/select.ll31
1 files changed, 27 insertions, 4 deletions
diff --git a/test/Transforms/InstCombine/select.ll b/test/Transforms/InstCombine/select.ll
index fc4b82002d..701d5967a6 100644
--- a/test/Transforms/InstCombine/select.ll
+++ b/test/Transforms/InstCombine/select.ll
@@ -202,9 +202,9 @@ define i1 @test24(i1 %a, i1 %b) {
ret i1 %c
}
-define i32 @test25() {
+define i32 @test25(i1 %c) {
entry:
- br i1 false, label %jump, label %ret
+ br i1 %c, label %jump, label %ret
jump:
br label %ret
ret:
@@ -213,9 +213,9 @@ ret:
ret i32 %b
}
-define i32 @test26() {
+define i32 @test26(i1 %cond) {
entry:
- br i1 false, label %jump, label %ret
+ br i1 %cond, label %jump, label %ret
jump:
%c = or i1 false, false
br label %ret
@@ -224,3 +224,26 @@ ret:
%b = select i1 %a, i32 10, i32 20
ret i32 %b
}
+
+define i32 @test27(i1 %c, i32 %A, i32 %B) {
+entry:
+ br i1 %c, label %jump, label %ret
+jump:
+ br label %ret
+ret:
+ %a = phi i1 [true, %jump], [false, %entry]
+ %b = select i1 %a, i32 %A, i32 %B
+ ret i32 %b
+}
+
+define i32 @test28(i1 %cond, i32 %A, i32 %B) {
+entry:
+ br i1 %cond, label %jump, label %ret
+jump:
+ br label %ret
+ret:
+ %c = phi i32 [%A, %jump], [%B, %entry]
+ %a = phi i1 [true, %jump], [false, %entry]
+ %b = select i1 %a, i32 %A, i32 %c
+ ret i32 %b
+}