1 ; RUN: llc < %s 2>&1 | FileCheck %s
3 target triple = "x86_64-pc-linux-gnu"
5 declare void @"some_call"(i64 addrspace(1)*)
6 declare i64 addrspace(1)* @"some_other_call"(i64 addrspace(1)*)
8 declare i32 @"personality_function"()
10 define i64 addrspace(1)* @test_basic(i64 addrspace(1)* %obj,
11 i64 addrspace(1)* %obj1)
12 gc "statepoint-example" personality i32 ()* @"personality_function" {
14 ; CHECK: Ltmp{{[0-9]+}}:
15 ; CHECK: callq some_call
16 ; CHECK: Ltmp{{[0-9]+}}:
17 %0 = invoke i32 (i64, i32, void (i64 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidp1i64f(i64 0, i32 0, void (i64 addrspace(1)*)* @some_call, i32 1, i32 0, i64 addrspace(1)* %obj, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0, i64 addrspace(1)* %obj, i64 addrspace(1)* %obj1)
18 to label %invoke_safepoint_normal_dest unwind label %exceptional_return
20 invoke_safepoint_normal_dest:
22 %obj.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %0, i32 13, i32 13)
23 %obj1.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %0, i32 14, i32 14)
24 br label %normal_return
28 ret i64 addrspace(1)* %obj.relocated
31 ; CHECK: Ltmp{{[0-9]+}}:
34 %landing_pad = landingpad { i8*, i32 }
36 %relocate_token = extractvalue { i8*, i32 } %landing_pad, 1
37 %obj.relocated1 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %relocate_token, i32 13, i32 13)
38 %obj1.relocated1 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %relocate_token, i32 14, i32 14)
39 ret i64 addrspace(1)* %obj1.relocated1
41 ; CHECK-LABEL: GCC_except_table{{[0-9]+}}:
42 ; CHECK: .long .Ltmp{{[0-9]+}}-.Ltmp{{[0-9]+}}
43 ; CHECK: .long .Ltmp{{[0-9]+}}-.Lfunc_begin{{[0-9]+}}
47 define i64 addrspace(1)* @test_result(i64 addrspace(1)* %obj,
48 i64 addrspace(1)* %obj1)
49 gc "statepoint-example" personality i32 ()* @personality_function {
51 ; CHECK: .Ltmp{{[0-9]+}}:
52 ; CHECK: callq some_other_call
53 ; CHECK: .Ltmp{{[0-9]+}}:
54 %0 = invoke i32 (i64, i32, i64 addrspace(1)* (i64 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_p1i64p1i64f(i64 0, i32 0, i64 addrspace(1)* (i64 addrspace(1)*)* @some_other_call, i32 1, i32 0, i64 addrspace(1)* %obj, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0, i64 addrspace(1)* %obj, i64 addrspace(1)* %obj1)
55 to label %normal_return unwind label %exceptional_return
60 %ret_val = call i64 addrspace(1)* @llvm.experimental.gc.result.p1i64(i32 %0)
61 ret i64 addrspace(1)* %ret_val
64 ; CHECK: .Ltmp{{[0-9]+}}:
66 %landing_pad = landingpad { i8*, i32 }
68 %relocate_token = extractvalue { i8*, i32 } %landing_pad, 1
69 %obj.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %relocate_token, i32 13, i32 13)
70 ret i64 addrspace(1)* %obj.relocated
72 ; CHECK-LABEL: GCC_except_table{{[0-9]+}}:
73 ; CHECK: .long .Ltmp{{[0-9]+}}-.Ltmp{{[0-9]+}}
74 ; CHECK: .long .Ltmp{{[0-9]+}}-.Lfunc_begin{{[0-9]+}}
78 define i64 addrspace(1)* @test_same_val(i1 %cond, i64 addrspace(1)* %val1, i64 addrspace(1)* %val2, i64 addrspace(1)* %val3)
79 gc "statepoint-example" personality i32 ()* @"personality_function" {
81 br i1 %cond, label %left, label %right
85 ; CHECK: movq %rdx, 8(%rsp)
87 ; CHECK: callq some_call
88 %sp1 = invoke i32 (i64, i32, void (i64 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidp1i64f(i64 0, i32 0, void (i64 addrspace(1)*)* @some_call, i32 1, i32 0, i64 addrspace(1)* %val1, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0, i64 addrspace(1)* %val1, i64 addrspace(1)* %val2)
89 to label %left.relocs unwind label %exceptional_return.left
93 ; CHECK: movq 8(%rsp), [[REGVAL2:%[a-z]+]]
94 %val1.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %sp1, i32 13, i32 13)
95 %val2.relocated_left = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %sp1, i32 14, i32 14)
96 br label %normal_return
101 ; CHECK: movq %rdx, (%rsp)
102 ; CHECK: callq some_call
103 %sp2 = invoke i32 (i64, i32, void (i64 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidp1i64f(i64 0, i32 0, void (i64 addrspace(1)*)* @some_call, i32 1, i32 0, i64 addrspace(1)* %val1, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0, i64 addrspace(1)* %val2, i64 addrspace(1)* %val3)
104 to label %right.relocs unwind label %exceptional_return.right
107 ; CHECK: movq (%rsp), [[REGVAL2]]
109 %val2.relocated_right = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %sp2, i32 13, i32 13)
110 %val3.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %sp2, i32 14, i32 14)
111 br label %normal_return
114 ; CHECK-LABEL: %normal_return
115 ; CHECK: cmoveq {{.*}}[[REGVAL2]]{{.*}}
117 %a1 = phi i64 addrspace(1)* [%val1.relocated, %left.relocs], [%val3.relocated, %right.relocs]
118 %a2 = phi i64 addrspace(1)* [%val2.relocated_left, %left.relocs], [%val2.relocated_right, %right.relocs]
119 %ret = select i1 %cond, i64 addrspace(1)* %a1, i64 addrspace(1)* %a2
120 ret i64 addrspace(1)* %ret
122 exceptional_return.left:
123 %landing_pad = landingpad { i8*, i32 }
125 %relocate_token = extractvalue { i8*, i32 } %landing_pad, 1
126 %val.relocated2 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %relocate_token, i32 13, i32 13)
127 ret i64 addrspace(1)* %val.relocated2
129 exceptional_return.right:
130 %landing_pad1 = landingpad { i8*, i32 }
132 %relocate_token1 = extractvalue { i8*, i32 } %landing_pad1, 1
133 %val.relocated3 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %relocate_token1, i32 13, i32 13)
134 ret i64 addrspace(1)* %val.relocated3
137 define i64 addrspace(1)* @test_null_undef(i64 addrspace(1)* %val1)
138 gc "statepoint-example" personality i32 ()* @"personality_function" {
139 ; CHECK-LABEL: test_null_undef:
141 ; CHECK: callq some_call
142 %sp1 = invoke i32 (i64, i32, void (i64 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidp1i64f(i64 0, i32 0, void (i64 addrspace(1)*)* @some_call, i32 1, i32 0, i64 addrspace(1)* %val1, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0, i64 addrspace(1)* null, i64 addrspace(1)* undef)
143 to label %normal_return unwind label %exceptional_return
146 ; CHECK-LABEL: %normal_return
147 ; CHECK: xorl %eax, %eax
150 %null.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %sp1, i32 13, i32 13)
151 %undef.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %sp1, i32 14, i32 14)
152 ret i64 addrspace(1)* %null.relocated
155 %landing_pad = landingpad { i8*, i32 }
157 %relocate_token = extractvalue { i8*, i32 } %landing_pad, 1
158 %null.relocated2 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %relocate_token, i32 13, i32 13)
159 %undef.relocated2 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %relocate_token, i32 14, i32 14)
160 ret i64 addrspace(1)* %null.relocated2
163 define i64 addrspace(1)* @test_alloca_and_const(i64 addrspace(1)* %val1)
164 gc "statepoint-example" personality i32 ()* @"personality_function" {
165 ; CHECK-LABEL: test_alloca_and_const:
168 %aa = addrspacecast i32* %a to i32 addrspace(1)*
169 %c = inttoptr i64 15 to i64 addrspace(1)*
171 %sp = invoke i32 (i64, i32, void (i64 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidp1i64f(i64 0, i32 0, void (i64 addrspace(1)*)* @some_call, i32 1, i32 0, i64 addrspace(1)* %val1, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0, i32 addrspace(1)* %aa, i64 addrspace(1)* %c)
172 to label %normal_return unwind label %exceptional_return
178 %aa.rel = call coldcc i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(i32 %sp, i32 13, i32 13)
179 %aa.converted = bitcast i32 addrspace(1)* %aa.rel to i64 addrspace(1)*
180 ret i64 addrspace(1)* %aa.converted
186 %landing_pad = landingpad { i8*, i32 }
188 %relocate_token = extractvalue { i8*, i32 } %landing_pad, 1
189 %aa.rel2 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %relocate_token, i32 14, i32 14)
190 ret i64 addrspace(1)* %aa.rel2
193 declare i32 @llvm.experimental.gc.statepoint.p0f_isVoidp1i64f(i64, i32, void (i64 addrspace(1)*)*, i32, i32, ...)
194 declare i32 @llvm.experimental.gc.statepoint.p0f_p1i64p1i64f(i64, i32, i64 addrspace(1)* (i64 addrspace(1)*)*, i32, i32, ...)
196 declare i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32, i32, i32)
197 declare i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(i32, i32, i32)
198 declare i64 addrspace(1)* @llvm.experimental.gc.result.p1i64(i32)