1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc -verify-machineinstrs < %s 2>&1 | FileCheck %s
3
4target triple = "x86_64-pc-linux-gnu"
5
6declare void @"some_call"(i64 addrspace(1)*)
7declare i64 addrspace(1)* @"some_other_call"(i64 addrspace(1)*)
8
9declare i32 @"personality_function"()
10
11define i64 addrspace(1)* @test_basic(i64 addrspace(1)* %obj,
12                                     i64 addrspace(1)* %obj1)
13gc "statepoint-example" personality i32 ()* @"personality_function" {
14entry:
15  %0 = invoke token (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 0) ["gc-live" (i64 addrspace(1)* %obj, i64 addrspace(1)* %obj1), "deopt" (i32 0, i32 -1, i32 0, i32 0, i32 0)]
16          to label %invoke_safepoint_normal_dest unwind label %exceptional_return
17
18invoke_safepoint_normal_dest:
19  %obj.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %0, i32 0, i32 0)
20  %obj1.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %0, i32 1, i32 1)
21  br label %normal_return
22
23normal_return:
24  ret i64 addrspace(1)* %obj.relocated
25
26exceptional_return:
27  %landing_pad = landingpad token
28          cleanup
29  %obj.relocated1 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %landing_pad, i32 0, i32 0)
30  %obj1.relocated1 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %landing_pad, i32 1, i32 1)
31  ret i64 addrspace(1)* %obj1.relocated1
32}
33; CHECK-LABEL: GCC_except_table{{[0-9]+}}:
34; CHECK: .uleb128  .Ltmp{{[0-9]+}}-.Ltmp{{[0-9]+}}
35; CHECK: .uleb128  .Ltmp{{[0-9]+}}-.Lfunc_begin{{[0-9]+}}
36; CHECK: .byte  0
37; CHECK: .p2align 4
38
39define i64 addrspace(1)* @test_result(i64 addrspace(1)* %obj,
40                                      i64 addrspace(1)* %obj1)
41  gc "statepoint-example" personality i32 ()* @personality_function {
42entry:
43  %0 = invoke token (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 0) ["gc-live"(i64 addrspace(1)* %obj, i64 addrspace(1)* %obj1)]
44          to label %normal_return unwind label %exceptional_return
45
46normal_return:
47  %ret_val = call i64 addrspace(1)* @llvm.experimental.gc.result.p1i64(token %0)
48  ret i64 addrspace(1)* %ret_val
49
50exceptional_return:
51  %landing_pad = landingpad token
52          cleanup
53  %obj.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %landing_pad, i32 0, i32 0)
54  ret i64 addrspace(1)* %obj.relocated
55}
56; CHECK-LABEL: GCC_except_table{{[0-9]+}}:
57; CHECK: .uleb128 .Ltmp{{[0-9]+}}-.Ltmp{{[0-9]+}}
58; CHECK: .uleb128 .Ltmp{{[0-9]+}}-.Lfunc_begin{{[0-9]+}}
59; CHECK: .byte 0
60; CHECK: .p2align 4
61
62define i64 addrspace(1)* @test_same_val(i1 %cond, i64 addrspace(1)* %val1, i64 addrspace(1)* %val2, i64 addrspace(1)* %val3)
63  gc "statepoint-example" personality i32 ()* @"personality_function" {
64entry:
65  br i1 %cond, label %left, label %right
66
67left:
68  %sp1 = invoke token (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 0) ["gc-live"(i64 addrspace(1)* %val1, i64 addrspace(1)* %val2)]
69           to label %left.relocs unwind label %exceptional_return.left
70
71left.relocs:
72  %val1.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %sp1, i32 0, i32 0)
73  %val2.relocated_left = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %sp1, i32 1, i32 1)
74  br label %normal_return
75
76right:
77  %sp2 = invoke token (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 0) ["gc-live"(i64 addrspace(1)* %val2, i64 addrspace(1)* %val3)]
78           to label %right.relocs unwind label %exceptional_return.right
79
80right.relocs:
81  %val2.relocated_right = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %sp2, i32 0, i32 0)
82  %val3.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %sp2, i32 1, i32 1)
83  br label %normal_return
84
85normal_return:
86  %a1 = phi i64 addrspace(1)* [%val1.relocated, %left.relocs], [%val3.relocated, %right.relocs]
87  %a2 = phi i64 addrspace(1)* [%val2.relocated_left, %left.relocs], [%val2.relocated_right, %right.relocs]
88  %ret = select i1 %cond, i64 addrspace(1)* %a1, i64 addrspace(1)* %a2
89  ret i64 addrspace(1)* %ret
90
91exceptional_return.left:
92  %landing_pad = landingpad token
93          cleanup
94  %val.relocated2 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %landing_pad, i32 0, i32 0)
95  ret i64 addrspace(1)* %val.relocated2
96
97exceptional_return.right:
98  %landing_pad1 = landingpad token
99          cleanup
100  %val.relocated3 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %landing_pad1, i32 0, i32 0)
101  ret i64 addrspace(1)* %val.relocated3
102}
103
104define i64 addrspace(1)* @test_null_undef(i64 addrspace(1)* %val1)
105       gc "statepoint-example" personality i32 ()* @"personality_function" {
106entry:
107  %sp1 = invoke token (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 0) ["gc-live"(i64 addrspace(1)* null, i64 addrspace(1)* undef)]
108           to label %normal_return unwind label %exceptional_return
109
110normal_return:
111  %null.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %sp1, i32 0, i32 0)
112  %undef.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %sp1, i32 1, i32 1)
113  ret i64 addrspace(1)* %null.relocated
114
115exceptional_return:
116  %landing_pad = landingpad token
117          cleanup
118  %null.relocated2 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %landing_pad, i32 0, i32 0)
119  %undef.relocated2 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %landing_pad, i32 1, i32 1)
120  ret i64 addrspace(1)* %null.relocated2
121}
122
123define i64 addrspace(1)* @test_alloca_and_const(i64 addrspace(1)* %val1)
124       gc "statepoint-example" personality i32 ()* @"personality_function" {
125entry:
126  %a = alloca i32
127  %aa = addrspacecast i32* %a to i32 addrspace(1)*
128  %c = inttoptr i64 15 to i64 addrspace(1)*
129  %sp = invoke token (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 0) ["gc-live"(i32 addrspace(1)* %aa, i64 addrspace(1)* %c)]
130           to label %normal_return unwind label %exceptional_return
131
132normal_return:
133  %aa.rel = call coldcc i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(token %sp, i32 0, i32 0)
134  %aa.converted = bitcast i32 addrspace(1)* %aa.rel to i64 addrspace(1)*
135  ret i64 addrspace(1)* %aa.converted
136
137exceptional_return:
138  %landing_pad = landingpad token
139          cleanup
140  %aa.rel2 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token %landing_pad, i32 1, i32 1)
141  ret i64 addrspace(1)* %aa.rel2
142}
143
144declare token @llvm.experimental.gc.statepoint.p0f_isVoidp1i64f(i64, i32, void (i64 addrspace(1)*)*, i32, i32, ...)
145declare token @llvm.experimental.gc.statepoint.p0f_p1i64p1i64f(i64, i32, i64 addrspace(1)* (i64 addrspace(1)*)*, i32, i32, ...)
146
147declare i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(token, i32, i32)
148declare i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(token, i32, i32)
149declare i64 addrspace(1)* @llvm.experimental.gc.result.p1i64(token)
150