[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Feature / calltest.ll
bloba53c3a1215aee933a2d0b5f62ecbc29a8bb9924b
1 ; RUN: llvm-as < %s | llvm-dis > %t1.ll
2 ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
3 ; RUN: diff %t1.ll %t2.ll
5 %FunTy = type i32 (i32)
7 define void @invoke(%FunTy* %x) {
8   %foo = call i32 %x( i32 123 )           ; <i32> [#uses=0]
9   %foo2 = tail call i32 %x( i32 123 )             ; <i32> [#uses=0]
10   ret void
13 define i32 @main(i32 %argc) personality i32 (...)* @__gxx_personality_v0 {
14   %retval = call i32 @test( i32 %argc )           ; <i32> [#uses=2]
15   %two = add i32 %retval, %retval         ; <i32> [#uses=1]
16   %retval2 = invoke i32 @test( i32 %argc )
17      to label %Next unwind label %Error              ; <i32> [#uses=1]
19 Next:
20   %two2 = add i32 %two, %retval2          ; <i32> [#uses=1]
21   call void @invoke( %FunTy* @test )
22   ret i32 %two2
24 Error:
25   %exn = landingpad {i8*, i32}
26             cleanup
27   ret i32 -1
30 define i32 @test(i32 %i0) {
31         ret i32 %i0
34 declare i32 @__gxx_personality_v0(...)