1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -passes=newgvn -S %s | FileCheck %s
3
4; Test cases where initially a PHI-of-ops can be simplified to an existing
5; value, but later we need to revisit the decision because the leader of
6; one of the operands used for the simplification changed.
7
8declare void @use(i1)
9
10define void @pr36501(i1 %c) {
11; CHECK-LABEL: @pr36501(
12; CHECK-NEXT:  bb:
13; CHECK-NEXT:    br label [[BB1:%.*]]
14; CHECK:       bb1:
15; CHECK-NEXT:    [[PHI_1:%.*]] = phi i32 [ -2022207984, [[BB:%.*]] ], [ 0, [[BB7:%.*]] ]
16; CHECK-NEXT:    br i1 [[C:%.*]], label [[BB3:%.*]], label [[BB2:%.*]]
17; CHECK:       bb2:
18; CHECK-NEXT:    br label [[BB3]]
19; CHECK:       bb3:
20; CHECK-NEXT:    [[PHI_2:%.*]] = phi i32 [ -1, [[BB2]] ], [ [[PHI_1]], [[BB1]] ]
21; CHECK-NEXT:    [[TMP5:%.*]] = icmp eq i32 [[PHI_2]], 0
22; CHECK-NEXT:    br i1 [[TMP5]], label [[BB6:%.*]], label [[BB7]]
23; CHECK:       bb6:
24; CHECK-NEXT:    br label [[BB7]]
25; CHECK:       bb7:
26; CHECK-NEXT:    [[PHIOFOPS:%.*]] = phi i1 [ [[TMP5]], [[BB3]] ], [ true, [[BB6]] ]
27; CHECK-NEXT:    [[PHI_3:%.*]] = phi i32 [ [[PHI_2]], [[BB3]] ], [ 0, [[BB6]] ]
28; CHECK-NEXT:    call void @use(i1 [[PHIOFOPS]])
29; CHECK-NEXT:    br label [[BB1]]
30;
31bb:
32  br label %bb1
33
34bb1:
35  %phi.1 = phi i32 [ -2022207984, %bb ], [ 0, %bb7 ]
36  br i1 %c, label %bb3, label %bb2
37
38bb2:
39  br label %bb3
40
41bb3:
42  %phi.2 = phi i32 [ -1, %bb2 ], [ %phi.1, %bb1 ]
43  %tmp5 = icmp eq i32 %phi.2, 0
44  br i1 %tmp5, label %bb6, label %bb7
45
46bb6:
47  br label %bb7
48
49bb7:                                              ; preds = %bb6, %bb3
50  %phi.3 = phi i32 [ %phi.2, %bb3 ], [ 0, %bb6 ]
51  %tmp9 = icmp eq i32 %phi.3, 0
52  call void @use(i1 %tmp9)
53  br label %bb1
54}
55
56define void @pr42422(i1 %c.1, i1 %c.2) {
57; CHECK-LABEL: @pr42422(
58; CHECK-NEXT:  bb:
59; CHECK-NEXT:    br label [[BB1:%.*]]
60; CHECK:       bb1:
61; CHECK-NEXT:    br label [[BB2:%.*]]
62; CHECK:       bb2:
63; CHECK-NEXT:    [[TMP:%.*]] = phi i32 [ [[TMP23:%.*]], [[BB22:%.*]] ], [ 0, [[BB1]] ]
64; CHECK-NEXT:    [[TMP3:%.*]] = icmp sle i32 [[TMP]], 1
65; CHECK-NEXT:    br i1 [[TMP3]], label [[BB4:%.*]], label [[BB24:%.*]]
66; CHECK:       bb4:
67; CHECK-NEXT:    br i1 [[C_1:%.*]], label [[BB5:%.*]], label [[BB6:%.*]]
68; CHECK:       bb5:
69; CHECK-NEXT:    br label [[BB19:%.*]]
70; CHECK:       bb6:
71; CHECK-NEXT:    br i1 [[C_2:%.*]], label [[BB7:%.*]], label [[BB8:%.*]]
72; CHECK:       bb7:
73; CHECK-NEXT:    br label [[BB16:%.*]]
74; CHECK:       bb8:
75; CHECK-NEXT:    [[TMP9:%.*]] = phi i64 [ [[TMP12:%.*]], [[BB11:%.*]] ], [ 0, [[BB6]] ]
76; CHECK-NEXT:    [[TMP10:%.*]] = icmp sle i64 [[TMP9]], 1
77; CHECK-NEXT:    br i1 [[TMP10]], label [[BB11]], label [[BB13:%.*]]
78; CHECK:       bb11:
79; CHECK-NEXT:    [[TMP12]] = add nsw i64 [[TMP9]], 1
80; CHECK-NEXT:    br label [[BB8]]
81; CHECK:       bb13:
82; CHECK-NEXT:    br i1 true, label [[BB14:%.*]], label [[BB15:%.*]]
83; CHECK:       bb14:
84; CHECK-NEXT:    br label [[BB16]]
85; CHECK:       bb15:
86; CHECK-NEXT:    store i8 poison, ptr null, align 1
87; CHECK-NEXT:    br label [[BB16]]
88; CHECK:       bb16:
89; CHECK-NEXT:    [[TMP17:%.*]] = phi i32 [ poison, [[BB15]] ], [ 1, [[BB14]] ], [ 9, [[BB7]] ]
90; CHECK-NEXT:    switch i32 [[TMP17]], label [[BB19]] [
91; CHECK-NEXT:      i32 0, label [[BB6]]
92; CHECK-NEXT:      i32 9, label [[BB18:%.*]]
93; CHECK-NEXT:    ]
94; CHECK:       bb18:
95; CHECK-NEXT:    br label [[BB19]]
96; CHECK:       bb19:
97; CHECK-NEXT:    [[TMP20:%.*]] = phi i32 [ 0, [[BB18]] ], [ [[TMP17]], [[BB16]] ], [ 1, [[BB5]] ]
98; CHECK-NEXT:    [[TMP21:%.*]] = icmp eq i32 [[TMP20]], 0
99; CHECK-NEXT:    br i1 [[TMP21]], label [[BB22]], label [[BB25:%.*]]
100; CHECK:       bb22:
101; CHECK-NEXT:    [[TMP23]] = add nsw i32 [[TMP]], 1
102; CHECK-NEXT:    br label [[BB2]]
103; CHECK:       bb24:
104; CHECK-NEXT:    br label [[BB25]]
105; CHECK:       bb25:
106; CHECK-NEXT:    [[PHIOFOPS:%.*]] = phi i1 [ true, [[BB24]] ], [ [[TMP21]], [[BB19]] ]
107; CHECK-NEXT:    [[TMP26:%.*]] = phi i32 [ [[TMP20]], [[BB19]] ], [ 0, [[BB24]] ]
108; CHECK-NEXT:    br i1 [[PHIOFOPS]], label [[BB1]], label [[BB28:%.*]]
109; CHECK:       bb28:
110; CHECK-NEXT:    ret void
111;
112bb:
113  br label %bb1
114
115bb1:                                              ; preds = %bb25, %bb
116  br label %bb2
117
118bb2:                                              ; preds = %bb22, %bb1
119  %tmp = phi i32 [ %tmp23, %bb22 ], [ 0, %bb1 ]
120  %tmp3 = icmp sle i32 %tmp, 1
121  br i1 %tmp3, label %bb4, label %bb24
122
123bb4:                                              ; preds = %bb2
124  br i1 %c.1, label %bb5, label %bb6
125
126bb5:                                              ; preds = %bb4
127  br label %bb19
128
129bb6:                                              ; preds = %bb16, %bb4
130  br i1 %c.2, label %bb7, label %bb8
131
132bb7:                                              ; preds = %bb6
133  br label %bb16
134
135bb8:                                              ; preds = %bb11, %bb6
136  %tmp9 = phi i64 [ %tmp12, %bb11 ], [ 0, %bb6 ]
137  %tmp10 = icmp sle i64 %tmp9, 1
138  br i1 %tmp10, label %bb11, label %bb13
139
140bb11:                                             ; preds = %bb8
141  %tmp12 = add nsw i64 %tmp9, 1
142  br label %bb8
143
144bb13:                                             ; preds = %bb8
145  br i1 true, label %bb14, label %bb15
146
147bb14:                                             ; preds = %bb13
148  br label %bb16
149
150bb15:                                             ; preds = %bb13
151  br label %bb16
152
153bb16:                                             ; preds = %bb15, %bb14, %bb7
154  %tmp17 = phi i32 [ undef, %bb15 ], [ 1, %bb14 ], [ 9, %bb7 ]
155  switch i32 %tmp17, label %bb19 [
156  i32 0, label %bb6
157  i32 9, label %bb18
158  ]
159
160bb18:                                             ; preds = %bb16
161  br label %bb19
162
163bb19:                                             ; preds = %bb18, %bb16, %bb5
164  %tmp20 = phi i32 [ 0, %bb18 ], [ %tmp17, %bb16 ], [ 1, %bb5 ]
165  %tmp21 = icmp eq i32 %tmp20, 0
166  br i1 %tmp21, label %bb22, label %bb25
167
168bb22:                                             ; preds = %bb19
169  %tmp23 = add nsw i32 %tmp, 1
170  br label %bb2
171
172bb24:                                             ; preds = %bb2
173  br label %bb25
174
175bb25:                                             ; preds = %bb24, %bb19
176  %tmp26 = phi i32 [ %tmp20, %bb19 ], [ 0, %bb24 ]
177  %tmp27 = icmp eq i32 %tmp26, 0
178  br i1 %tmp27, label %bb1, label %bb28
179
180bb28:                                             ; preds = %bb25
181  ret void
182}
183
184define void @PR42557(i32 %tmp6, i1 %c.1, i1 %c.2) {
185; CHECK-LABEL: @PR42557(
186; CHECK-NEXT:  bb:
187; CHECK-NEXT:    br label [[BB1:%.*]]
188; CHECK:       bb1:
189; CHECK-NEXT:    [[TMP:%.*]] = phi i32 [ 0, [[BB:%.*]] ], [ [[TMP6:%.*]], [[BB1]] ]
190; CHECK-NEXT:    br i1 [[C_1:%.*]], label [[BB2:%.*]], label [[BB1]]
191; CHECK:       bb2:
192; CHECK-NEXT:    br i1 [[C_2:%.*]], label [[BB16:%.*]], label [[BB11:%.*]]
193; CHECK:       bb16:
194; CHECK-NEXT:    [[TMP17:%.*]] = add i32 [[TMP]], 1
195; CHECK-NEXT:    br label [[BB11]]
196; CHECK:       bb11:
197; CHECK-NEXT:    [[TMP12:%.*]] = phi i32 [ [[TMP17]], [[BB16]] ], [ 0, [[BB2]] ]
198; CHECK-NEXT:    [[TMP13:%.*]] = icmp eq i32 [[TMP12]], 0
199; CHECK-NEXT:    call void @use(i1 [[TMP13]])
200; CHECK-NEXT:    [[TMP15:%.*]] = icmp ne i32 [[TMP]], 0
201; CHECK-NEXT:    br i1 [[TMP15]], label [[BB18:%.*]], label [[BB19:%.*]]
202; CHECK:       bb18:
203; CHECK-NEXT:    br label [[BB19]]
204; CHECK:       bb19:
205; CHECK-NEXT:    [[PHIOFOPS:%.*]] = phi i1 [ [[TMP13]], [[BB11]] ], [ false, [[BB18]] ]
206; CHECK-NEXT:    [[TMP20:%.*]] = phi i32 [ [[TMP12]], [[BB11]] ], [ 1, [[BB18]] ]
207; CHECK-NEXT:    call void @use(i1 [[PHIOFOPS]])
208; CHECK-NEXT:    ret void
209;
210bb:
211  br label %bb1
212
213bb1:                                              ; preds = %bb1, %bb
214  %tmp = phi i32 [ 0, %bb ], [ %tmp6, %bb1 ]
215  br i1 %c.1, label %bb2, label %bb1
216
217bb2:                                              ; preds = %bb1
218  br i1 %c.2, label %bb16, label %bb11
219
220bb16:                                             ; preds = %bb2
221  %tmp17 = add i32 %tmp, 1
222  br label %bb11
223
224bb11:                                             ; preds = %bb16, %bb2
225  %tmp12 = phi i32 [ %tmp17, %bb16 ], [ 0, %bb2 ]
226  %tmp13 = icmp eq i32 %tmp12, 0
227  call void @use(i1 %tmp13)
228  %tmp15 = icmp ne i32 %tmp, 0
229  br i1 %tmp15, label %bb18, label %bb19
230
231bb18:                                             ; preds = %bb11
232  br label %bb19
233
234bb19:                                             ; preds = %bb18, %bb11
235  %tmp20 = phi i32 [ %tmp12, %bb11 ], [ 1, %bb18 ]
236  %tmp21 = icmp eq i32 %tmp20, 0
237  call void @use(i1 %tmp21)
238  ret void
239}
240