#include "common.h"

enum irclass {
   KXXX,
   KI4, KI8, KIP,
   KF4, KF8,
};

#define kisint(k) in_range((k), KI4, KIP)
#define kisflt(k) in_range((k), KF4, KF8)

union irtype {
   struct { ushort isagg : 1, cls : 15; };
   struct { ushort _     : 1, dat : 15; };
   ushort bits;
};

struct irdat {
   uchar align : 7, mut : 1;
   uint siz;
   union {
      vec_of(uchar) dat;
      uchar sdat[8];
   };
   struct symref {
      struct symref *next;
      const char *sym;
      uint off;
      vlong addend;
   } *syms;
};

struct xcon {
   bool issym;
   uchar cls;
   union {
      const char *sym;
      int i4;
      vlong i8;
      float fs;
      double fd;
   };
};

struct ircall {
   short narg;
   short vararg; /* first variadic arg or -1 */
   union irtype *typs;
   union irref *args;
};

enum irrefkind {
   RNONE, RTMP, RARG, RICON, RXCON, RSYM, RCALL
};

union irref {
   struct { uint t : 3, idx : 29; };
   struct { signed _0: 3, i : 29; }; /* RICON */
   uint bits;
};

enum op {
   Oxxx,
#define _(o,...) O##o,
#include "op.def"
#undef _
};

struct instr {
   uchar op;
   uchar cls;
   union irref l;
   union irref r;
};

enum jumpkind {
   JXXX, Jb, Jbcnd, Jret, Jrets,
};

struct block {
   int id;
   struct block *s1, *s2;
   struct { uchar t; union irref arg; } jmp;   
   vec_of(ushort) ins;
   struct block *lprev, *lnext;
};

struct function {
   struct arena *arena;
   const char *name;
   struct block *entry, *curblk;
   union type fnty, retty, *paramty;
   uint nblk;
   uint nparam;
   bool globl;
};

extern uchar type2cls[];
extern uchar cls2siz[];
extern const uchar siz2intcls[];
void irinit(struct function *);
#define NOREF ((union irref) {0})
#define mkref(t, x) ((union irref) {{ (t), (x) }})
#define mkzerocon() ((union irref){ RICON, 0 })
union irtype mkirtype(union type);
union irref mkintcon(struct function *, enum irclass, vlong);
union irref mkfltcon(struct function *, enum irclass, double);
union irref mksymref(struct function *, const char *);
void conputdat(struct irdat *, uint off, enum typetag t, const void *dat);
union irref mkcall(struct function *, union type fnty, uint narg, union irref *, union irtype *);
union irref addinstr(struct function *, struct instr);
struct block *newblk(struct function *);
void useblk(struct function *, struct block *);
void putjump(struct function *, enum jumpkind, union irref arg, struct block *t, struct block *f);
void irdump(struct function *, const char *fname);

/* vim:set ts=3 sw=3 expandtab: */