Do not inline functions with (dynamic) alloca into

[oota-llvm.git] / test / Transforms / Inline / dynamic_alloca_test.ll

diff --git a/test/Transforms/Inline/dynamic_alloca_test.ll b/test/Transforms/Inline/dynamic_alloca_test.ll
index 27c7d717a1118de6bac024779243d03215a8d867..b8ff7dedc49371e3ff31bda582f616070fdd4570 100644 (file)
--- a/test/Transforms/Inline/dynamic_alloca_test.ll
+++ b/test/Transforms/Inline/dynamic_alloca_test.ll
@@ -1,28 +1,35 @@
 ; 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 &&
-; RUN: llvm-as < %s | opt -inline | llvm-dis | grep llvm.stacksave &&
+; RUN: llvm-as < %s | opt -inline | llvm-dis | \
+; RUN:   grep llvm.stacksave
 ; RUN: llvm-as < %s | opt -inline | llvm-dis | not grep callee
 
-declare void %ext(int*)
-implementation
 
-internal void %callee(uint %N) {
-       %P = alloca int, uint %N     ;; dynamic alloca
-       call void %ext(int* %P)
-       ret void
+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
 }
 
-void %foo(uint %N) {
-       br label %Loop
-Loop:
-       %count = phi uint [0, %0], [%next, %Loop]
-       %next = add uint %count, 1
-       call void %callee(uint %N)
-       %cond = seteq uint %count, 100000
-       br bool %cond, label %out, label %Loop
-out:
-       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
 }