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