[llvm] df112cb - [Tests][ConstraintElim] autogen newly-added case in large-constant-ints.ll (NFC)

Erik Desjardins via llvm-commits llvm-commits at lists.llvm.org
Fri Aug 25 14:30:38 PDT 2023


Author: Erik Desjardins
Date: 2023-08-25T17:29:40-04:00
New Revision: df112cba034eefb86d0e92e18518f5e944d58c37

URL: https://github.com/llvm/llvm-project/commit/df112cba034eefb86d0e92e18518f5e944d58c37
DIFF: https://github.com/llvm/llvm-project/commit/df112cba034eefb86d0e92e18518f5e944d58c37.diff

LOG: [Tests][ConstraintElim] autogen newly-added case in large-constant-ints.ll (NFC)

I forgot to do this in 66ec5df3a7f33366455d50769e4e878544becea6 / 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.

Added: 
    

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

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/ConstraintElimination/large-constant-ints.ll b/llvm/test/Transforms/ConstraintElimination/large-constant-ints.ll
index bdc75c49f73c41..8e6fa126a59406 100644
--- a/llvm/test/Transforms/ConstraintElimination/large-constant-ints.ll
+++ b/llvm/test/Transforms/ConstraintElimination/large-constant-ints.ll
@@ -281,16 +281,26 @@ else:
 }
 
 define i1 @mul_nsw_decomp(i128 %x) {
-    %val = mul nsw i128 %x, 9223372036854775808
-    %cmp = icmp sgt i128 %x, %val
-    br i1 %cmp, label %then, label %else
+; CHECK-LABEL: @mul_nsw_decomp(
+; CHECK-NEXT:    [[VAL:%.*]] = mul nsw i128 [[X:%.*]], 9223372036854775808
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i128 [[X]], [[VAL]]
+; CHECK-NEXT:    br i1 [[CMP]], label [[THEN:%.*]], label [[ELSE:%.*]]
+; CHECK:       then:
+; CHECK-NEXT:    [[CMP2:%.*]] = icmp sgt i128 [[X]], 0
+; CHECK-NEXT:    ret i1 [[CMP2]]
+; CHECK:       else:
+; CHECK-NEXT:    ret i1 false
+;
+  %val = mul nsw i128 %x, 9223372036854775808
+  %cmp = icmp sgt i128 %x, %val
+  br i1 %cmp, label %then, label %else
 
 then:
-    %cmp2 = icmp sgt i128 %x, 0
-    ret i1 %cmp2
+  %cmp2 = icmp sgt i128 %x, 0
+  ret i1 %cmp2
 
 else:
-    ret i1 false
+  ret i1 false
 }
 
 define i1 @add_nuw_decomp_recursive() {


        


More information about the llvm-commits mailing list