[SimplifyCFG] reverting preliminary Switch patches again
This reverts 363226 and 363227, both NFC intended
I swear I fixed the test case that is failing, and ran
the tests, but I will look into it again.
llvm-svn: 363229
diff --git a/llvm/test/Transforms/SimplifyCFG/switch_create-custom-dl.ll b/llvm/test/Transforms/SimplifyCFG/switch_create-custom-dl.ll
index 083cfe1..7dce54d 100644
--- a/llvm/test/Transforms/SimplifyCFG/switch_create-custom-dl.ll
+++ b/llvm/test/Transforms/SimplifyCFG/switch_create-custom-dl.ll
@@ -1,4 +1,3 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -simplifycfg < %s | FileCheck %s
target datalayout="p:40:64:64:32"
@@ -7,151 +6,102 @@
declare void @foo2()
define void @test1(i32 %V) {
-; CHECK-LABEL: @test1(
-; CHECK-NEXT: switch i32 [[V:%.*]], label [[F:%.*]] [
-; CHECK-NEXT: i32 17, label [[T:%.*]]
-; CHECK-NEXT: i32 4, label [[T]]
-; CHECK-NEXT: ]
-; CHECK: T:
-; CHECK-NEXT: call void @foo1()
-; CHECK-NEXT: ret void
-; CHECK: F:
-; CHECK-NEXT: call void @foo2()
-; CHECK-NEXT: ret void
-;
- %C1 = icmp eq i32 %V, 4 ; <i1> [#uses=1]
- %C2 = icmp eq i32 %V, 17 ; <i1> [#uses=1]
- %CN = or i1 %C1, %C2 ; <i1> [#uses=1]
- br i1 %CN, label %T, label %F
+ %C1 = icmp eq i32 %V, 4 ; <i1> [#uses=1]
+ %C2 = icmp eq i32 %V, 17 ; <i1> [#uses=1]
+ %CN = or i1 %C1, %C2 ; <i1> [#uses=1]
+ br i1 %CN, label %T, label %F
T: ; preds = %0
- call void @foo1( )
- ret void
+ call void @foo1( )
+ ret void
F: ; preds = %0
- call void @foo2( )
- ret void
+ call void @foo2( )
+ ret void
+; CHECK-LABEL: @test1(
+; CHECK: switch i32 %V, label %F [
+; CHECK: i32 17, label %T
+; CHECK: i32 4, label %T
+; CHECK: ]
}
define void @test1_ptr(i32* %V) {
-; CHECK-LABEL: @test1_ptr(
-; CHECK-NEXT: [[MAGICPTR:%.*]] = ptrtoint i32* [[V:%.*]] to i32
-; CHECK-NEXT: switch i32 [[MAGICPTR]], label [[F:%.*]] [
-; CHECK-NEXT: i32 17, label [[T:%.*]]
-; CHECK-NEXT: i32 4, label [[T]]
-; CHECK-NEXT: ]
-; CHECK: T:
-; CHECK-NEXT: call void @foo1()
-; CHECK-NEXT: ret void
-; CHECK: F:
-; CHECK-NEXT: call void @foo2()
-; CHECK-NEXT: ret void
-;
- %C1 = icmp eq i32* %V, inttoptr (i32 4 to i32*)
- %C2 = icmp eq i32* %V, inttoptr (i32 17 to i32*)
- %CN = or i1 %C1, %C2 ; <i1> [#uses=1]
- br i1 %CN, label %T, label %F
+ %C1 = icmp eq i32* %V, inttoptr (i32 4 to i32*)
+ %C2 = icmp eq i32* %V, inttoptr (i32 17 to i32*)
+ %CN = or i1 %C1, %C2 ; <i1> [#uses=1]
+ br i1 %CN, label %T, label %F
T: ; preds = %0
- call void @foo1( )
- ret void
+ call void @foo1( )
+ ret void
F: ; preds = %0
- call void @foo2( )
- ret void
+ call void @foo2( )
+ ret void
+; CHECK-LABEL: @test1_ptr(
+; DL: %magicptr = ptrtoint i32* %V to i32
+; DL: switch i32 %magicptr, label %F [
+; DL: i32 17, label %T
+; DL: i32 4, label %T
+; DL: ]
}
define void @test1_ptr_as1(i32 addrspace(1)* %V) {
-; CHECK-LABEL: @test1_ptr_as1(
-; CHECK-NEXT: [[MAGICPTR:%.*]] = ptrtoint i32 addrspace(1)* [[V:%.*]] to i32
-; CHECK-NEXT: switch i32 [[MAGICPTR]], label [[F:%.*]] [
-; CHECK-NEXT: i32 17, label [[T:%.*]]
-; CHECK-NEXT: i32 4, label [[T]]
-; CHECK-NEXT: ]
-; CHECK: T:
-; CHECK-NEXT: call void @foo1()
-; CHECK-NEXT: ret void
-; CHECK: F:
-; CHECK-NEXT: call void @foo2()
-; CHECK-NEXT: ret void
-;
- %C1 = icmp eq i32 addrspace(1)* %V, inttoptr (i32 4 to i32 addrspace(1)*)
- %C2 = icmp eq i32 addrspace(1)* %V, inttoptr (i32 17 to i32 addrspace(1)*)
- %CN = or i1 %C1, %C2 ; <i1> [#uses=1]
- br i1 %CN, label %T, label %F
+ %C1 = icmp eq i32 addrspace(1)* %V, inttoptr (i32 4 to i32 addrspace(1)*)
+ %C2 = icmp eq i32 addrspace(1)* %V, inttoptr (i32 17 to i32 addrspace(1)*)
+ %CN = or i1 %C1, %C2 ; <i1> [#uses=1]
+ br i1 %CN, label %T, label %F
T: ; preds = %0
- call void @foo1( )
- ret void
+ call void @foo1( )
+ ret void
F: ; preds = %0
- call void @foo2( )
- ret void
+ call void @foo2( )
+ ret void
+; CHECK-LABEL: @test1_ptr_as1(
+; DL: %magicptr = ptrtoint i32 addrspace(1)* %V to i16
+; DL: switch i16 %magicptr, label %F [
+; DL: i16 17, label %T
+; DL: i16 4, label %T
+; DL: ]
}
define void @test2(i32 %V) {
-; CHECK-LABEL: @test2(
-; CHECK-NEXT: switch i32 [[V:%.*]], label [[T:%.*]] [
-; CHECK-NEXT: i32 17, label [[F:%.*]]
-; CHECK-NEXT: i32 4, label [[F]]
-; CHECK-NEXT: ]
-; CHECK: T:
-; CHECK-NEXT: call void @foo1()
-; CHECK-NEXT: ret void
-; CHECK: F:
-; CHECK-NEXT: call void @foo2()
-; CHECK-NEXT: ret void
-;
- %C1 = icmp ne i32 %V, 4 ; <i1> [#uses=1]
- %C2 = icmp ne i32 %V, 17 ; <i1> [#uses=1]
- %CN = and i1 %C1, %C2 ; <i1> [#uses=1]
- br i1 %CN, label %T, label %F
+ %C1 = icmp ne i32 %V, 4 ; <i1> [#uses=1]
+ %C2 = icmp ne i32 %V, 17 ; <i1> [#uses=1]
+ %CN = and i1 %C1, %C2 ; <i1> [#uses=1]
+ br i1 %CN, label %T, label %F
T: ; preds = %0
- call void @foo1( )
- ret void
+ call void @foo1( )
+ ret void
F: ; preds = %0
- call void @foo2( )
- ret void
+ call void @foo2( )
+ ret void
+; CHECK-LABEL: @test2(
+; CHECK: switch i32 %V, label %T [
+; CHECK: i32 17, label %F
+; CHECK: i32 4, label %F
+; CHECK: ]
}
define void @test3(i32 %V) {
-; CHECK-LABEL: @test3(
-; CHECK-NEXT: switch i32 [[V:%.*]], label [[F:%.*]] [
-; CHECK-NEXT: i32 4, label [[T:%.*]]
-; CHECK-NEXT: i32 17, label [[T]]
-; CHECK-NEXT: ]
-; CHECK: T:
-; CHECK-NEXT: call void @foo1()
-; CHECK-NEXT: ret void
-; CHECK: F:
-; CHECK-NEXT: call void @foo2()
-; CHECK-NEXT: ret void
-;
- %C1 = icmp eq i32 %V, 4 ; <i1> [#uses=1]
- br i1 %C1, label %T, label %N
+ %C1 = icmp eq i32 %V, 4 ; <i1> [#uses=1]
+ br i1 %C1, label %T, label %N
N: ; preds = %0
- %C2 = icmp eq i32 %V, 17 ; <i1> [#uses=1]
- br i1 %C2, label %T, label %F
+ %C2 = icmp eq i32 %V, 17 ; <i1> [#uses=1]
+ br i1 %C2, label %T, label %F
T: ; preds = %N, %0
- call void @foo1( )
- ret void
+ call void @foo1( )
+ ret void
F: ; preds = %N
- call void @foo2( )
- ret void
+ call void @foo2( )
+ ret void
+; CHECK-LABEL: @test3(
+; CHECK: switch i32 %V, label %F [
+; CHECK: i32 4, label %T
+; CHECK: i32 17, label %T
+; CHECK: ]
}
define i32 @test4(i8 zeroext %c) nounwind ssp noredzone {
-; CHECK-LABEL: @test4(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: switch i8 [[C:%.*]], label [[LOR_RHS:%.*]] [
-; CHECK-NEXT: i8 62, label [[LOR_END:%.*]]
-; CHECK-NEXT: i8 34, label [[LOR_END]]
-; CHECK-NEXT: i8 92, label [[LOR_END]]
-; CHECK-NEXT: ]
-; CHECK: lor.rhs:
-; CHECK-NEXT: br label [[LOR_END]]
-; CHECK: lor.end:
-; CHECK-NEXT: [[TMP0:%.*]] = phi i1 [ true, [[ENTRY:%.*]] ], [ false, [[LOR_RHS]] ], [ true, [[ENTRY]] ], [ true, [[ENTRY]] ]
-; CHECK-NEXT: [[LOR_EXT:%.*]] = zext i1 [[TMP0]] to i32
-; CHECK-NEXT: ret i32 [[LOR_EXT]]
-;
entry:
%cmp = icmp eq i8 %c, 62
br i1 %cmp, label %lor.end, label %lor.lhs.false
@@ -169,28 +119,20 @@
%lor.ext = zext i1 %0 to i32
ret i32 %lor.ext
+; CHECK-LABEL: @test4(
+; CHECK: switch i8 %c, label %lor.rhs [
+; CHECK: i8 62, label %lor.end
+; CHECK: i8 34, label %lor.end
+; CHECK: i8 92, label %lor.end
+; CHECK: ]
}
define i32 @test5(i8 zeroext %c) nounwind ssp noredzone {
-; CHECK-LABEL: @test5(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: switch i8 [[C:%.*]], label [[LOR_RHS:%.*]] [
-; CHECK-NEXT: i8 62, label [[LOR_END:%.*]]
-; CHECK-NEXT: i8 34, label [[LOR_END]]
-; CHECK-NEXT: i8 92, label [[LOR_END]]
-; CHECK-NEXT: ]
-; CHECK: lor.rhs:
-; CHECK-NEXT: br label [[LOR_END]]
-; CHECK: lor.end:
-; CHECK-NEXT: [[TMP0:%.*]] = phi i1 [ true, [[ENTRY:%.*]] ], [ false, [[LOR_RHS]] ], [ true, [[ENTRY]] ], [ true, [[ENTRY]] ]
-; CHECK-NEXT: [[LOR_EXT:%.*]] = zext i1 [[TMP0]] to i32
-; CHECK-NEXT: ret i32 [[LOR_EXT]]
-;
entry:
switch i8 %c, label %lor.rhs [
- i8 62, label %lor.end
- i8 34, label %lor.end
- i8 92, label %lor.end
+ i8 62, label %lor.end
+ i8 34, label %lor.end
+ i8 92, label %lor.end
]
lor.rhs: ; preds = %entry
@@ -201,63 +143,48 @@
%0 = phi i1 [ true, %entry ], [ %V, %lor.rhs ], [ true, %entry ], [ true, %entry ]
%lor.ext = zext i1 %0 to i32
ret i32 %lor.ext
+; CHECK-LABEL: @test5(
+; CHECK: switch i8 %c, label %lor.rhs [
+; CHECK: i8 62, label %lor.end
+; CHECK: i8 34, label %lor.end
+; CHECK: i8 92, label %lor.end
+; CHECK: ]
}
define i1 @test6({ i32, i32 }* %I) {
-; CHECK-LABEL: @test6(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[TMP_1_I:%.*]] = getelementptr { i32, i32 }, { i32, i32 }* [[I:%.*]], i64 0, i32 1
-; CHECK-NEXT: [[TMP_2_I:%.*]] = load i32, i32* [[TMP_1_I]]
-; CHECK-NEXT: [[TMP_2_I_OFF:%.*]] = add i32 [[TMP_2_I]], -14
-; CHECK-NEXT: [[SWITCH:%.*]] = icmp ult i32 [[TMP_2_I_OFF]], 6
-; CHECK-NEXT: [[SPEC_SELECT:%.*]] = select i1 [[SWITCH]], i1 true, i1 false
-; CHECK-NEXT: ret i1 [[SPEC_SELECT]]
-;
entry:
- %tmp.1.i = getelementptr { i32, i32 }, { i32, i32 }* %I, i64 0, i32 1 ; <i32*> [#uses=1]
- %tmp.2.i = load i32, i32* %tmp.1.i ; <i32> [#uses=6]
- %tmp.2 = icmp eq i32 %tmp.2.i, 14 ; <i1> [#uses=1]
- br i1 %tmp.2, label %shortcirc_done.4, label %shortcirc_next.0
+ %tmp.1.i = getelementptr { i32, i32 }, { i32, i32 }* %I, i64 0, i32 1 ; <i32*> [#uses=1]
+ %tmp.2.i = load i32, i32* %tmp.1.i ; <i32> [#uses=6]
+ %tmp.2 = icmp eq i32 %tmp.2.i, 14 ; <i1> [#uses=1]
+ br i1 %tmp.2, label %shortcirc_done.4, label %shortcirc_next.0
shortcirc_next.0: ; preds = %entry
- %tmp.6 = icmp eq i32 %tmp.2.i, 15 ; <i1> [#uses=1]
- br i1 %tmp.6, label %shortcirc_done.4, label %shortcirc_next.1
+ %tmp.6 = icmp eq i32 %tmp.2.i, 15 ; <i1> [#uses=1]
+ br i1 %tmp.6, label %shortcirc_done.4, label %shortcirc_next.1
shortcirc_next.1: ; preds = %shortcirc_next.0
- %tmp.11 = icmp eq i32 %tmp.2.i, 16 ; <i1> [#uses=1]
- br i1 %tmp.11, label %shortcirc_done.4, label %shortcirc_next.2
+ %tmp.11 = icmp eq i32 %tmp.2.i, 16 ; <i1> [#uses=1]
+ br i1 %tmp.11, label %shortcirc_done.4, label %shortcirc_next.2
shortcirc_next.2: ; preds = %shortcirc_next.1
- %tmp.16 = icmp eq i32 %tmp.2.i, 17 ; <i1> [#uses=1]
- br i1 %tmp.16, label %shortcirc_done.4, label %shortcirc_next.3
+ %tmp.16 = icmp eq i32 %tmp.2.i, 17 ; <i1> [#uses=1]
+ br i1 %tmp.16, label %shortcirc_done.4, label %shortcirc_next.3
shortcirc_next.3: ; preds = %shortcirc_next.2
- %tmp.21 = icmp eq i32 %tmp.2.i, 18 ; <i1> [#uses=1]
- br i1 %tmp.21, label %shortcirc_done.4, label %shortcirc_next.4
+ %tmp.21 = icmp eq i32 %tmp.2.i, 18 ; <i1> [#uses=1]
+ br i1 %tmp.21, label %shortcirc_done.4, label %shortcirc_next.4
shortcirc_next.4: ; preds = %shortcirc_next.3
- %tmp.26 = icmp eq i32 %tmp.2.i, 19 ; <i1> [#uses=1]
- br label %UnifiedReturnBlock
+ %tmp.26 = icmp eq i32 %tmp.2.i, 19 ; <i1> [#uses=1]
+ br label %UnifiedReturnBlock
shortcirc_done.4: ; preds = %shortcirc_next.3, %shortcirc_next.2, %shortcirc_next.1, %shortcirc_next.0, %entry
- br label %UnifiedReturnBlock
+ br label %UnifiedReturnBlock
UnifiedReturnBlock: ; preds = %shortcirc_done.4, %shortcirc_next.4
- %UnifiedRetVal = phi i1 [ %tmp.26, %shortcirc_next.4 ], [ true, %shortcirc_done.4 ] ; <i1> [#uses=1]
- ret i1 %UnifiedRetVal
+ %UnifiedRetVal = phi i1 [ %tmp.26, %shortcirc_next.4 ], [ true, %shortcirc_done.4 ] ; <i1> [#uses=1]
+ ret i1 %UnifiedRetVal
+; CHECK-LABEL: @test6(
+; CHECK: %tmp.2.i.off = add i32 %tmp.2.i, -14
+; CHECK: %switch = icmp ult i32 %tmp.2.i.off, 6
}
define void @test7(i8 zeroext %c, i32 %x) nounwind ssp noredzone {
-; CHECK-LABEL: @test7(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[CMP:%.*]] = icmp ult i32 [[X:%.*]], 32
-; CHECK-NEXT: br i1 [[CMP]], label [[IF_THEN:%.*]], label [[SWITCH_EARLY_TEST:%.*]]
-; CHECK: switch.early.test:
-; CHECK-NEXT: switch i8 [[C:%.*]], label [[IF_END:%.*]] [
-; CHECK-NEXT: i8 99, label [[IF_THEN]]
-; CHECK-NEXT: i8 97, label [[IF_THEN]]
-; CHECK-NEXT: ]
-; CHECK: if.then:
-; CHECK-NEXT: tail call void @foo1() #2
-; CHECK-NEXT: ret void
-; CHECK: if.end:
-; CHECK-NEXT: ret void
-;
entry:
%cmp = icmp ult i32 %x, 32
%cmp4 = icmp eq i8 %c, 97
@@ -273,27 +200,17 @@
if.end: ; preds = %entry
ret void
+; CHECK-LABEL: @test7(
+; CHECK: %cmp = icmp ult i32 %x, 32
+; CHECK: br i1 %cmp, label %if.then, label %switch.early.test
+; CHECK: switch.early.test:
+; CHECK: switch i8 %c, label %if.end [
+; CHECK: i8 99, label %if.then
+; CHECK: i8 97, label %if.then
+; CHECK: ]
}
define i32 @test8(i8 zeroext %c, i32 %x, i1 %C) nounwind ssp noredzone {
-; CHECK-LABEL: @test8(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: br i1 [[C:%.*]], label [[N:%.*]], label [[IF_THEN:%.*]]
-; CHECK: N:
-; CHECK-NEXT: [[CMP:%.*]] = icmp ult i32 [[X:%.*]], 32
-; CHECK-NEXT: br i1 [[CMP]], label [[IF_THEN]], label [[SWITCH_EARLY_TEST:%.*]]
-; CHECK: switch.early.test:
-; CHECK-NEXT: switch i8 [[C:%.*]], label [[IF_END:%.*]] [
-; CHECK-NEXT: i8 99, label [[IF_THEN]]
-; CHECK-NEXT: i8 97, label [[IF_THEN]]
-; CHECK-NEXT: ]
-; CHECK: if.then:
-; CHECK-NEXT: [[A:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ 42, [[SWITCH_EARLY_TEST]] ], [ 42, [[N]] ], [ 42, [[SWITCH_EARLY_TEST]] ]
-; CHECK-NEXT: tail call void @foo1() #2
-; CHECK-NEXT: ret i32 [[A]]
-; CHECK: if.end:
-; CHECK-NEXT: ret i32 0
-;
entry:
br i1 %C, label %N, label %if.then
N:
@@ -312,33 +229,17 @@
if.end: ; preds = %entry
ret i32 0
+; CHECK-LABEL: @test8(
+; CHECK: switch.early.test:
+; CHECK: switch i8 %c, label %if.end [
+; CHECK: i8 99, label %if.then
+; CHECK: i8 97, label %if.then
+; CHECK: ]
+; CHECK: %A = phi i32 [ 0, %entry ], [ 42, %switch.early.test ], [ 42, %N ], [ 42, %switch.early.test ]
}
;; This is "Example 7" from http://blog.regehr.org/archives/320
define i32 @test9(i8 zeroext %c) nounwind ssp noredzone {
-; CHECK-LABEL: @test9(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[CMP:%.*]] = icmp ult i8 [[C:%.*]], 33
-; CHECK-NEXT: br i1 [[CMP]], label [[LOR_END:%.*]], label [[SWITCH_EARLY_TEST:%.*]]
-; CHECK: switch.early.test:
-; CHECK-NEXT: switch i8 [[C]], label [[LOR_RHS:%.*]] [
-; CHECK-NEXT: i8 92, label [[LOR_END]]
-; CHECK-NEXT: i8 62, label [[LOR_END]]
-; CHECK-NEXT: i8 60, label [[LOR_END]]
-; CHECK-NEXT: i8 59, label [[LOR_END]]
-; CHECK-NEXT: i8 58, label [[LOR_END]]
-; CHECK-NEXT: i8 46, label [[LOR_END]]
-; CHECK-NEXT: i8 44, label [[LOR_END]]
-; CHECK-NEXT: i8 34, label [[LOR_END]]
-; CHECK-NEXT: i8 39, label [[LOR_END]]
-; CHECK-NEXT: ]
-; CHECK: lor.rhs:
-; CHECK-NEXT: br label [[LOR_END]]
-; CHECK: lor.end:
-; CHECK-NEXT: [[TMP0:%.*]] = phi i1 [ true, [[SWITCH_EARLY_TEST]] ], [ false, [[LOR_RHS]] ], [ true, [[ENTRY:%.*]] ], [ true, [[SWITCH_EARLY_TEST]] ], [ true, [[SWITCH_EARLY_TEST]] ], [ true, [[SWITCH_EARLY_TEST]] ], [ true, [[SWITCH_EARLY_TEST]] ], [ true, [[SWITCH_EARLY_TEST]] ], [ true, [[SWITCH_EARLY_TEST]] ], [ true, [[SWITCH_EARLY_TEST]] ], [ true, [[SWITCH_EARLY_TEST]] ]
-; CHECK-NEXT: [[CONV46:%.*]] = zext i1 [[TMP0]] to i32
-; CHECK-NEXT: ret i32 [[CONV46]]
-;
entry:
%cmp = icmp ult i8 %c, 33
br i1 %cmp, label %lor.end, label %lor.lhs.false
@@ -384,23 +285,25 @@
%conv46 = zext i1 %0 to i32
ret i32 %conv46
+; CHECK-LABEL: @test9(
+; CHECK: %cmp = icmp ult i8 %c, 33
+; CHECK: br i1 %cmp, label %lor.end, label %switch.early.test
+; CHECK: switch.early.test:
+; CHECK: switch i8 %c, label %lor.rhs [
+; CHECK: i8 92, label %lor.end
+; CHECK: i8 62, label %lor.end
+; CHECK: i8 60, label %lor.end
+; CHECK: i8 59, label %lor.end
+; CHECK: i8 58, label %lor.end
+; CHECK: i8 46, label %lor.end
+; CHECK: i8 44, label %lor.end
+; CHECK: i8 34, label %lor.end
+; CHECK: i8 39, label %lor.end
+; CHECK: ]
}
define i32 @test10(i32 %mode, i1 %Cond) {
-; CHECK-LABEL: @test10(
-; CHECK-NEXT: br i1 [[COND:%.*]], label [[SWITCH_EARLY_TEST:%.*]], label [[F:%.*]]
-; CHECK: switch.early.test:
-; CHECK-NEXT: switch i32 [[MODE:%.*]], label [[T:%.*]] [
-; CHECK-NEXT: i32 51, label [[F]]
-; CHECK-NEXT: i32 0, label [[F]]
-; CHECK-NEXT: ]
-; CHECK: T:
-; CHECK-NEXT: [[MERGE:%.*]] = phi i32 [ 123, [[SWITCH_EARLY_TEST]] ], [ 324, [[F]] ]
-; CHECK-NEXT: ret i32 [[MERGE]]
-; CHECK: F:
-; CHECK-NEXT: br label [[T]]
-;
%A = icmp ne i32 %mode, 0
%B = icmp ne i32 %mode, 51
%C = and i1 %A, %B
@@ -411,27 +314,17 @@
F:
ret i32 324
+; CHECK-LABEL: @test10(
+; CHECK: br i1 %Cond, label %switch.early.test, label %F
+; CHECK:switch.early.test:
+; CHECK: switch i32 %mode, label %T [
+; CHECK: i32 51, label %F
+; CHECK: i32 0, label %F
+; CHECK: ]
}
; PR8780
define i32 @test11(i32 %bar) nounwind {
-; CHECK-LABEL: @test11(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: switch i32 [[BAR:%.*]], label [[IF_END:%.*]] [
-; CHECK-NEXT: i32 55, label [[RETURN:%.*]]
-; CHECK-NEXT: i32 53, label [[RETURN]]
-; CHECK-NEXT: i32 35, label [[RETURN]]
-; CHECK-NEXT: i32 24, label [[RETURN]]
-; CHECK-NEXT: i32 23, label [[RETURN]]
-; CHECK-NEXT: i32 12, label [[RETURN]]
-; CHECK-NEXT: i32 4, label [[RETURN]]
-; CHECK-NEXT: ]
-; CHECK: if.end:
-; CHECK-NEXT: br label [[RETURN]]
-; CHECK: return:
-; CHECK-NEXT: [[RETVAL_0:%.*]] = phi i32 [ 0, [[IF_END]] ], [ 1, [[ENTRY:%.*]] ], [ 1, [[ENTRY]] ], [ 1, [[ENTRY]] ], [ 1, [[ENTRY]] ], [ 1, [[ENTRY]] ], [ 1, [[ENTRY]] ], [ 1, [[ENTRY]] ]
-; CHECK-NEXT: ret i32 [[RETVAL_0]]
-;
entry:
%cmp = icmp eq i32 %bar, 4
%cmp2 = icmp eq i32 %bar, 35
@@ -460,21 +353,19 @@
%retval.0 = phi i32 [ 1, %if.then ], [ 0, %if.end ]
ret i32 %retval.0
+; CHECK-LABEL: @test11(
+; CHECK: switch i32 %bar, label %if.end [
+; CHECK: i32 55, label %return
+; CHECK: i32 53, label %return
+; CHECK: i32 35, label %return
+; CHECK: i32 24, label %return
+; CHECK: i32 23, label %return
+; CHECK: i32 12, label %return
+; CHECK: i32 4, label %return
+; CHECK: ]
}
define void @test12() nounwind {
-; CHECK-LABEL: @test12(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[A_OLD:%.*]] = icmp eq i32 undef, undef
-; CHECK-NEXT: br i1 [[A_OLD]], label [[BB55_US_US:%.*]], label [[MALFORMED:%.*]]
-; CHECK: bb55.us.us:
-; CHECK-NEXT: [[B:%.*]] = icmp ugt i32 undef, undef
-; CHECK-NEXT: [[A:%.*]] = icmp eq i32 undef, undef
-; CHECK-NEXT: [[OR_COND:%.*]] = or i1 [[B]], [[A]]
-; CHECK-NEXT: br i1 [[OR_COND]], label [[BB55_US_US]], label [[MALFORMED]]
-; CHECK: malformed:
-; CHECK-NEXT: ret void
-;
entry:
br label %bb49.us.us
@@ -491,26 +382,12 @@
malformed:
ret void
+; CHECK-LABEL: @test12(
}
; test13 - handle switch formation with ult.
define void @test13(i32 %x) nounwind ssp noredzone {
-; CHECK-LABEL: @test13(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: switch i32 [[X:%.*]], label [[IF_END:%.*]] [
-; CHECK-NEXT: i32 6, label [[IF_THEN:%.*]]
-; CHECK-NEXT: i32 4, label [[IF_THEN]]
-; CHECK-NEXT: i32 3, label [[IF_THEN]]
-; CHECK-NEXT: i32 1, label [[IF_THEN]]
-; CHECK-NEXT: i32 0, label [[IF_THEN]]
-; CHECK-NEXT: ]
-; CHECK: if.then:
-; CHECK-NEXT: call void @foo1() #3
-; CHECK-NEXT: br label [[IF_END]]
-; CHECK: if.end:
-; CHECK-NEXT: ret void
-;
entry:
%cmp = icmp ult i32 %x, 2
br i1 %cmp, label %if.then, label %lor.lhs.false3
@@ -533,26 +410,18 @@
if.end: ; preds = %if.then, %lor.lhs.false9
ret void
+; CHECK-LABEL: @test13(
+; CHECK: switch i32 %x, label %if.end [
+; CHECK: i32 6, label %if.then
+; CHECK: i32 4, label %if.then
+; CHECK: i32 3, label %if.then
+; CHECK: i32 1, label %if.then
+; CHECK: i32 0, label %if.then
+; CHECK: ]
}
; test14 - handle switch formation with ult.
define void @test14(i32 %x) nounwind ssp noredzone {
-; CHECK-LABEL: @test14(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: switch i32 [[X:%.*]], label [[IF_END:%.*]] [
-; CHECK-NEXT: i32 6, label [[IF_THEN:%.*]]
-; CHECK-NEXT: i32 4, label [[IF_THEN]]
-; CHECK-NEXT: i32 3, label [[IF_THEN]]
-; CHECK-NEXT: i32 2, label [[IF_THEN]]
-; CHECK-NEXT: i32 1, label [[IF_THEN]]
-; CHECK-NEXT: i32 0, label [[IF_THEN]]
-; CHECK-NEXT: ]
-; CHECK: if.then:
-; CHECK-NEXT: call void @foo1() #3
-; CHECK-NEXT: br label [[IF_END]]
-; CHECK: if.end:
-; CHECK-NEXT: ret void
-;
entry:
%cmp = icmp ugt i32 %x, 2
br i1 %cmp, label %lor.lhs.false3, label %if.then
@@ -575,15 +444,18 @@
if.end: ; preds = %if.then, %lor.lhs.false9
ret void
+; CHECK-LABEL: @test14(
+; CHECK: switch i32 %x, label %if.end [
+; CHECK: i32 6, label %if.then
+; CHECK: i32 4, label %if.then
+; CHECK: i32 3, label %if.then
+; CHECK: i32 1, label %if.then
+; CHECK: i32 0, label %if.then
+; CHECK: ]
}
; Don't crash on ginormous ranges.
define void @test15(i128 %x) nounwind {
-; CHECK-LABEL: @test15(
-; CHECK-NEXT: if.end:
-; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i128 [[X:%.*]], 2
-; CHECK-NEXT: ret void
-;
%cmp = icmp ugt i128 %x, 2
br i1 %cmp, label %if.end, label %lor.false
@@ -598,19 +470,18 @@
if.end:
ret void
+; CHECK-LABEL: @test15(
+; CHECK-NOT: switch
+; CHECK: ret void
}
; PR8675
; rdar://5134905
define zeroext i1 @test16(i32 %x) nounwind {
-; CHECK-LABEL: @test16(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[X_OFF:%.*]] = add i32 [[X:%.*]], -1
-; CHECK-NEXT: [[SWITCH:%.*]] = icmp ult i32 [[X_OFF]], 3
-; CHECK-NEXT: [[SPEC_SELECT:%.*]] = select i1 [[SWITCH]], i1 true, i1 false
-; CHECK-NEXT: ret i1 [[SPEC_SELECT]]
-;
entry:
+; CHECK-LABEL: @test16(
+; CHECK: %x.off = add i32 %x, -1
+; CHECK: %switch = icmp ult i32 %x.off, 3
%cmp.i = icmp eq i32 %x, 1
br i1 %cmp.i, label %lor.end, label %lor.lhs.false
@@ -629,17 +500,6 @@
; Check that we don't turn an icmp into a switch where it's not useful.
define void @test17(i32 %x, i32 %y) {
-; CHECK-LABEL: @test17(
-; CHECK-NEXT: [[CMP:%.*]] = icmp ult i32 [[X:%.*]], 3
-; CHECK-NEXT: [[SWITCH:%.*]] = icmp ult i32 [[Y:%.*]], 2
-; CHECK-NEXT: [[OR_COND775:%.*]] = or i1 [[CMP]], [[SWITCH]]
-; CHECK-NEXT: br i1 [[OR_COND775]], label [[LOR_LHS_FALSE8:%.*]], label [[RETURN:%.*]]
-; CHECK: lor.lhs.false8:
-; CHECK-NEXT: tail call void @foo1()
-; CHECK-NEXT: ret void
-; CHECK: return:
-; CHECK-NEXT: ret void
-;
%cmp = icmp ult i32 %x, 3
%switch = icmp ult i32 %y, 2
%or.cond775 = or i1 %cmp, %switch
@@ -652,20 +512,13 @@
return:
ret void
+; CHECK-LABEL: @test17(
+; CHECK-NOT: switch.early.test
+; CHECK-NOT: switch i32
+; CHECK: ret void
}
define void @test18(i32 %arg) {
-; CHECK-LABEL: @test18(
-; CHECK-NEXT: bb:
-; CHECK-NEXT: [[ARG_OFF:%.*]] = add i32 [[ARG:%.*]], -8
-; CHECK-NEXT: [[SWITCH:%.*]] = icmp ult i32 [[ARG_OFF]], 11
-; CHECK-NEXT: br i1 [[SWITCH]], label [[BB19:%.*]], label [[BB20:%.*]]
-; CHECK: bb19:
-; CHECK-NEXT: tail call void @foo1()
-; CHECK-NEXT: br label [[BB20]]
-; CHECK: bb20:
-; CHECK-NEXT: ret void
-;
bb:
%tmp = and i32 %arg, -2
%tmp1 = icmp eq i32 %tmp, 8
@@ -697,23 +550,12 @@
bb20: ; preds = %bb19, %bb8
ret void
+; CHECK-LABEL: @test18(
+; CHECK: %arg.off = add i32 %arg, -8
+; CHECK: icmp ult i32 %arg.off, 11
}
define void @PR26323(i1 %tobool23, i32 %tmp3) {
-; CHECK-LABEL: @PR26323(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[TOBOOL5:%.*]] = icmp ne i32 [[TMP3:%.*]], 0
-; CHECK-NEXT: [[NEG14:%.*]] = and i32 [[TMP3]], -2
-; CHECK-NEXT: [[CMP17:%.*]] = icmp ne i32 [[NEG14]], -1
-; CHECK-NEXT: [[OR_COND:%.*]] = and i1 [[TOBOOL5]], [[TOBOOL23:%.*]]
-; CHECK-NEXT: [[OR_COND1:%.*]] = and i1 [[CMP17]], [[OR_COND]]
-; CHECK-NEXT: br i1 [[OR_COND1]], label [[IF_END29:%.*]], label [[IF_THEN27:%.*]]
-; CHECK: if.then27:
-; CHECK-NEXT: call void @foo1()
-; CHECK-NEXT: unreachable
-; CHECK: if.end29:
-; CHECK-NEXT: ret void
-;
entry:
%tobool5 = icmp ne i32 %tmp3, 0
%neg14 = and i32 %tmp3, -2
@@ -730,19 +572,21 @@
ret void
}
+; CHECK-LABEL: define void @PR26323(
+; CHECK: %tobool5 = icmp ne i32 %tmp3, 0
+; CHECK: %neg14 = and i32 %tmp3, -2
+; CHECK: %cmp17 = icmp ne i32 %neg14, -1
+; CHECK: %or.cond = and i1 %tobool5, %tobool23
+; CHECK: %or.cond1 = and i1 %cmp17, %or.cond
+; CHECK: br i1 %or.cond1, label %if.end29, label %if.then27
+
+; Form a switch when and'ing a negated power of two
+; CHECK-LABEL: define void @test19
+; CHECK: switch i32 %arg, label %else [
+; CHECK: i32 32, label %if
+; CHECK: i32 13, label %if
+; CHECK: i32 12, label %if
define void @test19(i32 %arg) {
-; CHECK-LABEL: @test19(
-; CHECK-NEXT: switch i32 [[ARG:%.*]], label [[ELSE:%.*]] [
-; CHECK-NEXT: i32 32, label [[IF:%.*]]
-; CHECK-NEXT: i32 13, label [[IF]]
-; CHECK-NEXT: i32 12, label [[IF]]
-; CHECK-NEXT: ]
-; CHECK: if:
-; CHECK-NEXT: call void @foo1()
-; CHECK-NEXT: ret void
-; CHECK: else:
-; CHECK-NEXT: ret void
-;
%and = and i32 %arg, -2
%cmp1 = icmp eq i32 %and, 12
%cmp2 = icmp eq i32 %arg, 32
@@ -758,19 +602,10 @@
}
; Since %cmp1 is always false, a switch is never formed
+; CHECK-LABEL: define void @test20
+; CHECK-NOT: switch
+; CHECK: ret void
define void @test20(i32 %arg) {
-; CHECK-LABEL: @test20(
-; CHECK-NEXT: [[AND:%.*]] = and i32 [[ARG:%.*]], -2
-; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i32 [[AND]], 13
-; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i32 [[ARG]], 32
-; CHECK-NEXT: [[PRED:%.*]] = or i1 [[CMP1]], [[CMP2]]
-; CHECK-NEXT: br i1 [[PRED]], label [[IF:%.*]], label [[ELSE:%.*]]
-; CHECK: if:
-; CHECK-NEXT: call void @foo1()
-; CHECK-NEXT: ret void
-; CHECK: else:
-; CHECK-NEXT: ret void
-;
%and = and i32 %arg, -2
%cmp1 = icmp eq i32 %and, 13
%cmp2 = icmp eq i32 %arg, 32
@@ -786,19 +621,11 @@
}
; Form a switch when or'ing a power of two
+; CHECK-LABEL: define void @test21
+; CHECK: i32 32, label %else
+; CHECK: i32 13, label %else
+; CHECK: i32 12, label %else
define void @test21(i32 %arg) {
-; CHECK-LABEL: @test21(
-; CHECK-NEXT: switch i32 [[ARG:%.*]], label [[IF:%.*]] [
-; CHECK-NEXT: i32 32, label [[ELSE:%.*]]
-; CHECK-NEXT: i32 13, label [[ELSE]]
-; CHECK-NEXT: i32 12, label [[ELSE]]
-; CHECK-NEXT: ]
-; CHECK: if:
-; CHECK-NEXT: call void @foo1()
-; CHECK-NEXT: ret void
-; CHECK: else:
-; CHECK-NEXT: ret void
-;
%and = or i32 %arg, 1
%cmp1 = icmp ne i32 %and, 13
%cmp2 = icmp ne i32 %arg, 32
@@ -814,19 +641,10 @@
}
; Since %cmp1 is always false, a switch is never formed
+; CHECK-LABEL: define void @test22
+; CHECK-NOT: switch
+; CHECK: ret void
define void @test22(i32 %arg) {
-; CHECK-LABEL: @test22(
-; CHECK-NEXT: [[AND:%.*]] = or i32 [[ARG:%.*]], 1
-; CHECK-NEXT: [[CMP1:%.*]] = icmp ne i32 [[AND]], 12
-; CHECK-NEXT: [[CMP2:%.*]] = icmp ne i32 [[ARG]], 32
-; CHECK-NEXT: [[PRED:%.*]] = and i1 [[CMP1]], [[CMP2]]
-; CHECK-NEXT: br i1 [[PRED]], label [[IF:%.*]], label [[ELSE:%.*]]
-; CHECK: if:
-; CHECK-NEXT: call void @foo1()
-; CHECK-NEXT: ret void
-; CHECK: else:
-; CHECK-NEXT: ret void
-;
%and = or i32 %arg, 1
%cmp1 = icmp ne i32 %and, 12
%cmp2 = icmp ne i32 %arg, 32
@@ -839,4 +657,4 @@
else:
ret void
-}
+}
\ No newline at end of file