From b6352ef4f341b876bc01f450b31033d1fa836f0c Mon Sep 17 00:00:00 2001 From: Florian Hahn Date: Mon, 26 Sep 2022 22:11:32 +0100 Subject: [PATCH] [LoopDeletion] Regenerate check lines for test added in f076a7097999d. --- .../pr57837-invalidate-scev-after-hoisting.ll | 24 ++++++++++++++++++++-- 1 file changed, 22 insertions(+), 2 deletions(-) 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 ad04c42..3f70e70 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,print' -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 -- 2.7.4