diff options
Diffstat (limited to 'test/Transforms/Mem2Reg')
13 files changed, 36 insertions, 12 deletions
diff --git a/test/Transforms/Mem2Reg/2002-03-28-UninitializedVal.ll b/test/Transforms/Mem2Reg/2002-03-28-UninitializedVal.ll index b0d2c79..777f375 100644 --- a/test/Transforms/Mem2Reg/2002-03-28-UninitializedVal.ll +++ b/test/Transforms/Mem2Reg/2002-03-28-UninitializedVal.ll @@ -1,6 +1,6 @@ ; Uninitialized values are not handled correctly. ; -; RUN: llvm-as < %s | opt -mem2reg -disable-output +; RUN: opt < %s -mem2reg -disable-output ; define i32 @test() { diff --git a/test/Transforms/Mem2Reg/2002-05-01-ShouldNotPromoteThisAlloca.ll b/test/Transforms/Mem2Reg/2002-05-01-ShouldNotPromoteThisAlloca.ll index c649d6a..89bd492 100644 --- a/test/Transforms/Mem2Reg/2002-05-01-ShouldNotPromoteThisAlloca.ll +++ b/test/Transforms/Mem2Reg/2002-05-01-ShouldNotPromoteThisAlloca.ll @@ -1,7 +1,7 @@ ; 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: llvm-as < %s | opt -mem2reg +; RUN: opt < %s -mem2reg define void @test() { %r = alloca i32 ; <i32*> [#uses=2] diff --git a/test/Transforms/Mem2Reg/2003-04-10-DFNotFound.ll b/test/Transforms/Mem2Reg/2003-04-10-DFNotFound.ll index 0dd2761..3665483 100644 --- a/test/Transforms/Mem2Reg/2003-04-10-DFNotFound.ll +++ b/test/Transforms/Mem2Reg/2003-04-10-DFNotFound.ll @@ -1,4 +1,4 @@ -; RUN: llvm-as < %s | opt -mem2reg +; RUN: opt < %s -mem2reg define void @_Z3barv() { %result = alloca i32 ; <i32*> [#uses=1] diff --git a/test/Transforms/Mem2Reg/2003-04-18-DeadBlockProblem.ll b/test/Transforms/Mem2Reg/2003-04-18-DeadBlockProblem.ll index 78bfcb4..36bd9e6 100644 --- a/test/Transforms/Mem2Reg/2003-04-18-DeadBlockProblem.ll +++ b/test/Transforms/Mem2Reg/2003-04-18-DeadBlockProblem.ll @@ -1,5 +1,5 @@ ; This testcases makes sure that mem2reg can handle unreachable blocks. -; RUN: llvm-as < %s | opt -mem2reg +; RUN: opt < %s -mem2reg define i32 @test() { %X = alloca i32 ; <i32*> [#uses=2] diff --git a/test/Transforms/Mem2Reg/2003-04-24-MultipleIdenticalSuccessors.ll b/test/Transforms/Mem2Reg/2003-04-24-MultipleIdenticalSuccessors.ll index 04e8db3..f5f1ee3 100644 --- a/test/Transforms/Mem2Reg/2003-04-24-MultipleIdenticalSuccessors.ll +++ b/test/Transforms/Mem2Reg/2003-04-24-MultipleIdenticalSuccessors.ll @@ -1,7 +1,7 @@ ; Mem2reg used to only add one incoming value to a PHI node, even if it had ; multiple incoming edges from a block. ; -; RUN: llvm-as < %s | opt -mem2reg -disable-output +; RUN: opt < %s -mem2reg -disable-output define i32 @test(i1 %c1, i1 %c2) { %X = alloca i32 ; <i32*> [#uses=2] diff --git a/test/Transforms/Mem2Reg/2003-06-26-IterativePromote.ll b/test/Transforms/Mem2Reg/2003-06-26-IterativePromote.ll index 27d0015..e82caa9 100644 --- a/test/Transforms/Mem2Reg/2003-06-26-IterativePromote.ll +++ b/test/Transforms/Mem2Reg/2003-06-26-IterativePromote.ll @@ -1,5 +1,5 @@ ; Promoting some values allows promotion of other values. -; RUN: llvm-as < %s | opt -mem2reg | llvm-dis | not grep alloca +; RUN: opt < %s -mem2reg -S | not grep alloca define i32 @test2() { %result = alloca i32 ; <i32*> [#uses=2] diff --git a/test/Transforms/Mem2Reg/2003-10-05-DeadPHIInsertion.ll b/test/Transforms/Mem2Reg/2003-10-05-DeadPHIInsertion.ll index 5a27b20..1d38efc 100644 --- a/test/Transforms/Mem2Reg/2003-10-05-DeadPHIInsertion.ll +++ b/test/Transforms/Mem2Reg/2003-10-05-DeadPHIInsertion.ll @@ -1,7 +1,7 @@ ; Mem2reg should not insert dead PHI nodes! The naive algorithm inserts a PHI ; node in L3, even though there is no load of %A in anything dominated by L3. -; RUN: llvm-as < %s | opt -mem2reg | llvm-dis | not grep phi +; RUN: opt < %s -mem2reg -S | not grep phi define void @test(i32 %B, i1 %C) { %A = alloca i32 ; <i32*> [#uses=4] diff --git a/test/Transforms/Mem2Reg/2005-06-30-ReadBeforeWrite.ll b/test/Transforms/Mem2Reg/2005-06-30-ReadBeforeWrite.ll index b053aa1..7435596 100644 --- a/test/Transforms/Mem2Reg/2005-06-30-ReadBeforeWrite.ll +++ b/test/Transforms/Mem2Reg/2005-06-30-ReadBeforeWrite.ll @@ -1,4 +1,4 @@ -; RUN: llvm-as < %s | opt -mem2reg -instcombine | llvm-dis | grep store +; RUN: opt < %s -mem2reg -instcombine -S | grep store ; PR590 diff --git a/test/Transforms/Mem2Reg/2005-11-28-Crash.ll b/test/Transforms/Mem2Reg/2005-11-28-Crash.ll index a985db3..8fd3351 100644 --- a/test/Transforms/Mem2Reg/2005-11-28-Crash.ll +++ b/test/Transforms/Mem2Reg/2005-11-28-Crash.ll @@ -1,4 +1,4 @@ -; RUN: llvm-as < %s | opt -mem2reg -disable-output +; RUN: opt < %s -mem2reg -disable-output ; PR670 define void @printk(i32, ...) { diff --git a/test/Transforms/Mem2Reg/2007-08-27-VolatileLoadsStores.ll b/test/Transforms/Mem2Reg/2007-08-27-VolatileLoadsStores.ll index 579ed41..50683cf 100644 --- a/test/Transforms/Mem2Reg/2007-08-27-VolatileLoadsStores.ll +++ b/test/Transforms/Mem2Reg/2007-08-27-VolatileLoadsStores.ll @@ -1,4 +1,4 @@ -; RUN: llvm-as < %s | opt -std-compile-opts | llvm-dis | grep volatile | count 3 +; RUN: opt < %s -std-compile-opts -S | grep volatile | count 3 ; PR1520 ; Don't promote volatile loads/stores. This is really needed to handle setjmp/lonjmp properly. diff --git a/test/Transforms/Mem2Reg/PromoteMemToRegister.ll b/test/Transforms/Mem2Reg/PromoteMemToRegister.ll index 63b8c78..1be6b03 100644 --- a/test/Transforms/Mem2Reg/PromoteMemToRegister.ll +++ b/test/Transforms/Mem2Reg/PromoteMemToRegister.ll @@ -1,5 +1,5 @@ ; Simple sanity check testcase. Both alloca's should be eliminated. -; RUN: llvm-as < %s | opt -mem2reg | llvm-dis | not grep alloca +; RUN: opt < %s -mem2reg -S | not grep alloca define double @testfunc(i32 %i, double %j) { %I = alloca i32 ; <i32*> [#uses=4] diff --git a/test/Transforms/Mem2Reg/UndefValuesMerge.ll b/test/Transforms/Mem2Reg/UndefValuesMerge.ll index 0d20d7d..5013229 100644 --- a/test/Transforms/Mem2Reg/UndefValuesMerge.ll +++ b/test/Transforms/Mem2Reg/UndefValuesMerge.ll @@ -1,4 +1,4 @@ -; RUN: llvm-as < %s | opt -mem2reg | llvm-dis | not grep phi +; RUN: opt < %s -mem2reg -S | not grep phi define i32 @testfunc(i1 %C, i32 %i, i8 %j) { %I = alloca i32 ; <i32*> [#uses=2] diff --git a/test/Transforms/Mem2Reg/crash.ll b/test/Transforms/Mem2Reg/crash.ll new file mode 100644 index 0000000..ce795aa --- /dev/null +++ b/test/Transforms/Mem2Reg/crash.ll @@ -0,0 +1,24 @@ +; RUN: opt < %s -mem2reg -S +; PR5023 + +declare i32 @bar() + +define i32 @foo() { +entry: + %whichFlag = alloca i32 + %A = invoke i32 @bar() + to label %invcont2 unwind label %lpad86 + +invcont2: + store i32 %A, i32* %whichFlag + br label %bb15 + +bb15: + %B = load i32* %whichFlag + ret i32 %B + +lpad86: + br label %bb15 + +} + |
