[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / RewriteStatepointsForGC / two-invokes-one-landingpad.ll
blobcaec74676ec033d0469c2378c024b9cc016e54da
1 ; RUN: opt < %s -rewrite-statepoints-for-gc -S | FileCheck %s
2 ; RUN: opt < %s -passes=rewrite-statepoints-for-gc -S | FileCheck %s
4 declare void @some_call(i64 addrspace(1)*)
6 declare i32 @dummy_personality_function()
8 define i64 addrspace(1)* @test(i64 addrspace(1)* %obj, i64 addrspace(1)* %obj1)
9   gc "statepoint-example"
10   personality i32 ()* @dummy_personality_function {
11 entry:
12   invoke void @some_call(i64 addrspace(1)* %obj) [ "deopt"() ]
13           to label %second_invoke unwind label %exceptional_return
15 second_invoke:                                    ; preds = %entry
16   invoke void @some_call(i64 addrspace(1)* %obj) [ "deopt"() ]
17           to label %normal_return unwind label %exceptional_return
19 normal_return:                                    ; preds = %second_invoke
20   ret i64 addrspace(1)* %obj
22 ; CHECK: exceptional_return1:
23 ; CHECK-NEXT: %lpad2 = landingpad token
25 ; CHECK: exceptional_return.split-lp:
26 ; CHECK-NEXT: %lpad.split-lp = landingpad token
28 ; CHECK: exceptional_return:
29 ; CHECK-NOT: phi token
31 exceptional_return:                               ; preds = %second_invoke, %entry
32   %lpad = landingpad token cleanup
33   ret i64 addrspace(1)* %obj1