1; RUN: opt < %s -loop-unswitch -verify-loop-info -S < %s 2>&1 | FileCheck %s
2
3define i32 @test(i32* %A, i1 %C) {
4entry:
5	br label %no_exit
6no_exit:		; preds = %no_exit.backedge, %entry
7	%i.0.0 = phi i32 [ 0, %entry ], [ %i.0.0.be, %no_exit.backedge ]		; <i32> [#uses=3]
8	%gep.upgrd.1 = zext i32 %i.0.0 to i64		; <i64> [#uses=1]
9	%tmp.7 = getelementptr i32, i32* %A, i64 %gep.upgrd.1		; <i32*> [#uses=4]
10	%tmp.13 = load i32, i32* %tmp.7		; <i32> [#uses=2]
11	%tmp.14 = add i32 %tmp.13, 1		; <i32> [#uses=1]
12	store i32 %tmp.14, i32* %tmp.7
13	br i1 %C, label %then, label %endif
14then:		; preds = %no_exit
15	%tmp.29 = load i32, i32* %tmp.7		; <i32> [#uses=1]
16	%tmp.30 = add i32 %tmp.29, 2		; <i32> [#uses=1]
17	store i32 %tmp.30, i32* %tmp.7
18	%inc9 = add i32 %i.0.0, 1		; <i32> [#uses=2]
19	%tmp.112 = icmp ult i32 %inc9, 100000		; <i1> [#uses=1]
20	br i1 %tmp.112, label %no_exit.backedge, label %return
21no_exit.backedge:		; preds = %endif, %then
22	%i.0.0.be = phi i32 [ %inc9, %then ], [ %inc, %endif ]		; <i32> [#uses=1]
23	br label %no_exit
24endif:		; preds = %no_exit
25	%inc = add i32 %i.0.0, 1		; <i32> [#uses=2]
26	%tmp.1 = icmp ult i32 %inc, 100000		; <i1> [#uses=1]
27	br i1 %tmp.1, label %no_exit.backedge, label %return
28return:		; preds = %endif, %then
29	ret i32 %tmp.13
30}
31
32; This simple test would normally unswitch, but should be inhibited by the presence of
33; the noduplicate call.
34
35; CHECK-LABEL: @test2(
36define i32 @test2(i32* %var) {
37  %mem = alloca i32
38  store i32 2, i32* %mem
39  %c = load i32, i32* %mem
40
41  br label %loop_begin
42
43loop_begin:
44
45  %var_val = load i32, i32* %var
46
47  switch i32 %c, label %default [
48      i32 1, label %inc
49      i32 2, label %dec
50  ]
51
52inc:
53  call void @incf() noreturn nounwind
54  br label %loop_begin
55dec:
56; CHECK: call void @decf()
57; CHECK-NOT: call void @decf()
58  call void @decf() noreturn nounwind noduplicate
59  br label %loop_begin
60default:
61  br label %loop_exit
62loop_exit:
63  ret i32 0
64; CHECK: }
65}
66
67; This simple test would normally unswitch, but should be inhibited by the presence of
68; the convergent call that is not control-dependent on the unswitch condition.
69
70; CHECK-LABEL: @test3(
71define i32 @test3(i32* %var) {
72  %mem = alloca i32
73  store i32 2, i32* %mem
74  %c = load i32, i32* %mem
75
76  br label %loop_begin
77
78loop_begin:
79
80  %var_val = load i32, i32* %var
81
82; CHECK: call void @conv()
83; CHECK-NOT: call void @conv()
84  call void @conv() convergent
85
86  switch i32 %c, label %default [
87      i32 1, label %inc
88      i32 2, label %dec
89  ]
90
91inc:
92  call void @incf() noreturn nounwind
93  br label %loop_begin
94dec:
95  call void @decf() noreturn nounwind
96  br label %loop_begin
97default:
98  br label %loop_exit
99loop_exit:
100  ret i32 0
101; CHECK: }
102}
103
104
105declare void @incf() noreturn
106declare void @decf() noreturn
107declare void @conv() convergent
108