@@ -197,8 +197,6 @@ for.end:
197
197
define void @bug18724 (i1 %cond ) {
198
198
; UNROLL-LABEL: @bug18724(
199
199
; UNROLL-NEXT: entry:
200
- ; UNROLL-NEXT: [[TMP0:%.*]] = xor i1 [[COND:%.*]], true
201
- ; UNROLL-NEXT: call void @llvm.assume(i1 [[TMP0]])
202
200
; UNROLL-NEXT: br label [[FOR_BODY14:%.*]]
203
201
; UNROLL: for.body14:
204
202
; UNROLL-NEXT: [[INDVARS_IV3:%.*]] = phi i64 [ [[INDVARS_IV_NEXT4:%.*]], [[FOR_INC23:%.*]] ], [ undef, [[ENTRY:%.*]] ]
@@ -213,9 +211,6 @@ define void @bug18724(i1 %cond) {
213
211
; UNROLL: for.inc23:
214
212
; UNROLL-NEXT: [[INEWCHUNKS_2]] = phi i32 [ [[INC21]], [[IF_THEN18]] ], [ [[INEWCHUNKS_120]], [[FOR_BODY14]] ]
215
213
; UNROLL-NEXT: [[INDVARS_IV_NEXT4]] = add nsw i64 [[INDVARS_IV3]], 1
216
- ; UNROLL-NEXT: [[TMP1:%.*]] = trunc i64 [[INDVARS_IV3]] to i32
217
- ; UNROLL-NEXT: [[CMP13:%.*]] = icmp slt i32 [[TMP1]], 0
218
- ; UNROLL-NEXT: call void @llvm.assume(i1 [[CMP13]])
219
214
; UNROLL-NEXT: br label [[FOR_BODY14]]
220
215
;
221
216
; UNROLL-NOSIMPLIFY-LABEL: @bug18724(
@@ -292,8 +287,6 @@ define void @bug18724(i1 %cond) {
292
287
;
293
288
; VEC-LABEL: @bug18724(
294
289
; VEC-NEXT: entry:
295
- ; VEC-NEXT: [[TMP0:%.*]] = xor i1 [[COND:%.*]], true
296
- ; VEC-NEXT: call void @llvm.assume(i1 [[TMP0]])
297
290
; VEC-NEXT: br label [[FOR_BODY14:%.*]]
298
291
; VEC: for.body14:
299
292
; VEC-NEXT: [[INDVARS_IV3:%.*]] = phi i64 [ [[INDVARS_IV_NEXT4:%.*]], [[FOR_INC23:%.*]] ], [ undef, [[ENTRY:%.*]] ]
@@ -308,9 +301,6 @@ define void @bug18724(i1 %cond) {
308
301
; VEC: for.inc23:
309
302
; VEC-NEXT: [[INEWCHUNKS_2]] = phi i32 [ [[INC21]], [[IF_THEN18]] ], [ [[INEWCHUNKS_120]], [[FOR_BODY14]] ]
310
303
; VEC-NEXT: [[INDVARS_IV_NEXT4]] = add nsw i64 [[INDVARS_IV3]], 1
311
- ; VEC-NEXT: [[TMP1:%.*]] = trunc i64 [[INDVARS_IV3]] to i32
312
- ; VEC-NEXT: [[CMP13:%.*]] = icmp slt i32 [[TMP1]], 0
313
- ; VEC-NEXT: call void @llvm.assume(i1 [[CMP13]])
314
304
; VEC-NEXT: br label [[FOR_BODY14]]
315
305
;
316
306
entry:
0 commit comments