@designliquido/delegua 1.19.0 → 1.20.1

package/tradutores/tradutor-assembly-x64.js

@@ -57,14 +57,14 @@ class TradutorAssemblyX64 {
             Escreva: this.traduzirDeclaracaoEscreva.bind(this),
         };
         this.indentacao = 0;
-        this.textoSaida = `
-section .text
-    ${this.alvo === 'linux' ? 'global _start' : 'global main'}
+        this.textoSaida = `
+section .text
+    ${this.alvo === 'linux' ? 'global _start' : 'global main'}
 ${this.alvo === 'linux' ? '_start:' : 'main:'}`;
         if (this.alvo === 'windows') {
             this.textoSaida =
-                `
-extern printf
+                `
+extern printf
 ` + this.textoSaida;
         }
     }
@@ -124,8 +124,8 @@ extern printf
         }
         const indice = this.dicionarioConstrutos[construto.indice.constructor.name](construto.indice);
         const valor = this.dicionarioConstrutos[construto.valor.constructor.name](construto.valor);
-        this.textoSaida += `
-    mov rax, ${valor}
+        this.textoSaida += `
+    mov rax, ${valor}
     mov [${nomeVar} + ${indice} * 8], rax`;
     }
     traduzirConstrutoAtribuir(construto) {
@@ -143,8 +143,8 @@ extern printf
             this.bss += `    ${varLabel} resq 1\n`;
             this.variaveis.set(nomeVar, varLabel);
         }
-        this.textoSaida += `
-    mov rax, ${valor}
+        this.textoSaida += `
+    mov rax, ${valor}
     mov [${this.variaveis.get(nomeVar)}], rax`;
     }
     traduzirConstrutoBinario(construto) {
@@ -152,71 +152,71 @@ extern printf
         const direita = this.dicionarioConstrutos[construto.direita.constructor.name](construto.direita);
         const operador = construto.operador.lexema;
         const registrador = this.obterRegistrador();
-        this.textoSaida += `
-    mov rax, ${esquerda}
+        this.textoSaida += `
+    mov rax, ${esquerda}
     mov ${registrador}, ${direita}`;
         switch (operador) {
             case '+':
-                this.textoSaida += `
+                this.textoSaida += `
     add rax, ${registrador}`;
                 break;
             case '-':
-                this.textoSaida += `
+                this.textoSaida += `
     sub rax, ${registrador}`;
                 break;
             case '*':
-                this.textoSaida += `
+                this.textoSaida += `
     imul rax, ${registrador}`;
                 break;
             case '/':
-                this.textoSaida += `
-    xor rdx, rdx
+                this.textoSaida += `
+    xor rdx, rdx
     idiv ${registrador}`;
                 break;
             case '%':
-                this.textoSaida += `
-    xor rdx, rdx
-    idiv ${registrador}
+                this.textoSaida += `
+    xor rdx, rdx
+    idiv ${registrador}
     mov rax, rdx`;
                 break;
             case '<':
-                this.textoSaida += `
-    cmp rax, ${registrador}
-    setl al
+                this.textoSaida += `
+    cmp rax, ${registrador}
+    setl al
     movzx rax, al`;
                 break;
             case '>':
-                this.textoSaida += `
-    cmp rax, ${registrador}
-    setg al
+                this.textoSaida += `
+    cmp rax, ${registrador}
+    setg al
     movzx rax, al`;
                 break;
             case '<=':
-                this.textoSaida += `
-    cmp rax, ${registrador}
-    setle al
+                this.textoSaida += `
+    cmp rax, ${registrador}
+    setle al
     movzx rax, al`;
                 break;
             case '>=':
-                this.textoSaida += `
-    cmp rax, ${registrador}
-    setge al
+                this.textoSaida += `
+    cmp rax, ${registrador}
+    setge al
     movzx rax, al`;
                 break;
             case '==':
-                this.textoSaida += `
-    cmp rax, ${registrador}
-    sete al
+                this.textoSaida += `
+    cmp rax, ${registrador}
+    sete al
     movzx rax, al`;
                 break;
             case '!=':
-                this.textoSaida += `
-    cmp rax, ${registrador}
-    setne al
+                this.textoSaida += `
+    cmp rax, ${registrador}
+    setne al
     movzx rax, al`;
                 break;
             default:
-                this.textoSaida += `
+                this.textoSaida += `
     ; Operador ${operador} não implementado`;
         }
         this.liberarRegistrador(registrador);
@@ -231,31 +231,31 @@ extern printf
         const registrosArgs = this.alvo === 'linux'
             ? ['rdi', 'rsi', 'rdx', 'rcx', 'r8', 'r9'] // System V AMD64 [web:8]
             : ['rcx', 'rdx', 'r8', 'r9']; // Windows x64 [web:2]
-        construto.argumentos.forEach((arg, index) => {
-            if (index < registrosArgs.length) {
-                const valorArg = this.dicionarioConstrutos[arg.constructor.name](arg);
-                this.textoSaida += `
-    mov ${registrosArgs[index]}, ${valorArg}`;
+        construto.argumentos.forEach((argumento, indice) => {
+            if (indice < registrosArgs.length) {
+                const valorArg = this.dicionarioConstrutos[argumento.constructor.name](argumento);
+                this.textoSaida += `
+    mov ${registrosArgs[indice]}, ${valorArg}`;
             }
             else {
-                // TODO: push extra args on stack according to target ABI
+                // TODO: empurrar argumentos extras na pilha de acordo com o ABI alvo
             }
         });
-        this.textoSaida += `
+        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.textoSaida += `
-    mov rax, ${valor}
+        this.textoSaida += `
+    mov rax, ${valor}
     mov [${objeto}], rax`;
     }
     traduzirFuncaoConstruto(construto) {
         const labelFuncao = `func_${this.gerarDigitoAleatorio()}`;
-        this.textoSaida += `
-${labelFuncao}:
-    push rbp
+        this.textoSaida += `
+${labelFuncao}:
+    push rbp
     mov rbp, rsp`;
         // Traduzir corpo da função
         if (construto.corpo && Array.isArray(construto.corpo)) {
@@ -265,8 +265,8 @@ ${labelFuncao}:
                 }
             });
         }
-        this.textoSaida += `
-    pop rbp
+        this.textoSaida += `
+    pop rbp
     ret`;
     }
     traduzirConstrutoLiteral(construto) {
@@ -281,29 +281,29 @@ ${labelFuncao}:
         const operador = construto.operador.lexema;
         const labelVerdadeiro = this.gerarLabel();
         const labelFim = this.gerarLabel();
-        this.textoSaida += `
-    mov rax, ${esquerda}
+        this.textoSaida += `
+    mov rax, ${esquerda}
     cmp rax, 0`;
         if (operador === 'e' || operador === '&&') {
-            this.textoSaida += `
-    je ${labelFim}
-    mov rax, ${direita}
-    cmp rax, 0
-    je ${labelFim}
-${labelVerdadeiro}:
-    mov rax, 1
+            this.textoSaida += `
+    je ${labelFim}
+    mov rax, ${direita}
+    cmp rax, 0
+    je ${labelFim}
+${labelVerdadeiro}:
+    mov rax, 1
 ${labelFim}:`;
         }
         else if (operador === 'ou' || operador === '||') {
-            this.textoSaida += `
-    jne ${labelVerdadeiro}
-    mov rax, ${direita}
-    cmp rax, 0
-    jne ${labelVerdadeiro}
-    mov rax, 0
-    jmp ${labelFim}
-${labelVerdadeiro}:
-    mov rax, 1
+            this.textoSaida += `
+    jne ${labelVerdadeiro}
+    mov rax, ${direita}
+    cmp rax, 0
+    jne ${labelVerdadeiro}
+    mov rax, 0
+    jmp ${labelFim}
+${labelVerdadeiro}:
+    mov rax, 1
 ${labelFim}:`;
         }
         return 'rax';
@@ -316,26 +316,26 @@ ${labelFim}:`;
     traduzirConstrutoUnario(construto) {
         const operando = this.dicionarioConstrutos[construto.operando.constructor.name](construto.operando);
         const operador = construto.operador.lexema;
-        this.textoSaida += `
+        this.textoSaida += `
     mov rax, ${operando}`;
         if (operador === '-') {
-            this.textoSaida += `
+            this.textoSaida += `
     neg rax`;
         }
         else if (operador === '!' || operador === 'nao') {
-            this.textoSaida += `
-    cmp rax, 0
-    sete al
+            this.textoSaida += `
+    cmp rax, 0
+    sete al
     movzx rax, al`;
         }
         else if (operador === '++') {
-            this.textoSaida += `
-    inc rax
+            this.textoSaida += `
+    inc rax
     mov ${operando}, rax`;
         }
         else if (operador === '--') {
-            this.textoSaida += `
-    dec rax
+            this.textoSaida += `
+    dec rax
     mov ${operando}, rax`;
         }
         return 'rax';
@@ -355,8 +355,8 @@ ${labelFim}:`;
             construto.valores.forEach((valor, index) => {
                 if (this.dicionarioConstrutos[valor.constructor.name]) {
                     const valorTraduzido = this.dicionarioConstrutos[valor.constructor.name](valor);
-                    this.textoSaida += `
-    mov rax, ${valorTraduzido}
+                    this.textoSaida += `
+    mov rax, ${valorTraduzido}
     mov [${rotuloVetor} + ${index * 8}], rax`;
                 }
             });
@@ -376,17 +376,17 @@ ${labelFim}:`;
     traduzirDeclaracaoEnquanto(declaracao) {
         const labelInicio = this.gerarLabel();
         const labelFim = this.gerarLabel();
-        this.textoSaida += `
+        this.textoSaida += `
 ${labelInicio}:`;
         const condicao = this.dicionarioConstrutos[declaracao.condicao.constructor.name](declaracao.condicao);
-        this.textoSaida += `
-    cmp ${condicao}, 0
+        this.textoSaida += `
+    cmp ${condicao}, 0
     je ${labelFim}`;
         if (this.dicionarioDeclaracoes[declaracao.corpo.constructor.name]) {
             this.dicionarioDeclaracoes[declaracao.corpo.constructor.name](declaracao.corpo);
         }
-        this.textoSaida += `
-    jmp ${labelInicio}
+        this.textoSaida += `
+    jmp ${labelInicio}
 ${labelFim}:`;
     }
     traduzirDeclaracaoEscolha(declaracao) {
@@ -397,9 +397,9 @@ ${labelFim}:`;
                 const labelProximo = this.gerarLabel();
                 if (caminho.condicoes && caminho.condicoes[0]) {
                     const valorCaso = this.dicionarioConstrutos[caminho.condicoes[0].constructor.name](caminho.condicoes[0]);
-                    this.textoSaida += `
-    mov rax, ${valorEscolha}
-    cmp rax, ${valorCaso}
+                    this.textoSaida += `
+    mov rax, ${valorEscolha}
+    cmp rax, ${valorCaso}
     jne ${labelProximo}`;
                     if (caminho.declaracoes && Array.isArray(caminho.declaracoes)) {
                         caminho.declaracoes.forEach((declaracao) => {
@@ -408,13 +408,13 @@ ${labelFim}:`;
                             }
                         });
                     }
-                    this.textoSaida += `
-    jmp ${labelFim}
+                    this.textoSaida += `
+    jmp ${labelFim}
 ${labelProximo}:`;
                 }
             });
         }
-        this.textoSaida += `
+        this.textoSaida += `
 ${labelFim}:`;
     }
     traduzirDeclaracaoExpressao(declaracao) {
@@ -425,7 +425,7 @@ ${labelFim}:`;
     }
     traduzirDeclaracaoFazer(declaracao) {
         const labelInicio = this.gerarLabel();
-        this.textoSaida += `
+        this.textoSaida += `
 ${labelInicio}:`;
         // Em Delégua, fazer-enquanto tem caminhoFazer que é um Bloco
         if (declaracao.caminhoFazer && declaracao.caminhoFazer.declaracoes) {
@@ -437,8 +437,8 @@ ${labelInicio}:`;
         }
         if (declaracao.condicaoEnquanto) {
             const condicao = this.dicionarioConstrutos[declaracao.condicaoEnquanto.constructor.name](declaracao.condicaoEnquanto);
-            this.textoSaida += `
-    cmp ${condicao}, 0
+            this.textoSaida += `
+    cmp ${condicao}, 0
     jne ${labelInicio}`;
         }
     }
@@ -453,24 +453,24 @@ ${labelInicio}:`;
             }
         }
         if (this.alvo === 'linux') {
-            this.textoSaida += `
-        ; Falhar com mensagem: ${mensagem}
-        mov eax, 1
-        mov ebx, 1
+            this.textoSaida += `
+        ; Falhar com mensagem: ${mensagem}
+        mov eax, 1
+        mov ebx, 1
         int 0x80`;
         }
         else {
-            this.textoSaida += `
-        ; Falhar com mensagem: ${mensagem}
-        mov eax, 1
+            this.textoSaida += `
+        ; Falhar com mensagem: ${mensagem}
+        mov eax, 1
         ret`;
         }
     }
     traduzirDeclaracaoFuncao(declaracao) {
         const nomeFuncao = declaracao.simbolo?.lexema || 'funcao';
-        this.textoSaida += `
-${nomeFuncao}:
-    push rbp
+        this.textoSaida += `
+${nomeFuncao}:
+    push rbp
     mov rbp, rsp`;
         if (declaracao.funcao &&
             declaracao.funcao.corpo &&
@@ -481,13 +481,13 @@ ${nomeFuncao}:
                 }
             });
         }
-        this.textoSaida += `
-    pop rbp
+        this.textoSaida += `
+    pop rbp
     ret`;
     }
     traduzirDeclaracaoImportar(declaracao) {
         // Importação é tratada em tempo de linkagem
-        this.textoSaida += `
+        this.textoSaida += `
     ; Importar: ${declaracao.caminho || 'unknown'}`;
     }
     traduzirDeclaracaoLeia(declaracao) {
@@ -504,11 +504,11 @@ ${nomeFuncao}:
             this.bss += `    ${varLabel} resb 256\n`;
             this.variaveis.set(nomeVar, varLabel);
         }
-        this.textoSaida += `
-    mov eax, 3
-    mov ebx, 0
-    mov ecx, ${this.variaveis.get(nomeVar)}
-    mov edx, 256
+        this.textoSaida += `
+    mov eax, 3
+    mov ebx, 0
+    mov ecx, ${this.variaveis.get(nomeVar)}
+    mov edx, 256
     int 0x80`;
     }
     traduzirDeclaracaoPara(declaracao) {
@@ -534,12 +534,12 @@ ${nomeFuncao}:
                 }
             }
         }
-        this.textoSaida += `
+        this.textoSaida += `
 ${labelInicio}:`;
         if (declaracao.condicao) {
             const condicao = this.dicionarioConstrutos[declaracao.condicao.constructor.name](declaracao.condicao);
-            this.textoSaida += `
-    cmp ${condicao}, 0
+            this.textoSaida += `
+    cmp ${condicao}, 0
     je ${labelFim}`;
         }
         if (this.dicionarioDeclaracoes[declaracao.corpo.constructor.name]) {
@@ -550,8 +550,8 @@ ${labelInicio}:`;
                 this.dicionarioConstrutos[declaracao.incrementar.constructor.name](declaracao.incrementar);
             }
         }
-        this.textoSaida += `
-    jmp ${labelInicio}
+        this.textoSaida += `
+    jmp ${labelInicio}
 ${labelFim}:`;
     }
     traduzirDeclaracaoParaCada(declaracao) {
@@ -566,57 +566,57 @@ ${labelFim}:`;
         if (vetor instanceof construtos_1.Vetor) {
             tamanhoVetor = vetor.tamanho || 0;
         }
-        this.textoSaida += `
-    xor rcx, rcx
-${rotuloInicio}:
-    cmp rcx, ${tamanhoVetor}
+        this.textoSaida += `
+    xor rcx, rcx
+${rotuloInicio}:
+    cmp rcx, ${tamanhoVetor}
     jge ${rotuloFim}`;
         if (this.dicionarioDeclaracoes[declaracao.corpo.constructor.name]) {
             this.dicionarioDeclaracoes[declaracao.corpo.constructor.name](declaracao.corpo);
         }
-        this.textoSaida += `
-    inc rcx
-    jmp ${rotuloInicio}
+        this.textoSaida += `
+    inc rcx
+    jmp ${rotuloInicio}
 ${rotuloFim}:`;
     }
     traduzirDeclaracaoRetorna(declaracao) {
         if (declaracao.valor) {
             const valor = this.dicionarioConstrutos[declaracao.valor.constructor.name](declaracao.valor);
-            this.textoSaida += `
+            this.textoSaida += `
     mov rax, ${valor}`;
         }
-        this.textoSaida += `
-    pop rbp
+        this.textoSaida += `
+    pop rbp
     ret`;
     }
     traduzirDeclaracaoSe(declaracao) {
         const rotuloSenao = this.gerarLabel();
         const rotuloFim = this.gerarLabel();
         const condicao = this.dicionarioConstrutos[declaracao.condicao.constructor.name](declaracao.condicao);
-        this.textoSaida += `
-    cmp ${condicao}, 0
+        this.textoSaida += `
+    cmp ${condicao}, 0
     je ${rotuloSenao}`;
         if (this.dicionarioDeclaracoes[declaracao.caminhoEntao.constructor.name]) {
             this.dicionarioDeclaracoes[declaracao.caminhoEntao.constructor.name](declaracao.caminhoEntao);
         }
-        this.textoSaida += `
-    jmp ${rotuloFim}
+        this.textoSaida += `
+    jmp ${rotuloFim}
 ${rotuloSenao}:`;
         if (declaracao.caminhoSenao &&
             this.dicionarioDeclaracoes[declaracao.caminhoSenao.constructor.name]) {
             this.dicionarioDeclaracoes[declaracao.caminhoSenao.constructor.name](declaracao.caminhoSenao);
         }
-        this.textoSaida += `
+        this.textoSaida += `
 ${rotuloFim}:`;
     }
     traduzirDeclaracaoClasse(declaracao) {
         // Classes em assembly são complexas - implementação básica
-        this.textoSaida += `
+        this.textoSaida += `
     ; Classe: ${declaracao.simbolo?.lexema || 'unknown'}`;
     }
     traduzirDeclaracaoTente(declaracao) {
         // Try-catch em assembly requer handler complexo
-        this.textoSaida += `
+        this.textoSaida += `
     ; Tente-pegue`;
         if (declaracao.caminhoTente && Array.isArray(declaracao.caminhoTente)) {
             declaracao.caminhoTente.forEach((declaracao) => {
@@ -653,8 +653,8 @@ ${rotuloFim}:`;
             }
             else if (this.dicionarioConstrutos[tipoInicializador]) {
                 const valor = this.dicionarioConstrutos[tipoInicializador](declaracao.inicializador);
-                this.textoSaida += `
-    mov rax, ${valor}
+                this.textoSaida += `
+    mov rax, ${valor}
     mov [${varLabel}], rax`;
             }
         }
@@ -674,33 +674,33 @@ ${rotuloFim}:`;
             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
+        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) {
@@ -709,16 +709,16 @@ __delegua_print_int:
             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
+                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}]
+                this.textoSaida += `
+    lea rcx, [rel ${nome_string_literal}]
     call printf`;
             }
         }
@@ -726,8 +726,8 @@ __delegua_print_int:
             const valor = this.dicionarioConstrutos[arg.constructor.name](arg);
             if (this.alvo === 'linux') {
                 this.emitirHelperPrintInt();
-                this.textoSaida += `
-    mov rax, ${valor}
+                this.textoSaida += `
+    mov rax, ${valor}
     call __delegua_print_int`;
             }
             else {
@@ -735,24 +735,24 @@ __delegua_print_int:
                     this.data += `    __fmt_int db '%d', 10, 0\n`;
                     this.fmtIntWindowsEmitido = true;
                 }
-                this.textoSaida += `
-    mov rdx, ${valor}
-    lea rcx, [rel __fmt_int]
+                this.textoSaida += `
+    mov rdx, ${valor}
+    lea rcx, [rel __fmt_int]
     call printf`;
             }
         }
     }
     saidaSistema() {
         if (this.alvo === 'linux') {
-            this.textoSaida += `
-        mov eax, 1        ; sys_exit
-        xor ebx, ebx      ; status 0
+            this.textoSaida += `
+        mov eax, 1        ; sys_exit
+        xor ebx, ebx      ; status 0
         int 0x80`;
         }
         else {
             // Windows: return from main with 0 in EAX
-            this.textoSaida += `
-        xor eax, eax
+            this.textoSaida += `
+        xor eax, eax
         ret`;
         }
     }