Add simple frame index elimination

[oota-llvm.git] / test / Feature / calltest.ll

diff --git a/test/Feature/calltest.ll b/test/Feature/calltest.ll
index f478e500dfc181844fe246c165fb0cd6e8619c9d..feafd3cd208486f8616c49375545c91bc37d32ad 100644 (file)
--- a/test/Feature/calltest.ll
+++ b/test/Feature/calltest.ll
@@ -1,16 +1,32 @@
-implementation
+; RUN: llvm-as < %s | llvm-dis > %t1.ll
+; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
+; RUN: diff %t1.ll %t2.ll
 
-; Bytecode gets a constant pool block, that constains:
-; type   plane: int(int)
+%FunTy = type i32 (i32)
 
-int "main"(int %argc)   ; TODO: , sbyte **argv, sbyte **envp)
-begin
-        %retval = call int (int) %test(int %argc)
-        %two    = add int %retval, %retval
-        ret int %two
-end
+declare i32 @test(i32)   ; Test forward declaration merging
 
-int "test"(int %i0)
-begin
-    ret int %i0
-end
+define void @invoke(%FunTy* %x) {
+        %foo = call i32 %x( i32 123 )           ; <i32> [#uses=0]
+        %foo2 = tail call i32 %x( i32 123 )             ; <i32> [#uses=0]
+        ret void
+}
+
+define i32 @main(i32 %argc) {
+        %retval = call i32 @test( i32 %argc )           ; <i32> [#uses=2]
+        %two = add i32 %retval, %retval         ; <i32> [#uses=1]
+        %retval2 = invoke i32 @test( i32 %argc )
+                        to label %Next unwind label %Error              ; <i32> [#uses=1]
+
+Next:           ; preds = %0
+        %two2 = add i32 %two, %retval2          ; <i32> [#uses=1]
+        call void @invoke( %FunTy* @test )
+        ret i32 %two2
+
+Error:          ; preds = %0
+        ret i32 -1
+}
+
+define i32 @test(i32 %i0) {
+        ret i32 %i0
+}