@designliquido/delegua 1.26.0 → 1.26.2

package/tradutores/x64/alocador-registradores.d.ts

@@ -0,0 +1,29 @@
+import { IRFuncao } from './ir';
+export type Alocacao = {
+    tipo: 'registrador';
+    fisico: string;
+} | {
+    tipo: 'pilha';
+    offsetBytes: number;
+};
+export interface ResultadoAlocacao {
+    alocacao: Map<string, Alocacao>;
+    /** Bytes de pilha reservados só para slots de spill (função ainda soma vetores locais por cima). */
+    tamanhoSpillBytes: number;
+}
+/**
+ * Aloca registradores por coloração de grafo (Chaitin: simplifica removendo nós de grau
+ * < k, desempata heurística de spill pelo maior grau, depois seleciona cores na ordem
+ * inversa da pilha de simplificação).
+ *
+ * Simplificação deliberada em relação ao Chaitin-Briggs "clássico": um nó que não
+ * consegue cor na seleção não gera reescrita do IR com nova ronda de vivacidade — ele é
+ * marcado como residente em memória (`pilha`) permanentemente. Como valores em memória
+ * nunca ocupam a paleta, eles não geram pressão de registrador nenhuma, e o
+ * carregamento/gravação em torno de cada uso/definição é sintetizado depois, direto no
+ * codegen, usando os escradores rax/rdx (sempre reservados, fora da paleta). Isso evita
+ * o laço iterativo clássico de reescrita+recoloração mantendo a alocação corretamente
+ * livre de conflitos.
+ */
+export declare function alocarRegistradores(funcao: IRFuncao, paleta: string[]): ResultadoAlocacao;
+//# sourceMappingURL=alocador-registradores.d.ts.map

package/tradutores/x64/alocador-registradores.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"alocador-registradores.d.ts","sourceRoot":"","sources":["../../../fontes/tradutores/x64/alocador-registradores.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAW,MAAM,MAAM,CAAC;AAEzC,MAAM,MAAM,QAAQ,GACd;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACvC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC;AAE7C,MAAM,WAAW,iBAAiB;IAC9B,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAChC,oGAAoG;IACpG,iBAAiB,EAAE,MAAM,CAAC;CAC7B;AAuGD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,iBAAiB,CA4EzF"}

package/tradutores/x64/alocador-registradores.js

@@ -0,0 +1,192 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.alocarRegistradores = alocarRegistradores;
+const liveness_1 = require("./liveness");
+function usosEDstDoValor(valor, saida) {
+    if (valor.classe === 'registrador')
+        saida.add(valor.nome);
+}
+/**
+ * Constrói o grafo de interferência de `funcao` (já em SSA) varrendo cada bloco de trás
+ * para frente a partir de liveOut, no estilo clássico (Appel, "Modern Compiler
+ * Implementation"). Phis são tratados como definições paralelas no topo do bloco: cada
+ * phi.dst interfere com liveIn(bloco) e com os demais phis do mesmo bloco.
+ */
+function construirGrafoInterferencia(funcao) {
+    const vivacidade = (0, liveness_1.analisarVivacidade)(funcao);
+    const grafo = new Map();
+    function no(nome) {
+        if (!grafo.has(nome))
+            grafo.set(nome, new Set());
+        return grafo.get(nome);
+    }
+    function ligar(a, b) {
+        if (a === b)
+            return;
+        no(a).add(b);
+        no(b).add(a);
+    }
+    for (const [blocoId, bloco] of funcao.blocos) {
+        const vivacidadeBloco = vivacidade.get(blocoId);
+        const live = new Set(vivacidadeBloco.liveOut);
+        for (let i = bloco.instrucoes.length - 1; i >= 0; i--) {
+            const instrucao = bloco.instrucoes[i];
+            let dst = null;
+            if (instrucao.op === 'const' ||
+                instrucao.op === 'copia' ||
+                instrucao.op === 'bin' ||
+                instrucao.op === 'neg' ||
+                instrucao.op === 'nao' ||
+                instrucao.op === 'enderecoRotulo' ||
+                instrucao.op === 'carregarGlobal' ||
+                instrucao.op === 'indiceLer') {
+                dst = instrucao.dst;
+            }
+            else if (instrucao.op === 'chamada') {
+                dst = instrucao.dst;
+            }
+            if (dst) {
+                no(dst);
+                for (const outro of live)
+                    ligar(dst, outro);
+                live.delete(dst);
+            }
+            const usos = new Set();
+            switch (instrucao.op) {
+                case 'copia':
+                    usosEDstDoValor(instrucao.src, usos);
+                    break;
+                case 'bin':
+                    usosEDstDoValor(instrucao.esquerda, usos);
+                    usosEDstDoValor(instrucao.direita, usos);
+                    break;
+                case 'neg':
+                case 'nao':
+                    usosEDstDoValor(instrucao.src, usos);
+                    break;
+                case 'indiceLer':
+                    usosEDstDoValor(instrucao.indice, usos);
+                    break;
+                case 'indiceEscrever':
+                    usosEDstDoValor(instrucao.indice, usos);
+                    usosEDstDoValor(instrucao.valor, usos);
+                    break;
+                case 'armazenarGlobal':
+                    usosEDstDoValor(instrucao.valor, usos);
+                    break;
+                case 'chamada':
+                    for (const argumento of instrucao.argumentos)
+                        usosEDstDoValor(argumento, usos);
+                    break;
+                case 'imprimirNumero':
+                    usosEDstDoValor(instrucao.valor, usos);
+                    break;
+                default:
+                    break;
+            }
+            for (const reg of usos)
+                live.add(reg);
+        }
+        for (let i = 0; i < bloco.phis.length; i++) {
+            const phi = bloco.phis[i];
+            no(phi.dst);
+            for (const outro of live)
+                ligar(phi.dst, outro);
+            for (let j = 0; j < bloco.phis.length; j++) {
+                if (i !== j)
+                    ligar(phi.dst, bloco.phis[j].dst);
+            }
+        }
+    }
+    return grafo;
+}
+/**
+ * Aloca registradores por coloração de grafo (Chaitin: simplifica removendo nós de grau
+ * < k, desempata heurística de spill pelo maior grau, depois seleciona cores na ordem
+ * inversa da pilha de simplificação).
+ *
+ * Simplificação deliberada em relação ao Chaitin-Briggs "clássico": um nó que não
+ * consegue cor na seleção não gera reescrita do IR com nova ronda de vivacidade — ele é
+ * marcado como residente em memória (`pilha`) permanentemente. Como valores em memória
+ * nunca ocupam a paleta, eles não geram pressão de registrador nenhuma, e o
+ * carregamento/gravação em torno de cada uso/definição é sintetizado depois, direto no
+ * codegen, usando os escradores rax/rdx (sempre reservados, fora da paleta). Isso evita
+ * o laço iterativo clássico de reescrita+recoloração mantendo a alocação corretamente
+ * livre de conflitos.
+ */
+function alocarRegistradores(funcao, paleta) {
+    const grafo = construirGrafoInterferencia(funcao);
+    const grauAtual = new Map();
+    for (const [no, vizinhos] of grafo)
+        grauAtual.set(no, vizinhos.size);
+    const removidos = new Set();
+    const pilha = [];
+    const todosOsNos = [...grafo.keys()];
+    function grauEfetivo(no) {
+        let grau = 0;
+        for (const vizinho of grafo.get(no)) {
+            if (!removidos.has(vizinho))
+                grau++;
+        }
+        return grau;
+    }
+    while (removidos.size < todosOsNos.length) {
+        let escolhido = null;
+        for (const no of todosOsNos) {
+            if (removidos.has(no))
+                continue;
+            if (grauEfetivo(no) < paleta.length) {
+                escolhido = no;
+                break;
+            }
+        }
+        if (!escolhido) {
+            let maiorGrau = -1;
+            for (const no of todosOsNos) {
+                if (removidos.has(no))
+                    continue;
+                const grau = grauEfetivo(no);
+                if (grau > maiorGrau) {
+                    maiorGrau = grau;
+                    escolhido = no;
+                }
+            }
+        }
+        if (!escolhido)
+            break;
+        pilha.push(escolhido);
+        removidos.add(escolhido);
+    }
+    const corPorNo = new Map();
+    const spilled = new Set();
+    while (pilha.length > 0) {
+        const no = pilha.pop();
+        const coresVizinhas = new Set();
+        for (const vizinho of grafo.get(no)) {
+            const cor = corPorNo.get(vizinho);
+            if (cor)
+                coresVizinhas.add(cor);
+        }
+        const disponivel = paleta.find((cor) => !coresVizinhas.has(cor));
+        if (disponivel) {
+            corPorNo.set(no, disponivel);
+        }
+        else {
+            spilled.add(no);
+        }
+    }
+    const alocacao = new Map();
+    let proximoSlot = 0;
+    for (const no of todosOsNos) {
+        const cor = corPorNo.get(no);
+        if (cor) {
+            alocacao.set(no, { tipo: 'registrador', fisico: cor });
+        }
+        else {
+            proximoSlot++;
+            alocacao.set(no, { tipo: 'pilha', offsetBytes: -8 * proximoSlot });
+        }
+    }
+    return { alocacao, tamanhoSpillBytes: 8 * proximoSlot };
+}
+//# sourceMappingURL=alocador-registradores.js.map

package/tradutores/x64/alocador-registradores.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"alocador-registradores.js","sourceRoot":"","sources":["../../../fontes/tradutores/x64/alocador-registradores.ts"],"names":[],"mappings":";;AAgIA,kDA4EC;AA5MD,yCAAgD;AAahD,SAAS,eAAe,CAAC,KAAc,EAAE,KAAkB;IACvD,IAAI,KAAK,CAAC,MAAM,KAAK,aAAa;QAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAC9D,CAAC;AAED;;;;;GAKG;AACH,SAAS,2BAA2B,CAAC,MAAgB;IACjD,MAAM,UAAU,GAAG,IAAA,6BAAkB,EAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAE7C,SAAS,EAAE,CAAC,IAAY;QACpB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACjD,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;IAC5B,CAAC;IAED,SAAS,KAAK,CAAC,CAAS,EAAE,CAAS;QAC/B,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO;QACpB,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACb,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;IAED,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC3C,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC;QACjD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;QAE9C,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACpD,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACtC,IAAI,GAAG,GAAkB,IAAI,CAAC;YAC9B,IACI,SAAS,CAAC,EAAE,KAAK,OAAO;gBACxB,SAAS,CAAC,EAAE,KAAK,OAAO;gBACxB,SAAS,CAAC,EAAE,KAAK,KAAK;gBACtB,SAAS,CAAC,EAAE,KAAK,KAAK;gBACtB,SAAS,CAAC,EAAE,KAAK,KAAK;gBACtB,SAAS,CAAC,EAAE,KAAK,gBAAgB;gBACjC,SAAS,CAAC,EAAE,KAAK,gBAAgB;gBACjC,SAAS,CAAC,EAAE,KAAK,WAAW,EAC9B,CAAC;gBACC,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC;YACxB,CAAC;iBAAM,IAAI,SAAS,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;gBACpC,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC;YACxB,CAAC;YAED,IAAI,GAAG,EAAE,CAAC;gBACN,EAAE,CAAC,GAAG,CAAC,CAAC;gBACR,KAAK,MAAM,KAAK,IAAI,IAAI;oBAAE,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;gBAC5C,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACrB,CAAC;YAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAC/B,QAAQ,SAAS,CAAC,EAAE,EAAE,CAAC;gBACnB,KAAK,OAAO;oBACR,eAAe,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;oBACrC,MAAM;gBACV,KAAK,KAAK;oBACN,eAAe,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;oBAC1C,eAAe,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;oBACzC,MAAM;gBACV,KAAK,KAAK,CAAC;gBACX,KAAK,KAAK;oBACN,eAAe,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;oBACrC,MAAM;gBACV,KAAK,WAAW;oBACZ,eAAe,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;oBACxC,MAAM;gBACV,KAAK,gBAAgB;oBACjB,eAAe,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;oBACxC,eAAe,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;oBACvC,MAAM;gBACV,KAAK,iBAAiB;oBAClB,eAAe,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;oBACvC,MAAM;gBACV,KAAK,SAAS;oBACV,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,UAAU;wBAAE,eAAe,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;oBAC/E,MAAM;gBACV,KAAK,gBAAgB;oBACjB,eAAe,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;oBACvC,MAAM;gBACV;oBACI,MAAM;YACd,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,IAAI;gBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1C,CAAC;QAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC1B,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACZ,KAAK,MAAM,KAAK,IAAI,IAAI;gBAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzC,IAAI,CAAC,KAAK,CAAC;oBAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACnD,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC;AACjB,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAgB,mBAAmB,CAAC,MAAgB,EAAE,MAAgB;IAClE,MAAM,KAAK,GAAG,2BAA2B,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,KAAK;QAAE,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAErE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,UAAU,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAErC,SAAS,WAAW,CAAC,EAAU;QAC3B,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,CAAC;YACnC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,IAAI,EAAE,CAAC;QACxC,CAAC;QACD,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,OAAO,SAAS,CAAC,IAAI,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;QACxC,IAAI,SAAS,GAAkB,IAAI,CAAC;QAEpC,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;YAC1B,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YAChC,IAAI,WAAW,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;gBAClC,SAAS,GAAG,EAAE,CAAC;gBACf,MAAM;YACV,CAAC;QACL,CAAC;QAED,IAAI,CAAC,SAAS,EAAE,CAAC;YACb,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC;YACnB,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;gBAC1B,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;oBAAE,SAAS;gBAChC,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;gBAC7B,IAAI,IAAI,GAAG,SAAS,EAAE,CAAC;oBACnB,SAAS,GAAG,IAAI,CAAC;oBACjB,SAAS,GAAG,EAAE,CAAC;gBACnB,CAAC;YACL,CAAC;QACL,CAAC;QAED,IAAI,CAAC,SAAS;YAAE,MAAM;QACtB,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtB,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACxB,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;QACxC,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,CAAC;YACnC,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAClC,IAAI,GAAG;gBAAE,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACjE,IAAI,UAAU,EAAE,CAAC;YACb,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QACjC,CAAC;aAAM,CAAC;YACJ,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACpB,CAAC;IACL,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,GAAG,EAAE,CAAC;YACN,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAC3D,CAAC;aAAM,CAAC;YACJ,WAAW,EAAE,CAAC;YACd,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC,GAAG,WAAW,EAAE,CAAC,CAAC;QACvE,CAAC;IACL,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC;AAC5D,CAAC"}

package/tradutores/x64/codegen.d.ts

@@ -0,0 +1,43 @@
+import { Alocacao } from './alocador-registradores';
+import { IRFuncao, IRPrograma } from './ir';
+export type PlataformaAlvo = 'linux' | 'windows';
+export interface FuncaoProcessada {
+    funcao: IRFuncao;
+    alocacao: Map<string, Alocacao>;
+}
+/**
+ * Gera NASM a partir do IR já processado (SSA destruída, com alocação de registradores).
+ * Quadro de pilha de cada função real, de cima (perto de rbp) para baixo:
+ *   1) área de salvamento dos registradores callee-saved usados pela paleta (a função,
+ *      como "callee", é responsável por preservá-los perante quem a chamou);
+ *   2) slots de spill decididos pelo alocador de registradores;
+ *   3) vetores de tamanho fixo locais à função.
+ * `_start`/`main` (o "principal" implícito) não tem quem preservar registradores para —
+ * ninguém retorna para ele — então pula a área (1).
+ */
+export declare class CodegenX64 {
+    private alvo;
+    private paleta;
+    private linhas;
+    /** Deslocamento (negativo) onde começam spills/vetores da função atual, abaixo da área de registradores salvos. */
+    private deslocamentoBase;
+    constructor(alvo: PlataformaAlvo, paleta: string[]);
+    gerar(programa: IRPrograma, funcoes: FuncaoProcessada[]): string;
+    private rotuloDoBloco;
+    private resolverOperando;
+    private armazenar;
+    private enderecoBaseArranjo;
+    private gerarInstrucao;
+    private gerarBinario;
+    private gerarEnderecoIndice;
+    private gerarTerminador;
+    private gerarSaidaDoPrograma;
+    /** Offsets (relativos a rbp) dos vetores locais, logo abaixo dos slots de spill (que começam em `deslocamentoBase`). */
+    private calcularOffsetsArranjosLocais;
+    private gerarFuncaoPrincipal;
+    private gerarFuncao;
+    private tamanhoSpillBytes;
+    private gerarBlocosSemRotuloEntrada;
+    private gerarHelperImprimirNumero;
+}
+//# sourceMappingURL=codegen.d.ts.map

package/tradutores/x64/codegen.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"codegen.d.ts","sourceRoot":"","sources":["../../../fontes/tradutores/x64/codegen.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAEpD,OAAO,EAAW,QAAQ,EAAe,UAAU,EAAW,MAAM,MAAM,CAAC;AAE3E,MAAM,MAAM,cAAc,GAAG,OAAO,GAAG,SAAS,CAAC;AAEjD,MAAM,WAAW,gBAAgB;IAC7B,MAAM,EAAE,QAAQ,CAAC;IACjB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;CACnC;AAmBD;;;;;;;;;GASG;AACH,qBAAa,UAAU;IAMf,OAAO,CAAC,IAAI;IACZ,OAAO,CAAC,MAAM;IANlB,OAAO,CAAC,MAAM,CAAgB;IAC9B,mHAAmH;IACnH,OAAO,CAAC,gBAAgB,CAAK;gBAGjB,IAAI,EAAE,cAAc,EACpB,MAAM,EAAE,MAAM,EAAE;IAG5B,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,gBAAgB,EAAE,GAAG,MAAM;IA8ChE,OAAO,CAAC,aAAa;IAQrB,OAAO,CAAC,gBAAgB;IAmBxB,OAAO,CAAC,SAAS;IAUjB,OAAO,CAAC,mBAAmB;IAS3B,OAAO,CAAC,cAAc;IAmGtB,OAAO,CAAC,YAAY;IA0DpB,OAAO,CAAC,mBAAmB;IAc3B,OAAO,CAAC,eAAe;IA+BvB,OAAO,CAAC,oBAAoB;IAW5B,wHAAwH;IACxH,OAAO,CAAC,6BAA6B;IAUrC,OAAO,CAAC,oBAAoB;IAY5B,OAAO,CAAC,WAAW;IAiBnB,OAAO,CAAC,iBAAiB;IAUzB,OAAO,CAAC,2BAA2B;IAiBnC,OAAO,CAAC,yBAAyB;CA8BpC"}