blob: f35a3668a6b1879613fa0ab45138869df36a93ab [file] [log] [blame]
Sanjoy Das04071082016-01-29 00:28:57 +00001; RUN: opt < %s -rewrite-statepoints-for-gc -S | FileCheck %s
Chen Li78bde832016-01-06 20:32:05 +00002
3declare void @some_call(i64 addrspace(1)*)
4
Sanjoy Das04071082016-01-29 00:28:57 +00005declare i32 @dummy_personality_function()
Chen Li78bde832016-01-06 20:32:05 +00006
7define i64 addrspace(1)* @test(i64 addrspace(1)* %obj, i64 addrspace(1)* %obj1)
8 gc "statepoint-example"
Sanjoy Das04071082016-01-29 00:28:57 +00009 personality i32 ()* @dummy_personality_function {
Chen Li78bde832016-01-06 20:32:05 +000010entry:
11 invoke void @some_call(i64 addrspace(1)* %obj) [ "deopt"() ]
12 to label %second_invoke unwind label %exceptional_return
13
14second_invoke: ; preds = %entry
15 invoke void @some_call(i64 addrspace(1)* %obj) [ "deopt"() ]
16 to label %normal_return unwind label %exceptional_return
17
18normal_return: ; preds = %second_invoke
19 ret i64 addrspace(1)* %obj
20
21; CHECK: exceptional_return1:
22; CHECK-NEXT: %lpad2 = landingpad token
23
24; CHECK: exceptional_return.split-lp:
25; CHECK-NEXT: %lpad.split-lp = landingpad token
26
27; CHECK: exceptional_return:
28; CHECK-NOT: phi token
29
30exceptional_return: ; preds = %second_invoke, %entry
31 %lpad = landingpad token cleanup
32 ret i64 addrspace(1)* %obj1
33}