2 /* -----------------------------------------------------------------------------
3 * Bytecode disassembler
5 * Copyright (c) 1994-1998.
7 * $RCSfile: Disassembler.c,v $
9 * $Date: 2001/08/14 13:40:09 $
10 * ---------------------------------------------------------------------------*/
14 #include "PosixSource.h"
22 #include "Bytecodes.h"
24 #include "Disassembler.h"
25 #include "Interpreter.h"
27 /* --------------------------------------------------------------------------
29 * ------------------------------------------------------------------------*/
31 int disInstr ( StgBCO *bco, int pc )
35 StgArrWords* instr_arr = bco->instrs;
36 UShort* instrs = (UShort*)(&instr_arr->payload[0]);
38 StgArrWords* literal_arr = bco->literals;
39 StgWord* literals = (StgWord*)(&literal_arr->payload[0]);
41 StgMutArrPtrs* ptrs_arr = bco->ptrs;
42 StgPtr* ptrs = (StgPtr*)(&ptrs_arr->payload[0]);
44 StgArrWords* itbls_arr = bco->itbls;
45 StgInfoTable** itbls = (StgInfoTable**)(&itbls_arr->payload[0]);
47 switch (instrs[pc++]) {
49 fprintf(stderr, "SWIZZLE stkoff %d by %d\n",
50 instrs[pc], (signed int)instrs[pc+1]);
53 fprintf(stderr, "CCALL marshaller at 0x%x\n",
54 literals[instrs[pc]] );
57 fprintf(stderr, "STKCHECK %d\n", instrs[pc] );
60 fprintf(stderr, "ARGCHECK %d\n", instrs[pc] );
63 fprintf(stderr, "PUSH_L %d\n", instrs[pc] );
66 fprintf(stderr, "PUSH_LL %d %d\n", instrs[pc], instrs[pc+1] );
69 fprintf(stderr, "PUSH_LLL %d %d %d\n", instrs[pc], instrs[pc+1],
73 fprintf(stderr, "PUSH_G " ); printPtr( ptrs[instrs[pc]] );
74 fprintf(stderr, "\n" );
77 fprintf(stderr, "PUSH_AS " ); printPtr( ptrs[instrs[pc]] );
78 fprintf(stderr, " 0x%x", literals[instrs[pc+1]] );
79 fprintf(stderr, "\n");
82 fprintf(stderr, "PUSH_UBX ");
83 for (i = 0; i < instrs[pc+1]; i++)
84 fprintf(stderr, "0x%x ", literals[i + instrs[pc]] );
85 fprintf(stderr, "\n");
88 fprintf(stderr, "PUSH_TAG %d\n", instrs[pc] );
91 fprintf(stderr, "SLIDE %d down by %d\n", instrs[pc], instrs[pc+1] );
94 fprintf(stderr, "ALLOC %d words\n", instrs[pc] );
97 fprintf(stderr, "MKAP %d words, %d stkoff\n", instrs[pc+1],
101 fprintf(stderr, "UNPACK %d\n", instrs[pc] );
104 fprintf(stderr, "UPK_TAG %d words, %d conoff, %d stkoff\n",
105 instrs[pc], instrs[pc+1], instrs[pc+2] );
108 fprintf(stderr, "PACK %d words with itbl ", instrs[pc+1] );
109 printPtr( (StgPtr)itbls[instrs[pc]] );
110 fprintf(stderr, "\n");
114 fprintf(stderr, "CASEFAIL\n" );
117 fprintf(stderr, "JMP to %d\n", instrs[pc]);
121 fprintf(stderr, "TESTLT_I %d, fail to %d\n", literals[instrs[pc]],
125 fprintf(stderr, "TESTEQ_I %d, fail to %d\n", literals[instrs[pc]],
130 fprintf(stderr, "TESTLT_F %d, fail to %d\n", literals[instrs[pc]],
134 fprintf(stderr, "TESTEQ_F %d, fail to %d\n", literals[instrs[pc]],
139 fprintf(stderr, "TESTLT_D %d, fail to %d\n", literals[instrs[pc]],
143 fprintf(stderr, "TESTEQ_D %d, fail to %d\n", literals[instrs[pc]],
148 fprintf(stderr, "TESTLT_P %d, fail to %d\n", instrs[pc],
152 fprintf(stderr, "TESTEQ_P %d, fail to %d\n", instrs[pc],
156 fprintf(stderr, "RETURN " ); printPtr( (StgPtr)itbls[instrs[pc]] );
157 fprintf(stderr, "\n");
160 fprintf(stderr, "ENTER\n");
163 barf("disInstr: unknown opcode");
169 /* Something of a kludge .. how do we know where the end of the insn
170 array is, since it isn't recorded anywhere? Answer: the first
171 short is the number of bytecodes which follow it.
172 See ByteCodeGen.linkBCO.insns_arr for construction ...
174 void disassemble( StgBCO *bco )
177 StgArrWords* instr_arr = bco->instrs;
178 UShort* instrs = (UShort*)(&instr_arr->payload[0]);
179 StgMutArrPtrs* ptrs = bco->ptrs;
180 nat nbcs = (int)instrs[0];
183 fprintf(stderr, "BCO\n" );
186 fprintf(stderr, "\t%2d: ", pc );
187 pc = disInstr ( bco, pc );
190 fprintf(stderr, "INSTRS:\n " );
192 for (i = 0; i < nbcs; i++) {
193 fprintf(stderr, "%3d ", (int)instrs[i] );
195 if (j == 0) { j = 16; fprintf(stderr, "\n "); };
197 fprintf(stderr, "\n");
199 fprintf(stderr, "PTRS:\n " );
201 for (i = 0; i < ptrs->ptrs; i++) {
202 fprintf(stderr, "%8p ", ptrs->payload[i] );
204 if (j == 0) { j = 8; fprintf(stderr, "\n "); };
206 fprintf(stderr, "\n");
208 fprintf(stderr, "\n");
209 ASSERT(pc == nbcs+1);