diff options
Diffstat (limited to 'test/Transforms/Inline')
| -rw-r--r-- | test/Transforms/Inline/2009-01-08-NoInlineDynamicAlloca.ll | 36 | ||||
| -rw-r--r-- | test/Transforms/Inline/dynamic_alloca_test.ll | 4 |
2 files changed, 40 insertions, 0 deletions
diff --git a/test/Transforms/Inline/2009-01-08-NoInlineDynamicAlloca.ll b/test/Transforms/Inline/2009-01-08-NoInlineDynamicAlloca.ll new file mode 100644 index 0000000..14840ba --- /dev/null +++ b/test/Transforms/Inline/2009-01-08-NoInlineDynamicAlloca.ll @@ -0,0 +1,36 @@ +; RUN: llvm-as < %s | opt -inline | llvm-dis | grep call +; Do not inline calls to variable-sized alloca. + +@q = common global i8* null ; <i8**> [#uses=1] + +define i8* @a(i32 %i) nounwind { +entry: + %i_addr = alloca i32 ; <i32*> [#uses=2] + %retval = alloca i8* ; <i8**> [#uses=1] + %p = alloca i8* ; <i8**> [#uses=2] + %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0] + store i32 %i, i32* %i_addr + %0 = load i32* %i_addr, align 4 ; <i32> [#uses=1] + %1 = alloca i8, i32 %0 ; <i8*> [#uses=1] + store i8* %1, i8** %p, align 4 + %2 = load i8** %p, align 4 ; <i8*> [#uses=1] + store i8* %2, i8** @q, align 4 + br label %return + +return: ; preds = %entry + %retval1 = load i8** %retval ; <i8*> [#uses=1] + ret i8* %retval1 +} + +define void @b(i32 %i) nounwind { +entry: + %i_addr = alloca i32 ; <i32*> [#uses=2] + %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0] + store i32 %i, i32* %i_addr + %0 = load i32* %i_addr, align 4 ; <i32> [#uses=1] + %1 = call i8* @a(i32 %0) nounwind ; <i8*> [#uses=0] + br label %return + +return: ; preds = %entry + ret void +} diff --git a/test/Transforms/Inline/dynamic_alloca_test.ll b/test/Transforms/Inline/dynamic_alloca_test.ll index 8770712..b8ff7de 100644 --- a/test/Transforms/Inline/dynamic_alloca_test.ll +++ b/test/Transforms/Inline/dynamic_alloca_test.ll @@ -1,5 +1,7 @@ ; Test that functions with dynamic allocas get inlined in a case where ; naively inlining it would result in a miscompilation. +; Functions with dynamic allocas can only be inlined into functions that +; already have dynamic allocas. ; RUN: llvm-as < %s | opt -inline | llvm-dis | \ ; RUN: grep llvm.stacksave @@ -16,6 +18,8 @@ define internal void @callee(i32 %N) { define void @foo(i32 %N) { ; <label>:0 + %P = alloca i32, i32 %N ; <i32*> [#uses=1] + call void @ext( i32* %P ) br label %Loop Loop: ; preds = %Loop, %0 |