@designliquido/delegua 1.26.1 → 1.26.2

package/tradutores/x64/codegen.js

@@ -0,0 +1,416 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.CodegenX64 = void 0;
+const dominancia_1 = require("./dominancia");
+const ESCRATCH_A = 'rax';
+const ESCRATCH_B = 'r11';
+const ESCRATCH_ENDERECO = 'rdx';
+function registradoresAbi(alvo) {
+    return alvo === 'linux' ? ['rdi', 'rsi', 'rdx', 'rcx', 'r8', 'r9'] : ['rcx', 'rdx', 'r8', 'r9'];
+}
+function escaparTextoNasm(valor) {
+    const partes = valor.split("'");
+    return partes.map((parte) => `'${parte}'`).join(', 39, ');
+}
+function textoOffset(offset) {
+    return offset >= 0 ? `+${offset}` : `${offset}`;
+}
+/**
+ * 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).
+ */
+class CodegenX64 {
+    constructor(alvo, paleta) {
+        this.alvo = alvo;
+        this.paleta = paleta;
+        this.linhas = [];
+        /** Deslocamento (negativo) onde começam spills/vetores da função atual, abaixo da área de registradores salvos. */
+        this.deslocamentoBase = 0;
+    }
+    gerar(programa, funcoes) {
+        const bss = [];
+        const dados = [];
+        for (const nome of programa.globaisEscalares.keys()) {
+            bss.push(`    g_${nome} resq 1`);
+        }
+        for (const [nome, info] of programa.globaisArranjos) {
+            bss.push(`    g_${nome} resq ${info.tamanho}`);
+        }
+        bss.push('    __print_buf resb 24');
+        for (const [rotulo, texto] of programa.literaisTexto) {
+            dados.push(`    ${rotulo}: db ${escaparTextoNasm(texto)}, 0`);
+            dados.push(`    tam_${rotulo} equ $ - ${rotulo} - 1`);
+        }
+        if (this.alvo === 'windows') {
+            dados.push(`    __fmt_int db '%d', 10, 0`);
+        }
+        this.linhas = [];
+        this.linhas.push('section .text');
+        this.linhas.push(`    ${this.alvo === 'linux' ? 'global _start' : 'global main'}`);
+        if (this.alvo === 'windows')
+            this.linhas.push('extern printf');
+        const principal = funcoes.find((f) => f.funcao.ehImplicitaTopo);
+        const outras = funcoes.filter((f) => !f.funcao.ehImplicitaTopo);
+        this.gerarFuncaoPrincipal(principal);
+        for (const processada of outras) {
+            this.gerarFuncao(processada);
+        }
+        this.gerarHelperImprimirNumero();
+        return ('section .bss\n' +
+            bss.join('\n') +
+            '\n\nsection .data\n' +
+            dados.join('\n') +
+            '\n\n' +
+            this.linhas.join('\n') +
+            '\n');
+    }
+    rotuloDoBloco(funcao, blocoId) {
+        if (blocoId === funcao.blocoEntrada) {
+            if (funcao.ehImplicitaTopo)
+                return this.alvo === 'linux' ? '_start' : 'main';
+            return funcao.nome;
+        }
+        return `${funcao.ehImplicitaTopo ? 'principal' : funcao.nome}_${blocoId}`;
+    }
+    resolverOperando(valor, alocacao) {
+        switch (valor.classe) {
+            case 'constante':
+                if (typeof valor.valor === 'boolean')
+                    return valor.valor ? '1' : '0';
+                return String(valor.valor);
+            case 'registrador': {
+                const local = alocacao.get(valor.nome);
+                if (!local)
+                    throw new Error(`codegen: registrador '${valor.nome}' sem alocação.`);
+                return local.tipo === 'registrador'
+                    ? local.fisico
+                    : `[rbp${textoOffset(this.deslocamentoBase + local.offsetBytes)}]`;
+            }
+            case 'argumentoFisico':
+                return registradoresAbi(this.alvo)[valor.indice];
+            case 'rotulo':
+                return valor.nome;
+        }
+    }
+    armazenar(dst, alocacao, regFisicoOrigem) {
+        const local = alocacao.get(dst);
+        if (!local)
+            throw new Error(`codegen: destino '${dst}' sem alocação.`);
+        if (local.tipo === 'registrador') {
+            if (local.fisico !== regFisicoOrigem)
+                this.linhas.push(`    mov ${local.fisico}, ${regFisicoOrigem}`);
+        }
+        else {
+            this.linhas.push(`    mov [rbp${textoOffset(this.deslocamentoBase + local.offsetBytes)}], ${regFisicoOrigem}`);
+        }
+    }
+    enderecoBaseArranjo(nomeArranjo, offsetsArranjosLocais) {
+        const offsetLocal = offsetsArranjosLocais.get(nomeArranjo);
+        if (offsetLocal !== undefined)
+            return `rbp${textoOffset(offsetLocal)}`;
+        return this.alvo === 'linux' ? `g_${nomeArranjo}` : `rel g_${nomeArranjo}`;
+    }
+    gerarInstrucao(instrucao, alocacao, offsetsArranjosLocais) {
+        switch (instrucao.op) {
+            case 'const':
+                this.linhas.push(`    mov ${ESCRATCH_A}, ${instrucao.valor}`);
+                this.armazenar(instrucao.dst, alocacao, ESCRATCH_A);
+                break;
+            case 'copia':
+                this.linhas.push(`    mov ${ESCRATCH_A}, ${this.resolverOperando(instrucao.src, alocacao)}`);
+                this.armazenar(instrucao.dst, alocacao, ESCRATCH_A);
+                break;
+            case 'bin':
+                this.gerarBinario(instrucao, alocacao);
+                break;
+            case 'neg':
+                this.linhas.push(`    mov ${ESCRATCH_A}, ${this.resolverOperando(instrucao.src, alocacao)}`);
+                this.linhas.push(`    neg ${ESCRATCH_A}`);
+                this.armazenar(instrucao.dst, alocacao, ESCRATCH_A);
+                break;
+            case 'nao':
+                this.linhas.push(`    mov ${ESCRATCH_A}, ${this.resolverOperando(instrucao.src, alocacao)}`);
+                this.linhas.push(`    cmp ${ESCRATCH_A}, 0`);
+                this.linhas.push(`    sete al`);
+                this.linhas.push(`    movzx ${ESCRATCH_A}, al`);
+                this.armazenar(instrucao.dst, alocacao, ESCRATCH_A);
+                break;
+            case 'enderecoRotulo':
+                if (this.alvo === 'linux') {
+                    this.linhas.push(`    mov ${ESCRATCH_A}, ${instrucao.rotulo}`);
+                }
+                else {
+                    this.linhas.push(`    lea ${ESCRATCH_A}, [rel ${instrucao.rotulo}]`);
+                }
+                this.armazenar(instrucao.dst, alocacao, ESCRATCH_A);
+                break;
+            case 'carregarGlobal':
+                this.linhas.push(`    mov ${ESCRATCH_A}, [g_${instrucao.rotulo}]`);
+                this.armazenar(instrucao.dst, alocacao, ESCRATCH_A);
+                break;
+            case 'armazenarGlobal':
+                this.linhas.push(`    mov ${ESCRATCH_A}, ${this.resolverOperando(instrucao.valor, alocacao)}`);
+                this.linhas.push(`    mov [g_${instrucao.rotulo}], ${ESCRATCH_A}`);
+                break;
+            case 'indiceLer':
+                this.gerarEnderecoIndice(instrucao.arranjo, instrucao.indice, alocacao, offsetsArranjosLocais);
+                this.linhas.push(`    mov ${ESCRATCH_A}, [${ESCRATCH_ENDERECO}]`);
+                this.armazenar(instrucao.dst, alocacao, ESCRATCH_A);
+                break;
+            case 'indiceEscrever':
+                this.gerarEnderecoIndice(instrucao.arranjo, instrucao.indice, alocacao, offsetsArranjosLocais);
+                this.linhas.push(`    push ${ESCRATCH_ENDERECO}`);
+                this.linhas.push(`    mov ${ESCRATCH_A}, ${this.resolverOperando(instrucao.valor, alocacao)}`);
+                this.linhas.push(`    pop ${ESCRATCH_ENDERECO}`);
+                this.linhas.push(`    mov [${ESCRATCH_ENDERECO}], ${ESCRATCH_A}`);
+                break;
+            case 'chamada': {
+                const registradores = registradoresAbi(this.alvo);
+                if (instrucao.argumentos.length > registradores.length) {
+                    throw new Error(`Chamada a '${instrucao.rotulo}' com ${instrucao.argumentos.length} argumentos excede o ` +
+                        `limite de ${registradores.length} suportado pelo tradutor para x64 (${this.alvo}).`);
+                }
+                instrucao.argumentos.forEach((argumento, indice) => {
+                    this.linhas.push(`    mov ${registradores[indice]}, ${this.resolverOperando(argumento, alocacao)}`);
+                });
+                this.linhas.push(`    call ${instrucao.rotulo}`);
+                if (instrucao.dst)
+                    this.armazenar(instrucao.dst, alocacao, 'rax');
+                break;
+            }
+            case 'imprimirNumero':
+                this.linhas.push(`    mov rax, ${this.resolverOperando(instrucao.valor, alocacao)}`);
+                if (this.alvo === 'linux') {
+                    this.linhas.push('    call __delegua_print_int');
+                }
+                else {
+                    this.linhas.push('    mov rdx, rax');
+                    this.linhas.push('    lea rcx, [rel __fmt_int]');
+                    this.linhas.push('    call printf');
+                }
+                break;
+            case 'imprimirTexto':
+                if (this.alvo === 'linux') {
+                    this.linhas.push(`    mov edx, tam_${instrucao.rotulo}`);
+                    this.linhas.push(`    mov ecx, ${instrucao.rotulo}`);
+                    this.linhas.push('    mov ebx, 1');
+                    this.linhas.push('    mov eax, 4');
+                    this.linhas.push('    int 0x80');
+                }
+                else {
+                    this.linhas.push(`    lea rcx, [rel ${instrucao.rotulo}]`);
+                    this.linhas.push('    call printf');
+                }
+                break;
+            case 'lerEntradaTexto':
+                break;
+        }
+    }
+    gerarBinario(instrucao, alocacao) {
+        this.linhas.push(`    mov ${ESCRATCH_A}, ${this.resolverOperando(instrucao.esquerda, alocacao)}`);
+        this.linhas.push(`    mov ${ESCRATCH_B}, ${this.resolverOperando(instrucao.direita, alocacao)}`);
+        switch (instrucao.operador) {
+            case '+':
+                this.linhas.push(`    add ${ESCRATCH_A}, ${ESCRATCH_B}`);
+                break;
+            case '-':
+                this.linhas.push(`    sub ${ESCRATCH_A}, ${ESCRATCH_B}`);
+                break;
+            case '*':
+                this.linhas.push(`    imul ${ESCRATCH_A}, ${ESCRATCH_B}`);
+                break;
+            case '/':
+                this.linhas.push('    cqo');
+                this.linhas.push(`    idiv ${ESCRATCH_B}`);
+                break;
+            case '%':
+                this.linhas.push('    cqo');
+                this.linhas.push(`    idiv ${ESCRATCH_B}`);
+                this.linhas.push(`    mov ${ESCRATCH_A}, rdx`);
+                break;
+            case '<':
+                this.linhas.push(`    cmp ${ESCRATCH_A}, ${ESCRATCH_B}`);
+                this.linhas.push('    setl al');
+                this.linhas.push(`    movzx ${ESCRATCH_A}, al`);
+                break;
+            case '>':
+                this.linhas.push(`    cmp ${ESCRATCH_A}, ${ESCRATCH_B}`);
+                this.linhas.push('    setg al');
+                this.linhas.push(`    movzx ${ESCRATCH_A}, al`);
+                break;
+            case '<=':
+                this.linhas.push(`    cmp ${ESCRATCH_A}, ${ESCRATCH_B}`);
+                this.linhas.push('    setle al');
+                this.linhas.push(`    movzx ${ESCRATCH_A}, al`);
+                break;
+            case '>=':
+                this.linhas.push(`    cmp ${ESCRATCH_A}, ${ESCRATCH_B}`);
+                this.linhas.push('    setge al');
+                this.linhas.push(`    movzx ${ESCRATCH_A}, al`);
+                break;
+            case '==':
+                this.linhas.push(`    cmp ${ESCRATCH_A}, ${ESCRATCH_B}`);
+                this.linhas.push('    sete al');
+                this.linhas.push(`    movzx ${ESCRATCH_A}, al`);
+                break;
+            case '!=':
+                this.linhas.push(`    cmp ${ESCRATCH_A}, ${ESCRATCH_B}`);
+                this.linhas.push('    setne al');
+                this.linhas.push(`    movzx ${ESCRATCH_A}, al`);
+                break;
+        }
+        this.armazenar(instrucao.dst, alocacao, ESCRATCH_A);
+    }
+    gerarEnderecoIndice(nomeArranjo, indice, alocacao, offsetsArranjosLocais) {
+        const base = this.enderecoBaseArranjo(nomeArranjo, offsetsArranjosLocais);
+        this.linhas.push(`    mov ${ESCRATCH_A}, ${this.resolverOperando(indice, alocacao)}`);
+        this.linhas.push(`    mov ${ESCRATCH_B}, 8`);
+        this.linhas.push(`    imul ${ESCRATCH_A}, ${ESCRATCH_B}`);
+        this.linhas.push(`    lea ${ESCRATCH_ENDERECO}, [${base}]`);
+        this.linhas.push(`    add ${ESCRATCH_ENDERECO}, ${ESCRATCH_A}`);
+    }
+    gerarTerminador(bloco, funcao, alocacao, ehPrincipal) {
+        switch (bloco.terminador.op) {
+            case 'salto':
+                this.linhas.push(`    jmp ${this.rotuloDoBloco(funcao, bloco.terminador.alvo)}`);
+                break;
+            case 'saltoCondicional': {
+                const condicao = this.resolverOperando(bloco.terminador.condicao, alocacao);
+                this.linhas.push(`    mov ${ESCRATCH_A}, ${condicao}`);
+                this.linhas.push(`    cmp ${ESCRATCH_A}, 0`);
+                this.linhas.push(`    jne ${this.rotuloDoBloco(funcao, bloco.terminador.verdadeiro)}`);
+                this.linhas.push(`    jmp ${this.rotuloDoBloco(funcao, bloco.terminador.falso)}`);
+                break;
+            }
+            case 'retorno':
+                if (ehPrincipal) {
+                    this.gerarSaidaDoPrograma();
+                }
+                else {
+                    if (bloco.terminador.valor) {
+                        this.linhas.push(`    mov rax, ${this.resolverOperando(bloco.terminador.valor, alocacao)}`);
+                    }
+                    this.paleta.forEach((registrador, indice) => {
+                        this.linhas.push(`    mov ${registrador}, [rbp${textoOffset(-8 * (indice + 1))}]`);
+                    });
+                    this.linhas.push('    mov rsp, rbp');
+                    this.linhas.push('    pop rbp');
+                    this.linhas.push('    ret');
+                }
+                break;
+        }
+    }
+    gerarSaidaDoPrograma() {
+        if (this.alvo === 'linux') {
+            this.linhas.push('    mov eax, 1');
+            this.linhas.push('    xor ebx, ebx');
+            this.linhas.push('    int 0x80');
+        }
+        else {
+            this.linhas.push('    xor eax, eax');
+            this.linhas.push('    ret');
+        }
+    }
+    /** Offsets (relativos a rbp) dos vetores locais, logo abaixo dos slots de spill (que começam em `deslocamentoBase`). */
+    calcularOffsetsArranjosLocais(funcao, spillBytes) {
+        const offsets = new Map();
+        let offsetAtual = this.deslocamentoBase - spillBytes;
+        for (const [nome, info] of funcao.arranjosLocais) {
+            offsetAtual -= 8 * info.tamanho;
+            offsets.set(nome, offsetAtual);
+        }
+        return { offsets, bytes: -offsetAtual };
+    }
+    gerarFuncaoPrincipal(processada) {
+        this.deslocamentoBase = 0;
+        const spillBytes = this.tamanhoSpillBytes(processada);
+        const { offsets, bytes } = this.calcularOffsetsArranjosLocais(processada.funcao, spillBytes);
+        const quadro = arredondarPara16(bytes);
+        this.linhas.push(`${this.alvo === 'linux' ? '_start' : 'main'}:`);
+        this.linhas.push('    mov rbp, rsp');
+        if (quadro > 0)
+            this.linhas.push(`    sub rsp, ${quadro}`);
+        this.gerarBlocosSemRotuloEntrada(processada, offsets, true);
+    }
+    gerarFuncao(processada) {
+        this.deslocamentoBase = -8 * this.paleta.length;
+        const spillBytes = this.tamanhoSpillBytes(processada);
+        const { offsets, bytes } = this.calcularOffsetsArranjosLocais(processada.funcao, spillBytes);
+        const quadro = arredondarPara16(bytes);
+        this.linhas.push(`${processada.funcao.nome}:`);
+        this.linhas.push('    push rbp');
+        this.linhas.push('    mov rbp, rsp');
+        if (quadro > 0)
+            this.linhas.push(`    sub rsp, ${quadro}`);
+        this.paleta.forEach((registrador, indice) => {
+            this.linhas.push(`    mov [rbp${textoOffset(-8 * (indice + 1))}], ${registrador}`);
+        });
+        this.gerarBlocosSemRotuloEntrada(processada, offsets, false);
+    }
+    tamanhoSpillBytes(processada) {
+        let maiorOffset = 0;
+        for (const alocacao of processada.alocacao.values()) {
+            if (alocacao.tipo === 'pilha' && -alocacao.offsetBytes > maiorOffset) {
+                maiorOffset = -alocacao.offsetBytes;
+            }
+        }
+        return maiorOffset;
+    }
+    gerarBlocosSemRotuloEntrada(processada, offsetsArranjosLocais, ehPrincipal) {
+        const { funcao, alocacao } = processada;
+        const ordem = (0, dominancia_1.ordemPosFixaReversa)(funcao);
+        ordem.forEach((blocoId, indice) => {
+            const bloco = funcao.blocos.get(blocoId);
+            if (indice > 0)
+                this.linhas.push(`${this.rotuloDoBloco(funcao, blocoId)}:`);
+            for (const instrucao of bloco.instrucoes) {
+                this.gerarInstrucao(instrucao, alocacao, offsetsArranjosLocais);
+            }
+            this.gerarTerminador(bloco, funcao, alocacao, ehPrincipal);
+        });
+    }
+    gerarHelperImprimirNumero() {
+        if (this.alvo !== 'linux')
+            return;
+        this.linhas.push('__delegua_print_int:');
+        this.linhas.push('    push rbx');
+        this.linhas.push('    push rcx');
+        this.linhas.push('    push rdx');
+        this.linhas.push('    push rsi');
+        this.linhas.push('    mov rcx, 10');
+        this.linhas.push('    lea rsi, [__print_buf + 22]');
+        this.linhas.push('    mov byte [rsi], 10');
+        this.linhas.push('.print_digitloop:');
+        this.linhas.push('    xor rdx, rdx');
+        this.linhas.push('    div rcx');
+        this.linhas.push("    add dl, '0'");
+        this.linhas.push('    dec rsi');
+        this.linhas.push('    mov [rsi], dl');
+        this.linhas.push('    test rax, rax');
+        this.linhas.push('    jnz .print_digitloop');
+        this.linhas.push('    lea rdx, [__print_buf + 23]');
+        this.linhas.push('    sub rdx, rsi');
+        this.linhas.push('    mov ecx, esi');
+        this.linhas.push('    mov ebx, 1');
+        this.linhas.push('    mov eax, 4');
+        this.linhas.push('    int 0x80');
+        this.linhas.push('    pop rsi');
+        this.linhas.push('    pop rdx');
+        this.linhas.push('    pop rcx');
+        this.linhas.push('    pop rbx');
+        this.linhas.push('    ret');
+    }
+}
+exports.CodegenX64 = CodegenX64;
+function arredondarPara16(bytes) {
+    if (bytes <= 0)
+        return 0;
+    return Math.ceil(bytes / 16) * 16;
+}
+//# sourceMappingURL=codegen.js.map

package/tradutores/x64/codegen.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codegen.js","sourceRoot":"","sources":["../../../fontes/tradutores/x64/codegen.ts"],"names":[],"mappings":";;;AACA,6CAAmD;AAUnD,MAAM,UAAU,GAAG,KAAK,CAAC;AACzB,MAAM,UAAU,GAAG,KAAK,CAAC;AACzB,MAAM,iBAAiB,GAAG,KAAK,CAAC;AAEhC,SAAS,gBAAgB,CAAC,IAAoB;IAC1C,OAAO,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa;IACnC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAChC,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,WAAW,CAAC,MAAc;IAC/B,OAAO,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,CAAC;AACpD,CAAC;AAED;;;;;;;;;GASG;AACH,MAAa,UAAU;IAKnB,YACY,IAAoB,EACpB,MAAgB;QADhB,SAAI,GAAJ,IAAI,CAAgB;QACpB,WAAM,GAAN,MAAM,CAAU;QANpB,WAAM,GAAa,EAAE,CAAC;QAC9B,mHAAmH;QAC3G,qBAAgB,GAAG,CAAC,CAAC;IAK1B,CAAC;IAEJ,KAAK,CAAC,QAAoB,EAAE,OAA2B;QACnD,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC;YAClD,GAAG,CAAC,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,CAAC;QACrC,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,QAAQ,CAAC,eAAe,EAAE,CAAC;YAClD,GAAG,CAAC,IAAI,CAAC,SAAS,IAAI,SAAS,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QACnD,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QAEpC,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC;YACnD,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,QAAQ,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC9D,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,YAAY,MAAM,MAAM,CAAC,CAAC;QAC1D,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QAC/C,CAAC;QAED,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;QACjB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAClC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC;QACnF,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAE/D,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,eAAe,CAAE,CAAC;QACjE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QAEhE,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC;QACrC,KAAK,MAAM,UAAU,IAAI,MAAM,EAAE,CAAC;YAC9B,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QACjC,CAAC;QAED,IAAI,CAAC,yBAAyB,EAAE,CAAC;QAEjC,OAAO,CACH,gBAAgB;YAChB,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YACd,qBAAqB;YACrB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;YAChB,MAAM;YACN,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;YACtB,IAAI,CACP,CAAC;IACN,CAAC;IAEO,aAAa,CAAC,MAAgB,EAAE,OAAe;QACnD,IAAI,OAAO,KAAK,MAAM,CAAC,YAAY,EAAE,CAAC;YAClC,IAAI,MAAM,CAAC,eAAe;gBAAE,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;YAC7E,OAAO,MAAM,CAAC,IAAI,CAAC;QACvB,CAAC;QACD,OAAO,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,IAAI,OAAO,EAAE,CAAC;IAC9E,CAAC;IAEO,gBAAgB,CAAC,KAAc,EAAE,QAA+B;QACpE,QAAQ,KAAK,CAAC,MAAM,EAAE,CAAC;YACnB,KAAK,WAAW;gBACZ,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,SAAS;oBAAE,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;gBACrE,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC/B,KAAK,aAAa,CAAC,CAAC,CAAC;gBACjB,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACvC,IAAI,CAAC,KAAK;oBAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,KAAK,CAAC,IAAI,iBAAiB,CAAC,CAAC;gBAClF,OAAO,KAAK,CAAC,IAAI,KAAK,aAAa;oBAC/B,CAAC,CAAC,KAAK,CAAC,MAAM;oBACd,CAAC,CAAC,OAAO,WAAW,CAAC,IAAI,CAAC,gBAAgB,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC;YAC3E,CAAC;YACD,KAAK,iBAAiB;gBAClB,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACrD,KAAK,QAAQ;gBACT,OAAO,KAAK,CAAC,IAAI,CAAC;QAC1B,CAAC;IACL,CAAC;IAEO,SAAS,CAAC,GAAW,EAAE,QAA+B,EAAE,eAAuB;QACnF,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,GAAG,iBAAiB,CAAC,CAAC;QACvE,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC/B,IAAI,KAAK,CAAC,MAAM,KAAK,eAAe;gBAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,MAAM,KAAK,eAAe,EAAE,CAAC,CAAC;QAC1G,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,WAAW,CAAC,IAAI,CAAC,gBAAgB,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,eAAe,EAAE,CAAC,CAAC;QACnH,CAAC;IACL,CAAC;IAEO,mBAAmB,CACvB,WAAmB,EACnB,qBAA0C;QAE1C,MAAM,WAAW,GAAG,qBAAqB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAC3D,IAAI,WAAW,KAAK,SAAS;YAAE,OAAO,MAAM,WAAW,CAAC,WAAW,CAAC,EAAE,CAAC;QACvE,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,WAAW,EAAE,CAAC;IAC/E,CAAC;IAEO,cAAc,CAClB,SAAsB,EACtB,QAA+B,EAC/B,qBAA0C;QAE1C,QAAQ,SAAS,CAAC,EAAE,EAAE,CAAC;YACnB,KAAK,OAAO;gBACR,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC9D,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;gBACpD,MAAM;YACV,KAAK,OAAO;gBACR,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;gBAC7F,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;gBACpD,MAAM;YACV,KAAK,KAAK;gBACN,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;gBACvC,MAAM;YACV,KAAK,KAAK;gBACN,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;gBAC7F,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,EAAE,CAAC,CAAC;gBAC1C,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;gBACpD,MAAM;YACV,KAAK,KAAK;gBACN,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;gBAC7F,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,CAAC,CAAC;gBAC7C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;gBAChC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,UAAU,MAAM,CAAC,CAAC;gBAChD,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;gBACpD,MAAM;YACV,KAAK,gBAAgB;gBACjB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBACxB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;gBACnE,CAAC;qBAAM,CAAC;oBACJ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,UAAU,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;gBACzE,CAAC;gBACD,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;gBACpD,MAAM;YACV,KAAK,gBAAgB;gBACjB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,QAAQ,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;gBACnE,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;gBACpD,MAAM;YACV,KAAK,iBAAiB;gBAClB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;gBAC/F,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,SAAS,CAAC,MAAM,MAAM,UAAU,EAAE,CAAC,CAAC;gBACnE,MAAM;YACV,KAAK,WAAW;gBACZ,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,qBAAqB,CAAC,CAAC;gBAC/F,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,MAAM,iBAAiB,GAAG,CAAC,CAAC;gBAClE,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;gBACpD,MAAM;YACV,KAAK,gBAAgB;gBACjB,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,qBAAqB,CAAC,CAAC;gBAC/F,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,iBAAiB,EAAE,CAAC,CAAC;gBAClD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;gBAC/F,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,iBAAiB,EAAE,CAAC,CAAC;gBACjD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,iBAAiB,MAAM,UAAU,EAAE,CAAC,CAAC;gBAClE,MAAM;YACV,KAAK,SAAS,CAAC,CAAC,CAAC;gBACb,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClD,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC;oBACrD,MAAM,IAAI,KAAK,CACX,cAAc,SAAS,CAAC,MAAM,SAAS,SAAS,CAAC,UAAU,CAAC,MAAM,uBAAuB;wBACrF,aAAa,aAAa,CAAC,MAAM,sCAAsC,IAAI,CAAC,IAAI,IAAI,CAC3F,CAAC;gBACN,CAAC;gBACD,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE;oBAC/C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,aAAa,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,gBAAgB,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;gBACxG,CAAC,CAAC,CAAC;gBACH,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;gBACjD,IAAI,SAAS,CAAC,GAAG;oBAAE,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;gBAClE,MAAM;YACV,CAAC;YACD,KAAK,gBAAgB;gBACjB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;gBACrF,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBACxB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;gBACrD,CAAC;qBAAM,CAAC;oBACJ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;oBACrC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;oBACjD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;gBACxC,CAAC;gBACD,MAAM;YACV,KAAK,eAAe;gBAChB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBACxB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,oBAAoB,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;oBACzD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;oBACrD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;oBACnC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;oBACnC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBACrC,CAAC;qBAAM,CAAC;oBACJ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,qBAAqB,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;oBAC3D,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;gBACxC,CAAC;gBACD,MAAM;YACV,KAAK,iBAAiB;gBAClB,MAAM;QACd,CAAC;IACL,CAAC;IAEO,YAAY,CAAC,SAA8C,EAAE,QAA+B;QAChG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QAClG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QAEjG,QAAQ,SAAS,CAAC,QAAQ,EAAE,CAAC;YACzB,KAAK,GAAG;gBACJ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,UAAU,EAAE,CAAC,CAAC;gBACzD,MAAM;YACV,KAAK,GAAG;gBACJ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,UAAU,EAAE,CAAC,CAAC;gBACzD,MAAM;YACV,KAAK,GAAG;gBACJ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,UAAU,KAAK,UAAU,EAAE,CAAC,CAAC;gBAC1D,MAAM;YACV,KAAK,GAAG;gBACJ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC5B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC,CAAC;gBAC3C,MAAM;YACV,KAAK,GAAG;gBACJ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC5B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC,CAAC;gBAC3C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,OAAO,CAAC,CAAC;gBAC/C,MAAM;YACV,KAAK,GAAG;gBACJ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,UAAU,EAAE,CAAC,CAAC;gBACzD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;gBAChC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,UAAU,MAAM,CAAC,CAAC;gBAChD,MAAM;YACV,KAAK,GAAG;gBACJ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,UAAU,EAAE,CAAC,CAAC;gBACzD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;gBAChC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,UAAU,MAAM,CAAC,CAAC;gBAChD,MAAM;YACV,KAAK,IAAI;gBACL,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,UAAU,EAAE,CAAC,CAAC;gBACzD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBACjC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,UAAU,MAAM,CAAC,CAAC;gBAChD,MAAM;YACV,KAAK,IAAI;gBACL,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,UAAU,EAAE,CAAC,CAAC;gBACzD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBACjC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,UAAU,MAAM,CAAC,CAAC;gBAChD,MAAM;YACV,KAAK,IAAI;gBACL,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,UAAU,EAAE,CAAC,CAAC;gBACzD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;gBAChC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,UAAU,MAAM,CAAC,CAAC;gBAChD,MAAM;YACV,KAAK,IAAI;gBACL,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,UAAU,EAAE,CAAC,CAAC;gBACzD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBACjC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,UAAU,MAAM,CAAC,CAAC;gBAChD,MAAM;QACd,CAAC;QAED,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACxD,CAAC;IAEO,mBAAmB,CACvB,WAAmB,EACnB,MAAe,EACf,QAA+B,EAC/B,qBAA0C;QAE1C,MAAM,IAAI,GAAG,IAAI,CAAC,mBAAmB,CAAC,WAAW,EAAE,qBAAqB,CAAC,CAAC;QAC1E,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QACtF,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,UAAU,KAAK,UAAU,EAAE,CAAC,CAAC;QAC1D,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,iBAAiB,MAAM,IAAI,GAAG,CAAC,CAAC;QAC5D,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,iBAAiB,KAAK,UAAU,EAAE,CAAC,CAAC;IACpE,CAAC;IAEO,eAAe,CAAC,KAAc,EAAE,MAAgB,EAAE,QAA+B,EAAE,WAAoB;QAC3G,QAAQ,KAAK,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;YAC1B,KAAK,OAAO;gBACR,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACjF,MAAM;YACV,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACtB,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;gBAC5E,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,QAAQ,EAAE,CAAC,CAAC;gBACvD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,UAAU,KAAK,CAAC,CAAC;gBAC7C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;gBACvF,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBAClF,MAAM;YACV,CAAC;YACD,KAAK,SAAS;gBACV,IAAI,WAAW,EAAE,CAAC;oBACd,IAAI,CAAC,oBAAoB,EAAE,CAAC;gBAChC,CAAC;qBAAM,CAAC;oBACJ,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;wBACzB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;oBAChG,CAAC;oBACD,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,MAAM,EAAE,EAAE;wBACxC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,WAAW,SAAS,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;oBACvF,CAAC,CAAC,CAAC;oBACH,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;oBACrC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;oBAChC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAChC,CAAC;gBACD,MAAM;QACd,CAAC;IACL,CAAC;IAEO,oBAAoB;QACxB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YACnC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YACrC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACrC,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YACrC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChC,CAAC;IACL,CAAC;IAED,wHAAwH;IAChH,6BAA6B,CAAC,MAAgB,EAAE,UAAkB;QACtE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC1C,IAAI,WAAW,GAAG,IAAI,CAAC,gBAAgB,GAAG,UAAU,CAAC;QACrD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;YAC/C,WAAW,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;YAChC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACnC,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,WAAW,EAAE,CAAC;IAC5C,CAAC;IAEO,oBAAoB,CAAC,UAA4B;QACrD,IAAI,CAAC,gBAAgB,GAAG,CAAC,CAAC;QAC1B,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QACtD,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,6BAA6B,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC7F,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAEvC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;QAClE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACrC,IAAI,MAAM,GAAG,CAAC;YAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,MAAM,EAAE,CAAC,CAAC;QAC3D,IAAI,CAAC,2BAA2B,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IAChE,CAAC;IAEO,WAAW,CAAC,UAA4B;QAC5C,IAAI,CAAC,gBAAgB,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;QAChD,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QACtD,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,6BAA6B,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC7F,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAEvC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC;QAC/C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACrC,IAAI,MAAM,GAAG,CAAC;YAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,MAAM,EAAE,CAAC,CAAC;QAC3D,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,MAAM,EAAE,EAAE;YACxC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,MAAM,WAAW,EAAE,CAAC,CAAC;QACvF,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,2BAA2B,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACjE,CAAC;IAEO,iBAAiB,CAAC,UAA4B;QAClD,IAAI,WAAW,GAAG,CAAC,CAAC;QACpB,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;YAClD,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,GAAG,WAAW,EAAE,CAAC;gBACnE,WAAW,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC;YACxC,CAAC;QACL,CAAC;QACD,OAAO,WAAW,CAAC;IACvB,CAAC;IAEO,2BAA2B,CAC/B,UAA4B,EAC5B,qBAA0C,EAC1C,WAAoB;QAEpB,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,UAAU,CAAC;QACxC,MAAM,KAAK,GAAG,IAAA,gCAAmB,EAAC,MAAM,CAAC,CAAC;QAC1C,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;YAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC;YAC1C,IAAI,MAAM,GAAG,CAAC;gBAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;YAC5E,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;gBACvC,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,QAAQ,EAAE,qBAAqB,CAAC,CAAC;YACpE,CAAC;YACD,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QAC/D,CAAC,CAAC,CAAC;IACP,CAAC;IAEO,yBAAyB;QAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO;QAClC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACzC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACpC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;QACpD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QAC3C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QACtC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACrC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAChC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACpC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAChC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QACtC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QACtC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;QACpD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACrC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACrC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACnC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACnC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAChC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAChC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAChC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAChC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAChC,CAAC;CACJ;AA5ZD,gCA4ZC;AAED,SAAS,gBAAgB,CAAC,KAAa;IACnC,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IACzB,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC;AACtC,CAAC"}

package/tradutores/x64/dessa.d.ts

@@ -0,0 +1,9 @@
+import { Alocacao } from './alocador-registradores';
+import { IRFuncao } from './ir';
+/**
+ * Elimina phis da função já alocada: divide arestas críticas (predecessor com mais de um
+ * sucessor apontando para um bloco com phis) e insere, em cada aresta, a sequência de
+ * cópias equivalente à atribuição paralela dos phis daquele bloco.
+ */
+export declare function destruirSSA(funcao: IRFuncao, alocacao: Map<string, Alocacao>): void;
+//# sourceMappingURL=dessa.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"dessa.d.ts","sourceRoot":"","sources":["../../../fontes/tradutores/x64/dessa.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAmC,MAAM,MAAM,CAAC;AA8EjE;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,IAAI,CA8DnF"}

package/tradutores/x64/dessa.js

@@ -0,0 +1,124 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.destruirSSA = destruirSSA;
+const dominancia_1 = require("./dominancia");
+const ir_1 = require("./ir");
+/** Registrador sempre reservado como escrata (fora da paleta geral) — ver alocador-registradores.ts. */
+const REGISTRADOR_ESCRATCH_CICLO = 'rax';
+function localizacao(nomeVirtual, alocacao) {
+    const a = alocacao.get(nomeVirtual);
+    if (!a)
+        throw new Error(`destruirSSA: '${nomeVirtual}' não tem alocação.`);
+    return a.tipo === 'registrador' ? `r:${a.fisico}` : `s:${a.offsetBytes}`;
+}
+/**
+ * Sequencializa um conjunto de cópias que devem se comportar como uma atribuição paralela
+ * (todas leem os valores "antes da rodada"), quebrando ciclos (o clássico problema da troca
+ * a,b = b,a) com um temporário fixo no registrador de escrata reservado. Argumento
+ * `alocacao` é mutado: cada temporário de quebra de ciclo ganha uma entrada nele.
+ */
+function sequenciarCopiasParalelas(pares, alocacao, gerarNomeTemp) {
+    const resultado = [];
+    const pendentes = new Map();
+    for (const par of pares)
+        pendentes.set(par.destino, { ...par });
+    function origemLocalizacao(par) {
+        return par.origem.classe === 'registrador' ? localizacao(par.origem.nome, alocacao) : null;
+    }
+    let guarda = pares.length * pares.length + 100;
+    while (pendentes.size > 0) {
+        if (guarda-- <= 0) {
+            throw new Error('destruirSSA: não foi possível sequenciar cópias de phi (loop inesperado).');
+        }
+        let progrediu = false;
+        for (const [destino, par] of [...pendentes]) {
+            const locDestino = localizacao(destino, alocacao);
+            const alguemPrecisaLer = [...pendentes.values()].some((outro) => outro !== par && origemLocalizacao(outro) === locDestino);
+            if (!alguemPrecisaLer) {
+                resultado.push({ op: 'copia', dst: destino, src: par.origem });
+                pendentes.delete(destino);
+                progrediu = true;
+            }
+        }
+        if (!progrediu && pendentes.size > 0) {
+            const [destinoCiclo] = [...pendentes][0];
+            const locDestinoCiclo = localizacao(destinoCiclo, alocacao);
+            const nomeTemp = gerarNomeTemp();
+            alocacao.set(nomeTemp, { tipo: 'registrador', fisico: REGISTRADOR_ESCRATCH_CICLO });
+            resultado.push({
+                op: 'copia',
+                dst: nomeTemp,
+                src: { classe: 'registrador', nome: destinoCiclo },
+            });
+            for (const [destino2, par2] of pendentes) {
+                if (destino2 === destinoCiclo)
+                    continue;
+                if (origemLocalizacao(par2) === locDestinoCiclo) {
+                    par2.origem = { classe: 'registrador', nome: nomeTemp };
+                }
+            }
+        }
+    }
+    return resultado;
+}
+/**
+ * Elimina phis da função já alocada: divide arestas críticas (predecessor com mais de um
+ * sucessor apontando para um bloco com phis) e insere, em cada aresta, a sequência de
+ * cópias equivalente à atribuição paralela dos phis daquele bloco.
+ */
+function destruirSSA(funcao, alocacao) {
+    (0, dominancia_1.prepararCFG)(funcao);
+    let contadorDivisao = 0;
+    let contadorTemp = 0;
+    const gerarNomeTemp = () => `__troca_${contadorTemp++}__`;
+    const blocosComPhi = [...funcao.blocos.values()].filter((bloco) => bloco.phis.length > 0);
+    for (const blocoAlvo of blocosComPhi) {
+        for (const predId of [...blocoAlvo.predecessores]) {
+            const predecessor = funcao.blocos.get(predId);
+            if (predecessor.sucessores.length <= 1)
+                continue;
+            const idDivisao = `__div_${contadorDivisao++}__`;
+            const blocoDivisao = (0, ir_1.novoBloco)(idDivisao);
+            blocoDivisao.terminador = { op: 'salto', alvo: blocoAlvo.id };
+            funcao.blocos.set(idDivisao, blocoDivisao);
+            funcao.ordemBlocos.push(idDivisao);
+            if (predecessor.terminador.op === 'salto' && predecessor.terminador.alvo === blocoAlvo.id) {
+                predecessor.terminador.alvo = idDivisao;
+            }
+            else if (predecessor.terminador.op === 'saltoCondicional') {
+                if (predecessor.terminador.verdadeiro === blocoAlvo.id) {
+                    predecessor.terminador.verdadeiro = idDivisao;
+                }
+                if (predecessor.terminador.falso === blocoAlvo.id) {
+                    predecessor.terminador.falso = idDivisao;
+                }
+            }
+            for (const phi of blocoAlvo.phis) {
+                for (const opcao of phi.opcoes) {
+                    if (opcao.predecessor === predId)
+                        opcao.predecessor = idDivisao;
+                }
+            }
+        }
+    }
+    (0, dominancia_1.prepararCFG)(funcao);
+    for (const blocoAlvo of blocosComPhi) {
+        const copiasPorPredecessor = new Map();
+        for (const phi of blocoAlvo.phis) {
+            for (const opcao of phi.opcoes) {
+                if (!copiasPorPredecessor.has(opcao.predecessor)) {
+                    copiasPorPredecessor.set(opcao.predecessor, []);
+                }
+                copiasPorPredecessor.get(opcao.predecessor).push({ destino: phi.dst, origem: opcao.valor });
+            }
+        }
+        for (const [predId, pares] of copiasPorPredecessor) {
+            const predecessor = funcao.blocos.get(predId);
+            const copias = sequenciarCopiasParalelas(pares, alocacao, gerarNomeTemp);
+            predecessor.instrucoes.push(...copias);
+        }
+        blocoAlvo.phis = [];
+    }
+    (0, dominancia_1.prepararCFG)(funcao);
+}
+//# sourceMappingURL=dessa.js.map

package/tradutores/x64/dessa.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dessa.js","sourceRoot":"","sources":["../../../fontes/tradutores/x64/dessa.ts"],"names":[],"mappings":";;AAqFA,kCA8DC;AAnJD,6CAA2C;AAE3C,6BAAiE;AAEjE,wGAAwG;AACxG,MAAM,0BAA0B,GAAG,KAAK,CAAC;AAEzC,SAAS,WAAW,CAAC,WAAmB,EAAE,QAA+B;IACrE,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACpC,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,WAAW,qBAAqB,CAAC,CAAC;IAC3E,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;AAC7E,CAAC;AAOD;;;;;GAKG;AACH,SAAS,yBAAyB,CAC9B,KAAmB,EACnB,QAA+B,EAC/B,aAA2B;IAE3B,MAAM,SAAS,GAAkB,EAAE,CAAC;IACpC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAsB,CAAC;IAChD,KAAK,MAAM,GAAG,IAAI,KAAK;QAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,GAAG,GAAG,EAAE,CAAC,CAAC;IAEhE,SAAS,iBAAiB,CAAC,GAAe;QACtC,OAAO,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/F,CAAC;IAED,IAAI,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,GAAG,CAAC;IAC/C,OAAO,SAAS,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACxB,IAAI,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YAChB,MAAM,IAAI,KAAK,CAAC,2EAA2E,CAAC,CAAC;QACjG,CAAC;QAED,IAAI,SAAS,GAAG,KAAK,CAAC;QACtB,KAAK,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,EAAE,CAAC;YAC1C,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YAClD,MAAM,gBAAgB,GAAG,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CACjD,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,GAAG,IAAI,iBAAiB,CAAC,KAAK,CAAC,KAAK,UAAU,CACtE,CAAC;YACF,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBACpB,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC/D,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC1B,SAAS,GAAG,IAAI,CAAC;YACrB,CAAC;QACL,CAAC;QAED,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACnC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,eAAe,GAAG,WAAW,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;YAC5D,MAAM,QAAQ,GAAG,aAAa,EAAE,CAAC;YACjC,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,0BAA0B,EAAE,CAAC,CAAC;YAEpF,SAAS,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,OAAO;gBACX,GAAG,EAAE,QAAQ;gBACb,GAAG,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,YAAY,EAAE;aACrD,CAAC,CAAC;YAEH,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;gBACvC,IAAI,QAAQ,KAAK,YAAY;oBAAE,SAAS;gBACxC,IAAI,iBAAiB,CAAC,IAAI,CAAC,KAAK,eAAe,EAAE,CAAC;oBAC9C,IAAI,CAAC,MAAM,GAAG,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;gBAC5D,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,SAAS,CAAC;AACrB,CAAC;AAED;;;;GAIG;AACH,SAAgB,WAAW,CAAC,MAAgB,EAAE,QAA+B;IACzE,IAAA,wBAAW,EAAC,MAAM,CAAC,CAAC;IAEpB,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,MAAM,aAAa,GAAG,GAAG,EAAE,CAAC,WAAW,YAAY,EAAE,IAAI,CAAC;IAE1D,MAAM,YAAY,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAE1F,KAAK,MAAM,SAAS,IAAI,YAAY,EAAE,CAAC;QACnC,KAAK,MAAM,MAAM,IAAI,CAAC,GAAG,SAAS,CAAC,aAAa,CAAC,EAAE,CAAC;YAChD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;YAC/C,IAAI,WAAW,CAAC,UAAU,CAAC,MAAM,IAAI,CAAC;gBAAE,SAAS;YAEjD,MAAM,SAAS,GAAG,SAAS,eAAe,EAAE,IAAI,CAAC;YACjD,MAAM,YAAY,GAAG,IAAA,cAAS,EAAC,SAAS,CAAC,CAAC;YAC1C,YAAY,CAAC,UAAU,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC;YAC9D,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;YAC3C,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAEnC,IAAI,WAAW,CAAC,UAAU,CAAC,EAAE,KAAK,OAAO,IAAI,WAAW,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,EAAE,CAAC;gBACxF,WAAW,CAAC,UAAU,CAAC,IAAI,GAAG,SAAS,CAAC;YAC5C,CAAC;iBAAM,IAAI,WAAW,CAAC,UAAU,CAAC,EAAE,KAAK,kBAAkB,EAAE,CAAC;gBAC1D,IAAI,WAAW,CAAC,UAAU,CAAC,UAAU,KAAK,SAAS,CAAC,EAAE,EAAE,CAAC;oBACrD,WAAW,CAAC,UAAU,CAAC,UAAU,GAAG,SAAS,CAAC;gBAClD,CAAC;gBACD,IAAI,WAAW,CAAC,UAAU,CAAC,KAAK,KAAK,SAAS,CAAC,EAAE,EAAE,CAAC;oBAChD,WAAW,CAAC,UAAU,CAAC,KAAK,GAAG,SAAS,CAAC;gBAC7C,CAAC;YACL,CAAC;YAED,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;gBAC/B,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;oBAC7B,IAAI,KAAK,CAAC,WAAW,KAAK,MAAM;wBAAE,KAAK,CAAC,WAAW,GAAG,SAAS,CAAC;gBACpE,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,IAAA,wBAAW,EAAC,MAAM,CAAC,CAAC;IAEpB,KAAK,MAAM,SAAS,IAAI,YAAY,EAAE,CAAC;QACnC,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAwB,CAAC;QAC7D,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;YAC/B,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;gBAC7B,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;oBAC/C,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;gBACpD,CAAC;gBACD,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;YACjG,CAAC;QACL,CAAC;QAED,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,oBAAoB,EAAE,CAAC;YACjD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;YAC/C,MAAM,MAAM,GAAG,yBAAyB,CAAC,KAAK,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC;YACzE,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;QAC3C,CAAC;QAED,SAAS,CAAC,IAAI,GAAG,EAAE,CAAC;IACxB,CAAC;IAED,IAAA,wBAAW,EAAC,MAAM,CAAC,CAAC;AACxB,CAAC"}

package/tradutores/x64/dominancia.d.ts

@@ -0,0 +1,25 @@
+import { IRFuncao } from './ir';
+/**
+ * Recalcula `sucessores`/`predecessores` de cada bloco a partir do terminador.
+ * Chamado depois de qualquer alteração na CFG (lowering, divisão de arestas críticas em dessa.ts).
+ */
+export declare function prepararCFG(funcao: IRFuncao): void;
+/** Ordem pós-fixa reversa a partir do bloco de entrada, alcançando somente blocos vivos. */
+export declare function ordemPosFixaReversa(funcao: IRFuncao): string[];
+export interface ResultadoDominancia {
+    /** idom[bloco] = dominador imediato. idom[entrada] = entrada. */
+    idom: Map<string, string>;
+    domFrontier: Map<string, Set<string>>;
+    /** blocos alcançáveis a partir da entrada, em ordem pós-fixa reversa. */
+    ordem: string[];
+}
+/**
+ * Algoritmo iterativo de Cooper/Harvey/Kennedy ("A Simple, Fast Dominance Algorithm").
+ * Preferido a Lengauer-Tarjan aqui por ser bem mais simples de implementar corretamente,
+ * e funções Delégua traduzidas para x64 têm poucos blocos — o custo O(n^2) no pior caso
+ * não é relevante.
+ */
+export declare function computeDominancia(funcao: IRFuncao): ResultadoDominancia;
+/** Filhos imediatos de cada bloco na árvore de dominância (para percorrer em pré-ordem na renomeação SSA). */
+export declare function arvoreDominancia(resultado: ResultadoDominancia, blocoEntrada: string): Map<string, string[]>;
+//# sourceMappingURL=dominancia.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"dominancia.d.ts","sourceRoot":"","sources":["../../../fontes/tradutores/x64/dominancia.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAEhC;;;GAGG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,QAAQ,GAAG,IAAI,CAwBlD;AAED,4FAA4F;AAC5F,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,QAAQ,GAAG,MAAM,EAAE,CAiB9D;AAED,MAAM,WAAW,mBAAmB;IAChC,iEAAiE;IACjE,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1B,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACtC,yEAAyE;IACzE,KAAK,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,QAAQ,GAAG,mBAAmB,CA2DvE;AAED,8GAA8G;AAC9G,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAU5G"}