Commit | Line | Data |
---|---|---|
4a71579b | 1 | /* |
79bfeef6 | 2 | * Copyright (C) 2012-2023 Free Software Foundation, Inc. |
4a71579b PC |
3 | * |
4 | * This file is part of GNU lightning. | |
5 | * | |
6 | * GNU lightning is free software; you can redistribute it and/or modify it | |
7 | * under the terms of the GNU Lesser General Public License as published | |
8 | * by the Free Software Foundation; either version 3, or (at your option) | |
9 | * any later version. | |
10 | * | |
11 | * GNU lightning is distributed in the hope that it will be useful, but | |
12 | * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY | |
13 | * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public | |
14 | * License for more details. | |
15 | * | |
16 | * Authors: | |
17 | * Paulo Cesar Pereira de Andrade | |
18 | */ | |
19 | ||
20 | #include <lightning.h> | |
21 | #include <lightning/jit_private.h> | |
22 | ||
c0c16242 PC |
23 | #if __WORDSIZE == 32 |
24 | # define MININT 0x80000000 | |
ba86ff93 | 25 | # define INT_FMT "%d" |
79bfeef6 PC |
26 | # define DEC_FMT "%d" |
27 | # define HEX_FMT "0x%x" | |
c0c16242 PC |
28 | #else |
29 | # define MININT 0x8000000000000000 | |
ba86ff93 | 30 | # define INT_FMT "%d" |
79bfeef6 PC |
31 | # define DEC_FMT "%ld" |
32 | # define HEX_FMT "0x%lx" | |
c0c16242 PC |
33 | #endif |
34 | ||
35 | ||
519a9ea1 | 36 | #define print_chr(value) fputc(value, print_stream) |
c0c16242 PC |
37 | #define print_hex(value) \ |
38 | do { \ | |
39 | if (value < 0 && value != MININT) \ | |
79bfeef6 | 40 | fprintf(print_stream, "-" HEX_FMT, (jit_uword_t)-value); \ |
c0c16242 | 41 | else \ |
79bfeef6 | 42 | fprintf(print_stream, HEX_FMT, (jit_uword_t)value); \ |
c0c16242 | 43 | } while (0) |
79bfeef6 | 44 | #define print_dec(value) fprintf(print_stream, DEC_FMT, value) |
ba86ff93 | 45 | #define print_int(value) fprintf(print_stream, INT_FMT, value) |
519a9ea1 PC |
46 | #define print_flt(value) fprintf(print_stream, "%g", value) |
47 | #define print_str(value) fprintf(print_stream, "%s", value) | |
48 | #define print_ptr(value) fprintf(print_stream, "%p", value) | |
4a71579b PC |
49 | #define print_reg(value) \ |
50 | do { \ | |
51 | if ((value) & jit_regno_patch) \ | |
52 | print_chr('?'); \ | |
53 | print_str(_rvs[jit_regno(value)].name); \ | |
54 | } while (0) | |
55 | #define print_arg(value) \ | |
56 | do { \ | |
57 | print_chr('#'); \ | |
58 | if (value) \ | |
59 | print_dec((value)->v.w); \ | |
60 | else \ | |
61 | print_chr('?'); \ | |
62 | } while (0) | |
63 | ||
64 | /* | |
65 | * Initialization | |
66 | */ | |
67 | #include "jit_names.c" | |
519a9ea1 PC |
68 | /* |
69 | * Initialization | |
70 | */ | |
71 | static FILE *print_stream; | |
72 | ||
4a71579b PC |
73 | |
74 | /* | |
75 | * Implementation | |
76 | */ | |
77 | void | |
40a44dcb | 78 | jit_init_print(void) |
4a71579b | 79 | { |
519a9ea1 | 80 | if (!print_stream) |
ba3814c1 | 81 | print_stream = stdout; |
40a44dcb PC |
82 | } |
83 | ||
84 | void | |
85 | _jit_print(jit_state_t *_jit) | |
86 | { | |
87 | jit_node_t *node; | |
519a9ea1 | 88 | |
4a71579b PC |
89 | if ((node = _jitc->head)) { |
90 | jit_print_node(node); | |
91 | for (node = node->next; node; node = node->next) { | |
92 | print_chr('\n'); | |
93 | jit_print_node(node); | |
94 | } | |
95 | print_chr('\n'); | |
96 | } | |
97 | } | |
98 | ||
99 | void | |
100 | _jit_print_node(jit_state_t *_jit, jit_node_t *node) | |
101 | { | |
102 | jit_block_t *block; | |
103 | jit_int32_t value; | |
104 | jit_int32_t offset; | |
105 | ||
106 | if (node->code == jit_code_label || | |
107 | node->code == jit_code_prolog || node->code == jit_code_epilog) { | |
108 | print_chr('L'); | |
109 | print_dec(node->v.w); | |
110 | print_chr(':'); | |
111 | block = _jitc->blocks.ptr + node->v.w; | |
112 | for (offset = 0; offset < _jitc->reglen; offset++) { | |
113 | if (jit_regset_tstbit(&block->reglive, offset)) { | |
114 | print_chr(' '); | |
115 | print_reg(offset); | |
116 | } | |
117 | } | |
118 | if (node->code == jit_code_prolog || | |
119 | node->code == jit_code_epilog) { | |
120 | print_str(" /* "); | |
121 | print_str(code_name[node->code]); | |
122 | print_str(" */"); | |
123 | } | |
124 | return; | |
125 | } | |
126 | value = jit_classify(node->code) & | |
127 | (jit_cc_a0_int|jit_cc_a0_flt|jit_cc_a0_dbl|jit_cc_a0_jmp| | |
128 | jit_cc_a0_reg|jit_cc_a0_rlh|jit_cc_a0_arg| | |
ba86ff93 PC |
129 | jit_cc_a1_reg|jit_cc_a1_rlh|jit_cc_a1_int| |
130 | jit_cc_a1_flt|jit_cc_a1_dbl|jit_cc_a1_arg| | |
ba3814c1 | 131 | jit_cc_a2_reg|jit_cc_a2_int|jit_cc_a2_flt|jit_cc_a2_dbl|jit_cc_a2_rlh); |
4a71579b PC |
132 | if (!(node->flag & jit_flag_synth) && ((value & jit_cc_a0_jmp) || |
133 | node->code == jit_code_finishr || | |
134 | node->code == jit_code_finishi)) | |
135 | print_str(" "); | |
136 | else | |
137 | print_chr('\t'); | |
138 | if (node->flag & jit_flag_synth) | |
139 | print_str(" \\__ "); | |
140 | print_str(code_name[node->code]); | |
141 | switch (node->code) { | |
142 | r: | |
143 | print_chr(' '); print_reg(node->u.w); return; | |
144 | w: | |
145 | print_chr(' '); print_hex(node->u.w); return; | |
146 | f: | |
147 | print_chr(' '); | |
148 | if (node->flag & jit_flag_data) | |
149 | print_flt(*(jit_float32_t *)node->u.n->u.w); | |
150 | else | |
151 | print_flt(node->u.f); | |
152 | return; | |
153 | d: | |
154 | print_chr(' '); | |
155 | if (node->flag & jit_flag_data) | |
156 | print_flt(*(jit_float64_t *)node->u.n->u.w); | |
157 | else | |
158 | print_flt(node->u.d); | |
159 | return; | |
160 | n: | |
161 | print_chr(' '); | |
162 | if (!(node->flag & jit_flag_node)) | |
163 | print_ptr(node->u.p); | |
164 | else { | |
165 | print_chr('L'); | |
166 | print_dec(node->u.n->v.w); | |
167 | } | |
168 | return; | |
169 | a: | |
170 | print_chr(' '); print_arg(node); return; | |
171 | r_r: | |
172 | print_chr(' '); print_reg(node->u.w); | |
173 | print_chr(' '); print_reg(node->v.w); return; | |
174 | r_w: | |
175 | print_chr(' '); print_reg(node->u.w); | |
176 | print_chr(' '); print_hex(node->v.w); return; | |
177 | r_f: | |
178 | print_chr(' '); print_reg(node->u.w); | |
179 | print_chr(' '); | |
180 | if (node->flag & jit_flag_data) | |
181 | print_flt(*(jit_float32_t *)node->v.n->u.w); | |
182 | else | |
183 | print_flt(node->v.f); | |
184 | return; | |
185 | r_d: | |
186 | print_chr(' '); print_reg(node->u.w); | |
187 | print_chr(' '); | |
188 | if (node->flag & jit_flag_data) | |
189 | print_flt(*(jit_float64_t *)node->v.n->u.w); | |
190 | else | |
191 | print_flt(node->v.d); | |
192 | return; | |
193 | r_a: | |
194 | print_chr(' '); print_reg(node->u.w); | |
195 | print_chr(' '); print_arg(node->v.n); | |
196 | return; | |
197 | w_r: | |
198 | print_chr(' '); print_hex(node->u.w); | |
199 | print_chr(' '); print_reg(node->v.w); return; | |
200 | w_w: | |
201 | print_chr(' '); print_hex(node->u.w); | |
202 | print_chr(' '); print_hex(node->v.w); return; | |
203 | w_a: | |
204 | print_chr(' '); print_hex(node->u.w); | |
205 | print_chr(' '); print_arg(node->v.n); | |
206 | return; | |
207 | f_a: | |
208 | print_chr(' '); | |
209 | if (node->flag & jit_flag_data) | |
210 | print_flt(*(jit_float32_t *)node->u.n->u.w); | |
211 | else | |
212 | print_flt(node->u.f); | |
213 | print_chr(' '); print_arg(node->v.n); | |
214 | return; | |
215 | d_a: | |
216 | print_chr(' '); | |
217 | if (node->flag & jit_flag_data) | |
218 | print_flt(*(jit_float64_t *)node->u.n->u.w); | |
219 | else | |
220 | print_flt(node->u.d); | |
221 | print_chr(' '); print_arg(node->v.n); | |
222 | return; | |
223 | r_r_r: | |
224 | print_chr(' '); print_reg(node->u.w); | |
225 | print_chr(' '); print_reg(node->v.w); | |
ba86ff93 | 226 | print_chr(' '); print_reg(node->w.w); return; |
4a71579b PC |
227 | r_r_w: |
228 | print_chr(' '); print_reg(node->u.w); | |
229 | print_chr(' '); print_reg(node->v.w); | |
ba86ff93 PC |
230 | print_chr(' '); print_hex(node->w.w); return; |
231 | r_w_w: | |
232 | print_chr(' '); print_reg(node->u.w); | |
233 | print_chr(' '); print_hex(node->v.w); | |
234 | print_chr(' '); | |
235 | if (node->code == jit_code_movi_ww_d) | |
236 | print_hex(node->w.w); | |
237 | else | |
238 | print_dec(node->w.w); return; | |
239 | w_r_w: | |
240 | print_chr(' '); print_hex(node->u.w); | |
241 | print_chr(' '); print_reg(node->v.w); | |
242 | print_chr(' '); print_dec(node->w.w); return; | |
4a71579b PC |
243 | q_r_r: |
244 | print_str(" ("); print_reg(node->u.q.l); | |
245 | print_chr(' '); print_reg(node->u.q.h); | |
246 | print_str(") "); print_reg(node->v.w); | |
ba86ff93 | 247 | print_chr(' '); print_reg(node->w.w); return; |
4a71579b PC |
248 | q_r_w: |
249 | print_str(" ("); print_reg(node->u.q.l); | |
250 | print_chr(' '); print_reg(node->u.q.h); | |
251 | print_str(") "); print_reg(node->v.w); | |
ba86ff93 | 252 | print_chr(' '); print_hex(node->w.w); return; |
ba3814c1 PC |
253 | r_r_q: |
254 | print_chr(' '); print_reg(node->u.w); | |
255 | print_chr(' '); print_reg(node->v.w); | |
256 | print_str(" ("); print_reg(node->w.q.l); | |
257 | print_chr(' '); print_reg(node->w.q.h); | |
258 | print_str(") "); return; | |
259 | r_w_q: | |
260 | print_chr(' '); print_reg(node->u.w); | |
261 | print_chr(' '); print_hex(node->v.w); | |
262 | print_str(" ("); print_reg(node->w.q.l); | |
263 | print_chr(' '); print_reg(node->w.q.h); | |
264 | print_str(") "); return; | |
ba86ff93 PC |
265 | r_r_iq: |
266 | print_chr(' '); print_reg(node->u.w); | |
267 | print_chr(' '); print_reg(node->v.w); | |
268 | print_str(" ("); print_int(node->w.q.l); | |
269 | print_chr(' '); print_int(node->w.q.h); | |
270 | print_str(") "); return; | |
271 | r_w_iq: | |
272 | print_chr(' '); print_reg(node->u.w); | |
273 | print_chr(' '); print_hex(node->v.w); | |
274 | print_str(" ("); print_int(node->w.q.l); | |
275 | print_chr(' '); print_int(node->w.q.h); | |
276 | print_str(") "); return; | |
277 | r_q_r: | |
278 | print_chr(' '); print_reg(node->u.w); | |
279 | print_str(" ("); print_reg(node->v.q.l); | |
280 | print_chr(' '); print_reg(node->v.q.h); | |
281 | print_str(") "); print_reg(node->w.w); | |
282 | return; | |
4a71579b PC |
283 | r_r_f: |
284 | print_chr(' '); print_reg(node->u.w); | |
285 | print_chr(' '); print_reg(node->v.w); | |
286 | print_chr(' '); | |
287 | if (node->flag & jit_flag_data) | |
288 | print_flt(*(jit_float32_t *)node->w.n->u.w); | |
289 | else | |
290 | print_flt(node->w.f); | |
291 | return; | |
ba86ff93 PC |
292 | r_q_f: |
293 | print_chr(' '); print_reg(node->u.w); | |
294 | print_str(" ("); print_reg(node->v.q.l); | |
295 | print_chr(' '); print_reg(node->v.q.h); | |
296 | print_str(") "); | |
297 | if (node->flag & jit_flag_data) | |
298 | print_flt(*(jit_float32_t *)node->w.n->u.w); | |
299 | else | |
300 | print_flt(node->w.f); | |
301 | return; | |
4a71579b PC |
302 | r_r_d: |
303 | print_chr(' '); print_reg(node->u.w); | |
304 | print_chr(' '); print_reg(node->v.w); | |
305 | print_chr(' '); | |
306 | if (node->flag & jit_flag_data) | |
307 | print_flt(*(jit_float64_t *)node->w.n->u.w); | |
308 | else | |
309 | print_flt(node->w.d); | |
310 | return; | |
ba86ff93 PC |
311 | r_q_d: |
312 | print_chr(' '); print_reg(node->u.w); | |
313 | print_str(" ("); print_reg(node->v.q.l); | |
314 | print_chr(' '); print_reg(node->v.q.h); | |
315 | print_str(") "); | |
316 | if (node->flag & jit_flag_data) | |
317 | print_flt(*(jit_float64_t *)node->w.n->u.w); | |
318 | else | |
319 | print_flt(node->w.d); | |
320 | return; | |
4a71579b PC |
321 | w_r_r: |
322 | print_chr(' '); print_hex(node->u.w); | |
323 | print_chr(' '); print_reg(node->v.w); | |
324 | print_chr(' '); print_reg(node->w.w); return; | |
325 | n_r_r: | |
326 | print_chr(' '); | |
327 | if (!(node->flag & jit_flag_node)) | |
328 | print_ptr(node->u.p); | |
329 | else { | |
330 | print_chr('L'); | |
331 | print_dec(node->u.n->v.w); | |
332 | } | |
333 | print_chr(' '); print_reg(node->v.w); | |
334 | print_chr(' '); print_reg(node->w.w); return; | |
335 | n_r_w: | |
336 | print_chr(' '); | |
337 | if (!(node->flag & jit_flag_node)) | |
338 | print_ptr(node->u.p); | |
339 | else { | |
340 | print_chr('L'); | |
341 | print_dec(node->u.n->v.w); | |
342 | } | |
343 | print_chr(' '); print_reg(node->v.w); | |
344 | print_chr(' '); print_hex(node->w.w); return; | |
345 | n_r_f: | |
346 | print_chr(' '); | |
347 | if (!(node->flag & jit_flag_node)) | |
348 | print_ptr(node->u.p); | |
349 | else{ | |
350 | print_chr('L'); | |
351 | print_dec(node->u.n->v.w); | |
352 | } | |
353 | print_chr(' '); print_reg(node->v.w); | |
354 | print_chr(' '); | |
355 | if (node->flag & jit_flag_data) | |
356 | print_flt(*(jit_float32_t *)node->w.n->u.w); | |
357 | else | |
358 | print_flt(node->w.f); | |
359 | return; | |
360 | n_r_d: | |
361 | print_chr(' '); | |
362 | if (!(node->flag & jit_flag_node)) | |
363 | print_ptr(node->u.p); | |
364 | else { | |
365 | print_chr('L'); | |
366 | print_dec(node->u.n->v.w); | |
367 | } | |
368 | print_chr(' '); print_reg(node->v.w); | |
369 | print_chr(' '); | |
370 | if (node->flag & jit_flag_data) | |
371 | print_flt(*(jit_float64_t *)node->w.n->u.w); | |
372 | else | |
373 | print_flt(node->w.d); | |
374 | return; | |
375 | case jit_code_name: | |
376 | print_chr(' '); | |
377 | if (node->v.p && _jitc->emit) | |
c0c16242 | 378 | print_str((char *)node->v.n->u.p); |
4a71579b PC |
379 | break; |
380 | case jit_code_note: | |
381 | print_chr(' '); | |
382 | if (node->v.p && _jitc->emit) | |
c0c16242 | 383 | print_str((char *)node->v.n->u.p); |
4a71579b PC |
384 | if (node->v.p && _jitc->emit && node->w.w) |
385 | print_chr(':'); | |
386 | if (node->w.w) | |
387 | print_dec(node->w.w); | |
388 | break; | |
389 | case jit_code_data: | |
390 | case jit_code_label: | |
391 | case jit_code_ellipsis: | |
392 | case jit_code_prolog: case jit_code_epilog: | |
393 | case jit_code_ret: case jit_code_prepare: | |
394 | break; | |
395 | case jit_code_save: case jit_code_load: | |
396 | goto r; | |
397 | default: | |
398 | switch (value) { | |
399 | case jit_cc_a0_reg: | |
400 | case jit_cc_a0_reg|jit_cc_a0_chg: | |
401 | case jit_cc_a0_reg|jit_cc_a0_jmp: | |
402 | goto r; | |
403 | case jit_cc_a0_int: | |
404 | goto w; | |
405 | case jit_cc_a0_flt: | |
406 | goto f; | |
407 | case jit_cc_a0_dbl: | |
408 | goto d; | |
409 | case jit_cc_a0_jmp: | |
410 | goto n; | |
411 | case jit_cc_a0_int|jit_cc_a0_arg: | |
412 | goto a; | |
413 | case jit_cc_a0_reg|jit_cc_a1_reg: | |
414 | goto r_r; | |
415 | case jit_cc_a0_reg|jit_cc_a1_int: | |
416 | goto r_w; | |
417 | case jit_cc_a0_reg|jit_cc_a1_flt: | |
418 | goto r_f; | |
419 | case jit_cc_a0_reg|jit_cc_a1_dbl: | |
420 | goto r_d; | |
421 | case jit_cc_a0_reg|jit_cc_a1_arg: | |
422 | goto r_a; | |
423 | case jit_cc_a0_int|jit_cc_a1_reg: | |
424 | goto w_r; | |
425 | case jit_cc_a0_int|jit_cc_a1_int: | |
426 | goto w_w; | |
427 | case jit_cc_a0_int|jit_cc_a1_arg: | |
428 | goto w_a; | |
429 | case jit_cc_a0_flt|jit_cc_a1_arg: | |
430 | goto f_a; | |
431 | case jit_cc_a0_dbl|jit_cc_a1_arg: | |
432 | goto d_a; | |
433 | case jit_cc_a0_reg|jit_cc_a1_reg|jit_cc_a2_reg: | |
434 | goto r_r_r; | |
435 | case jit_cc_a0_reg|jit_cc_a1_reg|jit_cc_a2_int: | |
436 | goto r_r_w; | |
ba86ff93 PC |
437 | case jit_cc_a0_reg|jit_cc_a1_int|jit_cc_a2_int: |
438 | goto r_w_w; | |
439 | case jit_cc_a0_int|jit_cc_a1_reg|jit_cc_a2_int: | |
440 | goto w_r_w; | |
4a71579b PC |
441 | case jit_cc_a0_reg|jit_cc_a0_rlh| |
442 | jit_cc_a1_reg|jit_cc_a2_reg: | |
443 | goto q_r_r; | |
444 | case jit_cc_a0_reg|jit_cc_a0_rlh| | |
445 | jit_cc_a1_reg|jit_cc_a2_int: | |
446 | goto q_r_w; | |
ba3814c1 PC |
447 | case jit_cc_a0_reg|jit_cc_a1_reg| |
448 | jit_cc_a2_reg|jit_cc_a2_rlh: | |
449 | goto r_r_q; | |
450 | case jit_cc_a0_reg|jit_cc_a1_int| | |
451 | jit_cc_a2_reg|jit_cc_a2_rlh: | |
452 | goto r_w_q; | |
ba86ff93 PC |
453 | case jit_cc_a0_reg|jit_cc_a1_reg|jit_cc_a2_rlh: |
454 | goto r_r_iq; | |
455 | case jit_cc_a0_reg|jit_cc_a1_int|jit_cc_a2_rlh: | |
456 | goto r_w_iq; | |
4a71579b PC |
457 | case jit_cc_a0_reg|jit_cc_a1_reg|jit_cc_a2_flt: |
458 | goto r_r_f; | |
459 | case jit_cc_a0_reg|jit_cc_a1_reg|jit_cc_a2_dbl: | |
460 | goto r_r_d; | |
461 | case jit_cc_a0_int|jit_cc_a1_reg|jit_cc_a2_reg: | |
462 | goto w_r_r; | |
463 | case jit_cc_a0_jmp|jit_cc_a1_reg|jit_cc_a2_reg: | |
464 | goto n_r_r; | |
465 | case jit_cc_a0_jmp|jit_cc_a1_reg|jit_cc_a2_int: | |
466 | goto n_r_w; | |
467 | case jit_cc_a0_jmp|jit_cc_a1_reg|jit_cc_a2_flt: | |
468 | goto n_r_f; | |
469 | case jit_cc_a0_jmp|jit_cc_a1_reg|jit_cc_a2_dbl: | |
470 | goto n_r_d; | |
ba86ff93 PC |
471 | case jit_cc_a0_reg|jit_cc_a1_reg|jit_cc_a1_rlh|jit_cc_a2_reg: |
472 | goto r_q_r; | |
473 | case jit_cc_a0_reg|jit_cc_a1_reg|jit_cc_a1_rlh|jit_cc_a2_flt: | |
474 | goto r_q_f; | |
475 | case jit_cc_a0_reg|jit_cc_a1_reg|jit_cc_a1_rlh|jit_cc_a2_dbl: | |
476 | goto r_q_d; | |
4a71579b PC |
477 | default: |
478 | abort(); | |
479 | } | |
480 | break; | |
481 | } | |
482 | } |