[llvm] b6352ef - [LoopDeletion] Regenerate check lines for test added in f076a7097999d.

[Florian Hahn via llvm-commits]

Author: Florian Hahn
Date: 2022-09-26T22:11:32+01:00
New Revision: b6352ef4f341b876bc01f450b31033d1fa836f0c

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

LOG: [LoopDeletion] Regenerate check lines for test added in f076a7097999d.

Added: 
    

Modified: 
    llvm/test/Transforms/LoopDeletion/pr57837-invalidate-scev-after-hoisting.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/LoopDeletion/pr57837-invalidate-scev-after-hoisting.ll b/llvm/test/Transforms/LoopDeletion/pr57837-invalidate-scev-after-hoisting.ll
index ad04c42c79355..3f70e7074b84a 100644
--- a/llvm/test/Transforms/LoopDeletion/pr57837-invalidate-scev-after-hoisting.ll
+++ b/llvm/test/Transforms/LoopDeletion/pr57837-invalidate-scev-after-hoisting.ll
@@ -1,8 +1,6 @@
 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt -passes='loop(indvars,loop-deletion),verify<scalar-evolution>,print<scalar-evolution>' -S %s 2>&1| FileCheck %s
 
-; XFAIL: *
-
 ; Make sure the SCEV for %invar is invalidated properly when the instruction is
 ; moved by LoopDeletion.
 
@@ -78,6 +76,28 @@ declare void @use(i32)
 
 
 define i32 @scev_invalidation_after_deleting(ptr %src) {
+; CHECK-LABEL: @scev_invalidation_after_deleting(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    br label [[OUTER_HEADER:%.*]]
+; CHECK:       outer.header:
+; CHECK-NEXT:    [[OUTER_IV:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[OUTER_IV_NEXT:%.*]], [[OUTER_LATCH:%.*]] ]
+; CHECK-NEXT:    br label [[INNER_1:%.*]]
+; CHECK:       inner.1:
+; CHECK-NEXT:    [[C_1:%.*]] = icmp eq i32 0, [[OUTER_IV]]
+; CHECK-NEXT:    br i1 [[C_1]], label [[INNER_2_PREHEADER:%.*]], label [[INNER_1]]
+; CHECK:       inner.2.preheader:
+; CHECK-NEXT:    br label [[INNER_3_PH:%.*]]
+; CHECK:       inner.3.ph:
+; CHECK-NEXT:    br label [[INNER_3:%.*]]
+; CHECK:       inner.3:
+; CHECK-NEXT:    [[L:%.*]] = load i32, ptr [[SRC:%.*]], align 4
+; CHECK-NEXT:    br i1 false, label [[OUTER_LATCH]], label [[INNER_3]]
+; CHECK:       outer.latch:
+; CHECK-NEXT:    [[L_LCSSA:%.*]] = phi i32 [ [[L]], [[INNER_3]] ]
+; CHECK-NEXT:    [[TRUNC:%.*]] = trunc i64 0 to i32
+; CHECK-NEXT:    [[OUTER_IV_NEXT]] = add nsw i32 [[L_LCSSA]], [[TRUNC]]
+; CHECK-NEXT:    br label [[OUTER_HEADER]]
+;
 entry:
   br label %outer.header