Subversion Repositories eco32

%{

/*
 * eco32.md -- ECO32 back-end specification
 *
 * register usage:
 *   $0   always zero
 *   $1   reserved for assembler
 *   $2   func return value
 *   $3   func return value
 *   $4   proc/func argument
 *   $5   proc/func argument
 *   $6   proc/func argument
 *   $7   proc/func argument
 *   $8   temporary register (caller-save)
 *   $9   temporary register (caller-save)
 *   $10  temporary register (caller-save)
 *   $11  temporary register (caller-save)
 *   $12  temporary register (caller-save)
 *   $13  temporary register (caller-save)
 *   $14  temporary register (caller-save)
 *   $15  temporary register (caller-save)
 *   $16  register variable  (callee-save)
 *   $17  register variable  (callee-save)
 *   $18  register variable  (callee-save)
 *   $19  register variable  (callee-save)
 *   $20  register variable  (callee-save)
 *   $21  register variable  (callee-save)
 *   $22  register variable  (callee-save)
 *   $23  register variable  (callee-save)
 *   $24  temporary register (caller-save)
 *   $25  temporary register (caller-save)
 *   $26  reserved for OS kernel
 *   $27  reserved for OS kernel
 *   $28  reserved for OS kernel
 *   $29  stack pointer
 *   $30  interrupt return address
 *   $31  proc/func return address
 * caller-save registers are not preserved across procedure calls
 * callee-save registers are preserved across procedure calls
 *
 * tree grammar terminals produced by:
 *   ops c=1 s=2 i=4 l=4 h=4 f=4 d=8 x=8 p=4
 */

#include "c.h"

#define NODEPTR_TYPE    Node
#define OP_LABEL(p)     ((p)->op)
#define LEFT_CHILD(p)   ((p)->kids[0])
#define RIGHT_CHILD(p)  ((p)->kids[1])
#define STATE_LABEL(p)  ((p)->x.state)

static void address(Symbol, Symbol, long);
static void defaddress(Symbol);
static void defconst(int, int, Value);
static void defstring(int, char *);
static void defsymbol(Symbol);
static void export(Symbol);
static void function(Symbol, Symbol [], Symbol [], int);
static void global(Symbol);
static void import(Symbol);
static void local(Symbol);
static void progbeg(int, char * []);
static void progend(void);
static void segment(int);
static void space(int);
static Symbol rmap(int);
static void blkfetch(int, int, int, int);
static void blkstore(int, int, int, int);
static void blkloop(int, int, int, int, int, int []);
static void emit2(Node);
static void doarg(Node);
static void target(Node);
static void clobber(Node);

#define INTTMP  0x0100FF00
#define INTVAR  0x00FF0000
#define INTRET  0x00000004
#define FLTTMP  0x000F0FF0
#define FLTVAR  0xFFF00000
#define FLTRET  0x00000003

static Symbol ireg[32];
static Symbol iregw;
static Symbol freg2[32];
static Symbol freg2w;

%}

%start stmt

%term CNSTF4=4113 CNSTF8=8209
%term CNSTI1=1045 CNSTI2=2069 CNSTI4=4117
%term CNSTP4=4119
%term CNSTU1=1046 CNSTU2=2070 CNSTU4=4118

%term ARGB=41
%term ARGF4=4129 ARGF8=8225
%term ARGI4=4133
%term ARGP4=4135
%term ARGU4=4134

%term ASGNB=57
%term ASGNF4=4145 ASGNF8=8241
%term ASGNI1=1077 ASGNI2=2101 ASGNI4=4149
%term ASGNP4=4151
%term ASGNU1=1078 ASGNU2=2102 ASGNU4=4150

%term INDIRB=73
%term INDIRF4=4161 INDIRF8=8257
%term INDIRI1=1093 INDIRI2=2117 INDIRI4=4165
%term INDIRP4=4167
%term INDIRU1=1094 INDIRU2=2118 INDIRU4=4166

%term CVFF4=4209 CVFF8=8305
%term CVFI4=4213

%term CVIF4=4225 CVIF8=8321
%term CVII1=1157 CVII2=2181 CVII4=4229
%term CVIU1=1158 CVIU2=2182 CVIU4=4230

%term CVPU4=4246

%term CVUI1=1205 CVUI2=2229 CVUI4=4277
%term CVUP4=4279
%term CVUU1=1206 CVUU2=2230 CVUU4=4278

%term NEGF4=4289 NEGF8=8385
%term NEGI4=4293

%term CALLB=217
%term CALLF4=4305 CALLF8=8401
%term CALLI4=4309
%term CALLP4=4311
%term CALLU4=4310
%term CALLV=216

%term RETF4=4337 RETF8=8433
%term RETI4=4341
%term RETP4=4343
%term RETU4=4342
%term RETV=248

%term ADDRGP4=4359

%term ADDRFP4=4375

%term ADDRLP4=4391

%term ADDF4=4401 ADDF8=8497
%term ADDI4=4405
%term ADDP4=4407
%term ADDU4=4406

%term SUBF4=4417 SUBF8=8513
%term SUBI4=4421
%term SUBP4=4423
%term SUBU4=4422

%term LSHI4=4437
%term LSHU4=4438

%term MODI4=4453
%term MODU4=4454

%term RSHI4=4469
%term RSHU4=4470

%term BANDI4=4485
%term BANDU4=4486

%term BCOMI4=4501
%term BCOMU4=4502

%term BORI4=4517
%term BORU4=4518

%term BXORI4=4533
%term BXORU4=4534

%term DIVF4=4545 DIVF8=8641
%term DIVI4=4549
%term DIVU4=4550

%term MULF4=4561 MULF8=8657
%term MULI4=4565
%term MULU4=4566

%term EQF4=4577 EQF8=8673
%term EQI4=4581
%term EQU4=4582

%term GEF4=4593 GEF8=8689
%term GEI4=4597
%term GEU4=4598

%term GTF4=4609 GTF8=8705
%term GTI4=4613
%term GTU4=4614

%term LEF4=4625 LEF8=8721
%term LEI4=4629
%term LEU4=4630

%term LTF4=4641 LTF8=8737
%term LTI4=4645
%term LTU4=4646

%term NEF4=4657 NEF8=8753
%term NEI4=4661
%term NEU4=4662

%term JUMPV=584

%term LABELV=600

%term LOADB=233
%term LOADF4=4321 LOADF8=8417
%term LOADI1=1253 LOADI2=2277 LOADI4=4325
%term LOADP4=4327
%term LOADU1=1254 LOADU2=2278 LOADU4=4326

%term VREGP=711


%%


reg:    INDIRI1(VREGP)          "# read register\n"
reg:    INDIRI2(VREGP)          "# read register\n"
reg:    INDIRI4(VREGP)          "# read register\n"
reg:    INDIRP4(VREGP)          "# read register\n"
reg:    INDIRU1(VREGP)          "# read register\n"
reg:    INDIRU2(VREGP)          "# read register\n"
reg:    INDIRU4(VREGP)          "# read register\n"

stmt:   ASGNI1(VREGP,reg)       "# write register\n"
stmt:   ASGNI2(VREGP,reg)       "# write register\n"
stmt:   ASGNI4(VREGP,reg)       "# write register\n"
stmt:   ASGNP4(VREGP,reg)       "# write register\n"
stmt:   ASGNU1(VREGP,reg)       "# write register\n"
stmt:   ASGNU2(VREGP,reg)       "# write register\n"
stmt:   ASGNU4(VREGP,reg)       "# write register\n"

con:    CNSTI1                  "%a"
con:    CNSTI2                  "%a"
con:    CNSTI4                  "%a"
con:    CNSTP4                  "%a"
con:    CNSTU1                  "%a"
con:    CNSTU2                  "%a"
con:    CNSTU4                  "%a"

stmt:   reg                     ""

acon:   con                     "%0"
acon:   ADDRGP4                 "%a"

addr:   ADDI4(reg,acon)         "$%0,%1"
addr:   ADDP4(reg,acon)         "$%0,%1"
addr:   ADDU4(reg,acon)         "$%0,%1"

addr:   acon                    "$0,%0"
addr:   reg                     "$%0,0"
addr:   ADDRFP4                 "$29,%a+%F"
addr:   ADDRLP4                 "$29,%a+%F"

reg:    addr                    "\tadd\t$%c,%0\n"       1

reg:    CNSTI1                  "# reg\n"               range(a, 0, 0)
reg:    CNSTI2                  "# reg\n"               range(a, 0, 0)
reg:    CNSTI4                  "# reg\n"               range(a, 0, 0)
reg:    CNSTP4                  "# reg\n"               range(a, 0, 0)
reg:    CNSTU1                  "# reg\n"               range(a, 0, 0)
reg:    CNSTU2                  "# reg\n"               range(a, 0, 0)
reg:    CNSTU4                  "# reg\n"               range(a, 0, 0)

stmt:   ASGNI1(addr,reg)        "\tstb\t$%1,%0\n"       1
stmt:   ASGNI2(addr,reg)        "\tsth\t$%1,%0\n"       1
stmt:   ASGNI4(addr,reg)        "\tstw\t$%1,%0\n"       1
stmt:   ASGNP4(addr,reg)        "\tstw\t$%1,%0\n"       1
stmt:   ASGNU1(addr,reg)        "\tstb\t$%1,%0\n"       1
stmt:   ASGNU2(addr,reg)        "\tsth\t$%1,%0\n"       1
stmt:   ASGNU4(addr,reg)        "\tstw\t$%1,%0\n"       1

reg:    INDIRI1(addr)           "\tldb\t$%c,%0\n"       1
reg:    INDIRI2(addr)           "\tldh\t$%c,%0\n"       1
reg:    INDIRI4(addr)           "\tldw\t$%c,%0\n"       1
reg:    INDIRP4(addr)           "\tldw\t$%c,%0\n"       1
reg:    INDIRU1(addr)           "\tldbu\t$%c,%0\n"      1
reg:    INDIRU2(addr)           "\tldhu\t$%c,%0\n"      1
reg:    INDIRU4(addr)           "\tldw\t$%c,%0\n"       1

reg:    CVII4(INDIRI1(addr))    "\tldb\t$%c,%0\n"       1
reg:    CVII4(INDIRI2(addr))    "\tldh\t$%c,%0\n"       1
reg:    CVUU4(INDIRU1(addr))    "\tldbu\t$%c,%0\n"      1
reg:    CVUU4(INDIRU2(addr))    "\tldhu\t$%c,%0\n"      1
reg:    CVUI4(INDIRU1(addr))    "\tldbu\t$%c,%0\n"      1
reg:    CVUI4(INDIRU2(addr))    "\tldhu\t$%c,%0\n"      1

rc:     con                     "%0"
rc:     reg                     "$%0"

reg:    ADDI4(reg,rc)           "\tadd\t$%c,$%0,%1\n"   1
reg:    ADDP4(reg,rc)           "\tadd\t$%c,$%0,%1\n"   1
reg:    ADDU4(reg,rc)           "\tadd\t$%c,$%0,%1\n"   1
reg:    SUBI4(reg,rc)           "\tsub\t$%c,$%0,%1\n"   1
reg:    SUBP4(reg,rc)           "\tsub\t$%c,$%0,%1\n"   1
reg:    SUBU4(reg,rc)           "\tsub\t$%c,$%0,%1\n"   1
reg:    NEGI4(reg)              "\tsub\t$%c,$0,$%0\n"   1

reg:    MULI4(reg,rc)           "\tmul\t$%c,$%0,%1\n"   1
reg:    MULU4(reg,rc)           "\tmulu\t$%c,$%0,%1\n"  1
reg:    DIVI4(reg,rc)           "\tdiv\t$%c,$%0,%1\n"   1
reg:    DIVU4(reg,rc)           "\tdivu\t$%c,$%0,%1\n"  1
reg:    MODI4(reg,rc)           "\trem\t$%c,$%0,%1\n"   1
reg:    MODU4(reg,rc)           "\tremu\t$%c,$%0,%1\n"  1

reg:    BANDI4(reg,rc)          "\tand\t$%c,$%0,%1\n"   1
reg:    BANDU4(reg,rc)          "\tand\t$%c,$%0,%1\n"   1
reg:    BORI4(reg,rc)           "\tor\t$%c,$%0,%1\n"    1
reg:    BORU4(reg,rc)           "\tor\t$%c,$%0,%1\n"    1
reg:    BXORI4(reg,rc)          "\txor\t$%c,$%0,%1\n"   1
reg:    BXORU4(reg,rc)          "\txor\t$%c,$%0,%1\n"   1
reg:    BCOMI4(reg)             "\txnor\t$%c,$0,$%0\n"  1
reg:    BCOMU4(reg)             "\txnor\t$%c,$0,$%0\n"  1

rc5:    CNSTI4                  "%a"                    range(a, 0, 31)
rc5:    reg                     "$%0"

reg:    LSHI4(reg,rc5)          "\tsll\t$%c,$%0,%1\n"   1
reg:    LSHU4(reg,rc5)          "\tsll\t$%c,$%0,%1\n"   1
reg:    RSHI4(reg,rc5)          "\tsar\t$%c,$%0,%1\n"   1
reg:    RSHU4(reg,rc5)          "\tslr\t$%c,$%0,%1\n"   1

reg:    LOADI1(reg)             "\tadd\t$%c,$0,$%0\n"   move(a)
reg:    LOADI2(reg)             "\tadd\t$%c,$0,$%0\n"   move(a)
reg:    LOADI4(reg)             "\tadd\t$%c,$0,$%0\n"   move(a)
reg:    LOADP4(reg)             "\tadd\t$%c,$0,$%0\n"   move(a)
reg:    LOADU1(reg)             "\tadd\t$%c,$0,$%0\n"   move(a)
reg:    LOADU2(reg)             "\tadd\t$%c,$0,$%0\n"   move(a)
reg:    LOADU4(reg)             "\tadd\t$%c,$0,$%0\n"   move(a)

reg:    CVII4(reg)  "\tsll\t$%c,$%0,8*(4-%a)\n\tsar\t$%c,$%c,8*(4-%a)\n"  2
reg:    CVUI4(reg)  "\tand\t$%c,$%0,(1<<(8*%a))-1\n"    1
reg:    CVUU4(reg)  "\tand\t$%c,$%0,(1<<(8*%a))-1\n"    1

stmt:   LABELV                  "%a:\n"
stmt:   JUMPV(acon)             "\tj\t%0\n"             1
stmt:   JUMPV(reg)              "\tjr\t$%0\n"           1

stmt:   EQI4(reg,reg)           "\tbeq\t$%0,$%1,%a\n"   1
stmt:   EQU4(reg,reg)           "\tbeq\t$%0,$%1,%a\n"   1
stmt:   NEI4(reg,reg)           "\tbne\t$%0,$%1,%a\n"   1
stmt:   NEU4(reg,reg)           "\tbne\t$%0,$%1,%a\n"   1
stmt:   LEI4(reg,reg)           "\tble\t$%0,$%1,%a\n"   1
stmt:   LEU4(reg,reg)           "\tbleu\t$%0,$%1,%a\n"  1
stmt:   LTI4(reg,reg)           "\tblt\t$%0,$%1,%a\n"   1
stmt:   LTU4(reg,reg)           "\tbltu\t$%0,$%1,%a\n"  1
stmt:   GEI4(reg,reg)           "\tbge\t$%0,$%1,%a\n"   1
stmt:   GEU4(reg,reg)           "\tbgeu\t$%0,$%1,%a\n"  1
stmt:   GTI4(reg,reg)           "\tbgt\t$%0,$%1,%a\n"   1
stmt:   GTU4(reg,reg)           "\tbgtu\t$%0,$%1,%a\n"  1

reg:    CALLI4(ar)              "\tjal\t%0\n"           1
reg:    CALLP4(ar)              "\tjal\t%0\n"           1
reg:    CALLU4(ar)              "\tjal\t%0\n"           1
stmt:   CALLV(ar)               "\tjal\t%0\n"           1

ar:     ADDRGP4                 "%a"
ar:     reg                     "$%0"
ar:     CNSTP4                  "%a"            range(a, 0, 0x03FFFFFF)

stmt:   RETI4(reg)              "# ret\n"               1
stmt:   RETP4(reg)              "# ret\n"               1
stmt:   RETU4(reg)              "# ret\n"               1
stmt:   RETV(reg)               "# ret\n"               1

stmt:   ARGI4(reg)              "# arg\n"               1
stmt:   ARGP4(reg)              "# arg\n"               1
stmt:   ARGU4(reg)              "# arg\n"               1


%%


static void address(Symbol s1, Symbol s2, long n) {
  if (s2->scope == GLOBAL ||
      s2->sclass == STATIC ||
      s2->sclass == EXTERN) {
    s1->x.name = stringf("%s%s%D", s2->x.name, n >= 0 ? "+" : "", n);
  } else {
    assert(n >= INT_MIN && n <= INT_MAX);
    s1->x.offset = s2->x.offset + n;
    s1->x.name = stringd(s1->x.offset);
  }
}


static void defaddress(Symbol s) {
  print("\t.word\t%s\n", s->x.name);
}


static void defconst(int suffix, int size, Value v) {
  float f;
  double d;

  if (suffix == F && size == 4) {
    f = v.d;
    /* float not supported */
  } else
  if (suffix == F && size == 8) {
    d = v.d;
    /* double not supported */
  } else
  if (suffix == P) {
    print("\t.word\t0x%x\n", (unsigned) v.p);
  } else
  if (size == 1) {
    print("\t.byte\t0x%x\n",
          (unsigned) ((unsigned char) (suffix == I ? v.i : v.u)));
  } else
  if (size == 2) {
    print("\t.half\t0x%x\n",
          (unsigned) ((unsigned short) (suffix == I ? v.i : v.u)));
  } else
  if (size == 4) {
    print("\t.word\t0x%x\n", (unsigned) (suffix == I ? v.i : v.u));
  }
}


static void defstring(int n, char *str) {
  char *s;

  for (s = str; s < str + n; s++) {
    print("\t.byte\t0x%x\n", (*s) & 0xFF);
  }
}


static void defsymbol(Symbol s) {
  if (s->scope >= LOCAL && s->sclass == STATIC) {
    s->x.name = stringf("L.%d", genlabel(1));
  } else
  if (s->generated) {
    s->x.name = stringf("L.%s", s->name);
  } else {
    assert(s->scope != CONSTANTS || isint(s->type) || isptr(s->type));
    s->x.name = s->name;
  }
}


static void export(Symbol s) {
  print("\t.export\t%s\n", s->name);
}


static int bitcount(unsigned mask) {
  unsigned i, n;

  n = 0;
  for (i = 1; i != 0; i <<= 1) {
    if (mask & i) {
      n++;
    }
  }
  return n;
}


static Symbol argreg(int argno, int offset, int ty, int sz, int ty0) {
  assert((offset & 3) == 0);
  if (offset > 12) {
    return NULL;
  }
  return ireg[(offset / 4) + 4];
}


static void function(Symbol f, Symbol caller[], Symbol callee[], int ncalls) {
  int i;
  Symbol p, q;
  Symbol r;
  int sizeisave;
  int saved;
  Symbol argregs[4];

  usedmask[0] = usedmask[1] = 0;
  freemask[0] = freemask[1] = ~((unsigned) 0);
  offset = 0;
  maxoffset = 0;
  maxargoffset = 0;
  for (i = 0; callee[i] != NULL; i++) {
    p = callee[i];
    q = caller[i];
    assert(q != NULL);
    offset = roundup(offset, q->type->align);
    p->x.offset = q->x.offset = offset;
    p->x.name = q->x.name = stringd(offset);
    r = argreg(i, offset, optype(ttob(q->type)),
               q->type->size, optype(ttob(caller[0]->type)));
    if (i < 4) {
      argregs[i] = r;
    }
    offset = roundup(offset + q->type->size, 4);
    if (variadic(f->type)) {
      p->sclass = AUTO;
    } else
    if (r != NULL && ncalls == 0 && !isstruct(q->type) &&
        !p->addressed && !(isfloat(q->type) && r->x.regnode->set == IREG)) {
      p->sclass = q->sclass = REGISTER;
      askregvar(p, r);
      assert(p->x.regnode && p->x.regnode->vbl == p);
      q->x = p->x;
      q->type = p->type;
    } else
    if (askregvar(p, rmap(ttob(p->type))) &&
        r != NULL && (isint(p->type) || p->type == q->type)) {
      assert(q->sclass != REGISTER);
      p->sclass = q->sclass = REGISTER;
      q->type = p->type;
    }
  }
  assert(caller[i] == NULL);
  offset = 0;
  gencode(caller, callee);
  if (ncalls != 0) {
    usedmask[IREG] |= ((unsigned) 1) << 31;
  }
  usedmask[IREG] &= 0x80FF0000;
  usedmask[FREG] &= 0xFFF00000;
  maxargoffset = roundup(maxargoffset, 4);
  if (ncalls != 0 && maxargoffset < 16) {
    maxargoffset = 16;
  }
  sizeisave = 4 * bitcount(usedmask[IREG]);
  framesize = roundup(maxargoffset + sizeisave + maxoffset, 16);
  segment(CODE);
  print("\t.align\t4\n");
  print("%s:\n", f->x.name);
  if (framesize > 0) {
    print("\tsub\t$29,$29,%d\n", framesize);
  }
  saved = maxargoffset;
  for (i = 16; i < 32; i++) {
    if (usedmask[IREG] & (1 << i)) {
      print("\tstw\t$%d,$29,%d\n", i, saved);
      saved += 4;
    }
  }
  for (i = 0; i < 4 && callee[i] != NULL; i++) {
    r = argregs[i];
    if (r && r->x.regnode != callee[i]->x.regnode) {
      Symbol out = callee[i];
      Symbol in = caller[i];
      int rn = r->x.regnode->number;
      int rs = r->x.regnode->set;
      int tyin = ttob(in->type);
      assert(out && in && r && r->x.regnode);
      assert(out->sclass != REGISTER || out->x.regnode);
      if (out->sclass == REGISTER &&
          (isint(out->type) || out->type == in->type)) {
        int outn = out->x.regnode->number;
        print("\tadd\t$%d,$0,$%d\n", outn, rn);
      } else {
        int off = in->x.offset + framesize;
        int n = (in->type->size + 3) / 4;
        int i;
        for (i = rn; i < rn + n && i <= 7; i++) {
          print("\tstw\t$%d,$29,%d\n", i, off + (i - rn) * 4);
        }
      }
    }
  }
  if (variadic(f->type) && callee[i - 1] != NULL) {
    i = callee[i - 1]->x.offset + callee[i - 1]->type->size;
    for (i = roundup(i, 4)/4; i <= 3; i++) {
      print("\tstw\t$%d,$29,%d\n", i + 4, framesize + 4 * i);
    }
  }
  emitcode();
  saved = maxargoffset;
  for (i = 16; i < 32; i++) {
    if (usedmask[IREG] & (1 << i)) {
      print("\tldw\t$%d,$29,%d\n", i, saved);
      saved += 4;
    }
  }
  if (framesize > 0) {
    print("\tadd\t$29,$29,%d\n", framesize);
  }
  print("\tjr\t$31\n");
  print("\n");
}


static void global(Symbol s) {
  print("\t.align\t%d\n", s->type->align);
  print("%s:\n", s->x.name);
}


static void import(Symbol s) {
  print("\t.import\t%s\n", s->name);
}


static void local(Symbol s) {
  if (askregvar(s, rmap(ttob(s->type))) == 0) {
    mkauto(s);
  }
}


static void setSwap(void) {
  union {
    char c;
    int i;
  } u;

  u.i = 0;
  u.c = 1;
  swap = ((u.i == 1) != IR->little_endian);
}


static void progbeg(int argc, char *argv[]) {
  int i;

  setSwap();
  segment(CODE);
  parseflags(argc, argv);
  for (i = 0; i < 32; i++) {
    ireg[i] = mkreg("%d", i, 1, IREG);
  }
  iregw = mkwildcard(ireg);
  for (i = 0; i < 32; i += 2) {
    freg2[i] = mkreg("%d", i, 3, FREG);
  }
  freg2w = mkwildcard(freg2);
  tmask[IREG] = INTTMP;
  vmask[IREG] = INTVAR;
  tmask[FREG] = FLTTMP;
  vmask[FREG] = FLTVAR;
}


static void progend(void) {
}


static void segment(int n) {
  static int currSeg = -1;
  int newSeg;

  switch (n) {
    case CODE:
      newSeg = CODE;
      break;
    case BSS:
      newSeg = BSS;
      break;
    case DATA:
      newSeg = DATA;
      break;
    case LIT:
      newSeg = DATA;
      break;
  }
  if (currSeg == newSeg) {
    return;
  }
  switch (newSeg) {
    case CODE:
      print("\t.code\n");
      break;
    case BSS:
      print("\t.bss\n");
      break;
    case DATA:
      print("\t.data\n");
      break;
  }
  currSeg = newSeg;
}


static void space(int n) {
  print("\t.space\t%d\n", n);
}


static Symbol rmap(int opk) {
  switch (optype(opk)) {
    case I:
    case U:
    case P:
    case B:
      return iregw;
    case F:
      return freg2w;
    default:
      return 0;
  }
}


static void blkfetch(int n1, int n2, int n3, int n4) {
  /* not supported yet */
}


static void blkstore(int n1, int n2, int n3, int n4) {
  /* not supported yet */
}


static void blkloop(int n1, int n2, int n3, int n4, int n5, int n6[]) {
  /* not supported yet */
}


static void emit2(Node p) {
  static int ty0;
  int ty, sz;
  Symbol q;
  int src;

  switch (specific(p->op)) {
    case ARG+I:
    case ARG+P:
    case ARG+U:
      ty = optype(p->op);
      sz = opsize(p->op);
      if (p->x.argno == 0) {
        ty0 = ty;
      }
      q = argreg(p->x.argno, p->syms[2]->u.c.v.i, ty, sz, ty0);
      src = getregnum(p->x.kids[0]);
      if (q == NULL) {
        print("\tstw\t$%d,$29,%d\n", src, p->syms[2]->u.c.v.i);
      }
      break;
  }
}


static void doarg(Node p) {
  static int argno;
  int align;

  if (argoffset == 0) {
    argno = 0;
  }
  p->x.argno = argno++;
  align = p->syms[1]->u.c.v.i < 4 ? 4 : p->syms[1]->u.c.v.i;
  p->syms[2] = intconst(mkactual(align, p->syms[0]->u.c.v.i));
}


static void target(Node p) {
  static int ty0;
  int ty;
  Symbol q;

  assert(p);
  switch (specific(p->op)) {
    case CNST+I:
    case CNST+P:
    case CNST+U:
      if (range(p, 0, 0) == 0) {
        setreg(p, ireg[0]);
        p->x.registered = 1;
      }
      break;
    case CALL+I:
    case CALL+P:
    case CALL+U:
      rtarget(p, 0, ireg[25]);
      setreg(p, ireg[2]);
      break;
    case CALL+V:
      rtarget(p, 0, ireg[25]);
      break;
    case RET+I:
    case RET+P:
    case RET+U:
      rtarget(p, 0, ireg[2]);
      break;
    case ARG+I:
    case ARG+P:
    case ARG+U:
      ty = optype(p->op);
      q = argreg(p->x.argno, p->syms[2]->u.c.v.i, ty, opsize(p->op), ty0);
      if (p->x.argno == 0) {
        ty0 = ty;
      }
      if (q && !(ty == F && q->x.regnode->set == IREG)) {
        rtarget(p, 0, q);
      }
      break;
  }
}


static void clobber(Node p) {
  assert(p);
  switch (specific(p->op)) {
    case CALL+F:
      spill(INTTMP | INTRET, IREG, p);
      spill(FLTTMP, FREG, p);
      break;
    case CALL+I:
    case CALL+P:
    case CALL+U:
      spill(INTTMP, IREG, p);
      spill(FLTTMP | FLTRET, FREG, p);
      break;
    case CALL+V:
      spill(INTTMP | INTRET, IREG, p);
      spill(FLTTMP | FLTRET, FREG, p);
      break;
  }
}


Interface eco32IR = {
  1, 1, 0,  /* char */
  2, 2, 0,  /* short */
  4, 4, 0,  /* int */
  4, 4, 0,  /* long */
  4, 4, 0,  /* long long */
  4, 4, 1,  /* float */
  8, 8, 1,  /* double */
  8, 8, 1,  /* long double */
  4, 4, 0,  /* T * */
  0, 1, 0,  /* struct */
  0,        /* little_endian */
  0,        /* mulops_calls */
  0,        /* wants_callb */
  1,        /* wants_argb */
  1,        /* left_to_right */
  0,        /* wants_dag */
  0,        /* unsigned_char */
  address,
  blockbeg,
  blockend,
  defaddress,
  defconst,
  defstring,
  defsymbol,
  emit,
  export,
  function,
  gen,
  global,
  import,
  local,
  progbeg,
  progend,
  segment,
  space,
  0, 0, 0, 0, 0, 0, 0,
  {
    1,      /* max_unaligned_load */
    rmap,
    blkfetch, blkstore, blkloop,
    _label,
    _rule,
    _nts,
    _kids,
    _string,
    _templates,
    _isinstruction,
    _ntname,
    emit2,
    doarg,
    target,
    clobber
  }
};