[dsymutil] Discard useless location attributes.
[oota-llvm.git] / test / Feature / calltest.ll
index 1be7ad59719feaaef89d1a20744dfd7a2b781fa0..a53c3a1215aee933a2d0b5f62ecbc29a8bb9924b 100644 (file)
@@ -1,31 +1,34 @@
-%FunTy = type int(int)
+; RUN: llvm-as < %s | llvm-dis > %t1.ll
+; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
+; RUN: diff %t1.ll %t2.ll
 
-declare int "test"(...)   ; Test differences of prototype
-declare int "test"()      ; Differ only by vararg
+%FunTy = type i32 (i32)
 
-implementation
+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
+}
 
-void "invoke"(%FunTy *%x)
-begin
-       %foo = call %FunTy* %x(int 123)
-       ret void
-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]
 
-int "main"(int %argc)   ; TODO: , sbyte **argv, sbyte **envp)
-begin
-        %retval = call int (int) *%test(int %argc)
-        %two    = add int %retval, %retval
-       %retval2 = invoke int %test(int %argc)
-                  to label %Next except label %Error
 Next:
-       %two2 = add int %two, %retval2
-       call void %invoke (%FunTy* %test)
-        ret int %two2
+  %two2 = add i32 %two, %retval2          ; <i32> [#uses=1]
+  call void @invoke( %FunTy* @test )
+  ret i32 %two2
+
 Error:
-       ret int -1
-end
+  %exn = landingpad {i8*, i32}
+            cleanup
+  ret i32 -1
+}
+
+define i32 @test(i32 %i0) {
+        ret i32 %i0
+}
 
-int "test"(int %i0)
-begin
-    ret int %i0
-end
+declare i32 @__gxx_personality_v0(...)