@designliquido/delegua 1.13.1 → 1.14.0

package/tradutores/tradutor-assembly-x64.js

@@ -11,6 +11,9 @@ class TradutorAssemblyX64 {
         this.variaveis = new Map();
         this.registradoresDisponiveis = ['rbx', 'r12', 'r13', 'r14', 'r15'];
         this.pilhaRegistradores = [];
+        this.helperPrintIntEmitido = false;
+        this.fmtIntWindowsEmitido = false;
+        this.helpers = '';
         this.bss = 'section .bss\n';
         this.data = 'section .data\n';
         this.dicionarioConstrutos = {
@@ -54,15 +57,15 @@ class TradutorAssemblyX64 {
             Escreva: this.traduzirDeclaracaoEscreva.bind(this),
         };
         this.indentacao = 0;
-        this.text = `
+        this.textoSaida = `
 section .text
     ${this.alvo === 'linux' ? 'global _start' : 'global main'}
 ${this.alvo === 'linux' ? '_start:' : 'main:'}`;
         if (this.alvo === 'windows') {
-            this.text =
+            this.textoSaida =
                 `
 extern printf
-` + this.text;
+` + this.textoSaida;
         }
     }
     gerarDigitoAleatorio() {
@@ -123,7 +126,7 @@ extern printf
         }
         const indice = this.dicionarioConstrutos[construto.indice.constructor.name](construto.indice);
         const valor = this.dicionarioConstrutos[construto.valor.constructor.name](construto.valor);
-        this.text += `
+        this.textoSaida += `
     mov rax, ${valor}
     mov [${nomeVar} + ${indice} * 8], rax`;
     }
@@ -143,7 +146,7 @@ extern printf
             this.bss += `    ${varLabel} resq 1\n`;
             this.variaveis.set(nomeVar, varLabel);
         }
-        this.text += `
+        this.textoSaida += `
     mov rax, ${valor}
     mov [${this.variaveis.get(nomeVar)}], rax`;
     }
@@ -151,39 +154,75 @@ extern printf
         const esquerda = this.dicionarioConstrutos[construto.esquerda.constructor.name](construto.esquerda);
         const direita = this.dicionarioConstrutos[construto.direita.constructor.name](construto.direita);
         const operador = construto.operador.lexema;
-        const reg = this.obterRegistrador();
-        this.text += `
+        const registrador = this.obterRegistrador();
+        this.textoSaida += `
     mov rax, ${esquerda}
-    mov ${reg}, ${direita}`;
+    mov ${registrador}, ${direita}`;
         switch (operador) {
             case '+':
-                this.text += `
-    add rax, ${reg}`;
+                this.textoSaida += `
+    add rax, ${registrador}`;
                 break;
             case '-':
-                this.text += `
-    sub rax, ${reg}`;
+                this.textoSaida += `
+    sub rax, ${registrador}`;
                 break;
             case '*':
-                this.text += `
-    imul rax, ${reg}`;
+                this.textoSaida += `
+    imul rax, ${registrador}`;
                 break;
             case '/':
-                this.text += `
+                this.textoSaida += `
     xor rdx, rdx
-    idiv ${reg}`;
+    idiv ${registrador}`;
                 break;
             case '%':
-                this.text += `
+                this.textoSaida += `
     xor rdx, rdx
-    idiv ${reg}
+    idiv ${registrador}
     mov rax, rdx`;
                 break;
+            case '<':
+                this.textoSaida += `
+    cmp rax, ${registrador}
+    setl al
+    movzx rax, al`;
+                break;
+            case '>':
+                this.textoSaida += `
+    cmp rax, ${registrador}
+    setg al
+    movzx rax, al`;
+                break;
+            case '<=':
+                this.textoSaida += `
+    cmp rax, ${registrador}
+    setle al
+    movzx rax, al`;
+                break;
+            case '>=':
+                this.textoSaida += `
+    cmp rax, ${registrador}
+    setge al
+    movzx rax, al`;
+                break;
+            case '==':
+                this.textoSaida += `
+    cmp rax, ${registrador}
+    sete al
+    movzx rax, al`;
+                break;
+            case '!=':
+                this.textoSaida += `
+    cmp rax, ${registrador}
+    setne al
+    movzx rax, al`;
+                break;
             default:
-                this.text += `
+                this.textoSaida += `
     ; Operador ${operador} não implementado`;
         }
-        this.liberarRegistrador(reg);
+        this.liberarRegistrador(registrador);
         return 'rax';
     }
     traduzirConstrutoChamada(construto) {
@@ -199,26 +238,26 @@ extern printf
         construto.argumentos.forEach((arg, index) => {
             if (index < registrosArgs.length) {
                 const valorArg = this.dicionarioConstrutos[arg.constructor.name](arg);
-                this.text += `
+                this.textoSaida += `
     mov ${registrosArgs[index]}, ${valorArg}`;
             }
             else {
                 // TODO: push extra args on stack according to target ABI
             }
         });
-        this.text += `
+        this.textoSaida += `
     call ${nomeFuncao}`;
     }
     traduzirConstrutoDefinirValor(construto) {
         const objeto = this.dicionarioConstrutos[construto.objeto.constructor.name](construto.objeto);
         const valor = this.dicionarioConstrutos[construto.valor.constructor.name](construto.valor);
-        this.text += `
+        this.textoSaida += `
     mov rax, ${valor}
     mov [${objeto}], rax`;
     }
     traduzirFuncaoConstruto(construto) {
         const labelFuncao = `func_${this.gerarDigitoAleatorio()}`;
-        this.text += `
+        this.textoSaida += `
 ${labelFuncao}:
     push rbp
     mov rbp, rsp`;
@@ -230,7 +269,7 @@ ${labelFuncao}:
                 }
             });
         }
-        this.text += `
+        this.textoSaida += `
     pop rbp
     ret`;
     }
@@ -246,11 +285,11 @@ ${labelFuncao}:
         const operador = construto.operador.lexema;
         const labelVerdadeiro = this.gerarLabel();
         const labelFim = this.gerarLabel();
-        this.text += `
+        this.textoSaida += `
     mov rax, ${esquerda}
     cmp rax, 0`;
         if (operador === 'e' || operador === '&&') {
-            this.text += `
+            this.textoSaida += `
     je ${labelFim}
     mov rax, ${direita}
     cmp rax, 0
@@ -260,7 +299,7 @@ ${labelVerdadeiro}:
 ${labelFim}:`;
         }
         else if (operador === 'ou' || operador === '||') {
-            this.text += `
+            this.textoSaida += `
     jne ${labelVerdadeiro}
     mov rax, ${direita}
     cmp rax, 0
@@ -281,17 +320,27 @@ ${labelFim}:`;
     traduzirConstrutoUnario(construto) {
         const operando = this.dicionarioConstrutos[construto.operando.constructor.name](construto.operando);
         const operador = construto.operador.lexema;
-        this.text += `
+        this.textoSaida += `
     mov rax, ${operando}`;
         if (operador === '-') {
-            this.text += `
+            this.textoSaida += `
     neg rax`;
         }
         else if (operador === '!' || operador === 'nao') {
-            this.text += `
+            this.textoSaida += `
     cmp rax, 0
     sete al
     movzx rax, al`;
+        }
+        else if (operador === '++') {
+            this.textoSaida += `
+    inc rax
+    mov ${operando}, rax`;
+        }
+        else if (operador === '--') {
+            this.textoSaida += `
+    dec rax
+    mov ${operando}, rax`;
         }
         return 'rax';
     }
@@ -305,27 +354,27 @@ ${labelFim}:`;
     }
     traduzirConstrutoVetor(construto) {
         var _a;
-        const labelVetor = `vetor_${this.gerarDigitoAleatorio()}`;
+        const rotuloVetor = `vetor_${this.gerarDigitoAleatorio()}`;
         const tamanho = ((_a = construto.valores) === null || _a === void 0 ? void 0 : _a.length) || 0;
-        this.bss += `    ${labelVetor} resq ${tamanho}\n`;
+        this.bss += `    ${rotuloVetor} resq ${tamanho}\n`;
         if (construto.valores && Array.isArray(construto.valores)) {
             construto.valores.forEach((valor, index) => {
                 if (this.dicionarioConstrutos[valor.constructor.name]) {
                     const valorTraduzido = this.dicionarioConstrutos[valor.constructor.name](valor);
-                    this.text += `
+                    this.textoSaida += `
     mov rax, ${valorTraduzido}
-    mov [${labelVetor} + ${index * 8}], rax`;
+    mov [${rotuloVetor} + ${index * 8}], rax`;
                 }
             });
         }
-        return labelVetor;
+        return rotuloVetor;
     }
     // Implementação das Declarações
     traduzirDeclaracaoBloco(declaracao) {
         if (declaracao.declaracoes && Array.isArray(declaracao.declaracoes)) {
-            declaracao.declaracoes.forEach((decl) => {
-                if (this.dicionarioDeclaracoes[decl.constructor.name]) {
-                    this.dicionarioDeclaracoes[decl.constructor.name](decl);
+            declaracao.declaracoes.forEach((declaracao) => {
+                if (this.dicionarioDeclaracoes[declaracao.constructor.name]) {
+                    this.dicionarioDeclaracoes[declaracao.constructor.name](declaracao);
                 }
             });
         }
@@ -333,16 +382,16 @@ ${labelFim}:`;
     traduzirDeclaracaoEnquanto(declaracao) {
         const labelInicio = this.gerarLabel();
         const labelFim = this.gerarLabel();
-        this.text += `
+        this.textoSaida += `
 ${labelInicio}:`;
         const condicao = this.dicionarioConstrutos[declaracao.condicao.constructor.name](declaracao.condicao);
-        this.text += `
+        this.textoSaida += `
     cmp ${condicao}, 0
     je ${labelFim}`;
         if (this.dicionarioDeclaracoes[declaracao.corpo.constructor.name]) {
             this.dicionarioDeclaracoes[declaracao.corpo.constructor.name](declaracao.corpo);
         }
-        this.text += `
+        this.textoSaida += `
     jmp ${labelInicio}
 ${labelFim}:`;
     }
@@ -354,24 +403,24 @@ ${labelFim}:`;
                 const labelProximo = this.gerarLabel();
                 if (caminho.condicoes && caminho.condicoes[0]) {
                     const valorCaso = this.dicionarioConstrutos[caminho.condicoes[0].constructor.name](caminho.condicoes[0]);
-                    this.text += `
+                    this.textoSaida += `
     mov rax, ${valorEscolha}
     cmp rax, ${valorCaso}
     jne ${labelProximo}`;
                     if (caminho.declaracoes && Array.isArray(caminho.declaracoes)) {
-                        caminho.declaracoes.forEach((decl) => {
-                            if (this.dicionarioDeclaracoes[decl.constructor.name]) {
-                                this.dicionarioDeclaracoes[decl.constructor.name](decl);
+                        caminho.declaracoes.forEach((declaracao) => {
+                            if (this.dicionarioDeclaracoes[declaracao.constructor.name]) {
+                                this.dicionarioDeclaracoes[declaracao.constructor.name](declaracao);
                             }
                         });
                     }
-                    this.text += `
+                    this.textoSaida += `
     jmp ${labelFim}
 ${labelProximo}:`;
                 }
             });
         }
-        this.text += `
+        this.textoSaida += `
 ${labelFim}:`;
     }
     traduzirDeclaracaoExpressao(declaracao) {
@@ -382,19 +431,19 @@ ${labelFim}:`;
     }
     traduzirDeclaracaoFazer(declaracao) {
         const labelInicio = this.gerarLabel();
-        this.text += `
+        this.textoSaida += `
 ${labelInicio}:`;
         // Em Delégua, fazer-enquanto tem caminhoFazer que é um Bloco
         if (declaracao.caminhoFazer && declaracao.caminhoFazer.declaracoes) {
-            declaracao.caminhoFazer.declaracoes.forEach((decl) => {
-                if (this.dicionarioDeclaracoes[decl.constructor.name]) {
-                    this.dicionarioDeclaracoes[decl.constructor.name](decl);
+            declaracao.caminhoFazer.declaracoes.forEach((declaracao) => {
+                if (this.dicionarioDeclaracoes[declaracao.constructor.name]) {
+                    this.dicionarioDeclaracoes[declaracao.constructor.name](declaracao);
                 }
             });
         }
         if (declaracao.condicaoEnquanto) {
             const condicao = this.dicionarioConstrutos[declaracao.condicaoEnquanto.constructor.name](declaracao.condicaoEnquanto);
-            this.text += `
+            this.textoSaida += `
     cmp ${condicao}, 0
     jne ${labelInicio}`;
         }
@@ -410,14 +459,14 @@ ${labelInicio}:`;
             }
         }
         if (this.alvo === 'linux') {
-            this.text += `
+            this.textoSaida += `
         ; Falhar com mensagem: ${mensagem}
         mov eax, 1
         mov ebx, 1
         int 0x80`;
         }
         else {
-            this.text += `
+            this.textoSaida += `
         ; Falhar com mensagem: ${mensagem}
         mov eax, 1
         ret`;
@@ -426,7 +475,7 @@ ${labelInicio}:`;
     traduzirDeclaracaoFuncao(declaracao) {
         var _a;
         const nomeFuncao = ((_a = declaracao.simbolo) === null || _a === void 0 ? void 0 : _a.lexema) || 'funcao';
-        this.text += `
+        this.textoSaida += `
 ${nomeFuncao}:
     push rbp
     mov rbp, rsp`;
@@ -439,13 +488,13 @@ ${nomeFuncao}:
                 }
             });
         }
-        this.text += `
+        this.textoSaida += `
     pop rbp
     ret`;
     }
     traduzirDeclaracaoImportar(declaracao) {
         // Importação é tratada em tempo de linkagem
-        this.text += `
+        this.textoSaida += `
     ; Importar: ${declaracao.caminho || 'unknown'}`;
     }
     traduzirDeclaracaoLeia(declaracao) {
@@ -463,7 +512,7 @@ ${nomeFuncao}:
             this.bss += `    ${varLabel} resb 256\n`;
             this.variaveis.set(nomeVar, varLabel);
         }
-        this.text += `
+        this.textoSaida += `
     mov eax, 3
     mov ebx, 0
     mov ecx, ${this.variaveis.get(nomeVar)}
@@ -473,21 +522,31 @@ ${nomeFuncao}:
     traduzirDeclaracaoPara(declaracao) {
         const labelInicio = this.gerarLabel();
         const labelFim = this.gerarLabel();
-        // Inicializador pode ser uma declaração ou construto
+        // Inicializador pode ser um array de declarações, uma declaração ou um construto
         if (declaracao.inicializador) {
-            const tipoInicializador = declaracao.inicializador.constructor.name;
-            if (this.dicionarioDeclaracoes[tipoInicializador]) {
-                this.dicionarioDeclaracoes[tipoInicializador](declaracao.inicializador);
+            if (Array.isArray(declaracao.inicializador)) {
+                for (const decl of declaracao.inicializador) {
+                    const tipo = decl.constructor.name;
+                    if (this.dicionarioDeclaracoes[tipo]) {
+                        this.dicionarioDeclaracoes[tipo](decl);
+                    }
+                }
             }
-            else if (this.dicionarioConstrutos[tipoInicializador]) {
-                this.dicionarioConstrutos[tipoInicializador](declaracao.inicializador);
+            else {
+                const tipoInicializador = declaracao.inicializador.constructor.name;
+                if (this.dicionarioDeclaracoes[tipoInicializador]) {
+                    this.dicionarioDeclaracoes[tipoInicializador](declaracao.inicializador);
+                }
+                else if (this.dicionarioConstrutos[tipoInicializador]) {
+                    this.dicionarioConstrutos[tipoInicializador](declaracao.inicializador);
+                }
             }
         }
-        this.text += `
+        this.textoSaida += `
 ${labelInicio}:`;
         if (declaracao.condicao) {
             const condicao = this.dicionarioConstrutos[declaracao.condicao.constructor.name](declaracao.condicao);
-            this.text += `
+            this.textoSaida += `
     cmp ${condicao}, 0
     je ${labelFim}`;
         }
@@ -499,14 +558,14 @@ ${labelInicio}:`;
                 this.dicionarioConstrutos[declaracao.incrementar.constructor.name](declaracao.incrementar);
             }
         }
-        this.text += `
+        this.textoSaida += `
     jmp ${labelInicio}
 ${labelFim}:`;
     }
     traduzirDeclaracaoParaCada(declaracao) {
         var _a;
-        const labelInicio = this.gerarLabel();
-        const labelFim = this.gerarLabel();
+        const rotuloInicio = this.gerarLabel();
+        const rotuloFim = this.gerarLabel();
         let nomeVar;
         if (declaracao.variavelIteracao instanceof construtos_1.Variavel) {
             nomeVar = (_a = declaracao.variavelIteracao.simbolo) === null || _a === void 0 ? void 0 : _a.lexema;
@@ -516,63 +575,63 @@ ${labelFim}:`;
         if (vetor instanceof construtos_1.Vetor) {
             tamanhoVetor = vetor.tamanho || 0;
         }
-        this.text += `
+        this.textoSaida += `
     xor rcx, rcx
-${labelInicio}:
+${rotuloInicio}:
     cmp rcx, ${tamanhoVetor}
-    jge ${labelFim}`;
+    jge ${rotuloFim}`;
         if (this.dicionarioDeclaracoes[declaracao.corpo.constructor.name]) {
             this.dicionarioDeclaracoes[declaracao.corpo.constructor.name](declaracao.corpo);
         }
-        this.text += `
+        this.textoSaida += `
     inc rcx
-    jmp ${labelInicio}
-${labelFim}:`;
+    jmp ${rotuloInicio}
+${rotuloFim}:`;
     }
     traduzirDeclaracaoRetorna(declaracao) {
         if (declaracao.valor) {
             const valor = this.dicionarioConstrutos[declaracao.valor.constructor.name](declaracao.valor);
-            this.text += `
+            this.textoSaida += `
     mov rax, ${valor}`;
         }
-        this.text += `
+        this.textoSaida += `
     pop rbp
     ret`;
     }
     traduzirDeclaracaoSe(declaracao) {
-        const labelSenao = this.gerarLabel();
-        const labelFim = this.gerarLabel();
+        const rotuloSenao = this.gerarLabel();
+        const rotuloFim = this.gerarLabel();
         const condicao = this.dicionarioConstrutos[declaracao.condicao.constructor.name](declaracao.condicao);
-        this.text += `
+        this.textoSaida += `
     cmp ${condicao}, 0
-    je ${labelSenao}`;
+    je ${rotuloSenao}`;
         if (this.dicionarioDeclaracoes[declaracao.caminhoEntao.constructor.name]) {
             this.dicionarioDeclaracoes[declaracao.caminhoEntao.constructor.name](declaracao.caminhoEntao);
         }
-        this.text += `
-    jmp ${labelFim}
-${labelSenao}:`;
+        this.textoSaida += `
+    jmp ${rotuloFim}
+${rotuloSenao}:`;
         if (declaracao.caminhoSenao &&
             this.dicionarioDeclaracoes[declaracao.caminhoSenao.constructor.name]) {
             this.dicionarioDeclaracoes[declaracao.caminhoSenao.constructor.name](declaracao.caminhoSenao);
         }
-        this.text += `
-${labelFim}:`;
+        this.textoSaida += `
+${rotuloFim}:`;
     }
     traduzirDeclaracaoClasse(declaracao) {
         var _a;
         // Classes em assembly são complexas - implementação básica
-        this.text += `
+        this.textoSaida += `
     ; Classe: ${((_a = declaracao.simbolo) === null || _a === void 0 ? void 0 : _a.lexema) || 'unknown'}`;
     }
     traduzirDeclaracaoTente(declaracao) {
         // Try-catch em assembly requer handler complexo
-        this.text += `
+        this.textoSaida += `
     ; Tente-pegue`;
         if (declaracao.caminhoTente && Array.isArray(declaracao.caminhoTente)) {
-            declaracao.caminhoTente.forEach((decl) => {
-                if (this.dicionarioDeclaracoes[decl.constructor.name]) {
-                    this.dicionarioDeclaracoes[decl.constructor.name](decl);
+            declaracao.caminhoTente.forEach((declaracao) => {
+                if (this.dicionarioDeclaracoes[declaracao.constructor.name]) {
+                    this.dicionarioDeclaracoes[declaracao.constructor.name](declaracao);
                 }
             });
         }
@@ -606,7 +665,7 @@ ${labelFim}:`;
             }
             else if (this.dicionarioConstrutos[tipoInicializador]) {
                 const valor = this.dicionarioConstrutos[tipoInicializador](declaracao.inicializador);
-                this.text += `
+                this.textoSaida += `
     mov rax, ${valor}
     mov [${varLabel}], rax`;
             }
@@ -622,39 +681,89 @@ ${labelFim}:`;
         this.data += `    ${varTamanho} equ $ - ${nomeStringLiteral}\n`;
         return varTamanho;
     }
+    emitirHelperPrintInt() {
+        if (this.helperPrintIntEmitido)
+            return;
+        this.helperPrintIntEmitido = true;
+        this.bss += `    __print_buf resb 24\n`;
+        this.helpers += `
+__delegua_print_int:
+    push rbx
+    push rcx
+    push rdx
+    push rsi
+    mov rcx, 10
+    lea rsi, [__print_buf + 22]
+    mov byte [rsi], 10
+.print_digitloop:
+    xor rdx, rdx
+    div rcx
+    add dl, '0'
+    dec rsi
+    mov [rsi], dl
+    test rax, rax
+    jnz .print_digitloop
+    lea rdx, [__print_buf + 23]
+    sub rdx, rsi
+    mov ecx, esi
+    mov ebx, 1
+    mov eax, 4
+    int 0x80
+    pop rsi
+    pop rdx
+    pop rcx
+    pop rbx
+    ret`;
+    }
     traduzirDeclaracaoEscreva(declaracaoEscreva) {
-        let tam_string_literal = '';
-        let nome_string_literal = '';
-        if (declaracaoEscreva.argumentos[0] instanceof construtos_1.Literal) {
-            nome_string_literal = this.criaStringLiteral(declaracaoEscreva.argumentos[0]);
-            tam_string_literal = this.criaTamanhoNaMemoriaReferenteAVar(nome_string_literal);
-        }
-        if (this.alvo === 'linux') {
-            this.text += `
+        const arg = declaracaoEscreva.argumentos[0];
+        if (arg instanceof construtos_1.Literal) {
+            const nome_string_literal = this.criaStringLiteral(arg);
+            const tam_string_literal = this.criaTamanhoNaMemoriaReferenteAVar(nome_string_literal);
+            if (this.alvo === 'linux') {
+                this.textoSaida += `
     mov edx, ${tam_string_literal}
     mov ecx, ${nome_string_literal}
     mov ebx, 1        ; fd stdout
     mov eax, 4        ; sys_write
     int 0x80`;
+            }
+            else {
+                this.textoSaida += `
+    lea rcx, [rel ${nome_string_literal}]
+    call printf`;
+            }
         }
         else {
-            // Windows: prototype `extern printf` and follow Win64 calling convention
-            // RCX = format pointer; here we use the literal directly as a C string
-            this.text += `
-    lea rcx, [rel ${nome_string_literal}]
+            const valor = this.dicionarioConstrutos[arg.constructor.name](arg);
+            if (this.alvo === 'linux') {
+                this.emitirHelperPrintInt();
+                this.textoSaida += `
+    mov rax, ${valor}
+    call __delegua_print_int`;
+            }
+            else {
+                if (!this.fmtIntWindowsEmitido) {
+                    this.data += `    __fmt_int db '%d', 10, 0\n`;
+                    this.fmtIntWindowsEmitido = true;
+                }
+                this.textoSaida += `
+    mov rdx, ${valor}
+    lea rcx, [rel __fmt_int]
     call printf`;
+            }
         }
     }
     saidaSistema() {
         if (this.alvo === 'linux') {
-            this.text += `
+            this.textoSaida += `
         mov eax, 1        ; sys_exit
         xor ebx, ebx      ; status 0
         int 0x80`;
         }
         else {
             // Windows: return from main with 0 in EAX
-            this.text += `
+            this.textoSaida += `
         xor eax, eax
         ret`;
         }
@@ -668,7 +777,8 @@ ${labelFim}:`;
             }
         }
         this.saidaSistema();
-        resultado += this.bss + '\n' + this.data + '\n' + this.text;
+        this.textoSaida += this.helpers;
+        resultado += this.bss + '\n' + this.data + '\n' + this.textoSaida;
         return resultado;
     }
 }