[LICM] Regenerate test checks (NFC)

llvm · Sep 9, 2022 · 5b1df2e · 5b1df2e
1 parent 1e2b4ff
commit 5b1df2e
Showing 1 changed file with 52 additions and 22 deletions.
diff --git a/llvm/test/Transforms/LICM/invariant.start.ll b/llvm/test/Transforms/LICM/invariant.start.ll
@@ -1,12 +1,18 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt -licm -basic-aa < %s -S | FileCheck %s
 ; RUN: opt -aa-pipeline=basic-aa -passes='require<aa>,require<targetir>,require<scalar-evolution>,require<opt-remark-emit>,loop-mssa(licm)' < %s -S | FileCheck %s
 
 define void @test1(i1 %cond, i32* %ptr) {
 ; CHECK-LABEL: @test1(
-; CHECK-LABEL: entry:
-; CHECK: call {}* @llvm.invariant.start.p0i32(i64 4, i32* %ptr)
-; CHECK: %val = load i32, i32* %ptr
-; CHECK-LABEL: loop:
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    [[TMP0:%.*]] = call {}* @llvm.invariant.start.p0i32(i64 4, i32* [[PTR:%.*]])
+; CHECK-NEXT:    [[VAL:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT:    br label [[LOOP:%.*]]
+; CHECK:       loop:
+; CHECK-NEXT:    [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[X_INC:%.*]], [[LOOP]] ]
+; CHECK-NEXT:    [[X_INC]] = add i32 [[X]], [[VAL]]
+; CHECK-NEXT:    br label [[LOOP]]
+;
 
 entry:
   br label %loop
@@ -23,10 +29,16 @@ loop:
 ;; able to hoist the load
 define void @test2(i1 %cond, i32* %ptr) {
 ; CHECK-LABEL: @test2(
-; CHECK-LABEL: entry:
-; CHECK: %val = load i32, i32* %ptr
-; CHECK-LABEL: loop:
-; CHECK: call {}* @llvm.invariant.start.p0i32(i64 4, i32* %piv)
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    [[VAL:%.*]] = load i32, i32* [[PTR:%.*]], align 4
+; CHECK-NEXT:    br label [[LOOP:%.*]]
+; CHECK:       loop:
+; CHECK-NEXT:    [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[X_INC:%.*]], [[LOOP]] ]
+; CHECK-NEXT:    [[PIV:%.*]] = getelementptr i32, i32* [[PTR]], i32 [[X]]
+; CHECK-NEXT:    [[TMP0:%.*]] = call {}* @llvm.invariant.start.p0i32(i64 4, i32* [[PIV]])
+; CHECK-NEXT:    [[X_INC]] = add i32 [[X]], [[VAL]]
+; CHECK-NEXT:    br label [[LOOP]]
+;
 entry:
   br label %loop
 
@@ -41,10 +53,17 @@ loop:
 
 define void @test3(i1 %cond, i32* %ptr) {
 ; CHECK-LABEL: @test3(
-; CHECK-LABEL: entry:
-; CHECK: call {}* @llvm.invariant.start.p0i32(i64 4, i32* %ptr)
-; CHECK: %val = load i32, i32* %ptr
-; CHECK-LABEL: loop:
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    [[TMP0:%.*]] = call {}* @llvm.invariant.start.p0i32(i64 4, i32* [[PTR:%.*]])
+; CHECK-NEXT:    [[VAL:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT:    [[P2:%.*]] = getelementptr i32, i32* [[PTR]], i32 1
+; CHECK-NEXT:    br label [[LOOP:%.*]]
+; CHECK:       loop:
+; CHECK-NEXT:    [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[X_INC:%.*]], [[LOOP]] ]
+; CHECK-NEXT:    store volatile i32 0, i32* [[P2]], align 4
+; CHECK-NEXT:    [[X_INC]] = add i32 [[X]], [[VAL]]
+; CHECK-NEXT:    br label [[LOOP]]
+;
 entry:
   br label %loop
 
@@ -62,11 +81,16 @@ loop:
 ; on first iteration, but we don't bother checking for that currently
 define void @test4(i1 %cond, i32* %ptr) {
 ; CHECK-LABEL: @test4(
-; CHECK-LABEL: entry:
-; CHECK-LABEL: loop:
-; CHECK:   store i32 0, i32* %ptr
-; CHECK: call {}* @llvm.invariant.start.p0i32(i64 4, i32* %ptr)
-; CHECK: %val = load i32, i32* %ptr
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    br label [[LOOP:%.*]]
+; CHECK:       loop:
+; CHECK-NEXT:    [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[X_INC:%.*]], [[LOOP]] ]
+; CHECK-NEXT:    store i32 0, i32* [[PTR:%.*]], align 4
+; CHECK-NEXT:    [[TMP0:%.*]] = call {}* @llvm.invariant.start.p0i32(i64 4, i32* [[PTR]])
+; CHECK-NEXT:    [[VAL:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT:    [[X_INC]] = add i32 [[X]], [[VAL]]
+; CHECK-NEXT:    br label [[LOOP]]
+;
 entry:
   br label %loop
 
@@ -82,11 +106,17 @@ loop:
 ; don't try to reason about scopes
 define void @test5(i1 %cond, i32* %ptr) {
 ; CHECK-LABEL: @test5(
-; CHECK-LABEL: entry:
-; CHECK-LABEL: loop:
-; CHECK:   store i32 0, i32* %ptr
-; CHECK: call {}* @llvm.invariant.start.p0i32(i64 4, i32* %ptr)
-; CHECK: %val = load i32, i32* %ptr
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    br label [[LOOP:%.*]]
+; CHECK:       loop:
+; CHECK-NEXT:    [[X:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[X_INC:%.*]], [[LOOP]] ]
+; CHECK-NEXT:    store i32 0, i32* [[PTR:%.*]], align 4
+; CHECK-NEXT:    [[SCOPE:%.*]] = call {}* @llvm.invariant.start.p0i32(i64 4, i32* [[PTR]])
+; CHECK-NEXT:    [[VAL:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT:    call void @llvm.invariant.end.p0i32({}* [[SCOPE]], i64 4, i32* [[PTR]])
+; CHECK-NEXT:    [[X_INC]] = add i32 [[X]], [[VAL]]
+; CHECK-NEXT:    br label [[LOOP]]
+;
 entry:
   br label %loop