[llvm] 2cb02f2 - [Mem2Reg] Switch tests to use opt -passes
Bjorn Pettersson via llvm-commits
llvm-commits at lists.llvm.org
Mon Nov 28 03:16:01 PST 2022
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
}
More information about the llvm-commits
mailing list