Autogen a test for ease of update

1 files changed, 36 insertions, 27 deletions

diff --git a/llvm/test/Feature/OperandBundles/early-cse.ll b/llvm/test/Feature/OperandBundles/early-cse.ll
index 369c7c8..b811a5a 100644
--- a/llvm/test/Feature/OperandBundles/early-cse.ll
+++ b/llvm/test/Feature/OperandBundles/early-cse.ll
@@ -1,3 +1,4 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt -S -passes=early-cse -earlycse-debug-hash < %s | FileCheck %s
 
 ; While it is normally okay to do memory optimizations over calls to
@@ -10,63 +11,71 @@ declare void @readnone_function() readnone nounwind willreturn
 
 define i32 @test0(i32* %x) {
 ; CHECK-LABEL: @test0(
- entry:
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    store i32 100, i32* [[X:%.*]], align 4
+; CHECK-NEXT:    call void @readonly_function() [ "tag"() ]
+; CHECK-NEXT:    [[V:%.*]] = load i32, i32* [[X]], align 4
+; CHECK-NEXT:    ret i32 [[V]]
+;
+  entry:
   store i32 100, i32* %x
-; CHECK: store i32 100, i32* %x
   call void @readonly_function() [ "tag"() ]
-; CHECK: call void @readonly_function()
 
   %v = load i32, i32* %x
-; CHECK: %v = load i32, i32* %x
-; CHECK: ret i32 %v
   ret i32 %v
 }
 
 define i32 @test1(i32* %x) {
-; CHECK: @test1(
- entry:
+; CHECK-LABEL: @test1(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    store i32 100, i32* [[X:%.*]], align 4
+; CHECK-NEXT:    ret i32 100
+;
+  entry:
   store i32 100, i32* %x
-; CHECK: store i32 100, i32* %x
   call void @readonly_function() readonly [ "tag"() ]
-; CHECK-NOT: call void @readonly_function
   %v = load i32, i32* %x
   ret i32 %v
-; CHECK: ret i32 100
 }
 
 define i32 @test3(i32* %x) {
 ; CHECK-LABEL: @test3(
- entry:
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    store i32 100, i32* [[X:%.*]], align 4
+; CHECK-NEXT:    ret i32 100
+;
+  entry:
   store i32 100, i32* %x
-; CHECK: store i32 100, i32* %x
   call void @readonly_function()
-; CHECK-NOT: call void @readonly_function
   %v = load i32, i32* %x
   ret i32 %v
-; CHECK: ret i32 100
 }
 
 define void @test4(i32* %x) {
 ; CHECK-LABEL: @test4(
- entry:
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    store i32 100, i32* [[X:%.*]], align 4
+; CHECK-NEXT:    call void @readnone_function() [ "tag"() ]
+; CHECK-NEXT:    store i32 200, i32* [[X]], align 4
+; CHECK-NEXT:    ret void
+;
+  entry:
   store i32 100, i32* %x
-; CHECK: store i32 100, i32* %x
   call void @readnone_function() [ "tag"() ]
-; CHECK: call void @readnone_function
   store i32 200, i32* %x
-; CHECK: store i32 200, i32* %x
   ret void
 }
 
 define void @test5(i32* %x) {
 ; CHECK-LABEL: @test5(
- entry:
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    store i32 200, i32* [[X:%.*]], align 4
+; CHECK-NEXT:    ret void
+;
+  entry:
   store i32 100, i32* %x
-; CHECK-NOT: store i32 100, i32* %x
-; CHECK-NOT: call void @readnone_function
   call void @readnone_function() readnone [ "tag"() ]
   store i32 200, i32* %x
-; CHECK: store i32 200, i32* %x
   ret void
 }
 
@@ -74,13 +83,13 @@ define void @test6(i32* %x) {
 ; The "deopt" operand bundle does not make the call to
 ; @readonly_function read-write; and so the nounwind readonly call can
 ; be deleted.
-
 ; CHECK-LABEL: @test6(
- entry:
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    store i32 200, i32* [[X:%.*]], align 4
+; CHECK-NEXT:    ret void
+;
+  entry:
 
-; CHECK-NEXT: entry:
-; CHECK-NEXT:  store i32 200, i32* %x
-; CHECK-NEXT:  ret void
 
   store i32 100, i32* %x
   call void @readonly_function() [ "deopt"() ]