[llvm] 2cb02f2 - [Mem2Reg] Switch tests to use opt -passes

[Bjorn Pettersson via llvm-commits]

Author: Bjorn Pettersson
Date: 2022-11-28T12:12:49+01:00
New Revision: 2cb02f2385a0bfd9e01e7ad3438ad321fe1d3b3b

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

LOG: [Mem2Reg] Switch tests to use opt -passes

Also added FileCheck verification to three old tests that only
verified that we did not crash.

Added: 
    

Modified: 
    llvm/test/Transforms/Mem2Reg/2002-05-01-ShouldNotPromoteThisAlloca.ll
    llvm/test/Transforms/Mem2Reg/2003-04-10-DFNotFound.ll
    llvm/test/Transforms/Mem2Reg/2003-04-18-DeadBlockProblem.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/Mem2Reg/2002-05-01-ShouldNotPromoteThisAlloca.ll b/llvm/test/Transforms/Mem2Reg/2002-05-01-ShouldNotPromoteThisAlloca.ll
index 89bd4928a476f..075dd69a78ec1 100644
--- a/llvm/test/Transforms/Mem2Reg/2002-05-01-ShouldNotPromoteThisAlloca.ll
+++ b/llvm/test/Transforms/Mem2Reg/2002-05-01-ShouldNotPromoteThisAlloca.ll
@@ -1,12 +1,19 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; This input caused the mem2reg pass to die because it was trying to promote
 ; the %r alloca, even though it is invalid to do so in this case!
 ;
-; RUN: opt < %s -mem2reg
+; RUN: opt < %s -passes=mem2reg -S | FileCheck %s
 
 define void @test() {
-	%r = alloca i32		; <i32*> [#uses=2]
-	store i32 4, i32* %r
-	store i32* %r, i32** null
-	ret void
+; CHECK-LABEL: @test(
+; CHECK-NEXT:    [[R:%.*]] = alloca i32, align 4
+; CHECK-NEXT:    store i32 4, i32* [[R]], align 4
+; CHECK-NEXT:    store i32* [[R]], i32** null, align 8
+; CHECK-NEXT:    ret void
+;
+  %r = alloca i32		; <i32*> [#uses=2]
+  store i32 4, i32* %r
+  store i32* %r, i32** null
+  ret void
 }
 

diff  --git a/llvm/test/Transforms/Mem2Reg/2003-04-10-DFNotFound.ll b/llvm/test/Transforms/Mem2Reg/2003-04-10-DFNotFound.ll
index 3665483458cce..5321b87b845ca 100644
--- a/llvm/test/Transforms/Mem2Reg/2003-04-10-DFNotFound.ll
+++ b/llvm/test/Transforms/Mem2Reg/2003-04-10-DFNotFound.ll
@@ -1,10 +1,16 @@
-; RUN: opt < %s -mem2reg
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -passes=mem2reg -S | FileCheck %s
 
 define void @_Z3barv() {
-	%result = alloca i32		; <i32*> [#uses=1]
-	ret void
-		; No predecessors!
-	store i32 0, i32* %result
-	ret void
+; CHECK-LABEL: @_Z3barv(
+; CHECK-NEXT:    ret void
+; CHECK:       1:
+; CHECK-NEXT:    ret void
+;
+  %result = alloca i32		; <i32*> [#uses=1]
+  ret void
+  ; No predecessors!
+  store i32 0, i32* %result
+  ret void
 }
 

diff  --git a/llvm/test/Transforms/Mem2Reg/2003-04-18-DeadBlockProblem.ll b/llvm/test/Transforms/Mem2Reg/2003-04-18-DeadBlockProblem.ll
index 36bd9e64991e6..902f1fc967cde 100644
--- a/llvm/test/Transforms/Mem2Reg/2003-04-18-DeadBlockProblem.ll
+++ b/llvm/test/Transforms/Mem2Reg/2003-04-18-DeadBlockProblem.ll
@@ -1,16 +1,26 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; This testcases makes sure that mem2reg can handle unreachable blocks.
-; RUN: opt < %s -mem2reg
+; RUN: opt < %s -passes=mem2reg -S | FileCheck %s
 
 define i32 @test() {
-	%X = alloca i32		; <i32*> [#uses=2]
-	store i32 6, i32* %X
-	br label %Loop
+; CHECK-LABEL: @test(
+; CHECK-NEXT:    br label [[LOOP:%.*]]
+; CHECK:       Loop:
+; CHECK-NEXT:    br label [[ENDOFLOOP:%.*]]
+; CHECK:       Unreachable:
+; CHECK-NEXT:    br label [[ENDOFLOOP]]
+; CHECK:       EndOfLoop:
+; CHECK-NEXT:    br label [[LOOP]]
+;
+  %X = alloca i32		; <i32*> [#uses=2]
+  store i32 6, i32* %X
+  br label %Loop
 Loop:		; preds = %EndOfLoop, %0
-	store i32 5, i32* %X
-	br label %EndOfLoop
+  store i32 5, i32* %X
+  br label %EndOfLoop
 Unreachable:		; No predecessors!
-	br label %EndOfLoop
+  br label %EndOfLoop
 EndOfLoop:		; preds = %Unreachable, %Loop
-	br label %Loop
+  br label %Loop
 }