Do not inline functions with (dynamic) alloca into

functions that don't already have a (dynamic) alloca.
Dynamic allocas cause inefficient codegen and we shouldn't
propagate this (behavior follows gcc).  Two existing tests
assumed such inlining would be done; they are hacked by
adding an alloca in the caller, preserving the point of
the tests.



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61946 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dale Johannesen
2009-01-08 21:45:23 +00:00
parent 86062afbc4
commit 4362387c74
5 changed files with 70 additions and 4 deletions

View File

@@ -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