|
111
|
1 #include <stdlib.h>
|
|
|
2 #include <stdio.h>
|
|
|
3 #include <stddef.h>
|
|
|
4 #include <stdbool.h>
|
|
|
5
|
|
|
6 #include "libgccjit.h"
|
|
|
7
|
|
|
8 #include "harness.h"
|
|
|
9
|
|
|
10 struct zoo
|
|
|
11 {
|
|
|
12 void *m_void_ptr;
|
|
|
13
|
|
|
14 bool m_bool;
|
|
|
15
|
|
|
16 char m_char;
|
|
|
17 signed char m_signed_char;
|
|
|
18 unsigned char m_unsigned_char;
|
|
|
19
|
|
|
20 short m_short;
|
|
|
21 unsigned short m_unsigned_short;
|
|
|
22
|
|
|
23 int m_int;
|
|
|
24 unsigned int m_unsigned_int;
|
|
|
25
|
|
|
26 long m_long;
|
|
|
27 unsigned long m_unsigned_long;
|
|
|
28
|
|
|
29 long long m_long_long;
|
|
|
30 unsigned long long m_unsigned_long_long;
|
|
|
31
|
|
|
32 int m_sized_int_type;
|
|
|
33
|
|
|
34 float m_float;
|
|
|
35 double m_double;
|
|
|
36 long double m_long_double;
|
|
|
37
|
|
|
38 const char *m_const_char_ptr;
|
|
|
39
|
|
|
40 size_t m_size_t;
|
|
|
41
|
|
|
42 FILE *m_FILE_ptr;
|
|
|
43 };
|
|
|
44
|
|
|
45 int test_int = 42;
|
|
|
46 int *test_ptr = &test_int;
|
|
|
47
|
|
|
48 const char *test_string = "test_string";
|
|
|
49
|
|
|
50 void
|
|
|
51 create_code (gcc_jit_context *ctxt, void *user_data)
|
|
|
52 {
|
|
|
53 /* Let's try to inject the equivalent of:
|
|
|
54
|
|
|
55 void
|
|
|
56 test_caller (struct zoo *z)
|
|
|
57 {
|
|
|
58 for each fields "m_field":
|
|
|
59 z->m_field = ...some data;
|
|
|
60 }
|
|
|
61 */
|
|
|
62 gcc_jit_type *void_type =
|
|
|
63 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID);
|
|
|
64
|
|
|
65 #define CREATE_FIELD(TYPE, NAME) \
|
|
|
66 gcc_jit_context_new_field ( \
|
|
|
67 ctxt, NULL, \
|
|
|
68 gcc_jit_context_get_type (ctxt, TYPE), \
|
|
|
69 NAME)
|
|
|
70
|
|
|
71 gcc_jit_field *field_m_void_ptr =
|
|
|
72 CREATE_FIELD (GCC_JIT_TYPE_VOID_PTR, "m_void_ptr");
|
|
|
73
|
|
|
74 gcc_jit_field *field_m_bool =
|
|
|
75 CREATE_FIELD (GCC_JIT_TYPE_BOOL, "m_bool");
|
|
|
76
|
|
|
77 gcc_jit_field *field_m_char =
|
|
|
78 CREATE_FIELD (GCC_JIT_TYPE_CHAR, "m_char");
|
|
|
79 gcc_jit_field *field_m_signed_char =
|
|
|
80 CREATE_FIELD (GCC_JIT_TYPE_SIGNED_CHAR, "m_signed_char");
|
|
|
81 gcc_jit_field *field_m_unsigned_char =
|
|
|
82 CREATE_FIELD (GCC_JIT_TYPE_UNSIGNED_CHAR, "m_unsigned_char");
|
|
|
83
|
|
|
84 gcc_jit_field *field_m_short =
|
|
|
85 CREATE_FIELD (GCC_JIT_TYPE_SHORT, "m_short");
|
|
|
86 gcc_jit_field *field_m_unsigned_short =
|
|
|
87 CREATE_FIELD (GCC_JIT_TYPE_UNSIGNED_SHORT, "m_unsigned_short");
|
|
|
88
|
|
|
89 gcc_jit_field *field_m_int =
|
|
|
90 CREATE_FIELD (GCC_JIT_TYPE_INT, "m_int");
|
|
|
91 gcc_jit_field *field_m_unsigned_int =
|
|
|
92 CREATE_FIELD (GCC_JIT_TYPE_UNSIGNED_INT, "m_unsigned_int");
|
|
|
93
|
|
|
94 gcc_jit_field *field_m_long =
|
|
|
95 CREATE_FIELD (GCC_JIT_TYPE_LONG, "m_long");
|
|
|
96 gcc_jit_field *field_m_unsigned_long =
|
|
|
97 CREATE_FIELD (GCC_JIT_TYPE_UNSIGNED_LONG, "m_unsigned_long");
|
|
|
98
|
|
|
99 gcc_jit_field *field_m_long_long =
|
|
|
100 CREATE_FIELD (GCC_JIT_TYPE_LONG_LONG, "m_long_long");
|
|
|
101 gcc_jit_field *field_m_unsigned_long_long =
|
|
|
102 CREATE_FIELD (GCC_JIT_TYPE_UNSIGNED_LONG_LONG, "m_unsigned_long_long");
|
|
|
103
|
|
|
104 /* Signed int type with sizeof (int): */
|
|
|
105 gcc_jit_type *sized_int_type =
|
|
|
106 gcc_jit_context_get_int_type (ctxt, sizeof (int), 1);
|
|
|
107 gcc_jit_field *field_m_sized_int_type =
|
|
|
108 gcc_jit_context_new_field (
|
|
|
109 ctxt, NULL, sized_int_type, "m_sized_int_type");
|
|
|
110
|
|
|
111 gcc_jit_field *field_m_float =
|
|
|
112 CREATE_FIELD (GCC_JIT_TYPE_FLOAT, "m_float");
|
|
|
113 gcc_jit_field *field_m_double =
|
|
|
114 CREATE_FIELD (GCC_JIT_TYPE_DOUBLE, "m_double");
|
|
|
115 gcc_jit_field *field_m_long_double =
|
|
|
116 CREATE_FIELD (GCC_JIT_TYPE_LONG_DOUBLE, "m_long_double");
|
|
|
117
|
|
|
118 gcc_jit_field *field_m_const_char_ptr =
|
|
|
119 CREATE_FIELD (GCC_JIT_TYPE_CONST_CHAR_PTR, "m_const_char_ptr");
|
|
|
120
|
|
|
121 gcc_jit_field *field_m_size_t =
|
|
|
122 CREATE_FIELD (GCC_JIT_TYPE_SIZE_T, "m_size_t");
|
|
|
123
|
|
|
124 gcc_jit_field *field_m_FILE_ptr =
|
|
|
125 CREATE_FIELD (GCC_JIT_TYPE_FILE_PTR, "m_FILE_ptr");
|
|
|
126
|
|
|
127 #undef CREATE_FIELD
|
|
|
128
|
|
|
129 gcc_jit_field *zoo_fields[] = {
|
|
|
130 field_m_void_ptr,
|
|
|
131
|
|
|
132 field_m_bool,
|
|
|
133
|
|
|
134 field_m_char,
|
|
|
135 field_m_signed_char,
|
|
|
136 field_m_unsigned_char,
|
|
|
137
|
|
|
138 field_m_short,
|
|
|
139 field_m_unsigned_short,
|
|
|
140
|
|
|
141 field_m_int,
|
|
|
142 field_m_unsigned_int,
|
|
|
143
|
|
|
144 field_m_long,
|
|
|
145 field_m_unsigned_long,
|
|
|
146
|
|
|
147 field_m_long_long,
|
|
|
148 field_m_unsigned_long_long,
|
|
|
149
|
|
|
150 field_m_sized_int_type,
|
|
|
151
|
|
|
152 field_m_float,
|
|
|
153 field_m_double,
|
|
|
154 field_m_long_double,
|
|
|
155
|
|
|
156 field_m_const_char_ptr,
|
|
|
157
|
|
|
158 field_m_size_t,
|
|
|
159
|
|
|
160 field_m_FILE_ptr
|
|
|
161 };
|
|
|
162
|
|
|
163 gcc_jit_type *zoo_type =
|
|
|
164 gcc_jit_struct_as_type (
|
|
|
165 gcc_jit_context_new_struct_type (
|
|
|
166 ctxt,
|
|
|
167 NULL,
|
|
|
168 "zoo",
|
|
|
169 sizeof (zoo_fields) / sizeof (zoo_fields[0]),
|
|
|
170 zoo_fields));
|
|
|
171
|
|
|
172 gcc_jit_type *zoo_ptr_type =
|
|
|
173 gcc_jit_type_get_pointer (zoo_type);
|
|
|
174
|
|
|
175 /* Build the test_fn. */
|
|
|
176 gcc_jit_param *param_z =
|
|
|
177 gcc_jit_context_new_param (ctxt, NULL, zoo_ptr_type, "z");
|
|
|
178 gcc_jit_function *test_fn =
|
|
|
179 gcc_jit_context_new_function (ctxt, NULL,
|
|
|
180 GCC_JIT_FUNCTION_EXPORTED,
|
|
|
181 void_type,
|
|
|
182 "test_types",
|
|
|
183 1, ¶m_z,
|
|
|
184 0);
|
|
|
185 gcc_jit_block *block = gcc_jit_function_new_block (test_fn, NULL);
|
|
|
186
|
|
|
187 /* Write to the various fields of param "z". */
|
|
|
188 #define ASSIGN(FIELD, EXPR) \
|
|
|
189 gcc_jit_block_add_assignment ( \
|
|
|
190 block, NULL, \
|
|
|
191 gcc_jit_rvalue_dereference_field ( \
|
|
|
192 gcc_jit_param_as_rvalue (param_z), \
|
|
|
193 NULL, \
|
|
|
194 (FIELD)), \
|
|
|
195 (EXPR));
|
|
|
196
|
|
|
197 ASSIGN(
|
|
|
198 field_m_void_ptr,
|
|
|
199 gcc_jit_context_new_rvalue_from_ptr (
|
|
|
200 ctxt,
|
|
|
201 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID_PTR),
|
|
|
202 test_ptr))
|
|
|
203
|
|
|
204 ASSIGN(field_m_bool,
|
|
|
205 gcc_jit_context_new_rvalue_from_int (
|
|
|
206 ctxt,
|
|
|
207 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_BOOL), 1))
|
|
|
208
|
|
|
209 ASSIGN(field_m_char,
|
|
|
210 gcc_jit_context_new_rvalue_from_int (
|
|
|
211 ctxt,
|
|
|
212 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_CHAR),
|
|
|
213 'V'))
|
|
|
214 ASSIGN(field_m_signed_char,
|
|
|
215 gcc_jit_context_new_rvalue_from_int (
|
|
|
216 ctxt,
|
|
|
217 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_SIGNED_CHAR),
|
|
|
218 -37))
|
|
|
219 ASSIGN(field_m_unsigned_char,
|
|
|
220 gcc_jit_context_new_rvalue_from_int (
|
|
|
221 ctxt,
|
|
|
222 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_UNSIGNED_CHAR),
|
|
|
223 200))
|
|
|
224
|
|
|
225 ASSIGN(field_m_short,
|
|
|
226 gcc_jit_context_new_rvalue_from_int (
|
|
|
227 ctxt,
|
|
|
228 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_SHORT),
|
|
|
229 -900))
|
|
|
230 ASSIGN(field_m_unsigned_short,
|
|
|
231 gcc_jit_context_new_rvalue_from_int (
|
|
|
232 ctxt,
|
|
|
233 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_UNSIGNED_SHORT),
|
|
|
234 0x3000))
|
|
|
235
|
|
|
236 ASSIGN(field_m_int,
|
|
|
237 gcc_jit_context_new_rvalue_from_int (
|
|
|
238 ctxt,
|
|
|
239 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT),
|
|
|
240 -0x2000))
|
|
|
241 ASSIGN(field_m_unsigned_int,
|
|
|
242 gcc_jit_context_new_rvalue_from_int (
|
|
|
243 ctxt,
|
|
|
244 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_UNSIGNED_INT),
|
|
|
245 1234567))
|
|
|
246
|
|
|
247 ASSIGN(field_m_long,
|
|
|
248 gcc_jit_context_new_rvalue_from_int (
|
|
|
249 ctxt,
|
|
|
250 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_LONG),
|
|
|
251 -5))
|
|
|
252 ASSIGN(field_m_unsigned_long,
|
|
|
253 gcc_jit_context_new_rvalue_from_int (
|
|
|
254 ctxt,
|
|
|
255 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_UNSIGNED_LONG),
|
|
|
256 12345678))
|
|
|
257
|
|
|
258 ASSIGN(field_m_long_long,
|
|
|
259 gcc_jit_context_new_rvalue_from_int (
|
|
|
260 ctxt,
|
|
|
261 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_LONG_LONG),
|
|
|
262 -42))
|
|
|
263 ASSIGN(field_m_unsigned_long_long,
|
|
|
264 gcc_jit_context_new_rvalue_from_int (
|
|
|
265 ctxt,
|
|
|
266 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_UNSIGNED_LONG_LONG),
|
|
|
267 123456789))
|
|
|
268
|
|
|
269 ASSIGN(field_m_sized_int_type,
|
|
|
270 gcc_jit_context_new_rvalue_from_int (
|
|
|
271 ctxt,
|
|
|
272 sized_int_type, 500))
|
|
|
273
|
|
|
274 ASSIGN(field_m_float,
|
|
|
275 gcc_jit_context_new_rvalue_from_double (
|
|
|
276 ctxt,
|
|
|
277 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_FLOAT),
|
|
|
278 3.141))
|
|
|
279 ASSIGN(field_m_double,
|
|
|
280 gcc_jit_context_new_rvalue_from_double (
|
|
|
281 ctxt,
|
|
|
282 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_DOUBLE),
|
|
|
283 3.141))
|
|
|
284 ASSIGN(field_m_long_double,
|
|
|
285 gcc_jit_context_new_rvalue_from_double (
|
|
|
286 ctxt,
|
|
|
287 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_LONG_DOUBLE),
|
|
|
288 3.141))
|
|
|
289
|
|
|
290 ASSIGN(field_m_const_char_ptr,
|
|
|
291 gcc_jit_context_new_rvalue_from_ptr (
|
|
|
292 ctxt,
|
|
|
293 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_CONST_CHAR_PTR),
|
|
|
294 (char *)test_string))
|
|
|
295
|
|
|
296 ASSIGN(field_m_size_t,
|
|
|
297 gcc_jit_context_new_rvalue_from_int (
|
|
|
298 ctxt,
|
|
|
299 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_SIZE_T),
|
|
|
300 sizeof (struct zoo)))
|
|
|
301
|
|
|
302 ASSIGN(field_m_FILE_ptr,
|
|
|
303 gcc_jit_context_new_rvalue_from_ptr (
|
|
|
304 ctxt,
|
|
|
305 gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_FILE_PTR),
|
|
|
306 stderr))
|
|
|
307
|
|
|
308 #undef ASSIGN
|
|
|
309
|
|
|
310 gcc_jit_block_end_with_void_return (block, NULL);
|
|
|
311 }
|
|
|
312
|
|
|
313 void
|
|
|
314 verify_code (gcc_jit_context *ctxt, gcc_jit_result *result)
|
|
|
315 {
|
|
|
316 typedef void (*fn_type) (struct zoo *);
|
|
|
317 CHECK_NON_NULL (result);
|
|
|
318
|
|
|
319 fn_type test_types =
|
|
|
320 (fn_type)gcc_jit_result_get_code (result, "test_types");
|
|
|
321 CHECK_NON_NULL (test_types);
|
|
|
322
|
|
|
323 struct zoo z;
|
|
|
324 memset (&z, 0xf0, sizeof (z));
|
|
|
325
|
|
|
326 /* Call the JIT-generated function. */
|
|
|
327 test_types (&z);
|
|
|
328
|
|
|
329 /* Verify that it correctly wrote to the various fields. */
|
|
|
330 CHECK_VALUE (z.m_void_ptr, test_ptr);
|
|
|
331
|
|
|
332 CHECK_VALUE (z.m_bool, true);
|
|
|
333
|
|
|
334 CHECK_VALUE (z.m_char, 'V');
|
|
|
335 CHECK_VALUE (z.m_signed_char, -37);
|
|
|
336 CHECK_VALUE (z.m_unsigned_char, 200);
|
|
|
337
|
|
|
338 CHECK_VALUE (z.m_short, -900);
|
|
|
339 CHECK_VALUE (z.m_unsigned_short, 0x3000);
|
|
|
340
|
|
|
341 CHECK_VALUE (z.m_int, -0x2000);
|
|
|
342 CHECK_VALUE (z.m_unsigned_int, 1234567);
|
|
|
343
|
|
|
344 CHECK_VALUE (z.m_long, -5);
|
|
|
345 CHECK_VALUE (z.m_unsigned_long, 12345678);
|
|
|
346
|
|
|
347 CHECK_VALUE (z.m_long_long, -42);
|
|
|
348 CHECK_VALUE (z.m_unsigned_long_long, 123456789);
|
|
|
349
|
|
|
350 CHECK_VALUE (z.m_sized_int_type, 500);
|
|
|
351
|
|
|
352 CHECK_VALUE (z.m_float, 3.141f);
|
|
|
353 CHECK_VALUE (z.m_double, 3.141);
|
|
|
354 CHECK_VALUE (z.m_long_double, 3.141);
|
|
|
355
|
|
|
356 CHECK_VALUE (z.m_const_char_ptr, test_string);
|
|
|
357
|
|
|
358 CHECK_VALUE (z.m_size_t, sizeof (struct zoo));
|
|
|
359
|
|
|
360 CHECK_VALUE (z.m_FILE_ptr, stderr);
|
|
|
361 }
|
