chamada de procedimento por valor + atribuicao indirate (ARMI)

MEPA

@@ -5,13 +5,15 @@ R01: ENPR 1
      AMEM 1
      DSVS R02
 R02: NADA 
-     CRVL 1,-4
+     CRVI 1,-5
      ARMZ 1,0
+     CRCT 1
+     ARMI 1,-5
      DMEM 1
 R00: NADA 
      CRCT 8
      ARMZ 0,0
-     CRVL 0,0
+     CREN 0,0
      CRCT 2
      CHPR R01,0
      DMEM 0

compilador.y

@@ -25,6 +25,7 @@ custom_stack_t *rot;
 custom_stack_t *proc;
 
 int val_ou_ref;
+int atr_indireto;
 
 %}
 
@@ -211,7 +212,10 @@ secao_pfs: VAR
                val_ou_ref = REF;
             }
             lista_id_pf DOIS_PONTOS tipo
-            { num_param += num_vars;}
+            { 
+               num_param += num_vars;
+               val_ou_ref = VLR;
+            }
             |  {
                num_vars = 0;
                val_ou_ref = VLR;
@@ -266,13 +270,20 @@ atribuicao: {
     if (l_elem == NULL) {
         yyerror("Variável de destino não declarada");
     } else {
+        if (l_elem->categ == PF && l_elem->info.pf.passagem == REF)
+            atr_indireto = REF;
+         else atr_indireto = VLR; 
         destino_nivel = l_elem->nivel;
         destino_desloc = l_elem->info.vs.desloc;
     }
 } ATRIBUICAO expressao_simples {
     // Gera código ARMZ para armazenar valor
     char buffer[50];
+    if (atr_indireto == REF) {
+      sprintf(buffer, "ARMI %d,%d", destino_nivel, destino_desloc);
+    } else {
       sprintf(buffer, "ARMZ %d,%d", destino_nivel, destino_desloc);
+    }
     geraCodigo(NULL, buffer);
 };
 
@@ -291,7 +302,6 @@ chamada_procedimento:
             lista_parametros
             
             { 
-               
                char buffer[50];
                mostra_ts(ts);
                desempilha(buffer, proc);
@@ -317,11 +327,26 @@ lista_parametros: ABRE_PARENTESES
                |
 ;
 
-lista_parametros_parenteses: lista_parametros_parenteses VIRGULA expressao_simples
+lista_parametros_parenteses: lista_parametros_parenteses VIRGULA 
+               {
+                  char buffer[50];
+                  desempilha(buffer,proc);
+                  l_elem = busca(buffer,ts);
+                  val_ou_ref = l_elem->info.pr.param[num_param][1];
+                  empilha(buffer,proc);
+               }
+               expressao_simples
                {
                   num_param++; // Incrementa para cada parâmetro real
                }
-               | expressao_simples
+               | {
+                  char buffer[50];
+                  desempilha(buffer,proc);
+                  l_elem = busca(buffer,ts);
+                  val_ou_ref = l_elem->info.pr.param[num_param][1];
+                  empilha(buffer,proc);
+               } 
+               expressao_simples
                {
                   num_param++; // Conta o primeiro parâmetro real
                }
@@ -400,8 +425,17 @@ fator: IDENT {
         yyerror("Variável não declarada");
     } else {
         char buffer[50];
+        if (val_ou_ref == REF) {
+            sprintf(buffer, "CREN %d,%d", l_elem->nivel, l_elem->info.vs.desloc);
+        } 
+        else if (l_elem->categ == PF && l_elem->info.pf.passagem == REF) {
+            sprintf(buffer, "CRVI %d,%d", l_elem->nivel, l_elem->info.vs.desloc);
+        }        
+        else {
             sprintf(buffer, "CRVL %d,%d", l_elem->nivel, l_elem->info.vs.desloc);
+        }
         geraCodigo(NULL, buffer);
+        val_ou_ref = VLR;
     }
 }
 | NUMERO {

teste9.pas

@@ -4,6 +4,7 @@ program proc1 (input, output);
     var z: integer;
     begin
         z := a;
+        a := 1;
     end;
 begin
     x := 8;