naming nit
[qbe.git] / all.h
blob39fda2a69ce3b24025d404e510fa3f3e46dc9d01
1 #include <assert.h>
2 #include <inttypes.h>
3 #include <limits.h>
4 #include <stdio.h>
5 #include <stdlib.h>
6 #include <string.h>
8 #define MAKESURE(what, x) typedef char make_sure_##what[(x)?1:-1]
9 #define die(...) die_(__FILE__, __VA_ARGS__)
11 typedef unsigned char uchar;
12 typedef unsigned int uint;
13 typedef unsigned long ulong;
14 typedef unsigned long long bits;
16 typedef struct BSet BSet;
17 typedef struct Ref Ref;
18 typedef struct Op Op;
19 typedef struct Ins Ins;
20 typedef struct Phi Phi;
21 typedef struct Blk Blk;
22 typedef struct Use Use;
23 typedef struct Sym Sym;
24 typedef struct Alias Alias;
25 typedef struct Tmp Tmp;
26 typedef struct Con Con;
27 typedef struct Addr Mem;
28 typedef struct Fn Fn;
29 typedef struct Typ Typ;
30 typedef struct Field Field;
31 typedef struct Dat Dat;
32 typedef struct Lnk Lnk;
33 typedef struct Target Target;
35 enum {
36 NString = 72,
37 NIns = 1 << 20,
38 NAlign = 3,
39 NField = 32,
40 NBit = CHAR_BIT * sizeof(bits),
43 struct Target {
44 char name[16];
45 char apple;
46 int gpr0; /* first general purpose reg */
47 int ngpr;
48 int fpr0; /* first floating point reg */
49 int nfpr;
50 bits rglob; /* globally live regs (e.g., sp, fp) */
51 int nrglob;
52 int *rsave; /* caller-save */
53 int nrsave[2];
54 bits (*retregs)(Ref, int[2]);
55 bits (*argregs)(Ref, int[2]);
56 int (*memargs)(int);
57 void (*abi0)(Fn *);
58 void (*abi1)(Fn *);
59 void (*isel)(Fn *);
60 void (*emitfn)(Fn *, FILE *);
61 void (*emitfin)(FILE *);
62 char asloc[4];
63 char assym[4];
66 #define BIT(n) ((bits)1 << (n))
68 enum {
69 RXX = 0,
70 Tmp0 = NBit, /* first non-reg temporary */
73 struct BSet {
74 uint nt;
75 bits *t;
78 struct Ref {
79 uint type:3;
80 uint val:29;
83 enum {
84 RTmp,
85 RCon,
86 RInt,
87 RType, /* last kind to come out of the parser */
88 RSlot,
89 RCall,
90 RMem,
93 #define R (Ref){RTmp, 0}
94 #define UNDEF (Ref){RCon, 0} /* represents uninitialized data */
95 #define CON_Z (Ref){RCon, 1}
96 #define TMP(x) (Ref){RTmp, x}
97 #define CON(x) (Ref){RCon, x}
98 #define SLOT(x) (Ref){RSlot, (x)&0x1fffffff}
99 #define TYPE(x) (Ref){RType, x}
100 #define CALL(x) (Ref){RCall, x}
101 #define MEM(x) (Ref){RMem, x}
102 #define INT(x) (Ref){RInt, (x)&0x1fffffff}
104 static inline int req(Ref a, Ref b)
106 return a.type == b.type && a.val == b.val;
109 static inline int rtype(Ref r)
111 if (req(r, R))
112 return -1;
113 return r.type;
116 static inline int rsval(Ref r)
118 return ((int32_t)r.val << 3) >> 3;
121 enum CmpI {
122 Cieq,
123 Cine,
124 Cisge,
125 Cisgt,
126 Cisle,
127 Cislt,
128 Ciuge,
129 Ciugt,
130 Ciule,
131 Ciult,
132 NCmpI,
135 enum CmpF {
136 Cfeq,
137 Cfge,
138 Cfgt,
139 Cfle,
140 Cflt,
141 Cfne,
142 Cfo,
143 Cfuo,
144 NCmpF,
145 NCmp = NCmpI + NCmpF,
148 enum O {
149 Oxxx,
150 #define O(op, x, y) O##op,
151 #include "ops.h"
152 NOp,
155 enum J {
156 Jxxx,
157 #define JMPS(X) \
158 X(retw) X(retl) X(rets) X(retd) \
159 X(retsb) X(retub) X(retsh) X(retuh) \
160 X(retc) X(ret0) X(jmp) X(jnz) \
161 X(jfieq) X(jfine) X(jfisge) X(jfisgt) \
162 X(jfisle) X(jfislt) X(jfiuge) X(jfiugt) \
163 X(jfiule) X(jfiult) X(jffeq) X(jffge) \
164 X(jffgt) X(jffle) X(jfflt) X(jffne) \
165 X(jffo) X(jffuo) X(hlt)
166 #define X(j) J##j,
167 JMPS(X)
168 #undef X
169 NJmp
172 enum {
173 Ocmpw = Oceqw,
174 Ocmpw1 = Ocultw,
175 Ocmpl = Oceql,
176 Ocmpl1 = Ocultl,
177 Ocmps = Oceqs,
178 Ocmps1 = Ocuos,
179 Ocmpd = Oceqd,
180 Ocmpd1 = Ocuod,
181 Oalloc = Oalloc4,
182 Oalloc1 = Oalloc16,
183 Oflag = Oflagieq,
184 Oflag1 = Oflagfuo,
185 NPubOp = Onop,
186 Jjf = Jjfieq,
187 Jjf1 = Jjffuo,
190 #define INRANGE(x, l, u) ((unsigned)(x) - l <= u - l) /* linear in x */
191 #define isstore(o) INRANGE(o, Ostoreb, Ostored)
192 #define isload(o) INRANGE(o, Oloadsb, Oload)
193 #define isext(o) INRANGE(o, Oextsb, Oextuw)
194 #define ispar(o) INRANGE(o, Opar, Opare)
195 #define isarg(o) INRANGE(o, Oarg, Oargv)
196 #define isret(j) INRANGE(j, Jretw, Jret0)
197 #define isparbh(o) INRANGE(o, Oparsb, Oparuh)
198 #define isargbh(o) INRANGE(o, Oargsb, Oarguh)
199 #define isretbh(j) INRANGE(j, Jretsb, Jretuh)
201 enum {
202 Kx = -1, /* "top" class (see usecheck() and clsmerge()) */
209 #define KWIDE(k) ((k)&1)
210 #define KBASE(k) ((k)>>1)
212 struct Op {
213 char *name;
214 short argcls[2][4];
215 int canfold;
218 struct Ins {
219 uint op:30;
220 uint cls:2;
221 Ref to;
222 Ref arg[2];
225 struct Phi {
226 Ref to;
227 Ref *arg;
228 Blk **blk;
229 uint narg;
230 int cls;
231 Phi *link;
234 struct Blk {
235 Phi *phi;
236 Ins *ins;
237 uint nins;
238 struct {
239 short type;
240 Ref arg;
241 } jmp;
242 Blk *s1;
243 Blk *s2;
244 Blk *link;
246 uint id;
247 uint visit;
249 Blk *idom;
250 Blk *dom, *dlink;
251 Blk **fron;
252 uint nfron;
254 Blk **pred;
255 uint npred;
256 BSet in[1], out[1], gen[1];
257 int nlive[2];
258 int loop;
259 char name[NString];
262 struct Use {
263 enum {
264 UXXX,
265 UPhi,
266 UIns,
267 UJmp,
268 } type;
269 uint bid;
270 union {
271 Ins *ins;
272 Phi *phi;
273 } u;
276 struct Sym {
277 enum {
278 SGlo,
279 SThr,
280 } type;
281 uint32_t id;
284 enum {
285 NoAlias,
286 MayAlias,
287 MustAlias
290 struct Alias {
291 enum {
292 ABot = 0,
293 ALoc = 1, /* stack local */
294 ACon = 2,
295 AEsc = 3, /* stack escaping */
296 ASym = 4,
297 AUnk = 6,
298 #define astack(t) ((t) & 1)
299 } type;
300 int base;
301 int64_t offset;
302 union {
303 Sym sym;
304 struct {
305 int sz; /* -1 if > NBit */
306 bits m;
307 } loc;
308 } u;
309 Alias *slot;
312 struct Tmp {
313 char name[NString];
314 Ins *def;
315 Use *use;
316 uint ndef, nuse;
317 uint bid; /* id of a defining block */
318 uint cost;
319 int slot; /* -1 for unset */
320 short cls;
321 struct {
322 int r; /* register or -1 */
323 int w; /* weight */
324 bits m; /* avoid these registers */
325 } hint;
326 int phi;
327 Alias alias;
328 enum {
329 WFull,
330 Wsb, /* must match Oload/Oext order */
331 Wub,
332 Wsh,
333 Wuh,
334 Wsw,
336 } width;
337 int visit;
340 struct Con {
341 enum {
342 CUndef,
343 CBits,
344 CAddr,
345 } type;
346 Sym sym;
347 union {
348 int64_t i;
349 double d;
350 float s;
351 } bits;
352 char flt; /* 1 to print as s, 2 to print as d */
355 typedef struct Addr Addr;
357 struct Addr { /* amd64 addressing */
358 Con offset;
359 Ref base;
360 Ref index;
361 int scale;
364 struct Lnk {
365 char export;
366 char thread;
367 char align;
368 char *sec;
369 char *secf;
372 struct Fn {
373 Blk *start;
374 Tmp *tmp;
375 Con *con;
376 Mem *mem;
377 int ntmp;
378 int ncon;
379 int nmem;
380 uint nblk;
381 int retty; /* index in typ[], -1 if no aggregate return */
382 Ref retr;
383 Blk **rpo;
384 bits reg;
385 int slot;
386 char vararg;
387 char dynalloc;
388 char name[NString];
389 Lnk lnk;
392 struct Typ {
393 char name[NString];
394 char isdark;
395 char isunion;
396 int align;
397 uint64_t size;
398 uint nunion;
399 struct Field {
400 enum {
401 FEnd,
408 FPad,
409 FTyp,
410 } type;
411 uint len; /* or index in typ[] for FTyp */
412 } (*fields)[NField+1];
415 struct Dat {
416 enum {
417 DStart,
418 DEnd,
424 } type;
425 char *name;
426 Lnk *lnk;
427 union {
428 int64_t num;
429 double fltd;
430 float flts;
431 char *str;
432 struct {
433 char *name;
434 int64_t off;
435 } ref;
436 } u;
437 char isref;
438 char isstr;
441 /* main.c */
442 extern Target T;
443 extern char debug['Z'+1];
445 /* util.c */
446 typedef enum {
447 PHeap, /* free() necessary */
448 PFn, /* discarded after processing the function */
449 } Pool;
451 extern Typ *typ;
452 extern Ins insb[NIns], *curi;
453 uint32_t hash(char *);
454 void die_(char *, char *, ...) __attribute__((noreturn));
455 void *emalloc(size_t);
456 void *alloc(size_t);
457 void freeall(void);
458 void *vnew(ulong, size_t, Pool);
459 void vfree(void *);
460 void vgrow(void *, ulong);
461 void strf(char[NString], char *, ...);
462 uint32_t intern(char *);
463 char *str(uint32_t);
464 int argcls(Ins *, int);
465 int isreg(Ref);
466 int iscmp(int, int *, int *);
467 void emit(int, int, Ref, Ref, Ref);
468 void emiti(Ins);
469 void idup(Ins **, Ins *, ulong);
470 Ins *icpy(Ins *, Ins *, ulong);
471 int cmpop(int);
472 int cmpneg(int);
473 int clsmerge(short *, short);
474 int phicls(int, Tmp *);
475 Ref newtmp(char *, int, Fn *);
476 void chuse(Ref, int, Fn *);
477 int symeq(Sym, Sym);
478 Ref newcon(Con *, Fn *);
479 Ref getcon(int64_t, Fn *);
480 int addcon(Con *, Con *);
481 void salloc(Ref, Ref, Fn *);
482 void dumpts(BSet *, Tmp *, FILE *);
484 void bsinit(BSet *, uint);
485 void bszero(BSet *);
486 uint bscount(BSet *);
487 void bsset(BSet *, uint);
488 void bsclr(BSet *, uint);
489 void bscopy(BSet *, BSet *);
490 void bsunion(BSet *, BSet *);
491 void bsinter(BSet *, BSet *);
492 void bsdiff(BSet *, BSet *);
493 int bsequal(BSet *, BSet *);
494 int bsiter(BSet *, int *);
496 static inline int
497 bshas(BSet *bs, uint elt)
499 assert(elt < bs->nt * NBit);
500 return (bs->t[elt/NBit] & BIT(elt%NBit)) != 0;
503 /* parse.c */
504 extern Op optab[NOp];
505 void parse(FILE *, char *, void (Dat *), void (Fn *));
506 void printfn(Fn *, FILE *);
507 void printref(Ref, Fn *, FILE *);
508 void err(char *, ...) __attribute__((noreturn));
510 /* abi.c */
511 void elimsb(Fn *);
513 /* cfg.c */
514 Blk *blknew(void);
515 void edgedel(Blk *, Blk **);
516 void fillpreds(Fn *);
517 void fillrpo(Fn *);
518 void filldom(Fn *);
519 int sdom(Blk *, Blk *);
520 int dom(Blk *, Blk *);
521 void fillfron(Fn *);
522 void loopiter(Fn *, void (*)(Blk *, Blk *));
523 void fillloop(Fn *);
524 void simpljmp(Fn *);
526 /* mem.c */
527 void promote(Fn *);
528 void coalesce(Fn *);
530 /* alias.c */
531 void fillalias(Fn *);
532 void getalias(Alias *, Ref, Fn *);
533 int alias(Ref, int, int, Ref, int, int *, Fn *);
534 int escapes(Ref, Fn *);
536 /* load.c */
537 int loadsz(Ins *);
538 int storesz(Ins *);
539 void loadopt(Fn *);
541 /* ssa.c */
542 void filluse(Fn *);
543 void fillpreds(Fn *);
544 void fillrpo(Fn *);
545 void ssa(Fn *);
546 void ssacheck(Fn *);
548 /* copy.c */
549 void copy(Fn *);
551 /* fold.c */
552 void fold(Fn *);
554 /* simpl.c */
555 void simpl(Fn *);
557 /* live.c */
558 void liveon(BSet *, Blk *, Blk *);
559 void filllive(Fn *);
561 /* spill.c */
562 void fillcost(Fn *);
563 void spill(Fn *);
565 /* rega.c */
566 void rega(Fn *);
568 /* emit.c */
569 void emitfnlnk(char *, Lnk *, FILE *);
570 void emitdat(Dat *, FILE *);
571 int stashbits(void *, int);
572 void elf_emitfnfin(char *, FILE *);
573 void elf_emitfin(FILE *);
574 void macho_emitfin(FILE *);