[StatepointsForGC] Rematerialize in the presence of PHIs
[lldb.git] / llvm / test / Transforms / RewriteStatepointsForGC / rematerialize-derived-pointers.ll
1 ; RUN: opt < %s -rewrite-statepoints-for-gc -S | FileCheck %s
2
3
4 declare void @use_obj16(i16 addrspace(1)*) "gc-leaf-function"
5 declare void @use_obj32(i32 addrspace(1)*) "gc-leaf-function"
6 declare void @use_obj64(i64 addrspace(1)*) "gc-leaf-function"
7
8 declare void @do_safepoint()
9
10 define void @test_gep_const(i32 addrspace(1)* %base) gc "statepoint-example" {
11 ; CHECK-LABEL: test_gep_const
12 entry:
13   %ptr = getelementptr i32, i32 addrspace(1)* %base, i32 15
14 ; CHECK: getelementptr i32, i32 addrspace(1)* %base, i32 15
15   call void @do_safepoint() [ "deopt"() ]
16 ; CHECK: %base.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token, i32 7, i32 7)
17 ; CHECK: bitcast i8 addrspace(1)* %base.relocated to i32 addrspace(1)*
18 ; CHECK: getelementptr i32, i32 addrspace(1)* %base.relocated.casted, i32 15
19   call void @use_obj32(i32 addrspace(1)* %base)
20   call void @use_obj32(i32 addrspace(1)* %ptr)
21   ret void
22 }
23
24 define void @test_gep_idx(i32 addrspace(1)* %base, i32 %idx) gc "statepoint-example" {
25 ; CHECK-LABEL: test_gep_idx
26 entry:
27   %ptr = getelementptr i32, i32 addrspace(1)* %base, i32 %idx
28 ; CHECK: getelementptr
29   call void @do_safepoint() [ "deopt"() ]
30 ; CHECK: %base.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token, i32 7, i32 7)
31 ; CHECK: %base.relocated.casted = bitcast i8 addrspace(1)* %base.relocated to i32 addrspace(1)*
32 ; CHECK: getelementptr i32, i32 addrspace(1)* %base.relocated.casted, i32 %idx
33   call void @use_obj32(i32 addrspace(1)* %base)
34   call void @use_obj32(i32 addrspace(1)* %ptr)
35   ret void
36 }
37
38 define void @test_bitcast(i32 addrspace(1)* %base) gc "statepoint-example" {
39 ; CHECK-LABEL: test_bitcast
40 entry:
41   %ptr = bitcast i32 addrspace(1)* %base to i64 addrspace(1)*
42 ; CHECK: bitcast i32 addrspace(1)* %base to i64 addrspace(1)*
43   call void @do_safepoint() [ "deopt"() ]
44 ; CHECK: %base.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token, i32 7, i32 7)
45 ; CHECK: %base.relocated.casted = bitcast i8 addrspace(1)* %base.relocated to i32 addrspace(1)*
46 ; CHECK: bitcast i32 addrspace(1)* %base.relocated.casted to i64 addrspace(1)*
47   call void @use_obj32(i32 addrspace(1)* %base)
48   call void @use_obj64(i64 addrspace(1)* %ptr)
49   ret void
50 }
51
52 define void @test_bitcast_bitcast(i32 addrspace(1)* %base) gc "statepoint-example" {
53 ; CHECK-LABEL: test_bitcast_bitcast
54 entry:
55   %ptr1 = bitcast i32 addrspace(1)* %base to i64 addrspace(1)*
56   %ptr2 = bitcast i64 addrspace(1)* %ptr1 to i16 addrspace(1)*
57 ; CHECK: bitcast i32 addrspace(1)* %base to i64 addrspace(1)*
58 ; CHECK: bitcast i64 addrspace(1)* %ptr1 to i16 addrspace(1)*
59   call void @do_safepoint() [ "deopt"() ]
60
61 ; CHECK: %base.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token, i32 7, i32 7)
62 ; CHECK: %base.relocated.casted = bitcast i8 addrspace(1)* %base.relocated to i32 addrspace(1)*
63 ; CHECK: bitcast i32 addrspace(1)* %base.relocated.casted to i64 addrspace(1)*
64 ; CHECK: bitcast i64 addrspace(1)* %ptr1.remat to i16 addrspace(1)*
65   call void @use_obj32(i32 addrspace(1)* %base)
66   call void @use_obj16(i16 addrspace(1)* %ptr2)
67   ret void
68 }
69
70 define void @test_addrspacecast_addrspacecast(i32 addrspace(1)* %base) gc "statepoint-example" {
71 ; CHECK-LABEL: test_addrspacecast_addrspacecast
72 entry:
73   %ptr1 = addrspacecast i32 addrspace(1)* %base to i32*
74   %ptr2 = addrspacecast i32* %ptr1 to i32 addrspace(1)*
75 ; CHECK: addrspacecast i32 addrspace(1)* %base to i32*
76 ; CHECK: addrspacecast i32* %ptr1 to i32 addrspace(1)*
77   call void @do_safepoint() [ "deopt"() ]
78
79 ; CHECK: %ptr2.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token, i32 8, i32 7)
80 ; CHECK: %ptr2.relocated.casted = bitcast i8 addrspace(1)* %ptr2.relocated to i32 addrspace(1)*
81 ; CHECK: %base.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token, i32 8, i32 8)
82 ; CHECK: %base.relocated.casted = bitcast i8 addrspace(1)* %base.relocated to i32 addrspace(1)*
83   call void @use_obj32(i32 addrspace(1)* %base)
84   call void @use_obj32(i32 addrspace(1)* %ptr2)
85   ret void
86 }
87
88 define void @test_bitcast_gep(i32 addrspace(1)* %base) gc "statepoint-example" {
89 ; CHECK-LABEL: test_bitcast_gep
90 entry:
91   %ptr.gep = getelementptr i32, i32 addrspace(1)* %base, i32 15
92 ; CHECK: getelementptr
93 ; CHECK: bitcast i32 addrspace(1)* %ptr.gep to i64 addrspace(1)*
94   %ptr.cast = bitcast i32 addrspace(1)* %ptr.gep to i64 addrspace(1)*
95   call void @do_safepoint() [ "deopt"() ]
96
97 ; CHECK: gc.relocate
98 ; CHECK: bitcast
99 ; CHECK: getelementptr
100 ; CHECK: bitcast
101   call void @use_obj32(i32 addrspace(1)* %base)
102   call void @use_obj64(i64 addrspace(1)* %ptr.cast)
103   ret void
104 }
105
106 define void @test_intersecting_chains(i32 addrspace(1)* %base, i32 %idx) gc "statepoint-example" {
107 ; CHECK-LABEL: test_intersecting_chains
108 entry:
109   %ptr.gep = getelementptr i32, i32 addrspace(1)* %base, i32 15
110 ; CHECK: getelementptr
111   %ptr.cast = bitcast i32 addrspace(1)* %ptr.gep to i64 addrspace(1)*
112 ; CHECK: bitcast
113   %ptr.cast2 = bitcast i32 addrspace(1)* %ptr.gep to i16 addrspace(1)*
114 ; CHECK: bitcast
115   call void @do_safepoint() [ "deopt"() ]
116
117 ; CHECK: getelementptr
118 ; CHECK: bitcast
119 ; CHECK: getelementptr
120 ; CHECK: bitcast
121   call void @use_obj64(i64 addrspace(1)* %ptr.cast)
122   call void @use_obj16(i16 addrspace(1)* %ptr.cast2)
123   ret void
124 }
125
126 define void @test_cost_threshold(i32 addrspace(1)* %base, i32 %idx1, i32 %idx2, i32 %idx3) gc "statepoint-example" {
127 ; CHECK-LABEL: test_cost_threshold
128 entry:
129   %ptr.gep = getelementptr i32, i32 addrspace(1)* %base, i32 15
130 ; CHECK: getelementptr
131   %ptr.gep2 = getelementptr i32, i32 addrspace(1)* %ptr.gep, i32 %idx1
132 ; CHECK: getelementptr
133   %ptr.gep3 = getelementptr i32, i32 addrspace(1)* %ptr.gep2, i32 %idx2
134 ; CHECK: getelementptr
135   %ptr.gep4 = getelementptr i32, i32 addrspace(1)* %ptr.gep3, i32 %idx3
136 ; CHECK: getelementptr
137   %ptr.cast = bitcast i32 addrspace(1)* %ptr.gep4 to i64 addrspace(1)*
138   call void @do_safepoint() [ "deopt"() ]
139
140 ; CHECK: gc.relocate
141 ; CHECK: bitcast
142 ; CHECK: gc.relocate
143 ; CHECK: bitcast
144   call void @use_obj64(i64 addrspace(1)* %ptr.cast)
145   ret void
146 }
147
148 define void @test_two_derived(i32 addrspace(1)* %base) gc "statepoint-example" {
149 ; CHECK-LABEL: test_two_derived
150 entry:
151   %ptr = getelementptr i32, i32 addrspace(1)* %base, i32 15
152   %ptr2 = getelementptr i32, i32 addrspace(1)* %base, i32 12
153 ; CHECK: getelementptr
154 ; CHECK: getelementptr
155   call void @do_safepoint() [ "deopt"() ]
156
157 ; CHECK: gc.relocate
158 ; CHECK: bitcast
159 ; CHECK: getelementptr
160 ; CHECK: getelementptr
161   call void @use_obj32(i32 addrspace(1)* %ptr)
162   call void @use_obj32(i32 addrspace(1)* %ptr2)
163   ret void
164 }
165
166 define void @test_gep_smallint_array([3 x i32] addrspace(1)* %base) gc "statepoint-example" {
167 ; CHECK-LABEL: test_gep_smallint_array
168 entry:
169   %ptr = getelementptr [3 x i32], [3 x i32] addrspace(1)* %base, i32 0, i32 2
170 ; CHECK: getelementptr
171   call void @do_safepoint() [ "deopt"() ]
172
173 ; CHECK: gc.relocate
174 ; CHECK: bitcast
175 ; CHECK: getelementptr
176   call void @use_obj32(i32 addrspace(1)* %ptr)
177   ret void
178 }
179
180 declare i32 @fake_personality_function()
181
182 define void @test_invoke(i32 addrspace(1)* %base) gc "statepoint-example" personality i32 ()* @fake_personality_function {
183 ; CHECK-LABEL: test_invoke
184 entry:
185   %ptr.gep = getelementptr i32, i32 addrspace(1)* %base, i32 15
186 ; CHECK: getelementptr
187   %ptr.cast = bitcast i32 addrspace(1)* %ptr.gep to i64 addrspace(1)*
188 ; CHECK: bitcast
189   %ptr.cast2 = bitcast i32 addrspace(1)* %ptr.gep to i16 addrspace(1)*
190 ; CHECK: bitcast
191   invoke void @do_safepoint() [ "deopt"() ]
192           to label %normal unwind label %exception
193
194 normal:
195 ; CHECK: normal:
196 ; CHECK: gc.relocate
197 ; CHECK: bitcast
198 ; CHECK: getelementptr
199 ; CHECK: bitcast
200 ; CHECK: getelementptr
201 ; CHECK: bitcast
202   call void @use_obj64(i64 addrspace(1)* %ptr.cast)
203   call void @use_obj16(i16 addrspace(1)* %ptr.cast2)
204   ret void
205
206 exception:
207 ; CHECK: exception:
208   %landing_pad4 = landingpad token
209           cleanup
210 ; CHECK: gc.relocate
211 ; CHECK: bitcast
212 ; CHECK: getelementptr
213 ; CHECK: bitcast
214 ; CHECK: getelementptr
215 ; CHECK: bitcast
216   call void @use_obj64(i64 addrspace(1)* %ptr.cast)
217   call void @use_obj16(i16 addrspace(1)* %ptr.cast2)
218   ret void
219 }
220
221 define void @test_loop(i32 addrspace(1)* %base) gc "statepoint-example" {
222 ; CHECK-LABEL: test_loop
223 entry:
224   %ptr.gep = getelementptr i32, i32 addrspace(1)* %base, i32 15
225 ; CHECK: getelementptr
226   br label %loop
227
228 loop:                                             ; preds = %loop, %entry
229 ; CHECK: phi i32 addrspace(1)* [ %ptr.gep, %entry ], [ %ptr.gep.remat, %loop ]
230 ; CHECK: phi i32 addrspace(1)* [ %base, %entry ], [ %base.relocated.casted, %loop ]
231   call void @use_obj32(i32 addrspace(1)* %ptr.gep)
232   call void @do_safepoint() [ "deopt"() ]
233 ; CHECK: gc.relocate
234 ; CHECK: bitcast
235 ; CHECK: getelementptr
236   br label %loop
237 }
238
239 define void @test_too_long(i32 addrspace(1)* %base) gc "statepoint-example" {
240 ; CHECK-LABEL: test_too_long
241 entry:
242   %ptr.gep = getelementptr i32, i32 addrspace(1)* %base, i32 15
243   %ptr.gep1 = getelementptr i32, i32 addrspace(1)* %ptr.gep, i32 15
244   %ptr.gep2 = getelementptr i32, i32 addrspace(1)* %ptr.gep1, i32 15
245   %ptr.gep3 = getelementptr i32, i32 addrspace(1)* %ptr.gep2, i32 15
246   %ptr.gep4 = getelementptr i32, i32 addrspace(1)* %ptr.gep3, i32 15
247   %ptr.gep5 = getelementptr i32, i32 addrspace(1)* %ptr.gep4, i32 15
248   %ptr.gep6 = getelementptr i32, i32 addrspace(1)* %ptr.gep5, i32 15
249   %ptr.gep7 = getelementptr i32, i32 addrspace(1)* %ptr.gep6, i32 15
250   %ptr.gep8 = getelementptr i32, i32 addrspace(1)* %ptr.gep7, i32 15
251   %ptr.gep9 = getelementptr i32, i32 addrspace(1)* %ptr.gep8, i32 15
252   %ptr.gep10 = getelementptr i32, i32 addrspace(1)* %ptr.gep9, i32 15
253   %ptr.gep11 = getelementptr i32, i32 addrspace(1)* %ptr.gep10, i32 15
254   call void @do_safepoint() [ "deopt"() ]
255 ; CHECK: gc.relocate
256 ; CHECK: bitcast
257 ; CHECK: gc.relocate
258 ; CHECK: bitcast
259   call void @use_obj32(i32 addrspace(1)* %ptr.gep11)
260   ret void
261 }
262
263
264 declare i32 addrspace(1)* @new_instance() nounwind "gc-leaf-function"
265
266 ; remat the gep in presence of base pointer which is a phi node.
267 ; FIXME: We should remove the extra basephi.base as well.
268 define void @contains_basephi(i1 %cond) gc "statepoint-example" {
269 ; CHECK-LABEL: contains_basephi
270 entry:
271   %base1 = call i32 addrspace(1)* @new_instance()
272   %base2 = call i32 addrspace(1)* @new_instance()
273   br i1 %cond, label %here, label %there
274
275 here:
276   br label %merge
277
278 there:
279   br label %merge
280
281 merge:
282   ; CHECK: %basephi.base = phi i32 addrspace(1)* [ %base1, %here ], [ %base2, %there ], !is_base_value !0
283   ; CHECK: %basephi = phi i32 addrspace(1)* [ %base1, %here ], [ %base2, %there ]
284   ; CHECK: %ptr.gep = getelementptr i32, i32 addrspace(1)* %basephi, i32 15
285   ; CHECK: %statepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint
286   ; CHECK: %basephi.base.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token, i32 7, i32 7) ; (%basephi.base, %basephi.base)
287   ; CHECK: %basephi.base.relocated.casted = bitcast i8 addrspace(1)* %basephi.base.relocated to i32 addrspace(1)*
288   ; CHECK: %ptr.gep.remat = getelementptr i32, i32 addrspace(1)* %basephi, i32 15
289   ; CHECK: call void @use_obj32(i32 addrspace(1)* %ptr.gep.remat)
290
291
292
293   %basephi = phi i32 addrspace(1)* [ %base1, %here ], [ %base2, %there ]
294   %ptr.gep = getelementptr i32, i32 addrspace(1)* %basephi, i32 15
295   call void @do_safepoint() ["deopt"() ]
296   call void @use_obj32(i32 addrspace(1)* %ptr.gep)
297   ret void
298 }