123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374 |
- /* $Id$ */
- /*
- * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
- * See the copyright notice in the ACK home directory, in the file "Copyright".
- */
- /* Functions to partition the huge set of EM-instructions. */
- #include <em_mnem.h>
- #include <em_pseu.h>
- #include <em_reg.h>
- #include <em_spec.h>
- #include "../share/types.h"
- #include "../share/aux.h"
- #include "../share/debug.h"
- #include "../share/global.h"
- #include "cs.h"
- #include "cs_stack.h"
- #include "cs_partit.h"
- #define XXX (-1)
- #define ARGW 0
- #define WS 1
- #define PS 2
- #define FEF 3
- #define FIF 4
- #define CVT 5
- #define ANY 0
- #define PTR 1
- #define FLT 2
- static struct {
- byte i_group; /* Group of instruction. */
- byte i_op1; /* Indication of size of operand of unary operator. */
- /* Idem for 1st operand of binary operator. */
- byte i_op2; /* Idem for 2nd operand of binary operator. */
- byte i_av; /* Idem for result of operators. */
- byte i_regtype; /* ANY, PTR, FLT. */
- } info[] = {
- { XXX, XXX, XXX, XXX, XXX },
- /* aar */ { TERNAIR_OP, XXX, XXX, PS, PTR },
- /* adf */ { BINAIR_OP, ARGW, ARGW, ARGW, FLT },
- /* adi */ { BINAIR_OP, ARGW, ARGW, ARGW, ANY },
- /* adp */ { EXPENSIVE_LOAD, XXX, XXX, XXX, PTR },
- /* ads */ { BINAIR_OP, PS, ARGW, PS, PTR },
- /* adu */ { BINAIR_OP, ARGW, ARGW, ARGW, ANY },
- /* and */ { BINAIR_OP, ARGW, ARGW, ARGW, ANY },
- /* asp */ { FIDDLE_STACK, XXX, XXX, XXX, XXX },
- /* ass */ { FIDDLE_STACK, XXX, XXX, XXX, XXX },
- /* beq */ { BBLOCK_END, XXX, XXX, XXX, XXX },
- /* bge */ { BBLOCK_END, XXX, XXX, XXX, XXX },
- /* bgt */ { BBLOCK_END, XXX, XXX, XXX, XXX },
- /* ble */ { BBLOCK_END, XXX, XXX, XXX, XXX },
- /* blm */ { HOPELESS, XXX, XXX, XXX, XXX },
- /* bls */ { HOPELESS, XXX, XXX, XXX, XXX },
- /* blt */ { BBLOCK_END, XXX, XXX, XXX, XXX },
- /* bne */ { BBLOCK_END, XXX, XXX, XXX, XXX },
- /* bra */ { BBLOCK_END, XXX, XXX, XXX, XXX },
- /* cai */ { SIDE_EFFECTS, XXX, XXX, XXX, XXX },
- /* cal */ { SIDE_EFFECTS, XXX, XXX, XXX, XXX },
- /* cff */ { TERNAIR_OP, XXX, XXX, CVT, FLT },
- /* cfi */ { TERNAIR_OP, XXX, XXX, CVT, ANY },
- /* cfu */ { TERNAIR_OP, XXX, XXX, CVT, ANY },
- /* cif */ { TERNAIR_OP, XXX, XXX, CVT, FLT },
- /* cii */ { TERNAIR_OP, XXX, XXX, CVT, ANY },
- /* ciu */ { TERNAIR_OP, XXX, XXX, CVT, ANY },
- /* cmf */ { BINAIR_OP, ARGW, ARGW, WS, ANY },
- /* cmi */ { BINAIR_OP, ARGW, ARGW, WS, ANY },
- /* cmp */ { BINAIR_OP, PS, PS, WS, ANY },
- /* cms */ { BINAIR_OP, ARGW, ARGW, WS, ANY },
- /* cmu */ { BINAIR_OP, ARGW, ARGW, WS, ANY },
- /* com */ { UNAIR_OP, ARGW, XXX, ARGW, ANY },
- /* csa */ { BBLOCK_END, XXX, XXX, XXX, XXX },
- /* csb */ { BBLOCK_END, XXX, XXX, XXX, XXX },
- /* cuf */ { TERNAIR_OP, XXX, XXX, CVT, FLT },
- /* cui */ { TERNAIR_OP, XXX, XXX, CVT, ANY },
- /* cuu */ { TERNAIR_OP, XXX, XXX, CVT, ANY },
- /* dch */ { UNAIR_OP, PS, XXX, PS, PTR },
- /* dec */ { UNAIR_OP, WS, XXX, WS, ANY },
- /* dee */ { KILL_ENTITY, XXX, XXX, XXX, XXX },
- /* del */ { KILL_ENTITY, XXX, XXX, XXX, XXX },
- /* dup */ { FIDDLE_STACK, XXX, XXX, XXX, XXX },
- /* dus */ { FIDDLE_STACK, XXX, XXX, XXX, XXX },
- /* dvf */ { BINAIR_OP, ARGW, ARGW, ARGW, FLT },
- /* dvi */ { BINAIR_OP, ARGW, ARGW, ARGW, ANY },
- /* dvu */ { BINAIR_OP, ARGW, ARGW, ARGW, ANY },
- /* exg */ { FIDDLE_STACK, XXX, XXX, XXX, XXX },
- /* fef */ { UNAIR_OP, ARGW, XXX, FEF, XXX },
- /* fif */ { BINAIR_OP, ARGW, ARGW, FIF, XXX },
- /* fil */ { IGNORE, XXX, XXX, XXX, XXX },
- /* gto */ { BBLOCK_END, XXX, XXX, XXX, XXX },
- /* inc */ { UNAIR_OP, WS, XXX, WS, ANY },
- /* ine */ { KILL_ENTITY, XXX, XXX, XXX, XXX },
- /* inl */ { KILL_ENTITY, XXX, XXX, XXX, XXX },
- /* inn */ { BINAIR_OP, ARGW, WS, WS, ANY },
- /* ior */ { BINAIR_OP, ARGW, ARGW, ARGW, ANY },
- /* lae */ { SIMPLE_LOAD, XXX, XXX, XXX, XXX },
- /* lal */ { SIMPLE_LOAD, XXX, XXX, XXX, XXX },
- /* lar */ { LOAD_ARRAY, XXX, XXX, XXX, ANY },
- /* ldc */ { SIMPLE_LOAD, XXX, XXX, XXX, XXX },
- /* lde */ { SIMPLE_LOAD, XXX, XXX, XXX, XXX },
- /* ldf */ { EXPENSIVE_LOAD, XXX, XXX, XXX, ANY },
- /* ldl */ { SIMPLE_LOAD, XXX, XXX, XXX, XXX },
- /* lfr */ { FIDDLE_STACK, XXX, XXX, XXX, XXX },
- /* lil */ { SIMPLE_LOAD, XXX, XXX, XXX, XXX },
- /* lim */ { SIMPLE_LOAD, XXX, XXX, XXX, XXX },
- /* lin */ { IGNORE, XXX, XXX, XXX, XXX },
- /* lni */ { IGNORE, XXX, XXX, XXX, XXX },
- /* loc */ { SIMPLE_LOAD, XXX, XXX, XXX, XXX },
- /* loe */ { SIMPLE_LOAD, XXX, XXX, XXX, XXX },
- /* lof */ { EXPENSIVE_LOAD, XXX, XXX, XXX, ANY },
- /* loi */ { EXPENSIVE_LOAD, XXX, XXX, XXX, ANY },
- /* lol */ { SIMPLE_LOAD, XXX, XXX, XXX, XXX },
- /* lor */ { SIMPLE_LOAD, XXX, XXX, XXX, XXX },
- /* los */ { FIDDLE_STACK, XXX, XXX, XXX, XXX },
- /* lpb */ { UNAIR_OP, PS, XXX, PS, PTR },
- /* lpi */ { SIMPLE_LOAD, XXX, XXX, XXX, XXX },
- /* lxa */ { EXPENSIVE_LOAD, XXX, XXX, XXX, PTR },
- /* lxl */ { EXPENSIVE_LOAD, XXX, XXX, XXX, PTR },
- /* mlf */ { BINAIR_OP, ARGW, ARGW, ARGW, FLT },
- /* mli */ { BINAIR_OP, ARGW, ARGW, ARGW, ANY },
- /* mlu */ { BINAIR_OP, ARGW, ARGW, ARGW, ANY },
- /* mon */ { HOPELESS, XXX, XXX, XXX, XXX },
- /* ngf */ { UNAIR_OP, ARGW, XXX, ARGW, FLT },
- /* ngi */ { UNAIR_OP, ARGW, XXX, ARGW, ANY },
- /* nop */ { HOPELESS, XXX, XXX, XXX, XXX },
- /* rck */ { BBLOCK_END, XXX, XXX, XXX, XXX },
- /* ret */ { BBLOCK_END, XXX, XXX, XXX, XXX },
- /* rmi */ { BINAIR_OP, ARGW, ARGW, ARGW, ANY },
- /* rmu */ { BINAIR_OP, ARGW, ARGW, ARGW, ANY },
- /* rol */ { BINAIR_OP, ARGW, WS, ARGW, ANY },
- /* ror */ { BINAIR_OP, ARGW, WS, ARGW, ANY },
- /* rtt */ { BBLOCK_END, XXX, XXX, XXX, XXX },
- /* sar */ { STORE_ARRAY, XXX, XXX, XXX, XXX },
- /* sbf */ { BINAIR_OP, ARGW, ARGW, ARGW, FLT },
- /* sbi */ { BINAIR_OP, ARGW, ARGW, ARGW, ANY },
- /* sbs */ { BINAIR_OP, PS, PS, ARGW, ANY },
- /* sbu */ { BINAIR_OP, ARGW, ARGW, ARGW, ANY },
- /* sde */ { STORE_DIRECT, XXX, XXX, XXX, XXX },
- /* sdf */ { STORE_INDIR, XXX, XXX, XXX, XXX },
- /* sdl */ { STORE_DIRECT, XXX, XXX, XXX, XXX },
- /* set */ { UNAIR_OP, WS, XXX, ARGW, ANY },
- /* sig */ { FIDDLE_STACK, XXX, XXX, XXX, XXX },
- /* sil */ { STORE_INDIR, XXX, XXX, XXX, XXX },
- /* sim */ { STORE_DIRECT, XXX, XXX, XXX, XXX },
- /* sli */ { BINAIR_OP, ARGW, WS, ARGW, ANY },
- /* slu */ { BINAIR_OP, ARGW, WS, ARGW, ANY },
- /* sri */ { BINAIR_OP, ARGW, WS, ARGW, ANY },
- /* sru */ { BINAIR_OP, ARGW, WS, ARGW, ANY },
- /* ste */ { STORE_DIRECT, XXX, XXX, XXX, XXX },
- /* stf */ { STORE_INDIR, XXX, XXX, XXX, XXX },
- /* sti */ { STORE_INDIR, XXX, XXX, XXX, XXX },
- /* stl */ { STORE_DIRECT, XXX, XXX, XXX, XXX },
- /* str */ { HOPELESS, XXX, XXX, XXX, XXX },
- /* sts */ { HOPELESS, XXX, XXX, XXX, XXX },
- /* teq */ { UNAIR_OP, WS, XXX, WS, ANY },
- /* tge */ { UNAIR_OP, WS, XXX, WS, ANY },
- /* tgt */ { UNAIR_OP, WS, XXX, WS, ANY },
- /* tle */ { UNAIR_OP, WS, XXX, WS, ANY },
- /* tlt */ { UNAIR_OP, WS, XXX, WS, ANY },
- /* tne */ { UNAIR_OP, WS, XXX, WS, ANY },
- /* trp */ { BBLOCK_END, XXX, XXX, XXX, XXX },
- /* xor */ { BINAIR_OP, ARGW, ARGW, ARGW, ANY },
- /* zeq */ { BBLOCK_END, XXX, XXX, XXX, XXX },
- /* zer */ { SIMPLE_LOAD, XXX, XXX, XXX, XXX },
- /* zge */ { BBLOCK_END, XXX, XXX, XXX, XXX },
- /* zgt */ { BBLOCK_END, XXX, XXX, XXX, XXX },
- /* zle */ { BBLOCK_END, XXX, XXX, XXX, XXX },
- /* zlt */ { BBLOCK_END, XXX, XXX, XXX, XXX },
- /* zne */ { BBLOCK_END, XXX, XXX, XXX, XXX },
- /* zre */ { KILL_ENTITY, XXX, XXX, XXX, XXX },
- /* zrf */ { SIMPLE_LOAD, XXX, XXX, XXX, XXX },
- /* zrl */ { KILL_ENTITY, XXX, XXX, XXX, XXX }
- };
- #define GROUP(n) (info[n].i_group)
- #define OP1SIZE(l) (info[INSTR(l)].i_op1)
- #define OP2SIZE(l) (info[INSTR(l)].i_op2)
- #define AVSIZE(l) (info[INSTR(l)].i_av)
- #define REGTYPE(n) (info[n].i_regtype)
- int instrgroup(line_p lnp)
- {
- if (INSTR(lnp) == op_lor && SHORT(lnp) == 1) {
- /* We can't do anything with the stackpointer. */
- return FIDDLE_STACK;
- }
- if (INSTR(lnp) < sp_fmnem || INSTR(lnp) > sp_lmnem) {
- VI((short) INSTR(lnp));
- return IGNORE;
- }
- return GROUP(INSTR(lnp));
- }
- bool stack_group(int instr)
- {
- /* Is this an instruction that only does something to the top of
- * the stack?
- */
- switch (GROUP(instr)) {
- case SIMPLE_LOAD:
- case EXPENSIVE_LOAD:
- case LOAD_ARRAY:
- case UNAIR_OP:
- case BINAIR_OP:
- case TERNAIR_OP:
- return TRUE;
- default:
- return FALSE;
- }
- return 0;
- }
- static offset argw(line_p lnp)
- {
- /* Some EM-instructions have their argument either on the same line,
- * or on top of the stack. We give up when the argument is on top of
- * the stack.
- */
- struct token dummy;
- if (TYPE(lnp) != OPNO) {
- return off_set(lnp);
- } else {
- Pop(&dummy, (offset) ws);
- return UNKNOWN_SIZE;
- }
- return 0;
- }
- offset op11size(line_p lnp)
- {
- /* Returns the size of the first argument of
- * the unary operator in lnp.
- */
- switch (OP1SIZE(lnp)) {
- case ARGW:
- return argw(lnp);
- case WS:
- return ws;
- case PS:
- return ps;
- default:
- assert(FALSE);
- }
- /* NOTREACHED */
- return 0;
- }
- offset op12size(line_p lnp)
- {
- /* Same for first of binary. */
- switch (OP1SIZE(lnp)) {
- case ARGW:
- return argw(lnp);
- case PS:
- return ps;
- default:
- assert(FALSE);
- }
- /* NOTREACHED */
- return 0;
- }
- offset op22size(line_p lnp)
- {
- switch (OP2SIZE(lnp)) {
- case ARGW:
- return argw(lnp);
- case WS:
- return ws;
- case PS:
- return ps;
- default:
- assert(FALSE);
- }
- /* NOTREACHED */
- return 0;
- }
- /* Ternary operators are op_aar and conversions between types and/or sizes. */
- offset op13size(line_p lnp)
- {
- /* When the instruction is a conversion, the size of the first
- * operand is the value of the second operand.
- * We only handle the most likely case, namely that the second operand
- * was pushed by a loc-instruction.
- */
- if (INSTR(lnp) == op_aar) return ps;
- if (lnp->l_prev != (line_p) 0 &&
- lnp->l_prev->l_prev != (line_p) 0 &&
- INSTR(lnp->l_prev->l_prev) == op_loc
- )
- return off_set(lnp->l_prev->l_prev);
- else
- return UNKNOWN_SIZE;
- }
- offset op23size(line_p lnp)
- {
- if (INSTR(lnp) == op_aar)
- return argw(lnp);
- else
- return ws;
- }
- offset op33size(line_p lnp)
- {
- if (INSTR(lnp) == op_aar)
- return ps;
- else
- return ws;
- }
- offset avsize(line_p lnp)
- {
- /* Returns the size of the result of the instruction in lnp.
- * If the instruction is a conversion this size is given on the stack.
- * We only handle the case that this value was pushed by a loc.
- */
- offset size;
- switch (AVSIZE(lnp)) {
- case ARGW:
- return argw(lnp);
- case WS:
- return ws;
- case PS:
- return ps;
- case FEF:
- if ((size = argw(lnp)) != UNKNOWN_SIZE)
- return size + ws;
- else
- return UNKNOWN_SIZE;
- case FIF:
- if ((size = argw(lnp)) != UNKNOWN_SIZE)
- return size + size;
- else
- return UNKNOWN_SIZE;
- case CVT:
- if (lnp->l_prev != (line_p) 0 &&
- INSTR(lnp->l_prev) == op_loc
- )
- return off_set(lnp->l_prev);
- else
- return UNKNOWN_SIZE;
- default:
- assert(FALSE);
- break;
- }
- /* NOTREACHED */
- return 0;
- }
- int regtype(byte instr)
- {
- switch (REGTYPE(instr & BMASK)) {
- case ANY:
- return reg_any;
- case PTR:
- return reg_pointer;
- case FLT:
- return reg_float;
- default:
- assert(FALSE);
- }
- /* NOTREACHED */
- return 0;
- }
|