[llvm] 6ebd16a - [NFC][LSR] Autogenerate checklines in a test to simplify further updates

[Roman Lebedev via llvm-commits]

Author: Roman Lebedev
Date: 2022-02-11T01:21:45+03:00
New Revision: 6ebd16a9ffcbce1270bc456e43b3b42dc3c6e9f6

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

LOG: [NFC][LSR] Autogenerate checklines in a test to simplify further updates

Added: 
    

Modified: 
    llvm/test/Transforms/LoopStrengthReduce/X86/lsr-expand-quadratic.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/LoopStrengthReduce/X86/lsr-expand-quadratic.ll b/llvm/test/Transforms/LoopStrengthReduce/X86/lsr-expand-quadratic.ll
index deca954fea789..8554e64bedd91 100644
--- a/llvm/test/Transforms/LoopStrengthReduce/X86/lsr-expand-quadratic.ll
+++ b/llvm/test/Transforms/LoopStrengthReduce/X86/lsr-expand-quadratic.ll
@@ -1,3 +1,4 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; REQUIRES: x86-registered-target
 ; RUN: opt -loop-reduce -S < %s | FileCheck %s
 
@@ -18,23 +19,30 @@ target triple = "x86_64-apple-macosx"
 ; loop. This recurrence depends on %sub.us, so can't be expanded.
 ; We cannot fold SCEVUnknown (sub.us) with recurrences since it is
 ; declared after the loop.
-;
-; CHECK-LABEL: @test2
-; CHECK-LABEL: test2.loop:
-; CHECK:  %lsr.iv1 = phi i32 [ %lsr.iv.next2, %test2.loop ], [ -16777216, %entry ]
-; CHECK:  %lsr.iv = phi i32 [ %lsr.iv.next, %test2.loop ], [ 1, %entry ]
-; CHECK:  %lsr.iv.next = add nsw i32 %lsr.iv, -1
-; CHECK:  %lsr.iv.next2 = add nsw i32 %lsr.iv1, 16777216
-;
-; CHECK-LABEL: for.end:
-; CHECK:  %tobool.us = icmp eq i32 %lsr.iv.next, 0
-; CHECK:  %sub.us = select i1 %tobool.us, i32 0, i32 0
-; CHECK:  %0 = sub i32 0, %sub.us
-; CHECK:  %1 = sub i32 %0, %lsr.iv.next
-; CHECK:  %sext.us = mul i32 %lsr.iv.next2, %1
-; CHECK:  %f = ashr i32 %sext.us, 24
-; CHECK: ret i32 %f
 define i32 @test2() {
+; CHECK-LABEL: @test2(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    br label [[TEST2_LOOP:%.*]]
+; CHECK:       test2.loop:
+; CHECK-NEXT:    [[LSR_IV1:%.*]] = phi i32 [ [[LSR_IV_NEXT2:%.*]], [[TEST2_LOOP]] ], [ -16777216, [[ENTRY:%.*]] ]
+; CHECK-NEXT:    [[LSR_IV:%.*]] = phi i32 [ [[LSR_IV_NEXT:%.*]], [[TEST2_LOOP]] ], [ 1, [[ENTRY]] ]
+; CHECK-NEXT:    [[INC1115_US:%.*]] = phi i32 [ 0, [[ENTRY]] ], [ [[INC11_US:%.*]], [[TEST2_LOOP]] ]
+; CHECK-NEXT:    [[INC11_US]] = add nsw i32 [[INC1115_US]], 1
+; CHECK-NEXT:    [[LSR_IV_NEXT]] = add nsw i32 [[LSR_IV]], -1
+; CHECK-NEXT:    [[LSR_IV_NEXT2]] = add nsw i32 [[LSR_IV1]], 16777216
+; CHECK-NEXT:    [[CMP_US:%.*]] = icmp slt i32 [[INC11_US]], 2
+; CHECK-NEXT:    br i1 [[CMP_US]], label [[TEST2_LOOP]], label [[FOR_END:%.*]]
+; CHECK:       for.end:
+; CHECK-NEXT:    [[TOBOOL_US:%.*]] = icmp eq i32 [[LSR_IV_NEXT]], 0
+; CHECK-NEXT:    [[SUB_US:%.*]] = select i1 [[TOBOOL_US]], i32 0, i32 0
+; CHECK-NEXT:    [[TMP0:%.*]] = sub i32 0, [[SUB_US]]
+; CHECK-NEXT:    [[TMP1:%.*]] = sub i32 [[TMP0]], [[LSR_IV_NEXT]]
+; CHECK-NEXT:    [[SEXT_US:%.*]] = mul i32 [[LSR_IV_NEXT2]], [[TMP1]]
+; CHECK-NEXT:    [[F:%.*]] = ashr i32 [[SEXT_US]], 24
+; CHECK-NEXT:    br label [[EXIT:%.*]]
+; CHECK:       exit:
+; CHECK-NEXT:    ret i32 [[F]]
+;
 entry:
   br label %test2.loop