diff options
Diffstat (limited to 'src/codedump.c')
| -rw-r--r-- | src/codedump.c | 578 |
1 files changed, 578 insertions, 0 deletions
diff --git a/src/codedump.c b/src/codedump.c new file mode 100644 index 000000000..f382bb7eb --- /dev/null +++ b/src/codedump.c @@ -0,0 +1,578 @@ +#include <mruby.h> +#include <mruby/irep.h> +#include <mruby/debug.h> +#include <mruby/opcode.h> +#include <mruby/string.h> +#include <mruby/proc.h> +#include <mruby/dump.h> + +#ifndef MRB_NO_STDIO +static void +print_r(mrb_state *mrb, const mrb_irep *irep, size_t n) +{ + if (n == 0) return; + if (n >= irep->nlocals) return; + if (!irep->lv[n-1]) return; + printf(" R%d:%s", (int)n, mrb_sym_dump(mrb, irep->lv[n-1])); +} + +static void +print_lv_a(mrb_state *mrb, const mrb_irep *irep, uint16_t a) +{ + if (!irep->lv || a >= irep->nlocals || a == 0) { + printf("\n"); + return; + } + printf("\t;"); + print_r(mrb, irep, a); + printf("\n"); +} + +static void +print_lv_ab(mrb_state *mrb, const mrb_irep *irep, uint16_t a, uint16_t b) +{ + if (!irep->lv || (a >= irep->nlocals && b >= irep->nlocals) || a+b == 0) { + printf("\n"); + return; + } + printf("\t;"); + if (a > 0) print_r(mrb, irep, a); + if (b > 0) print_r(mrb, irep, b); + printf("\n"); +} + +static void +print_header(mrb_state *mrb, const mrb_irep *irep, uint32_t i) +{ + int32_t line; + + line = mrb_debug_get_line(mrb, irep, i); + if (line < 0) { + printf(" "); + } + else { + printf("%5d ", line); + } + + printf("%03d ", (int)i); +} + +#define CASE(insn,ops) case insn: FETCH_ ## ops (); + +static void +codedump(mrb_state *mrb, const mrb_irep *irep) +{ + int ai; + const mrb_code *pc, *pcend; + mrb_code ins; + const char *file = NULL, *next_file; + + if (!irep) return; + printf("irep %p nregs=%d nlocals=%d pools=%d syms=%d reps=%d iseq=%d\n", (void*)irep, + irep->nregs, irep->nlocals, (int)irep->plen, (int)irep->slen, (int)irep->rlen, (int)irep->ilen); + + if (irep->lv) { + int i; + + printf("local variable names:\n"); + for (i = 1; i < irep->nlocals; ++i) { + char const *s = mrb_sym_dump(mrb, irep->lv[i - 1]); + printf(" R%d:%s\n", i, s ? s : ""); + } + } + + if (irep->clen > 0) { + int i = irep->clen; + const struct mrb_irep_catch_handler *e = mrb_irep_catch_handler_table(irep); + + for (; i > 0; i --, e ++) { + uint32_t begin = mrb_irep_catch_handler_unpack(e->begin); + uint32_t end = mrb_irep_catch_handler_unpack(e->end); + uint32_t target = mrb_irep_catch_handler_unpack(e->target); + char buf[20]; + const char *type; + + switch (e->type) { + case MRB_CATCH_RESCUE: + type = "rescue"; + break; + case MRB_CATCH_ENSURE: + type = "ensure"; + break; + default: + buf[0] = '\0'; + snprintf(buf, sizeof(buf), "0x%02x <unknown>", (int)e->type); + type = buf; + break; + } + printf("catch type: %-8s begin: %04" PRIu32 " end: %04" PRIu32 " target: %04" PRIu32 "\n", type, begin, end, target); + } + } + + pc = irep->iseq; + pcend = pc + irep->ilen; + while (pc < pcend) { + ptrdiff_t i; + uint32_t a; + uint16_t b; + uint16_t c; + + ai = mrb_gc_arena_save(mrb); + + i = pc - irep->iseq; + next_file = mrb_debug_get_filename(mrb, irep, (uint32_t)i); + if (next_file && file != next_file) { + printf("file: %s\n", next_file); + file = next_file; + } + print_header(mrb, irep, (uint32_t)i); + ins = READ_B(); + switch (ins) { + CASE(OP_NOP, Z); + printf("OP_NOP\n"); + break; + CASE(OP_MOVE, BB); + printf("OP_MOVE\tR%d\tR%d\t", a, b); + print_lv_ab(mrb, irep, a, b); + break; + CASE(OP_LOADL16, BS); + goto op_loadl; + CASE(OP_LOADL, BB); + op_loadl: + switch (irep->pool[b].tt) { + case IREP_TT_FLOAT: +#ifndef MRB_NO_FLOAT + printf("OP_LOADL\tR%d\tL(%d)\t; %f", a, b, (double)irep->pool[b].u.f); +#endif + break; + case IREP_TT_INT32: + printf("OP_LOADL\tR%d\tL(%d)\t; %" PRId32, a, b, irep->pool[b].u.i32); + break; +#ifdef MRB_64BIT + case IREP_TT_INT64: + printf("OP_LOADL\tR%d\tL(%d)\t; %" PRId64, a, b, irep->pool[b].u.i64); + break; +#endif + default: + printf("OP_LOADL\tR%d\tL(%d)\t", a, b); + break; + } + print_lv_a(mrb, irep, a); + break; + CASE(OP_LOADI, BB); + printf("OP_LOADI\tR%d\t%d\t", a, b); + print_lv_a(mrb, irep, a); + break; + CASE(OP_LOADINEG, BB); + printf("OP_LOADI\tR%d\t-%d\t", a, b); + print_lv_a(mrb, irep, a); + break; + CASE(OP_LOADI16, BS); + printf("OP_LOADI16\tR%d\t%d\t", a, (int)(int16_t)b); + print_lv_a(mrb, irep, a); + break; + CASE(OP_LOADI32, BSS); + printf("OP_LOADI32\tR%d\t%d\t", a, (int32_t)(((uint32_t)b<<16)+c)); + print_lv_a(mrb, irep, a); + break; + CASE(OP_LOADI__1, B); + printf("OP_LOADI__1\tR%d\t\t", a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_LOADI_0, B); goto L_LOADI; + CASE(OP_LOADI_1, B); goto L_LOADI; + CASE(OP_LOADI_2, B); goto L_LOADI; + CASE(OP_LOADI_3, B); goto L_LOADI; + CASE(OP_LOADI_4, B); goto L_LOADI; + CASE(OP_LOADI_5, B); goto L_LOADI; + CASE(OP_LOADI_6, B); goto L_LOADI; + CASE(OP_LOADI_7, B); + L_LOADI: + printf("OP_LOADI_%d\tR%d\t\t", ins-(int)OP_LOADI_0, a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_LOADSYM16, BS); + goto op_loadsym; + CASE(OP_LOADSYM, BB); + op_loadsym: + printf("OP_LOADSYM\tR%d\t:%s\t", a, mrb_sym_dump(mrb, irep->syms[b])); + print_lv_a(mrb, irep, a); + break; + CASE(OP_LOADNIL, B); + printf("OP_LOADNIL\tR%d\t\t", a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_LOADSELF, B); + printf("OP_LOADSELF\tR%d\t\t", a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_LOADT, B); + printf("OP_LOADT\tR%d\t\t", a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_LOADF, B); + printf("OP_LOADF\tR%d\t\t", a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_GETGV, BB); + printf("OP_GETGV\tR%d\t:%s", a, mrb_sym_dump(mrb, irep->syms[b])); + print_lv_a(mrb, irep, a); + break; + CASE(OP_SETGV, BB); + printf("OP_SETGV\t:%s\tR%d", mrb_sym_dump(mrb, irep->syms[b]), a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_GETSV, BB); + printf("OP_GETSV\tR%d\t:%s", a, mrb_sym_dump(mrb, irep->syms[b])); + print_lv_a(mrb, irep, a); + break; + CASE(OP_SETSV, BB); + printf("OP_SETSV\t:%s\tR%d", mrb_sym_dump(mrb, irep->syms[b]), a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_GETCONST, BB); + printf("OP_GETCONST\tR%d\t:%s", a, mrb_sym_dump(mrb, irep->syms[b])); + print_lv_a(mrb, irep, a); + break; + CASE(OP_SETCONST, BB); + printf("OP_SETCONST\t:%s\tR%d", mrb_sym_dump(mrb, irep->syms[b]), a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_GETMCNST, BB); + printf("OP_GETMCNST\tR%d\tR%d::%s", a, a, mrb_sym_dump(mrb, irep->syms[b])); + print_lv_a(mrb, irep, a); + break; + CASE(OP_SETMCNST, BB); + printf("OP_SETMCNST\tR%d::%s\tR%d", a+1, mrb_sym_dump(mrb, irep->syms[b]), a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_GETIV, BB); + printf("OP_GETIV\tR%d\t%s", a, mrb_sym_dump(mrb, irep->syms[b])); + print_lv_a(mrb, irep, a); + break; + CASE(OP_SETIV, BB); + printf("OP_SETIV\t%s\tR%d", mrb_sym_dump(mrb, irep->syms[b]), a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_GETUPVAR, BBB); + printf("OP_GETUPVAR\tR%d\t%d\t%d", a, b, c); + print_lv_a(mrb, irep, a); + break; + CASE(OP_SETUPVAR, BBB); + printf("OP_SETUPVAR\tR%d\t%d\t%d", a, b, c); + print_lv_a(mrb, irep, a); + break; + CASE(OP_GETCV, BB); + printf("OP_GETCV\tR%d\t%s", a, mrb_sym_dump(mrb, irep->syms[b])); + print_lv_a(mrb, irep, a); + break; + CASE(OP_SETCV, BB); + printf("OP_SETCV\t%s\tR%d", mrb_sym_dump(mrb, irep->syms[b]), a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_JMP, S); + i = pc - irep->iseq; + printf("OP_JMP\t\t%03d\n", (int)i+(int16_t)a); + break; + CASE(OP_JMPUW, S); + i = pc - irep->iseq; + printf("OP_JMPUW\t\t%03d\n", (int)i+(int16_t)a); + break; + CASE(OP_JMPIF, BS); + i = pc - irep->iseq; + printf("OP_JMPIF\tR%d\t%03d\t", a, (int)i+(int16_t)b); + print_lv_a(mrb, irep, a); + break; + CASE(OP_JMPNOT, BS); + i = pc - irep->iseq; + printf("OP_JMPNOT\tR%d\t%03d\t", a, (int)i+(int16_t)b); + print_lv_a(mrb, irep, a); + break; + CASE(OP_JMPNIL, BS); + i = pc - irep->iseq; + printf("OP_JMPNIL\tR%d\t%03d\t", a, (int)i+(int16_t)b); + print_lv_a(mrb, irep, a); + break; + CASE(OP_SENDV, BB); + printf("OP_SENDV\tR%d\t:%s\n", a, mrb_sym_dump(mrb, irep->syms[b])); + break; + CASE(OP_SENDVB, BB); + printf("OP_SENDVB\tR%d\t:%s\n", a, mrb_sym_dump(mrb, irep->syms[b])); + break; + CASE(OP_SEND, BBB); + printf("OP_SEND\tR%d\t:%s\t%d\n", a, mrb_sym_dump(mrb, irep->syms[b]), c); + break; + CASE(OP_SENDB, BBB); + printf("OP_SENDB\tR%d\t:%s\t%d\n", a, mrb_sym_dump(mrb, irep->syms[b]), c); + break; + CASE(OP_CALL, Z); + printf("OP_CALL\n"); + break; + CASE(OP_SUPER, BB); + printf("OP_SUPER\tR%d\t%d\n", a, b); + break; + CASE(OP_ARGARY, BS); + printf("OP_ARGARY\tR%d\t%d:%d:%d:%d (%d)", a, + (b>>11)&0x3f, + (b>>10)&0x1, + (b>>5)&0x1f, + (b>>4)&0x1, + (b>>0)&0xf); + print_lv_a(mrb, irep, a); + break; + CASE(OP_ENTER, W); + printf("OP_ENTER\t%d:%d:%d:%d:%d:%d:%d\n", + MRB_ASPEC_REQ(a), + MRB_ASPEC_OPT(a), + MRB_ASPEC_REST(a), + MRB_ASPEC_POST(a), + MRB_ASPEC_KEY(a), + MRB_ASPEC_KDICT(a), + MRB_ASPEC_BLOCK(a)); + break; + CASE(OP_KEY_P, BB); + printf("OP_KEY_P\tR%d\t:%s\t", a, mrb_sym_dump(mrb, irep->syms[b])); + print_lv_a(mrb, irep, a); + break; + CASE(OP_KEYEND, Z); + printf("OP_KEYEND\n"); + break; + CASE(OP_KARG, BB); + printf("OP_KARG\tR%d\t:%s\t", a, mrb_sym_dump(mrb, irep->syms[b])); + print_lv_a(mrb, irep, a); + break; + CASE(OP_RETURN, B); + printf("OP_RETURN\tR%d\t\t", a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_RETURN_BLK, B); + printf("OP_RETURN_BLK\tR%d\t\t", a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_BREAK, B); + printf("OP_BREAK\tR%d\t\t", a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_BLKPUSH, BS); + printf("OP_BLKPUSH\tR%d\t%d:%d:%d:%d (%d)", a, + (b>>11)&0x3f, + (b>>10)&0x1, + (b>>5)&0x1f, + (b>>4)&0x1, + (b>>0)&0xf); + print_lv_a(mrb, irep, a); + break; + CASE(OP_LAMBDA, BB); + printf("OP_LAMBDA\tR%d\tI(%d:%p)\n", a, b, (void*)irep->reps[b]); + break; + CASE(OP_BLOCK, BB); + printf("OP_BLOCK\tR%d\tI(%d:%p)\n", a, b, (void*)irep->reps[b]); + break; + CASE(OP_METHOD, BB); + printf("OP_METHOD\tR%d\tI(%d:%p)\n", a, b, (void*)irep->reps[b]); + break; + CASE(OP_LAMBDA16, BS); + printf("OP_LAMBDA\tR%d\tI(%d:%p)\n", a, b, (void*)irep->reps[b]); + break; + CASE(OP_BLOCK16, BS); + printf("OP_BLOCK\tR%d\tI(%d:%p)\n", a, b, (void*)irep->reps[b]); + break; + CASE(OP_METHOD16, BS); + printf("OP_METHOD\tR%d\tI(%d:%p)\n", a, b, (void*)irep->reps[b]); + break; + CASE(OP_RANGE_INC, B); + printf("OP_RANGE_INC\tR%d\n", a); + break; + CASE(OP_RANGE_EXC, B); + printf("OP_RANGE_EXC\tR%d\n", a); + break; + CASE(OP_DEF, BB); + printf("OP_DEF\tR%d\t:%s\n", a, mrb_sym_dump(mrb, irep->syms[b])); + break; + CASE(OP_UNDEF, B); + printf("OP_UNDEF\t:%s\n", mrb_sym_dump(mrb, irep->syms[a])); + break; + CASE(OP_ALIAS, BB); + printf("OP_ALIAS\t:%s\t%s\n", mrb_sym_dump(mrb, irep->syms[a]), mrb_sym_dump(mrb, irep->syms[b])); + break; + CASE(OP_ADD, B); + printf("OP_ADD\tR%d\tR%d\n", a, a+1); + break; + CASE(OP_ADDI, BB); + printf("OP_ADDI\tR%d\t%d\n", a, b); + break; + CASE(OP_SUB, B); + printf("OP_SUB\tR%d\tR%d\n", a, a+1); + break; + CASE(OP_SUBI, BB); + printf("OP_SUBI\tR%d\t%d\n", a, b); + break; + CASE(OP_MUL, B); + printf("OP_MUL\tR%d\tR%d\n", a, a+1); + break; + CASE(OP_DIV, B); + printf("OP_DIV\tR%d\tR%d\n", a, a+1); + break; + CASE(OP_LT, B); + printf("OP_LT\t\tR%d\tR%d\n", a, a+1); + break; + CASE(OP_LE, B); + printf("OP_LE\t\tR%d\tR%d\n", a, a+1); + break; + CASE(OP_GT, B); + printf("OP_GT\t\tR%d\tR%d\n", a, a+1); + break; + CASE(OP_GE, B); + printf("OP_GE\t\tR%d\tR%d\n", a, a+1); + break; + CASE(OP_EQ, B); + printf("OP_EQ\t\tR%d\tR%d\n", a, a+1); + break; + CASE(OP_ARRAY, BB); + printf("OP_ARRAY\tR%d\t%d\t", a, b); + print_lv_a(mrb, irep, a); + break; + CASE(OP_ARRAY2, BBB); + printf("OP_ARRAY\tR%d\tR%d\t%d\t", a, b, c); + print_lv_ab(mrb, irep, a, b); + break; + CASE(OP_ARYCAT, B); + printf("OP_ARYCAT\tR%d\t", a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_ARYPUSH, B); + printf("OP_ARYPUSH\tR%d\t", a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_ARYDUP, B); + printf("OP_ARYDUP\tR%d\t", a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_AREF, BBB); + printf("OP_AREF\tR%d\tR%d\t%d", a, b, c); + print_lv_ab(mrb, irep, a, b); + break; + CASE(OP_ASET, BBB); + printf("OP_ASET\tR%d\tR%d\t%d", a, b, c); + print_lv_ab(mrb, irep, a, b); + break; + CASE(OP_APOST, BBB); + printf("OP_APOST\tR%d\t%d\t%d", a, b, c); + print_lv_a(mrb, irep, a); + break; + CASE(OP_INTERN, B); + printf("OP_INTERN\tR%d", a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_STRING16, BS); + goto op_string; + CASE(OP_STRING, BB); + op_string: + if ((irep->pool[b].tt & IREP_TT_NFLAG) == 0) { + printf("OP_STRING\tR%d\tL(%d)\t; %s", a, b, irep->pool[b].u.str); + } + else { + printf("OP_STRING\tR%d\tL(%d)\t", a, b); + } + print_lv_a(mrb, irep, a); + break; + CASE(OP_STRCAT, B); + printf("OP_STRCAT\tR%d\t", a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_HASH, BB); + printf("OP_HASH\tR%d\t%d\t", a, b); + print_lv_a(mrb, irep, a); + break; + CASE(OP_HASHADD, BB); + printf("OP_HASHADD\tR%d\t%d\t", a, b); + print_lv_a(mrb, irep, a); + break; + CASE(OP_HASHCAT, B); + printf("OP_HASHCAT\tR%d\t", a); + print_lv_a(mrb, irep, a); + break; + + CASE(OP_OCLASS, B); + printf("OP_OCLASS\tR%d\t\t", a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_CLASS, BB); + printf("OP_CLASS\tR%d\t:%s", a, mrb_sym_dump(mrb, irep->syms[b])); + print_lv_a(mrb, irep, a); + break; + CASE(OP_MODULE, BB); + printf("OP_MODULE\tR%d\t:%s", a, mrb_sym_dump(mrb, irep->syms[b])); + print_lv_a(mrb, irep, a); + break; + CASE(OP_EXEC, BB); + printf("OP_EXEC\tR%d\tI(%d:%p)", a, b, (void*)irep->reps[b]); + print_lv_a(mrb, irep, a); + break; + CASE(OP_SCLASS, B); + printf("OP_SCLASS\tR%d\t", a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_TCLASS, B); + printf("OP_TCLASS\tR%d\t\t", a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_ERR, B); + if ((irep->pool[a].tt & IREP_TT_NFLAG) == 0) { + printf("OP_ERR\t%s\n", irep->pool[a].u.str); + } + else { + printf("OP_ERR\tL(%d)\n", a); + } + break; + CASE(OP_EXCEPT, B); + printf("OP_EXCEPT\tR%d\t\t", a); + print_lv_a(mrb, irep, a); + break; + CASE(OP_RESCUE, BB); + printf("OP_RESCUE\tR%d\tR%d", a, b); + print_lv_ab(mrb, irep, a, b); + break; + CASE(OP_RAISEIF, B); + printf("OP_RAISEIF\tR%d\t\t", a); + print_lv_a(mrb, irep, a); + break; + + CASE(OP_DEBUG, BBB); + printf("OP_DEBUG\t%d\t%d\t%d\n", a, b, c); + break; + + CASE(OP_STOP, Z); + printf("OP_STOP\n"); + break; + + default: + printf("OP_unknown (0x%x)\n", ins); + break; + } + mrb_gc_arena_restore(mrb, ai); + } + printf("\n"); +} + +static void +codedump_recur(mrb_state *mrb, const mrb_irep *irep) +{ + int i; + + codedump(mrb, irep); + if (irep->reps) { + for (i=0; i<irep->rlen; i++) { + codedump_recur(mrb, irep->reps[i]); + } + } +} +#endif + +void +mrb_codedump_all(mrb_state *mrb, struct RProc *proc) +{ +#ifndef MRB_NO_STDIO + codedump_recur(mrb, proc->body.irep); +#endif +} |
