Skip to content

Commit b504e97

Browse files
fhahnfhahn
committed
[IndVars] Add NUW variants to iv-poison.ll and variants with extra uses.
1 parent d813af7 commit b504e97

File tree

1 file changed

+242
-0
lines changed

1 file changed

+242
-0
lines changed

‎llvm/test/Transforms/IndVarSimplify/iv-poison.ll

Lines changed: 242 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -86,6 +86,70 @@ exit:
8686
ret i2 %iv.1.next
8787
}
8888

89+
define i4 @iv_hoist_both_adds_nsw_extra_use(i4 %arg) {
90+
; CHECK-LABEL: @iv_hoist_both_adds_nsw_extra_use(
91+
; CHECK-NEXT: bb:
92+
; CHECK-NEXT: br label [[LOOP:%.*]]
93+
; CHECK: loop:
94+
; CHECK-NEXT: [[IV_0:%.*]] = phi i4 [ 1, [[BB:%.*]] ], [ [[IV_0_NEXT:%.*]], [[LOOP]] ]
95+
; CHECK-NEXT: [[IV_0_NEXT]] = add nuw i4 [[IV_0]], 1
96+
; CHECK-NEXT: call void @use(i4 [[IV_0_NEXT]])
97+
; CHECK-NEXT: call void @use(i4 [[IV_0_NEXT]])
98+
; CHECK-NEXT: [[DOTNOT_NOT:%.*]] = icmp ult i4 1, [[ARG:%.*]]
99+
; CHECK-NEXT: br i1 [[DOTNOT_NOT]], label [[EXIT:%.*]], label [[LOOP]]
100+
; CHECK: exit:
101+
; CHECK-NEXT: [[IV_1_NEXT_LCSSA:%.*]] = phi i4 [ [[IV_0_NEXT]], [[LOOP]] ]
102+
; CHECK-NEXT: ret i4 [[IV_1_NEXT_LCSSA]]
103+
;
104+
bb:
105+
br label %loop
106+
107+
loop:
108+
%iv.0 = phi i4 [ 1, %bb ], [ %iv.0.next, %loop ]
109+
%iv.1 = phi i4 [ 1, %bb ], [ %iv.1.next, %loop ]
110+
%iv.0.next = add nsw i4 %iv.0, 1
111+
call void @use(i4 %iv.0.next)
112+
%iv.1.next = add nsw i4 %iv.1, 1
113+
call void @use(i4 %iv.1.next)
114+
%.not.not = icmp ult i4 %iv.0, %arg
115+
br i1 %.not.not, label %exit, label %loop
116+
117+
exit:
118+
ret i4 %iv.1.next
119+
}
120+
121+
define i4 @iv_hoist_both_adds_nsw_extra_use_incs_reordered(i4 %arg) {
122+
; CHECK-LABEL: @iv_hoist_both_adds_nsw_extra_use_incs_reordered(
123+
; CHECK-NEXT: bb:
124+
; CHECK-NEXT: br label [[LOOP:%.*]]
125+
; CHECK: loop:
126+
; CHECK-NEXT: [[IV_0:%.*]] = phi i4 [ 1, [[BB:%.*]] ], [ [[IV_0_NEXT:%.*]], [[LOOP]] ]
127+
; CHECK-NEXT: [[IV_0_NEXT]] = add nuw i4 [[IV_0]], 1
128+
; CHECK-NEXT: call void @use(i4 [[IV_0_NEXT]])
129+
; CHECK-NEXT: call void @use(i4 [[IV_0_NEXT]])
130+
; CHECK-NEXT: [[DOTNOT_NOT:%.*]] = icmp ult i4 1, [[ARG:%.*]]
131+
; CHECK-NEXT: br i1 [[DOTNOT_NOT]], label [[EXIT:%.*]], label [[LOOP]]
132+
; CHECK: exit:
133+
; CHECK-NEXT: [[IV_1_NEXT_LCSSA:%.*]] = phi i4 [ [[IV_0_NEXT]], [[LOOP]] ]
134+
; CHECK-NEXT: ret i4 [[IV_1_NEXT_LCSSA]]
135+
;
136+
bb:
137+
br label %loop
138+
139+
loop:
140+
%iv.0 = phi i4 [ 1, %bb ], [ %iv.0.next, %loop ]
141+
%iv.1 = phi i4 [ 1, %bb ], [ %iv.1.next, %loop ]
142+
%iv.1.next = add nsw i4 %iv.1, 1
143+
call void @use(i4 %iv.1.next)
144+
%iv.0.next = add nsw i4 %iv.0, 1
145+
call void @use(i4 %iv.0.next)
146+
%.not.not = icmp ult i4 %iv.0, %arg
147+
br i1 %.not.not, label %exit, label %loop
148+
149+
exit:
150+
ret i4 %iv.1.next
151+
}
152+
89153
define i4 @iv_hoist_nsw_poison_extra_use(i4 %0, i4 %end, i4 %start) {
90154
; CHECK-LABEL: @iv_hoist_nsw_poison_extra_use(
91155
; CHECK-NEXT: entry:
@@ -117,3 +181,181 @@ exit:
117181
}
118182

119183
declare void @use(i4)
184+
185+
define i2 @iv_hoist_nuw_poison(i2 %arg, i2 %start) {
186+
; CHECK-LABEL: @iv_hoist_nuw_poison(
187+
; CHECK-NEXT: bb:
188+
; CHECK-NEXT: br label [[BB1:%.*]]
189+
; CHECK: bb1:
190+
; CHECK-NEXT: [[DOT07:%.*]] = phi i2 [ [[START:%.*]], [[BB:%.*]] ], [ [[I:%.*]], [[BB1]] ]
191+
; CHECK-NEXT: [[I]] = add i2 [[DOT07]], 1
192+
; CHECK-NEXT: [[DOTNOT_NOT:%.*]] = icmp ult i2 [[START]], [[ARG:%.*]]
193+
; CHECK-NEXT: br i1 [[DOTNOT_NOT]], label [[COMMON_RET:%.*]], label [[BB1]]
194+
; CHECK: common.ret:
195+
; CHECK-NEXT: [[I2_LCSSA:%.*]] = phi i2 [ [[I]], [[BB1]] ]
196+
; CHECK-NEXT: ret i2 [[I2_LCSSA]]
197+
;
198+
bb:
199+
br label %bb1
200+
201+
bb1: ; preds = %bb1, %bb
202+
%.07 = phi i2 [ %start, %bb ], [ %i, %bb1 ]
203+
%.0 = phi i2 [ %start, %bb ], [ %i2, %bb1 ]
204+
%i = add nuw i2 %.07, 1
205+
%i2 = add i2 %.0, 1
206+
%.not.not = icmp ult i2 %.07, %arg
207+
br i1 %.not.not, label %common.ret, label %bb1
208+
209+
common.ret: ; preds = %bb1
210+
ret i2 %i2
211+
}
212+
213+
define i4 @iv_hoist_nuw_poison2(i4 %0, i4 %end, i4 %start) {
214+
; CHECK-LABEL: @iv_hoist_nuw_poison2(
215+
; CHECK-NEXT: entry:
216+
; CHECK-NEXT: br label [[LOOP:%.*]]
217+
; CHECK: loop:
218+
; CHECK-NEXT: [[IV_0:%.*]] = phi i4 [ [[START:%.*]], [[ENTRY:%.*]] ], [ [[IV_0_NEXT:%.*]], [[LOOP]] ]
219+
; CHECK-NEXT: [[IV_0_NEXT]] = add i4 [[IV_0]], 1
220+
; CHECK-NEXT: [[DOTNOT_NOT:%.*]] = icmp ult i4 [[START]], [[END:%.*]]
221+
; CHECK-NEXT: br i1 [[DOTNOT_NOT]], label [[EXIT:%.*]], label [[LOOP]]
222+
; CHECK: exit:
223+
; CHECK-NEXT: [[IV_1_NEXT_LCSSA:%.*]] = phi i4 [ [[IV_0_NEXT]], [[LOOP]] ]
224+
; CHECK-NEXT: ret i4 [[IV_1_NEXT_LCSSA]]
225+
;
226+
entry:
227+
br label %loop
228+
229+
loop:
230+
%iv.0 = phi i4 [ %start, %entry ], [ %iv.0.next, %loop ]
231+
%iv.1 = phi i4 [ %start, %entry ], [ %iv.1.next, %loop ]
232+
%iv.0.next = add i4 %iv.0, 1
233+
%iv.1.next = add nuw i4 %iv.1, 1
234+
%.not.not = icmp ult i4 %iv.0, %end
235+
br i1 %.not.not, label %exit, label %loop
236+
237+
exit:
238+
ret i4 %iv.1.next
239+
}
240+
241+
define i2 @iv_hoist_both_adds_nuw(i2 %arg, i2 %start) {
242+
; CHECK-LABEL: @iv_hoist_both_adds_nuw(
243+
; CHECK-NEXT: bb:
244+
; CHECK-NEXT: br label [[LOOP:%.*]]
245+
; CHECK: loop:
246+
; CHECK-NEXT: [[IV_0:%.*]] = phi i2 [ [[START:%.*]], [[BB:%.*]] ], [ [[IV_0_NEXT:%.*]], [[LOOP]] ]
247+
; CHECK-NEXT: [[IV_0_NEXT]] = add i2 [[IV_0]], 1
248+
; CHECK-NEXT: [[DOTNOT_NOT:%.*]] = icmp ult i2 [[START]], [[ARG:%.*]]
249+
; CHECK-NEXT: br i1 [[DOTNOT_NOT]], label [[EXIT:%.*]], label [[LOOP]]
250+
; CHECK: exit:
251+
; CHECK-NEXT: [[IV_1_NEXT_LCSSA:%.*]] = phi i2 [ [[IV_0_NEXT]], [[LOOP]] ]
252+
; CHECK-NEXT: ret i2 [[IV_1_NEXT_LCSSA]]
253+
;
254+
bb:
255+
br label %loop
256+
257+
loop:
258+
%iv.0 = phi i2 [ %start, %bb ], [ %iv.0.next, %loop ]
259+
%iv.1 = phi i2 [ %start, %bb ], [ %iv.1.next, %loop ]
260+
%iv.0.next = add nuw i2 %iv.0, 1
261+
%iv.1.next = add nuw i2 %iv.1, 1
262+
%.not.not = icmp ult i2 %iv.0, %arg
263+
br i1 %.not.not, label %exit, label %loop
264+
265+
exit:
266+
ret i2 %iv.1.next
267+
}
268+
269+
define i4 @iv_hoist_both_adds_nuw_extra_use(i4 %arg, i4 %start) {
270+
; CHECK-LABEL: @iv_hoist_both_adds_nuw_extra_use(
271+
; CHECK-NEXT: bb:
272+
; CHECK-NEXT: br label [[LOOP:%.*]]
273+
; CHECK: loop:
274+
; CHECK-NEXT: [[IV_0:%.*]] = phi i4 [ [[START:%.*]], [[BB:%.*]] ], [ [[IV_0_NEXT:%.*]], [[LOOP]] ]
275+
; CHECK-NEXT: [[IV_0_NEXT]] = add i4 [[IV_0]], 1
276+
; CHECK-NEXT: call void @use(i4 [[IV_0_NEXT]])
277+
; CHECK-NEXT: call void @use(i4 [[IV_0_NEXT]])
278+
; CHECK-NEXT: [[DOTNOT_NOT:%.*]] = icmp ult i4 [[START]], [[ARG:%.*]]
279+
; CHECK-NEXT: br i1 [[DOTNOT_NOT]], label [[EXIT:%.*]], label [[LOOP]]
280+
; CHECK: exit:
281+
; CHECK-NEXT: [[IV_1_NEXT_LCSSA:%.*]] = phi i4 [ [[IV_0_NEXT]], [[LOOP]] ]
282+
; CHECK-NEXT: ret i4 [[IV_1_NEXT_LCSSA]]
283+
;
284+
bb:
285+
br label %loop
286+
287+
loop:
288+
%iv.0 = phi i4 [ %start, %bb ], [ %iv.0.next, %loop ]
289+
%iv.1 = phi i4 [ %start, %bb ], [ %iv.1.next, %loop ]
290+
%iv.0.next = add nuw i4 %iv.0, 1
291+
call void @use(i4 %iv.0.next)
292+
%iv.1.next = add nuw i4 %iv.1, 1
293+
call void @use(i4 %iv.1.next)
294+
%.not.not = icmp ult i4 %iv.0, %arg
295+
br i1 %.not.not, label %exit, label %loop
296+
297+
exit:
298+
ret i4 %iv.1.next
299+
}
300+
301+
define i4 @iv_hoist_both_adds_nuw_extra_use_incs_reordered(i4 %arg, i4 %start) {
302+
; CHECK-LABEL: @iv_hoist_both_adds_nuw_extra_use_incs_reordered(
303+
; CHECK-NEXT: bb:
304+
; CHECK-NEXT: br label [[LOOP:%.*]]
305+
; CHECK: loop:
306+
; CHECK-NEXT: [[IV_0:%.*]] = phi i4 [ [[START:%.*]], [[BB:%.*]] ], [ [[IV_0_NEXT:%.*]], [[LOOP]] ]
307+
; CHECK-NEXT: [[IV_0_NEXT]] = add i4 [[IV_0]], 1
308+
; CHECK-NEXT: call void @use(i4 [[IV_0_NEXT]])
309+
; CHECK-NEXT: call void @use(i4 [[IV_0_NEXT]])
310+
; CHECK-NEXT: [[DOTNOT_NOT:%.*]] = icmp ult i4 [[START]], [[ARG:%.*]]
311+
; CHECK-NEXT: br i1 [[DOTNOT_NOT]], label [[EXIT:%.*]], label [[LOOP]]
312+
; CHECK: exit:
313+
; CHECK-NEXT: [[IV_1_NEXT_LCSSA:%.*]] = phi i4 [ [[IV_0_NEXT]], [[LOOP]] ]
314+
; CHECK-NEXT: ret i4 [[IV_1_NEXT_LCSSA]]
315+
;
316+
bb:
317+
br label %loop
318+
319+
loop:
320+
%iv.0 = phi i4 [ %start, %bb ], [ %iv.0.next, %loop ]
321+
%iv.1 = phi i4 [ %start, %bb ], [ %iv.1.next, %loop ]
322+
%iv.1.next = add nuw i4 %iv.1, 1
323+
call void @use(i4 %iv.1.next)
324+
%iv.0.next = add nuw i4 %iv.0, 1
325+
call void @use(i4 %iv.0.next)
326+
%.not.not = icmp ult i4 %iv.0, %arg
327+
br i1 %.not.not, label %exit, label %loop
328+
329+
exit:
330+
ret i4 %iv.1.next
331+
}
332+
333+
define i4 @iv_hoist_nuw_poison_extra_use(i4 %0, i4 %end, i4 %start) {
334+
; CHECK-LABEL: @iv_hoist_nuw_poison_extra_use(
335+
; CHECK-NEXT: entry:
336+
; CHECK-NEXT: br label [[LOOP:%.*]]
337+
; CHECK: loop:
338+
; CHECK-NEXT: [[IV_0:%.*]] = phi i4 [ [[START:%.*]], [[ENTRY:%.*]] ], [ [[IV_0_NEXT:%.*]], [[LOOP]] ]
339+
; CHECK-NEXT: [[IV_0_NEXT]] = add i4 [[IV_0]], 1
340+
; CHECK-NEXT: call void @use(i4 [[IV_0_NEXT]])
341+
; CHECK-NEXT: [[DOTNOT_NOT:%.*]] = icmp ult i4 [[START]], [[END:%.*]]
342+
; CHECK-NEXT: br i1 [[DOTNOT_NOT]], label [[EXIT:%.*]], label [[LOOP]]
343+
; CHECK: exit:
344+
; CHECK-NEXT: [[IV_1_NEXT_LCSSA:%.*]] = phi i4 [ [[IV_0_NEXT]], [[LOOP]] ]
345+
; CHECK-NEXT: ret i4 [[IV_1_NEXT_LCSSA]]
346+
;
347+
entry:
348+
br label %loop
349+
350+
loop:
351+
%iv.0 = phi i4 [ %start, %entry ], [ %iv.0.next, %loop ]
352+
%iv.1 = phi i4 [ %start, %entry ], [ %iv.1.next, %loop ]
353+
%iv.0.next = add i4 %iv.0, 1
354+
call void @use(i4 %iv.0.next)
355+
%iv.1.next = add nuw i4 %iv.1, 1
356+
%.not.not = icmp ult i4 %iv.0, %end
357+
br i1 %.not.not, label %exit, label %loop
358+
359+
exit:
360+
ret i4 %iv.1.next
361+
}

0 commit comments

Comments
 (0)