2 * Copyright (C) 2012-2022 Free Software Foundation, Inc.
4 * This file is part of GNU lightning.
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)
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.
17 * Paulo Cesar Pereira de Andrade
20 #include <lightning.h>
21 #include <lightning/jit_private.h>
24 # define MININT 0x80000000
26 # define MININT 0x8000000000000000
30 #define print_chr(value) fputc(value, print_stream)
31 #define print_hex(value) \
33 if (value < 0 && value != MININT) \
34 fprintf(print_stream, "-0x%lx", -value); \
36 fprintf(print_stream, "0x%lx", value); \
38 #define print_dec(value) fprintf(print_stream, "%ld", value)
39 #define print_flt(value) fprintf(print_stream, "%g", value)
40 #define print_str(value) fprintf(print_stream, "%s", value)
41 #define print_ptr(value) fprintf(print_stream, "%p", value)
42 #define print_reg(value) \
44 if ((value) & jit_regno_patch) \
46 print_str(_rvs[jit_regno(value)].name); \
48 #define print_arg(value) \
52 print_dec((value)->v.w); \
60 #include "jit_names.c"
64 static FILE *print_stream;
74 print_stream = stdout;
78 _jit_print(jit_state_t *_jit)
82 if ((node = _jitc->head)) {
84 for (node = node->next; node; node = node->next) {
93 _jit_print_node(jit_state_t *_jit, jit_node_t *node)
99 if (node->code == jit_code_label ||
100 node->code == jit_code_prolog || node->code == jit_code_epilog) {
102 print_dec(node->v.w);
104 block = _jitc->blocks.ptr + node->v.w;
105 for (offset = 0; offset < _jitc->reglen; offset++) {
106 if (jit_regset_tstbit(&block->reglive, offset)) {
111 if (node->code == jit_code_prolog ||
112 node->code == jit_code_epilog) {
114 print_str(code_name[node->code]);
119 value = jit_classify(node->code) &
120 (jit_cc_a0_int|jit_cc_a0_flt|jit_cc_a0_dbl|jit_cc_a0_jmp|
121 jit_cc_a0_reg|jit_cc_a0_rlh|jit_cc_a0_arg|
122 jit_cc_a1_reg|jit_cc_a1_int|jit_cc_a1_flt|jit_cc_a1_dbl|jit_cc_a1_arg|
123 jit_cc_a2_reg|jit_cc_a2_int|jit_cc_a2_flt|jit_cc_a2_dbl|jit_cc_a2_rlh);
124 if (!(node->flag & jit_flag_synth) && ((value & jit_cc_a0_jmp) ||
125 node->code == jit_code_finishr ||
126 node->code == jit_code_finishi))
130 if (node->flag & jit_flag_synth)
132 print_str(code_name[node->code]);
133 switch (node->code) {
135 print_chr(' '); print_reg(node->u.w); return;
137 print_chr(' '); print_hex(node->u.w); return;
140 if (node->flag & jit_flag_data)
141 print_flt(*(jit_float32_t *)node->u.n->u.w);
143 print_flt(node->u.f);
147 if (node->flag & jit_flag_data)
148 print_flt(*(jit_float64_t *)node->u.n->u.w);
150 print_flt(node->u.d);
154 if (!(node->flag & jit_flag_node))
155 print_ptr(node->u.p);
158 print_dec(node->u.n->v.w);
162 print_chr(' '); print_arg(node); return;
164 print_chr(' '); print_reg(node->u.w);
165 print_chr(' '); print_reg(node->v.w); return;
167 print_chr(' '); print_reg(node->u.w);
168 print_chr(' '); print_hex(node->v.w); return;
170 print_chr(' '); print_reg(node->u.w);
172 if (node->flag & jit_flag_data)
173 print_flt(*(jit_float32_t *)node->v.n->u.w);
175 print_flt(node->v.f);
178 print_chr(' '); print_reg(node->u.w);
180 if (node->flag & jit_flag_data)
181 print_flt(*(jit_float64_t *)node->v.n->u.w);
183 print_flt(node->v.d);
186 print_chr(' '); print_reg(node->u.w);
187 print_chr(' '); print_arg(node->v.n);
190 print_chr(' '); print_hex(node->u.w);
191 print_chr(' '); print_reg(node->v.w); return;
193 print_chr(' '); print_hex(node->u.w);
194 print_chr(' '); print_hex(node->v.w); return;
196 print_chr(' '); print_hex(node->u.w);
197 print_chr(' '); print_arg(node->v.n);
201 if (node->flag & jit_flag_data)
202 print_flt(*(jit_float32_t *)node->u.n->u.w);
204 print_flt(node->u.f);
205 print_chr(' '); print_arg(node->v.n);
209 if (node->flag & jit_flag_data)
210 print_flt(*(jit_float64_t *)node->u.n->u.w);
212 print_flt(node->u.d);
213 print_chr(' '); print_arg(node->v.n);
216 print_chr(' '); print_reg(node->u.w);
217 print_chr(' '); print_reg(node->v.w);
218 print_chr(' '); print_reg(node->w.w); return;
220 print_chr(' '); print_reg(node->u.w);
221 print_chr(' '); print_reg(node->v.w);
222 print_chr(' '); print_hex(node->w.w); return;
224 print_str(" ("); print_reg(node->u.q.l);
225 print_chr(' '); print_reg(node->u.q.h);
226 print_str(") "); print_reg(node->v.w);
227 print_chr(' '); print_reg(node->w.w); return;
229 print_str(" ("); print_reg(node->u.q.l);
230 print_chr(' '); print_reg(node->u.q.h);
231 print_str(") "); print_reg(node->v.w);
232 print_chr(' '); print_hex(node->w.w); return;
234 print_chr(' '); print_reg(node->u.w);
235 print_chr(' '); print_reg(node->v.w);
236 print_str(" ("); print_reg(node->w.q.l);
237 print_chr(' '); print_reg(node->w.q.h);
238 print_str(") "); return;
240 print_chr(' '); print_reg(node->u.w);
241 print_chr(' '); print_hex(node->v.w);
242 print_str(" ("); print_reg(node->w.q.l);
243 print_chr(' '); print_reg(node->w.q.h);
244 print_str(") "); return;
246 print_chr(' '); print_reg(node->u.w);
247 print_chr(' '); print_reg(node->v.w);
249 if (node->flag & jit_flag_data)
250 print_flt(*(jit_float32_t *)node->w.n->u.w);
252 print_flt(node->w.f);
255 print_chr(' '); print_reg(node->u.w);
256 print_chr(' '); print_reg(node->v.w);
258 if (node->flag & jit_flag_data)
259 print_flt(*(jit_float64_t *)node->w.n->u.w);
261 print_flt(node->w.d);
264 print_chr(' '); print_hex(node->u.w);
265 print_chr(' '); print_reg(node->v.w);
266 print_chr(' '); print_reg(node->w.w); return;
269 if (!(node->flag & jit_flag_node))
270 print_ptr(node->u.p);
273 print_dec(node->u.n->v.w);
275 print_chr(' '); print_reg(node->v.w);
276 print_chr(' '); print_reg(node->w.w); return;
279 if (!(node->flag & jit_flag_node))
280 print_ptr(node->u.p);
283 print_dec(node->u.n->v.w);
285 print_chr(' '); print_reg(node->v.w);
286 print_chr(' '); print_hex(node->w.w); return;
289 if (!(node->flag & jit_flag_node))
290 print_ptr(node->u.p);
293 print_dec(node->u.n->v.w);
295 print_chr(' '); print_reg(node->v.w);
297 if (node->flag & jit_flag_data)
298 print_flt(*(jit_float32_t *)node->w.n->u.w);
300 print_flt(node->w.f);
304 if (!(node->flag & jit_flag_node))
305 print_ptr(node->u.p);
308 print_dec(node->u.n->v.w);
310 print_chr(' '); print_reg(node->v.w);
312 if (node->flag & jit_flag_data)
313 print_flt(*(jit_float64_t *)node->w.n->u.w);
315 print_flt(node->w.d);
319 if (node->v.p && _jitc->emit)
320 print_str((char *)node->v.n->u.p);
324 if (node->v.p && _jitc->emit)
325 print_str((char *)node->v.n->u.p);
326 if (node->v.p && _jitc->emit && node->w.w)
329 print_dec(node->w.w);
333 case jit_code_ellipsis:
334 case jit_code_prolog: case jit_code_epilog:
335 case jit_code_ret: case jit_code_prepare:
337 case jit_code_save: case jit_code_load:
342 case jit_cc_a0_reg|jit_cc_a0_chg:
343 case jit_cc_a0_reg|jit_cc_a0_jmp:
353 case jit_cc_a0_int|jit_cc_a0_arg:
355 case jit_cc_a0_reg|jit_cc_a1_reg:
357 case jit_cc_a0_reg|jit_cc_a1_int:
359 case jit_cc_a0_reg|jit_cc_a1_flt:
361 case jit_cc_a0_reg|jit_cc_a1_dbl:
363 case jit_cc_a0_reg|jit_cc_a1_arg:
365 case jit_cc_a0_int|jit_cc_a1_reg:
367 case jit_cc_a0_int|jit_cc_a1_int:
369 case jit_cc_a0_int|jit_cc_a1_arg:
371 case jit_cc_a0_flt|jit_cc_a1_arg:
373 case jit_cc_a0_dbl|jit_cc_a1_arg:
375 case jit_cc_a0_reg|jit_cc_a1_reg|jit_cc_a2_reg:
377 case jit_cc_a0_reg|jit_cc_a1_reg|jit_cc_a2_int:
379 case jit_cc_a0_reg|jit_cc_a0_rlh|
380 jit_cc_a1_reg|jit_cc_a2_reg:
382 case jit_cc_a0_reg|jit_cc_a0_rlh|
383 jit_cc_a1_reg|jit_cc_a2_int:
385 case jit_cc_a0_reg|jit_cc_a1_reg|
386 jit_cc_a2_reg|jit_cc_a2_rlh:
388 case jit_cc_a0_reg|jit_cc_a1_int|
389 jit_cc_a2_reg|jit_cc_a2_rlh:
391 case jit_cc_a0_reg|jit_cc_a1_reg|jit_cc_a2_flt:
393 case jit_cc_a0_reg|jit_cc_a1_reg|jit_cc_a2_dbl:
395 case jit_cc_a0_int|jit_cc_a1_reg|jit_cc_a2_reg:
397 case jit_cc_a0_jmp|jit_cc_a1_reg|jit_cc_a2_reg:
399 case jit_cc_a0_jmp|jit_cc_a1_reg|jit_cc_a2_int:
401 case jit_cc_a0_jmp|jit_cc_a1_reg|jit_cc_a2_flt:
403 case jit_cc_a0_jmp|jit_cc_a1_reg|jit_cc_a2_dbl: