git subrepo pull (merge) --force deps/lightning
[pcsx_rearmed.git] / deps / lightning / lib / jit_print.c
CommitLineData
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 */
71static FILE *print_stream;
72
4a71579b
PC
73
74/*
75 * Implementation
76 */
77void
40a44dcb 78jit_init_print(void)
4a71579b 79{
519a9ea1 80 if (!print_stream)
ba3814c1 81 print_stream = stdout;
40a44dcb
PC
82}
83
84void
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
99void
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}