-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
+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
+}
-int "test"(int %i0)
-begin
- ret int %i0
-end
+define i32 @main(i32 %argc) personality i32 (...)* @__gxx_personality_v0 {
+ %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:
+ %two2 = add i32 %two, %retval2 ; <i32> [#uses=1]
+ call void @invoke( %FunTy* @test )
+ ret i32 %two2
+
+Error:
+ %exn = landingpad {i8*, i32}
+ cleanup
+ ret i32 -1
+}
+
+define i32 @test(i32 %i0) {
+ ret i32 %i0
+}
+
+declare i32 @__gxx_personality_v0(...)