mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-05-01 12:20:26 +02:00
92a75703b1
* libguile/lightning/configure.ac: Remove --enable-assertions option; always enable assertions. * libguile/lightning/lib/jit_memory.c: * libguile/lightning/lib/jit_note.c: * libguile/lightning/lib/jit_print.c: * libguile/lightning/lib/jit_rewind.c: * libguile/lightning/lib/jit_size.c: * libguile/lightning/lib/lightning.c: Define DEBUG to 1.
370 lines
9.7 KiB
C
370 lines
9.7 KiB
C
/*
|
|
* Copyright (C) 2012-2018 Free Software Foundation, Inc.
|
|
*
|
|
* This file is part of GNU lightning.
|
|
*
|
|
* GNU lightning is free software; you can redistribute it and/or modify it
|
|
* under the terms of the GNU Lesser General Public License as published
|
|
* by the Free Software Foundation; either version 3, or (at your option)
|
|
* any later version.
|
|
*
|
|
* GNU lightning is distributed in the hope that it will be useful, but
|
|
* WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
|
|
* or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
|
|
* License for more details.
|
|
*
|
|
* Authors:
|
|
* Paulo Cesar Pereira de Andrade
|
|
*/
|
|
|
|
#define DEBUG 1
|
|
#define DISASSEMBLER 0
|
|
|
|
#include <lightning.h>
|
|
#include <lightning/jit_private.h>
|
|
|
|
#define print_chr(value) fputc(value, stdout)
|
|
#define print_hex(value) fprintf(stdout, "0x%lx", value)
|
|
#define print_dec(value) fprintf(stdout, "%ld", value)
|
|
#define print_flt(value) fprintf(stdout, "%g", value)
|
|
#define print_str(value) fprintf(stdout, "%s", value)
|
|
#define print_ptr(value) fprintf(stdout, "%p", value)
|
|
#define print_reg(value) \
|
|
do { \
|
|
if ((value) & jit_regno_patch) \
|
|
print_chr('?'); \
|
|
print_str(_rvs[jit_regno(value)].name); \
|
|
} while (0)
|
|
#define print_arg(value) \
|
|
do { \
|
|
print_chr('#'); \
|
|
if (value) \
|
|
print_dec((value)->v.w); \
|
|
else \
|
|
print_chr('?'); \
|
|
} while (0)
|
|
|
|
/*
|
|
* Initialization
|
|
*/
|
|
#include "jit_names.c"
|
|
|
|
/*
|
|
* Implementation
|
|
*/
|
|
void
|
|
_jit_print(jit_state_t *_jit)
|
|
{
|
|
jit_node_t *node;
|
|
|
|
if ((node = _jitc->head)) {
|
|
jit_print_node(node);
|
|
for (node = node->next; node; node = node->next) {
|
|
print_chr('\n');
|
|
jit_print_node(node);
|
|
}
|
|
print_chr('\n');
|
|
}
|
|
}
|
|
|
|
void
|
|
_jit_print_node(jit_state_t *_jit, jit_node_t *node)
|
|
{
|
|
jit_block_t *block;
|
|
jit_int32_t value;
|
|
jit_int32_t offset;
|
|
|
|
if (node->code == jit_code_label ||
|
|
node->code == jit_code_prolog || node->code == jit_code_epilog) {
|
|
print_chr('L');
|
|
print_dec(node->v.w);
|
|
print_chr(':');
|
|
block = _jitc->blocks.ptr + node->v.w;
|
|
for (offset = 0; offset < _jitc->reglen; offset++) {
|
|
if (jit_regset_tstbit(&block->reglive, offset)) {
|
|
print_chr(' ');
|
|
print_reg(offset);
|
|
}
|
|
}
|
|
if (node->code == jit_code_prolog ||
|
|
node->code == jit_code_epilog) {
|
|
print_str(" /* ");
|
|
print_str(code_name[node->code]);
|
|
print_str(" */");
|
|
}
|
|
return;
|
|
}
|
|
value = jit_classify(node->code) &
|
|
(jit_cc_a0_int|jit_cc_a0_flt|jit_cc_a0_dbl|jit_cc_a0_jmp|
|
|
jit_cc_a0_reg|jit_cc_a0_rlh|jit_cc_a0_arg|
|
|
jit_cc_a1_reg|jit_cc_a1_int|jit_cc_a1_flt|jit_cc_a1_dbl|jit_cc_a1_arg|
|
|
jit_cc_a2_reg|jit_cc_a2_int|jit_cc_a2_flt|jit_cc_a2_dbl);
|
|
if (!(node->flag & jit_flag_synth) && ((value & jit_cc_a0_jmp) ||
|
|
node->code == jit_code_finishr ||
|
|
node->code == jit_code_finishi))
|
|
print_str(" ");
|
|
else
|
|
print_chr('\t');
|
|
if (node->flag & jit_flag_synth)
|
|
print_str(" \\__ ");
|
|
print_str(code_name[node->code]);
|
|
switch (node->code) {
|
|
r:
|
|
print_chr(' '); print_reg(node->u.w); return;
|
|
w:
|
|
print_chr(' '); print_hex(node->u.w); return;
|
|
f:
|
|
print_chr(' ');
|
|
if (node->flag & jit_flag_data)
|
|
print_flt(*(jit_float32_t *)node->u.n->u.w);
|
|
else
|
|
print_flt(node->u.f);
|
|
return;
|
|
d:
|
|
print_chr(' ');
|
|
if (node->flag & jit_flag_data)
|
|
print_flt(*(jit_float64_t *)node->u.n->u.w);
|
|
else
|
|
print_flt(node->u.d);
|
|
return;
|
|
n:
|
|
print_chr(' ');
|
|
if (!(node->flag & jit_flag_node))
|
|
print_ptr(node->u.p);
|
|
else {
|
|
print_chr('L');
|
|
print_dec(node->u.n->v.w);
|
|
}
|
|
return;
|
|
a:
|
|
print_chr(' '); print_arg(node); return;
|
|
r_r:
|
|
print_chr(' '); print_reg(node->u.w);
|
|
print_chr(' '); print_reg(node->v.w); return;
|
|
r_w:
|
|
print_chr(' '); print_reg(node->u.w);
|
|
print_chr(' '); print_hex(node->v.w); return;
|
|
r_f:
|
|
print_chr(' '); print_reg(node->u.w);
|
|
print_chr(' ');
|
|
if (node->flag & jit_flag_data)
|
|
print_flt(*(jit_float32_t *)node->v.n->u.w);
|
|
else
|
|
print_flt(node->v.f);
|
|
return;
|
|
r_d:
|
|
print_chr(' '); print_reg(node->u.w);
|
|
print_chr(' ');
|
|
if (node->flag & jit_flag_data)
|
|
print_flt(*(jit_float64_t *)node->v.n->u.w);
|
|
else
|
|
print_flt(node->v.d);
|
|
return;
|
|
r_a:
|
|
print_chr(' '); print_reg(node->u.w);
|
|
print_chr(' '); print_arg(node->v.n);
|
|
return;
|
|
w_r:
|
|
print_chr(' '); print_hex(node->u.w);
|
|
print_chr(' '); print_reg(node->v.w); return;
|
|
w_w:
|
|
print_chr(' '); print_hex(node->u.w);
|
|
print_chr(' '); print_hex(node->v.w); return;
|
|
w_a:
|
|
print_chr(' '); print_hex(node->u.w);
|
|
print_chr(' '); print_arg(node->v.n);
|
|
return;
|
|
f_a:
|
|
print_chr(' ');
|
|
if (node->flag & jit_flag_data)
|
|
print_flt(*(jit_float32_t *)node->u.n->u.w);
|
|
else
|
|
print_flt(node->u.f);
|
|
print_chr(' '); print_arg(node->v.n);
|
|
return;
|
|
d_a:
|
|
print_chr(' ');
|
|
if (node->flag & jit_flag_data)
|
|
print_flt(*(jit_float64_t *)node->u.n->u.w);
|
|
else
|
|
print_flt(node->u.d);
|
|
print_chr(' '); print_arg(node->v.n);
|
|
return;
|
|
r_r_r:
|
|
print_chr(' '); print_reg(node->u.w);
|
|
print_chr(' '); print_reg(node->v.w);
|
|
print_chr(' '); print_reg(node->w.w); return;
|
|
r_r_w:
|
|
print_chr(' '); print_reg(node->u.w);
|
|
print_chr(' '); print_reg(node->v.w);
|
|
print_chr(' '); print_hex(node->w.w); return;
|
|
q_r_r:
|
|
print_str(" ("); print_reg(node->u.q.l);
|
|
print_chr(' '); print_reg(node->u.q.h);
|
|
print_str(") "); print_reg(node->v.w);
|
|
print_chr(' '); print_reg(node->w.w); return;
|
|
q_r_w:
|
|
print_str(" ("); print_reg(node->u.q.l);
|
|
print_chr(' '); print_reg(node->u.q.h);
|
|
print_str(") "); print_reg(node->v.w);
|
|
print_chr(' '); print_hex(node->w.w); return;
|
|
r_r_f:
|
|
print_chr(' '); print_reg(node->u.w);
|
|
print_chr(' '); print_reg(node->v.w);
|
|
print_chr(' ');
|
|
if (node->flag & jit_flag_data)
|
|
print_flt(*(jit_float32_t *)node->w.n->u.w);
|
|
else
|
|
print_flt(node->w.f);
|
|
return;
|
|
r_r_d:
|
|
print_chr(' '); print_reg(node->u.w);
|
|
print_chr(' '); print_reg(node->v.w);
|
|
print_chr(' ');
|
|
if (node->flag & jit_flag_data)
|
|
print_flt(*(jit_float64_t *)node->w.n->u.w);
|
|
else
|
|
print_flt(node->w.d);
|
|
return;
|
|
w_r_r:
|
|
print_chr(' '); print_hex(node->u.w);
|
|
print_chr(' '); print_reg(node->v.w);
|
|
print_chr(' '); print_reg(node->w.w); return;
|
|
n_r_r:
|
|
print_chr(' ');
|
|
if (!(node->flag & jit_flag_node))
|
|
print_ptr(node->u.p);
|
|
else {
|
|
print_chr('L');
|
|
print_dec(node->u.n->v.w);
|
|
}
|
|
print_chr(' '); print_reg(node->v.w);
|
|
print_chr(' '); print_reg(node->w.w); return;
|
|
n_r_w:
|
|
print_chr(' ');
|
|
if (!(node->flag & jit_flag_node))
|
|
print_ptr(node->u.p);
|
|
else {
|
|
print_chr('L');
|
|
print_dec(node->u.n->v.w);
|
|
}
|
|
print_chr(' '); print_reg(node->v.w);
|
|
print_chr(' '); print_hex(node->w.w); return;
|
|
n_r_f:
|
|
print_chr(' ');
|
|
if (!(node->flag & jit_flag_node))
|
|
print_ptr(node->u.p);
|
|
else{
|
|
print_chr('L');
|
|
print_dec(node->u.n->v.w);
|
|
}
|
|
print_chr(' '); print_reg(node->v.w);
|
|
print_chr(' ');
|
|
if (node->flag & jit_flag_data)
|
|
print_flt(*(jit_float32_t *)node->w.n->u.w);
|
|
else
|
|
print_flt(node->w.f);
|
|
return;
|
|
n_r_d:
|
|
print_chr(' ');
|
|
if (!(node->flag & jit_flag_node))
|
|
print_ptr(node->u.p);
|
|
else {
|
|
print_chr('L');
|
|
print_dec(node->u.n->v.w);
|
|
}
|
|
print_chr(' '); print_reg(node->v.w);
|
|
print_chr(' ');
|
|
if (node->flag & jit_flag_data)
|
|
print_flt(*(jit_float64_t *)node->w.n->u.w);
|
|
else
|
|
print_flt(node->w.d);
|
|
return;
|
|
case jit_code_name:
|
|
print_chr(' ');
|
|
if (node->v.p && _jitc->emit)
|
|
print_str(node->v.n->u.p);
|
|
break;
|
|
case jit_code_note:
|
|
print_chr(' ');
|
|
if (node->v.p && _jitc->emit)
|
|
print_str(node->v.n->u.p);
|
|
if (node->v.p && _jitc->emit && node->w.w)
|
|
print_chr(':');
|
|
if (node->w.w)
|
|
print_dec(node->w.w);
|
|
break;
|
|
case jit_code_data:
|
|
case jit_code_label:
|
|
case jit_code_ellipsis:
|
|
case jit_code_prolog: case jit_code_epilog:
|
|
case jit_code_ret: case jit_code_prepare:
|
|
break;
|
|
case jit_code_save: case jit_code_load:
|
|
goto r;
|
|
default:
|
|
switch (value) {
|
|
case jit_cc_a0_reg:
|
|
case jit_cc_a0_reg|jit_cc_a0_chg:
|
|
case jit_cc_a0_reg|jit_cc_a0_jmp:
|
|
goto r;
|
|
case jit_cc_a0_int:
|
|
goto w;
|
|
case jit_cc_a0_flt:
|
|
goto f;
|
|
case jit_cc_a0_dbl:
|
|
goto d;
|
|
case jit_cc_a0_jmp:
|
|
goto n;
|
|
case jit_cc_a0_int|jit_cc_a0_arg:
|
|
goto a;
|
|
case jit_cc_a0_reg|jit_cc_a1_reg:
|
|
goto r_r;
|
|
case jit_cc_a0_reg|jit_cc_a1_int:
|
|
goto r_w;
|
|
case jit_cc_a0_reg|jit_cc_a1_flt:
|
|
goto r_f;
|
|
case jit_cc_a0_reg|jit_cc_a1_dbl:
|
|
goto r_d;
|
|
case jit_cc_a0_reg|jit_cc_a1_arg:
|
|
goto r_a;
|
|
case jit_cc_a0_int|jit_cc_a1_reg:
|
|
goto w_r;
|
|
case jit_cc_a0_int|jit_cc_a1_int:
|
|
goto w_w;
|
|
case jit_cc_a0_int|jit_cc_a1_arg:
|
|
goto w_a;
|
|
case jit_cc_a0_flt|jit_cc_a1_arg:
|
|
goto f_a;
|
|
case jit_cc_a0_dbl|jit_cc_a1_arg:
|
|
goto d_a;
|
|
case jit_cc_a0_reg|jit_cc_a1_reg|jit_cc_a2_reg:
|
|
goto r_r_r;
|
|
case jit_cc_a0_reg|jit_cc_a1_reg|jit_cc_a2_int:
|
|
goto r_r_w;
|
|
case jit_cc_a0_reg|jit_cc_a0_rlh|
|
|
jit_cc_a1_reg|jit_cc_a2_reg:
|
|
goto q_r_r;
|
|
case jit_cc_a0_reg|jit_cc_a0_rlh|
|
|
jit_cc_a1_reg|jit_cc_a2_int:
|
|
goto q_r_w;
|
|
case jit_cc_a0_reg|jit_cc_a1_reg|jit_cc_a2_flt:
|
|
goto r_r_f;
|
|
case jit_cc_a0_reg|jit_cc_a1_reg|jit_cc_a2_dbl:
|
|
goto r_r_d;
|
|
case jit_cc_a0_int|jit_cc_a1_reg|jit_cc_a2_reg:
|
|
goto w_r_r;
|
|
case jit_cc_a0_jmp|jit_cc_a1_reg|jit_cc_a2_reg:
|
|
goto n_r_r;
|
|
case jit_cc_a0_jmp|jit_cc_a1_reg|jit_cc_a2_int:
|
|
goto n_r_w;
|
|
case jit_cc_a0_jmp|jit_cc_a1_reg|jit_cc_a2_flt:
|
|
goto n_r_f;
|
|
case jit_cc_a0_jmp|jit_cc_a1_reg|jit_cc_a2_dbl:
|
|
goto n_r_d;
|
|
default:
|
|
abort();
|
|
}
|
|
break;
|
|
}
|
|
}
|