Skip to content

Commit df112cb

Browse files
[Tests][ConstraintElim] autogen newly-added case in large-constant-ints.ll (NFC)
I forgot to do this in 66ec5df / https://reviews.llvm.org/D158810. Since this is testing for an assertion failure, the test checks don't matter, but we might as well avoid unnecessary churn the next time someone modifies this test.
1 parent c3afa79 commit df112cb

File tree

1 file changed

+16
-6
lines changed

1 file changed

+16
-6
lines changed

llvm/test/Transforms/ConstraintElimination/large-constant-ints.ll

Lines changed: 16 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -281,16 +281,26 @@ else:
281281
}
282282

283283
define i1 @mul_nsw_decomp(i128 %x) {
284-
%val = mul nsw i128 %x, 9223372036854775808
285-
%cmp = icmp sgt i128 %x, %val
286-
br i1 %cmp, label %then, label %else
284+
; CHECK-LABEL: @mul_nsw_decomp(
285+
; CHECK-NEXT: [[VAL:%.*]] = mul nsw i128 [[X:%.*]], 9223372036854775808
286+
; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i128 [[X]], [[VAL]]
287+
; CHECK-NEXT: br i1 [[CMP]], label [[THEN:%.*]], label [[ELSE:%.*]]
288+
; CHECK: then:
289+
; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i128 [[X]], 0
290+
; CHECK-NEXT: ret i1 [[CMP2]]
291+
; CHECK: else:
292+
; CHECK-NEXT: ret i1 false
293+
;
294+
%val = mul nsw i128 %x, 9223372036854775808
295+
%cmp = icmp sgt i128 %x, %val
296+
br i1 %cmp, label %then, label %else
287297

288298
then:
289-
%cmp2 = icmp sgt i128 %x, 0
290-
ret i1 %cmp2
299+
%cmp2 = icmp sgt i128 %x, 0
300+
ret i1 %cmp2
291301

292302
else:
293-
ret i1 false
303+
ret i1 false
294304
}
295305

296306
define i1 @add_nuw_decomp_recursive() {

0 commit comments

Comments
 (0)