ref: c0cbe87b357a4464a7d10ab8f38a65c77ea3b629
dir: /limbo/optab.c/
#include "limbo.h"
uchar movetab[Mend][Tend] =
{
/* Mas */
{
/* Tnone */ 0,
/* Tadt */ IMOVM,
/* Tadtpick */ IMOVM,
/* Tarray */ IMOVP,
/* Tbig */ IMOVL,
/* Tbyte */ IMOVB,
/* Tchan */ IMOVP,
/* Treal */ IMOVF,
/* Tfn */ 0,
/* Tint */ IMOVW,
/* Tlist */ IMOVP,
/* Tmodule */ IMOVP,
/* Tref */ IMOVP,
/* Tstring */ IMOVP,
/* Ttuple */ IMOVM,
/* Texception */ IMOVM,
/* Tfix */ IMOVW,
/* Tpoly */ IMOVP,
/* Tainit */ 0,
/* Talt */ 0,
/* Tany */ IMOVP,
/* Tarrow */ 0,
/* Tcase */ 0,
/* Tcasel */ 0,
/* Tcasec */ 0,
/* Tdot */ 0,
/* Terror */ 0,
/* Tgoto */ 0,
/* Tid */ 0,
},
/* Mcons */
{
/* Tnone */ 0,
/* Tadt */ ICONSM,
/* Tadtpick */ 0,
/* Tarray */ ICONSP,
/* Tbig */ ICONSL,
/* Tbyte */ ICONSB,
/* Tchan */ ICONSP,
/* Treal */ ICONSF,
/* Tfn */ 0,
/* Tint */ ICONSW,
/* Tlist */ ICONSP,
/* Tmodule */ ICONSP,
/* Tref */ ICONSP,
/* Tstring */ ICONSP,
/* Ttuple */ ICONSM,
/* Texception */ ICONSM,
/* Tfix */ ICONSW,
/* Tpoly */ ICONSP,
/* Tainit */ 0,
/* Talt */ 0,
/* Tany */ ICONSP,
/* Tarrow */ 0,
/* Tcase */ 0,
/* Tcasel */ 0,
/* Tcasec */ 0,
/* Tdot */ 0,
/* Terror */ 0,
/* Tgoto */ 0,
/* Tid */ 0,
},
/* Mhd */
{
/* Tnone */ 0,
/* Tadt */ IHEADM,
/* Tadtpick */ 0,
/* Tarray */ IHEADP,
/* Tbig */ IHEADL,
/* Tbyte */ IHEADB,
/* Tchan */ IHEADP,
/* Treal */ IHEADF,
/* Tfn */ 0,
/* Tint */ IHEADW,
/* Tlist */ IHEADP,
/* Tmodule */ IHEADP,
/* Tref */ IHEADP,
/* Tstring */ IHEADP,
/* Ttuple */ IHEADM,
/* Texception */ IHEADM,
/* Tfix */ IHEADW,
/* Tpoly */ IHEADP,
/* Tainit */ 0,
/* Talt */ 0,
/* Tany */ IHEADP,
/* Tarrow */ 0,
/* Tcase */ 0,
/* Tcasel */ 0,
/* Tcasec */ 0,
/* Tdot*/ 0,
/* Terror */ 0,
/* Tgoto */ 0,
/* Tid */ 0,
},
/* Mtl */
{
/* Tnone */ 0,
/* Tadt */ 0,
/* Tadtpick */ 0,
/* Tarray */ 0,
/* Tbig */ 0,
/* Tbyte */ 0,
/* Tchan */ 0,
/* Treal */ 0,
/* Tfn */ 0,
/* Tint */ 0,
/* Tlist */ ITAIL,
/* Tmodule */ 0,
/* Tref */ 0,
/* Tstring */ 0,
/* Ttuple */ 0,
/* Texception */ 0,
/* Tfix */ 0,
/* Tpoly */ 0,
/* Tainit */ 0,
/* Talt */ 0,
/* Tany */ 0,
/* Tarrow */ 0,
/* Tcase */ 0,
/* Tcasel */ 0,
/* Tcasec */ 0,
/* Tdot */ 0,
/* Terror */ 0,
/* Tgoto */ 0,
/* Tid */ 0,
},
};
uchar chantab[Tend] =
{
/* Tnone */ 0,
/* Tadt */ INEWCM,
/* Tadtpick */ 0,
/* Tarray */ INEWCP,
/* Tbig */ INEWCL,
/* Tbyte */ INEWCB,
/* Tchan */ INEWCP,
/* Treal */ INEWCF,
/* Tfn */ 0,
/* Tint */ INEWCW,
/* Tlist */ INEWCP,
/* Tmodule */ INEWCP,
/* Tref */ INEWCP,
/* Tstring */ INEWCP,
/* Ttuple */ INEWCM,
/* Texception */ INEWCM,
/* Tfix */ INEWCW,
/* Tpoly */ INEWCP,
/* Tainit */ 0,
/* Talt */ 0,
/* Tany */ INEWCP,
/* Tarrow */ 0,
/* Tcase */ 0,
/* Tcasel */ 0,
/* Tcasec */ 0,
/* Tdot */ 0,
/* Terror */ 0,
/* Tgoto */ 0,
/* Tid */ 0,
};
uchar disoptab[Oend+1][7] = {
/* opcode default byte word big real string fixed */
{0},
/* Oadd */ {0, IADDB, IADDW, IADDL, IADDF, IADDC, IADDW,},
/* Oaddas */ {0, IADDB, IADDW, IADDL, IADDF, IADDC, IADDW,},
/* Oadr */ {0},
/* Oadtdecl */ {0},
/* Oalt */ {0},
/* Oand */ {0, IANDB, IANDW, IANDL, 0, 0, 0,},
/* Oandand */ {0},
/* Oandas */ {0, IANDB, IANDW, IANDL, 0, 0, 0,},
/* Oarray */ {0},
/* Oas */ {0},
/* Obreak */ {0},
/* Ocall */ {0},
/* Ocase */ {0},
/* Ocast */ {0},
/* Ochan */ {0},
/* Ocomma */ {0},
/* Ocomp */ {0},
/* Ocondecl */ {0},
/* Ocons */ {0},
/* Oconst */ {0},
/* Ocont */ {0},
/* Odas */ {0},
/* Odec */ {0, ISUBB, ISUBW, ISUBL, ISUBF, 0, ISUBW,},
/* Odiv */ {0, IDIVB, IDIVW, IDIVL, IDIVF, 0, IDIVX,},
/* Odivas */ {0, IDIVB, IDIVW, IDIVL, IDIVF, 0, IDIVX,},
/* Odo */ {0},
/* Odot */ {0},
/* Oelem */ {0},
/* Oeq */ {IBEQW, IBEQB, IBEQW, IBEQL, IBEQF, IBEQC, IBEQW,},
/* Oexcept */ {0},
/* Oexdecl */ {0},
/* Oexit */ {0},
/* Oexp */ {0, 0, IEXPW, IEXPL, IEXPF, 0, 0,},
/* Oexpas */ {0, 0, IEXPW, IEXPL, IEXPF, 0, 0,},
/* Oexstmt */ {0},
/* Ofielddecl */{0},
/* Ofnptr */ {0},
/* Ofor */ {0},
/* Ofunc */ {0},
/* Ogeq */ {0, IBGEB, IBGEW, IBGEL, IBGEF, IBGEC, IBGEW,},
/* Ogt */ {0, IBGTB, IBGTW, IBGTL, IBGTF, IBGTC, IBGTW,},
/* Ohd */ {0},
/* Oif */ {0},
/* Oimport */ {0},
/* Oinc */ {0, IADDB, IADDW, IADDL, IADDF, 0, IADDW,},
/* Oind */ {0},
/* Oindex */ {0,},
/* Oinds */ {0, 0, IINDC, 0, 0, 0, 0,},
/* Oindx */ {0, 0, IINDX, 0, 0, 0, 0,},
/* Oinv */ {0},
/* Ojmp */ {0},
/* Olabel */ {0},
/* Olen */ {ILENA, 0, 0, 0, 0, ILENC, 0,},
/* Oleq */ {0, IBLEB, IBLEW, IBLEL, IBLEF, IBLEC, IBLEW,},
/* Oload */ {0},
/* Olsh */ {0, ISHLB, ISHLW, ISHLL, 0, 0, 0,},
/* Olshas */ {0, ISHLB, ISHLW, ISHLL, 0, 0, 0,},
/* Olt */ {0, IBLTB, IBLTW, IBLTL, IBLTF, IBLTC, IBLTW,},
/* Omdot */ {0},
/* Omod */ {0, IMODB, IMODW, IMODL, 0, 0, 0,},
/* Omodas */ {0, IMODB, IMODW, IMODL, 0, 0, 0,},
/* Omoddecl */ {0},
/* Omul */ {0, IMULB, IMULW, IMULL, IMULF, 0, IMULX,},
/* Omulas */ {0, IMULB, IMULW, IMULL, IMULF, 0, IMULX,},
/* Oname */ {0},
/* Oneg */ {0, 0, 0, 0, INEGF, 0, 0,},
/* Oneq */ {IBNEW, IBNEB, IBNEW, IBNEL, IBNEF, IBNEC, IBNEW,},
/* Onot */ {0},
/* Onothing */ {0},
/* Oor */ {0, IORB, IORW, IORL, 0, 0, 0,},
/* Ooras */ {0, IORB, IORW, IORL, 0, 0, 0,},
/* Ooror */ {0},
/* Opick */ {0},
/* Opickdecl */ {0},
/* Opredec */ {0},
/* Opreinc */ {0},
/* Oraise */ {0},
/* Orange */ {0},
/* Orcv */ {0},
/* Oref */ {0},
/* Oret */ {0},
/* Orsh */ {0, ISHRB, ISHRW, ISHRL, 0, 0, 0,},
/* Orshas */ {0, ISHRB, ISHRW, ISHRL, 0, 0, 0,},
/* Oscope */ {0},
/* Oself */ {0},
/* Oseq */ {0},
/* Oslice */ {ISLICEA,0, 0, 0, 0, ISLICEC, 0,},
/* Osnd */ {0},
/* Ospawn */ {0},
/* Osub */ {0, ISUBB, ISUBW, ISUBL, ISUBF, 0, ISUBW,},
/* Osubas */ {0, ISUBB, ISUBW, ISUBL, ISUBF, 0, ISUBW,},
/* Otagof */ {0},
/* Otl */ {0},
/* Otuple */ {0},
/* Otype */ {0},
/* Otypedecl */ {0},
/* Oused */ {0},
/* Ovardecl */ {0},
/* Ovardecli */ {0},
/* Owild */ {0},
/* Oxor */ {0, IXORB, IXORW, IXORL, 0, 0, 0,},
/* Oxoras */ {0, IXORB, IXORW, IXORL, 0, 0, 0,},
/* Oend */ {0}
};
int setisused[] = {
Oas,
Odas,
Oaddas,
Osubas,
Omulas,
Odivas,
Omodas,
Oexpas,
Oandas,
Ooras,
Oxoras,
Olshas,
Onothing,
Orshas,
Oinc,
Odec,
Opreinc,
Opredec,
Ocall,
Oraise,
Ospawn,
Osnd,
Orcv,
-1
};
int setsideeffect[] = {
Oas,
Odas,
Oaddas,
Osubas,
Omulas,
Odivas,
Omodas,
Oexpas,
Oandas,
Ooras,
Oxoras,
Olshas,
Orshas,
Oinc,
Odec,
Opreinc,
Opredec,
Ocall,
Oraise,
Ospawn,
Osnd,
Orcv,
Oadr,
Oarray,
Ocast,
Ochan,
Ocons,
Odiv,
Odot,
Oind,
Oindex,
Oinds,
Oindx,
Olen,
Oload,
Omod,
Oref,
-1
};
char *opname[Oend+1] = {
"unknown",
/* Oadd */ "+",
/* Oaddas */ "+=",
/* Oadr */ "adr",
/* Oadtdecl */ "adtdecl",
/* Oalt */ "alt",
/* Oand */ "&",
/* Oandand */ "&&",
/* Oandas */ "&=",
/* Oarray */ "array",
/* Oas */ "=",
/* Obreak */ "break",
/* Ocall */ "call",
/* Ocase */ "case",
/* Ocast */ "cast",
/* Ochan */ "chan",
/* Ocomma */ ",",
/* Ocomp */ "~",
/* Ocondecl */ "condecl",
/* Ocons */ "::",
/* Oconst */ "const",
/* Ocont */ "continue",
/* Odas */ ":=",
/* Odec */ "--",
/* Odiv */ "/",
/* Odivas */ "/=",
/* Odo */ "do",
/* Odot */ ".",
/* Oelem */ "elem",
/* Oeq */ "==",
/* Oexcept */ "except",
/* Oexdecl */ "exdecl",
/* Oexit */ "exit",
/* Oexp */ "**",
/* Oexpas */ "**=",
/* Oexstmt */ "exstat",
/* Ofielddecl */"fielddecl",
/* Ofnptr */ "fnptr",
/* Ofor */ "for",
/* Ofunc */ "fn(){}",
/* Ogeq */ ">=",
/* Ogt */ ">",
/* Ohd */ "hd",
/* Oif */ "if",
/* Oimport */ "import",
/* Oinc */ "++",
/* Oind */ "*",
/* Oindex */ "index",
/* Oinds */ "inds",
/* Oindx */ "indx",
/* Oinv */ "inv",
/* Ojmp */ "jmp",
/* Olabel */ "label",
/* Olen */ "len",
/* Oleq */ "<=",
/* Oload */ "load",
/* Olsh */ "<<",
/* Olshas */ "<<=",
/* Olt */ "<",
/* Omdot */ "->",
/* Omod */ "%",
/* Omodas */ "%=",
/* Omoddecl */ "moddecl",
/* Omul */ "*",
/* Omulas */ "*=",
/* Oname */ "name",
/* Oneg */ "-",
/* Oneq */ "!=",
/* Onot */ "!",
/* Onothing */ "nothing",
/* Oor */ "|",
/* Ooras */ "|=",
/* Ooror */ "||",
/* Opick */ "pick",
/* Opickdecl */ "pickdecl",
/* Opredec */ "--",
/* Opreinc */ "++",
/* Oraise */ "raise",
/* Orange */ "range",
/* Orcv */ "<-",
/* Oref */ "ref",
/* Oret */ "return",
/* Orsh */ ">>",
/* Orshas */ ">>=",
/* Oscope */ "scope",
/* Oself */ "self",
/* Oseq */ "seq",
/* Oslice */ "slice",
/* Osnd */ "<-=",
/* Ospawn */ "spawn",
/* Osub */ "-",
/* Osubas */ "-=",
/* Otl */ "tagof",
/* Otl */ "tl",
/* Otuple */ "tuple",
/* Otype */ "type",
/* Otypedecl */ "typedecl",
/* Oused */ "used",
/* Ovardecl */ "vardecl",
/* Ovardecli */ "vardecli",
/* Owild */ "*",
/* Oxor */ "^",
/* Oxoras */ "^=",
/* Oend */ "unknown"
};
int setisbyteinst[] = {
IMULB,
ISUBB,
IADDB,
IDIVB,
IORB,
IXORB,
ISHLB,
ISHRB,
IMODB,
IANDB,
IBEQB,
IBNEB,
IBLTB,
IBLEB,
IBGTB,
IBGEB,
-1
};
char *instname[256] = {
"nop",
"alt",
"nbalt",
"goto",
"call",
"frame",
"spawn",
"runt",
"load",
"mcall",
"mspawn",
"mframe",
"ret",
"jmp",
"case",
"exit",
"new",
"newa",
"newcb",
"newcw",
"newcf",
"newcp",
"newcm",
"newcmp",
"send",
"recv",
"consb",
"consw",
"consp",
"consf",
"consm",
"consmp",
"headb",
"headw",
"headp",
"headf",
"headm",
"headmp",
"tail",
"lea",
"indx",
"movp",
"movm",
"movmp",
"movb",
"movw",
"movf",
"cvtbw",
"cvtwb",
"cvtfw",
"cvtwf",
"cvtca",
"cvtac",
"cvtwc",
"cvtcw",
"cvtfc",
"cvtcf",
"addb",
"addw",
"addf",
"subb",
"subw",
"subf",
"mulb",
"mulw",
"mulf",
"divb",
"divw",
"divf",
"modw",
"modb",
"andb",
"andw",
"orb",
"orw",
"xorb",
"xorw",
"shlb",
"shlw",
"shrb",
"shrw",
"insc",
"indc",
"addc",
"lenc",
"lena",
"lenl",
"beqb",
"bneb",
"bltb",
"bleb",
"bgtb",
"bgeb",
"beqw",
"bnew",
"bltw",
"blew",
"bgtw",
"bgew",
"beqf",
"bnef",
"bltf",
"blef",
"bgtf",
"bgef",
"beqc",
"bnec",
"bltc",
"blec",
"bgtc",
"bgec",
"slicea",
"slicela",
"slicec",
"indw",
"indf",
"indb",
"negf",
"movl",
"addl",
"subl",
"divl",
"modl",
"mull",
"andl",
"orl",
"xorl",
"shll",
"shrl",
"bnel",
"bltl",
"blel",
"bgtl",
"bgel",
"beql",
"cvtlf",
"cvtfl",
"cvtlw",
"cvtwl",
"cvtlc",
"cvtcl",
"headl",
"consl",
"newcl",
"casec",
"indl",
"movpc",
"tcmp",
"mnewz",
"cvtrf",
"cvtfr",
"cvtws",
"cvtsw",
"lsrw",
"lsrl",
"eclr",
"newz",
"newaz",
"raise",
"casel",
"mulx",
"divx",
"cvtxx",
"mulx0",
"divx0",
"cvtxx0",
"mulx1",
"divx1",
"cvtxx1",
"cvtfx",
"cvtxf",
"expw",
"expl",
"expf",
"self",
};