1 ; RUN: opt %s -S -place-safepoints | FileCheck %s
3 declare i64 addrspace(1)* @"some_call"(i64 addrspace(1)*)
4 declare i32 @"personality_function"()
6 define i64 addrspace(1)* @test_basic(i64 addrspace(1)* %obj, i64 addrspace(1)* %obj1) gc "statepoint-example" {
12 %ret_val = invoke i64 addrspace(1)* @"some_call"(i64 addrspace(1)* %obj)
13 to label %normal_return unwind label %exceptional_return
15 ; CHECK-LABEL: normal_return:
20 ret i64 addrspace(1)* %ret_val
22 ; CHECK-LABEL: exceptional_return:
27 %landing_pad4 = landingpad {i8*, i32} personality i32 ()* @"personality_function"
29 ret i64 addrspace(1)* %obj1
32 define i64 addrspace(1)* @test_two_invokes(i64 addrspace(1)* %obj, i64 addrspace(1)* %obj1) gc "statepoint-example" {
38 %ret_val1 = invoke i64 addrspace(1)* @"some_call"(i64 addrspace(1)* %obj)
39 to label %second_invoke unwind label %exceptional_return
41 ; CHECK-LABEL: second_invoke:
46 %ret_val2 = invoke i64 addrspace(1)* @"some_call"(i64 addrspace(1)* %ret_val1)
47 to label %normal_return unwind label %exceptional_return
49 ; CHECK-LABEL: normal_return:
53 ret i64 addrspace(1)* %ret_val2
55 ; CHECK: exceptional_return:
59 %landing_pad4 = landingpad {i8*, i32} personality i32 ()* @"personality_function"
61 ret i64 addrspace(1)* %obj1
64 define i64 addrspace(1)* @test_phi_node(i1 %cond, i64 addrspace(1)* %obj) gc "statepoint-example" {
67 br i1 %cond, label %left, label %right
70 %ret_val_left = invoke i64 addrspace(1)* @"some_call"(i64 addrspace(1)* %obj)
71 to label %merge unwind label %exceptional_return
74 %ret_val_right = invoke i64 addrspace(1)* @"some_call"(i64 addrspace(1)* %obj)
75 to label %merge unwind label %exceptional_return
77 ; CHECK-LABEL: merge1:
79 ; CHECK: br label %merge
81 ; CHECK-LABEL: merge3:
83 ; CHECK: br label %merge
87 ; CHECK: ret i64 addrspace(1)* %ret_val
89 %ret_val = phi i64 addrspace(1)* [%ret_val_left, %left], [%ret_val_right, %right]
90 ret i64 addrspace(1)* %ret_val
92 ; CHECK-LABEL: exceptional_return:
93 ; CHECK: ret i64 addrspace(1)*
96 %landing_pad4 = landingpad {i8*, i32} personality i32 ()* @"personality_function"
98 ret i64 addrspace(1)* %obj
101 declare void @do_safepoint()
102 define void @gc.safepoint_poll() {
103 ; CHECK-LABEL: gc.safepoint_poll
105 ; CHECK-NEXT: do_safepoint
106 ; CHECK-NEXT: ret void
108 call void @do_safepoint()