[llvm] 118d8fe - [LoopUnroll] Regenerate test checks (NFC)

[Nikita Popov via llvm-commits]

Author: Nikita Popov
Date: 2022-07-18T10:37:22+02:00
New Revision: 118d8fe46b7b3402ca75cb2eff5612ed44743251

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

LOG: [LoopUnroll] Regenerate test checks (NFC)

Added: 
    

Modified: 
    llvm/test/Transforms/LoopUnroll/callbr.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/LoopUnroll/callbr.ll b/llvm/test/Transforms/LoopUnroll/callbr.ll
index 4f512f30aaecd..723fd36ce16f1 100644
--- a/llvm/test/Transforms/LoopUnroll/callbr.ll
+++ b/llvm/test/Transforms/LoopUnroll/callbr.ll
@@ -1,25 +1,32 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt -loop-unroll -S %s | FileCheck %s
 
-; Check that the loop body exists.
-; CHECK: for.body
-; CHECK: if.then
-; CHECK: asm.fallthrough
-; CHECK: l_yes
-; CHECK: for.inc
-
 ; Check that the loop body does not get unrolled.  We could modify this test in
 ; the future to support loop unrolling callbr's IFF we checked that the callbr
 ; operands were unrolled/updated correctly, as today they are not.
-; CHECK-NOT: if.then.1
-; CHECK-NOT: asm.fallthrough.1
-; CHECK-NOT: l_yes.1
-; CHECK-NOT: for.inc.1
-; CHECK-NOT: if.then.2
-; CHECK-NOT: asm.fallthrough.2
-; CHECK-NOT: l_yes.2
-; CHECK-NOT: for.inc.2
-
 define dso_local void @d() {
+; CHECK-LABEL: @d(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    br label [[FOR_BODY:%.*]]
+; CHECK:       for.cond.cleanup:
+; CHECK-NEXT:    ret void
+; CHECK:       for.body:
+; CHECK-NEXT:    [[E_04:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[INC:%.*]], [[FOR_INC:%.*]] ]
+; CHECK-NEXT:    [[TOBOOL:%.*]] = icmp eq i32 [[E_04]], 0
+; CHECK-NEXT:    br i1 [[TOBOOL]], label [[FOR_INC]], label [[IF_THEN:%.*]]
+; CHECK:       if.then:
+; CHECK-NEXT:    callbr void asm sideeffect "1: nop\0A\09.quad b, ${0:l}, $$5\0A\09", "!i,~{dirflag},~{fpsr},~{flags}"()
+; CHECK-NEXT:    to label [[ASM_FALLTHROUGH:%.*]] [label %l_yes]
+; CHECK:       asm.fallthrough:
+; CHECK-NEXT:    br label [[L_YES:%.*]]
+; CHECK:       l_yes:
+; CHECK-NEXT:    [[CALL:%.*]] = tail call i32 (...) @g()
+; CHECK-NEXT:    br label [[FOR_INC]]
+; CHECK:       for.inc:
+; CHECK-NEXT:    [[INC]] = add nuw nsw i32 [[E_04]], 1
+; CHECK-NEXT:    [[EXITCOND:%.*]] = icmp eq i32 [[INC]], 3
+; CHECK-NEXT:    br i1 [[EXITCOND]], label [[FOR_COND_CLEANUP:%.*]], label [[FOR_BODY]]
+;
 entry:
   br label %for.body
 
@@ -33,7 +40,7 @@ for.body:                                         ; preds = %for.inc, %entry
 
 if.then:                                          ; preds = %for.body
   callbr void asm sideeffect "1: nop\0A\09.quad b, ${0:l}, $$5\0A\09", "!i,~{dirflag},~{fpsr},~{flags}"()
-          to label %asm.fallthrough [label %l_yes]
+  to label %asm.fallthrough [label %l_yes]
 
 asm.fallthrough:                                  ; preds = %if.then
   br label %l_yes