llvm-6502/test/Transforms/Inline/dynamic_alloca_test.ll
Dan Gohman b1e1e82c54 Change these tests to feed the assembly files to opt directly, instead
of using llvm-as, now that opt supports this.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81226 91177308-0d34-0410-b5e6-96231b3b80d8
2009-09-08 16:50:01 +00:00

36 lines
1.1 KiB
LLVM

; 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: opt %s -inline | llvm-dis | \
; RUN: grep llvm.stacksave
; RUN: opt %s -inline | llvm-dis | not grep callee
declare void @ext(i32*)
define internal void @callee(i32 %N) {
%P = alloca i32, i32 %N ; <i32*> [#uses=1]
call void @ext( i32* %P )
ret void
}
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
%count = phi i32 [ 0, %0 ], [ %next, %Loop ] ; <i32> [#uses=2]
%next = add i32 %count, 1 ; <i32> [#uses=1]
call void @callee( i32 %N )
%cond = icmp eq i32 %count, 100000 ; <i1> [#uses=1]
br i1 %cond, label %out, label %Loop
out: ; preds = %Loop
ret void
}