ref: f6eb57283f625cbd20d5bb423331e88ddc82c8f1
dir: /6/locs.c/
#include <stdlib.h> #include <stdio.h> #include <inttypes.h> #include <stdarg.h> #include <ctype.h> #include <string.h> #include <assert.h> #include <sys/types.h> #include <sys/stat.h> #include <fcntl.h> #include <unistd.h> #include "util.h" #include "parse.h" #include "mi.h" #include "asm.h" #include "../config.h" Mode regmodes[] = { #define Reg(r, gasname, p9name, mode) mode, #include "regs.def" #undef Reg }; Loc **locmap = NULL; size_t maxregid = 0; int isintmode(Mode m) { return m == ModeB || m == ModeW || m == ModeL || m == ModeQ; } int isfloatmode(Mode m) { return m == ModeF || m == ModeD; } Loc * locstrlbl(char *lbl) { Loc *l; l = zalloc(sizeof(Loc)); l->type = Loclbl; l->mode = ModeQ; l->lbl = strdup(lbl); return l; } Loc * loclitl(char *lbl) { Loc *l; l = zalloc(sizeof(Loc)); l->type = Loclitl; l->mode = ModeQ; l->lbl = strdup(lbl); return l; } Loc * loclbl(Node *e) { Node *lbl; assert(e->type == Nexpr); lbl = e->expr.args[0]; assert(lbl->type == Nlit); assert(lbl->lit.littype == Llbl); return locstrlbl(lbl->lit.lblval); } void resetregs() { maxregid = Nreg; } static Loc * locregid(regid id, Mode m) { Loc *l; l = zalloc(sizeof(Loc)); l->type = Locreg; l->mode = m; l->reg.id = id; locmap = xrealloc(locmap, maxregid * sizeof(Loc*)); locmap[l->reg.id] = l; return l; } Loc * locreg(Mode m) { return locregid(maxregid++, m); } Loc * locphysreg(Reg r) { static Loc *physregs[Nreg] = {0,}; if (physregs[r]) return physregs[r]; physregs[r] = locreg(regmodes[r]); physregs[r]->reg.colour = r; return physregs[r]; } Loc * locmem(long disp, Loc *base, Loc *idx, Mode mode) { Loc *l; l = zalloc(sizeof(Loc)); l->type = Locmem; l->mode = mode; l->mem.constdisp = disp; l->mem.base = base; l->mem.idx = idx; l->mem.scale = 1; return l; } Loc * locmems(long disp, Loc *base, Loc *idx, int scale, Mode mode) { Loc *l; l = locmem(disp, base, idx, mode); l->mem.scale = scale; return l; } Loc * locmeml(char *disp, Loc *base, Loc *idx, Mode mode) { Loc *l; l = zalloc(sizeof(Loc)); l->type = Locmeml; l->mode = mode; l->mem.lbldisp = strdup(disp); l->mem.base = base; l->mem.idx = idx; l->mem.scale = 1; return l; } Loc * locmemls(char *disp, Loc *base, Loc *idx, int scale, Mode mode) { Loc *l; l = locmeml(disp, base, idx, mode); l->mem.scale = scale; return l; } Loc * loclit(long val, Mode m) { Loc *l; l = zalloc(sizeof(Loc)); l->type = Loclit; l->mode = m; l->lit = val; return l; } Loc * coreg(Reg r, Mode m) { Reg crtab[][Nmode + 1] = { [Ral] = {Rnone, Ral, Rax, Reax, Rrax}, [Rcl] = {Rnone, Rcl, Rcx, Recx, Rrcx}, [Rdl] = {Rnone, Rdl, Rdx, Redx, Rrdx}, [Rbl] = {Rnone, Rbl, Rbx, Rebx, Rrbx}, [Rsil] = {Rnone, Rsil, Rsi, Resi, Rrsi}, [Rdil] = {Rnone, Rdil, Rdi, Redi, Rrdi}, [Rr8b] = {Rnone, Rr8b, Rr8w, Rr8d, Rr8}, [Rr9b] = {Rnone, Rr9b, Rr9w, Rr9d, Rr9}, [Rr10b] = {Rnone, Rr10b, Rr10w, Rr10d, Rr10}, [Rr11b] = {Rnone, Rr11b, Rr11w, Rr11d, Rr11}, [Rr12b] = {Rnone, Rr12b, Rr12w, Rr12d, Rr12}, [Rr13b] = {Rnone, Rr13b, Rr13w, Rr13d, Rr13}, [Rr14b] = {Rnone, Rr14b, Rr14w, Rr14d, Rr14}, [Rr15b] = {Rnone, Rr15b, Rr15w, Rr15d, Rr15}, [Rax] = {Rnone, Ral, Rax, Reax, Rrax}, [Rcx] = {Rnone, Rcl, Rcx, Recx, Rrcx}, [Rdx] = {Rnone, Rdl, Rdx, Redx, Rrdx}, [Rbx] = {Rnone, Rbl, Rbx, Rebx, Rrbx}, [Rsi] = {Rnone, Rsil, Rsi, Resi, Rrsi}, [Rdi] = {Rnone, Rdil, Rdi, Redi, Rrdi}, [Rr8w] = {Rnone, Rr8b, Rr8w, Rr8d, Rr8}, [Rr9w] = {Rnone, Rr9b, Rr9w, Rr9d, Rr9}, [Rr10w] = {Rnone, Rr10b, Rr10w, Rr10d, Rr10}, [Rr11w] = {Rnone, Rr11b, Rr11w, Rr11d, Rr11}, [Rr12w] = {Rnone, Rr12b, Rr12w, Rr12d, Rr12}, [Rr13w] = {Rnone, Rr13b, Rr13w, Rr13d, Rr13}, [Rr14w] = {Rnone, Rr14b, Rr14w, Rr14d, Rr14}, [Rr15w] = {Rnone, Rr15b, Rr15w, Rr15d, Rr15}, [Reax] = {Rnone, Ral, Rax, Reax, Rrax}, [Recx] = {Rnone, Rcl, Rcx, Recx, Rrcx}, [Redx] = {Rnone, Rdl, Rdx, Redx, Rrdx}, [Rebx] = {Rnone, Rbl, Rbx, Rebx, Rrbx}, [Resi] = {Rnone, Rsil, Rsi, Resi, Rrsi}, [Redi] = {Rnone, Rdil, Rdi, Redi, Rrdi}, [Rr8d] = {Rnone, Rr8b, Rr8w, Rr8d, Rr8}, [Rr9d] = {Rnone, Rr9b, Rr9w, Rr9d, Rr9}, [Rr10d] = {Rnone, Rr10b, Rr10w, Rr10d, Rr10}, [Rr11d] = {Rnone, Rr11b, Rr11w, Rr11d, Rr11}, [Rr12d] = {Rnone, Rr12b, Rr12w, Rr12d, Rr12}, [Rr13d] = {Rnone, Rr13b, Rr13w, Rr13d, Rr13}, [Rr14d] = {Rnone, Rr14b, Rr14w, Rr14d, Rr14}, [Rr15d] = {Rnone, Rr15b, Rr15w, Rr15d, Rr15}, [Rrax] = {Rnone, Ral, Rax, Reax, Rrax}, [Rrcx] = {Rnone, Rcl, Rcx, Recx, Rrcx}, [Rrdx] = {Rnone, Rdl, Rdx, Redx, Rrdx}, [Rrbx] = {Rnone, Rbl, Rbx, Rebx, Rrbx}, [Rrsi] = {Rnone, Rsil, Rsi, Resi, Rrsi}, [Rrdi] = {Rnone, Rdil, Rdi, Redi, Rrdi}, [Rr8] = {Rnone, Rr8b, Rr8w, Rr8d, Rr8}, [Rr9] = {Rnone, Rr9b, Rr9w, Rr9d, Rr9}, [Rr10] = {Rnone, Rr10b, Rr10w, Rr10d, Rr10}, [Rr11] = {Rnone, Rr11b, Rr11w, Rr11d, Rr11}, [Rr12] = {Rnone, Rr12b, Rr12w, Rr12d, Rr12}, [Rr13] = {Rnone, Rr13b, Rr13w, Rr13d, Rr13}, [Rr14] = {Rnone, Rr14b, Rr14w, Rr14d, Rr14}, [Rr15] = {Rnone, Rr15b, Rr15w, Rr15d, Rr15}, [Rxmm0f] = {[ModeF] = Rxmm0f, [ModeD] = Rxmm0d}, [Rxmm1f] = {[ModeF] = Rxmm1f, [ModeD] = Rxmm1d}, [Rxmm2f] = {[ModeF] = Rxmm2f, [ModeD] = Rxmm2d}, [Rxmm3f] = {[ModeF] = Rxmm3f, [ModeD] = Rxmm3d}, [Rxmm4f] = {[ModeF] = Rxmm4f, [ModeD] = Rxmm4d}, [Rxmm5f] = {[ModeF] = Rxmm5f, [ModeD] = Rxmm5d}, [Rxmm6f] = {[ModeF] = Rxmm6f, [ModeD] = Rxmm6d}, [Rxmm7f] = {[ModeF] = Rxmm7f, [ModeD] = Rxmm7d}, [Rxmm8f] = {[ModeF] = Rxmm8f, [ModeD] = Rxmm8d}, [Rxmm9f] = {[ModeF] = Rxmm9f, [ModeD] = Rxmm9d}, [Rxmm10f] = {[ModeF] = Rxmm0f, [ModeD] = Rxmm0d}, [Rxmm11f] = {[ModeF] = Rxmm1f, [ModeD] = Rxmm1d}, [Rxmm12f] = {[ModeF] = Rxmm2f, [ModeD] = Rxmm2d}, [Rxmm13f] = {[ModeF] = Rxmm3f, [ModeD] = Rxmm3d}, [Rxmm14f] = {[ModeF] = Rxmm4f, [ModeD] = Rxmm4d}, [Rxmm15f] = {[ModeF] = Rxmm5f, [ModeD] = Rxmm5d}, [Rxmm0d] = {[ModeF] = Rxmm0f, [ModeD] = Rxmm0d}, [Rxmm1d] = {[ModeF] = Rxmm1f, [ModeD] = Rxmm1d}, [Rxmm2d] = {[ModeF] = Rxmm2f, [ModeD] = Rxmm2d}, [Rxmm3d] = {[ModeF] = Rxmm3f, [ModeD] = Rxmm3d}, [Rxmm4d] = {[ModeF] = Rxmm4f, [ModeD] = Rxmm4d}, [Rxmm5d] = {[ModeF] = Rxmm5f, [ModeD] = Rxmm5d}, [Rxmm6d] = {[ModeF] = Rxmm6f, [ModeD] = Rxmm6d}, [Rxmm7d] = {[ModeF] = Rxmm7f, [ModeD] = Rxmm7d}, [Rxmm8d] = {[ModeF] = Rxmm8f, [ModeD] = Rxmm8d}, [Rxmm9d] = {[ModeF] = Rxmm9f, [ModeD] = Rxmm9d}, [Rxmm10d] = {[ModeF] = Rxmm0f, [ModeD] = Rxmm0d}, [Rxmm11d] = {[ModeF] = Rxmm1f, [ModeD] = Rxmm1d}, [Rxmm12d] = {[ModeF] = Rxmm2f, [ModeD] = Rxmm2d}, [Rxmm13d] = {[ModeF] = Rxmm3f, [ModeD] = Rxmm3d}, [Rxmm14d] = {[ModeF] = Rxmm4f, [ModeD] = Rxmm4d}, [Rxmm15d] = {[ModeF] = Rxmm5f, [ModeD] = Rxmm5d}, }; assert(crtab[r][m] != Rnone); return locphysreg(crtab[r][m]); }