Add sub working (local/global not fully implemented, checking type function available

1 files changed, 66 insertions, 26 deletions

diff --git a/src/tpc.y b/src/tpc.y
index c575863..387b3ef 100644
--- a/src/tpc.y
+++ b/src/tpc.y
@@ -10,10 +10,10 @@
 extern int lineno;
 int yylex();
 void yyerror(char *);
-
 #define GLOBAL 0
 #define LOCAL 1
 static int status = GLOBAL;
+
 %}
 
 %union {
@@ -44,9 +44,9 @@ static int status = GLOBAL;
 %%
 Prog:{printf("extern printf\n");
                         printf("section .data\n");
-                        printf("format_int db \"%%d \\n\",10,0\n\n");
+                        printf("format_int db \"%%d\",10,0\n\n");
                         printf("section .bss\nsection .text\n\nglobal _start\n");
-                        printf("print: ;print needs an argument in rax\n\n");
+                        printf("print: ;print needs an argument in rax\n");
                         printf("push rbp\n");
                         printf("mov rbp, rsp\n");
                         printf("push rsi\n");
@@ -58,12 +58,17 @@ Prog:{printf("extern printf\n");
                         printf("pop rbp\n");
                         printf("ret\n");
                         printf("\n_start:\n");  
+      printf("push rbp\nmov rbp, rsp\n\n");
                         }
      DeclConsts DeclVars DeclFoncts 
      {
         printf("mov rax,60 \n");
         printf("mov rdi,0 \n");  
         printf("syscall \n");
+        printf(";global table\n");
+        glo_display_table();
+        printf(";local table\n");
+        loc_display_table();
      }
   ;
 DeclConsts:
@@ -87,8 +92,12 @@ DeclVars:
   |
   ;
 Declarateurs:
-     Declarateurs ',' Declarateur   {glo_addVar($<ident>3, $<type>0);}
-  |  Declarateur                    {glo_addVar($<ident>1, $<type>0);}
+     Declarateurs ',' Declarateur   {if(status == GLOBAL) glo_addVar($<ident>3, $<type>0);
+                                     else loc_addVar($<ident>3, $<type>0);
+                                     printf("push 0\n");}
+  |  Declarateur                    {if(status == GLOBAL) glo_addVar($<ident>1, $<type>0);
+                                     else loc_addVar($<ident>1, $<type>0);
+                                     printf("push 0\n");}
   ;
 Declarateur:
      IDENT
@@ -110,8 +119,12 @@ Parametres:
   |  ListTypVar
   ;
 ListTypVar:
-     ListTypVar ',' TYPE IDENT    {glo_addVar($<ident>4, $<type>3);}
-  |  TYPE IDENT                   {glo_addVar($<ident>2, $<type>1);}
+     ListTypVar ',' TYPE IDENT    {if(status == GLOBAL) glo_addVar($<ident>4, $<type>3);
+                                     else loc_addVar($<ident>4, $<type>3);
+                                   printf("push 0\n");}
+  |  TYPE IDENT                   {if(status == GLOBAL) glo_addVar($<ident>2, $<type>1);
+                                     else loc_addVar($<ident>2, $<type>1);
+                                   printf("push 0\n");}
   ;
 Corps:
      '{' DeclConsts DeclVars SuiteInstr '}'
@@ -124,54 +137,81 @@ Instr:
   |  ';'
   |  RETURN Exp ';'
   |  RETURN ';'
-  |  READE '(' IDENT ')' ';'      {glo_lookup($<ident>3);}
-  |  READC '(' IDENT ')' ';'      {glo_lookup($<ident>3);}
-  |  PRINT '(' Exp ')' ';'
+  |  READE '(' IDENT ')' ';'      {if(status == GLOBAL) glo_lookup($<ident>3);
+                                  else loc_lookup($<ident>3);}
+  |  READC '(' IDENT ')' ';'      {if(status == GLOBAL) glo_lookup($<ident>3);
+                                  else loc_lookup($<ident>3);}
+  |  PRINT '(' Exp ')' ';'        {printf("pop rax\ncall print\n");}
   |  IF '(' Exp ')' Instr
   |  IF '(' Exp ')' Instr ELSE Instr
   |  WHILE '(' Exp ')' Instr
   |  '{' SuiteInstr '}'
   ;
 Exp:
-     LValue '=' Exp               {$$ = glo_lookup($<ident>1);}
+     LValue '=' Exp               {if(status == GLOBAL){
+                                    $$ = glo_lookup($<ident>1);
+                                    printf("pop QWORD [rbp - %d] ;%s\n",glo_get_addr($<ident>1),$<ident>1);
+                                  }
+                                  else {
+                                    $$ = loc_lookup($<ident>1);
+                                    printf("pop QWORD [rbp - %d] ;%s\n",loc_get_addr($<ident>1),$<ident>1);
+                                  }
+                                  }
   |  EB
   ;
 EB:
-     EB OR TB
+     EB OR TB                     {check_expected_type($1,INT);check_expected_type($3,INT);} 
   |  TB
   ;
 TB:
-     TB AND FB
+     TB AND FB                    {check_expected_type($1,INT);check_expected_type($3,INT);}
   |  FB
   ;
 FB:
-     FB EQ M
+     FB EQ M                      {check_expected_type($1,INT);check_expected_type($3,INT);}
   |  M
   ;
 M:
-     M ORDER E
+     M ORDER E                    {check_expected_type($1,INT);check_expected_type($3,INT);}
   |  E
   ;
 E:
-     E ADDSUB T
+     E ADDSUB T                   {check_expected_type($1,INT);check_expected_type($3,INT);
+                                  if($2 == '+'){
+                                    printf(";E + T\npop rcx\npop rax\nadd rax,rcx\npush rax\n");
+                                  }
+                                  else{
+                                    printf(";E - T\npop rcx\npop rax\nsub rax,rcx\npush rax\n");
+                                  }
+                                  }
   |  T
   ;
 T:
-     T DIVSTAR F
+     T DIVSTAR F                  {check_expected_type($1,INT);check_expected_type($3,INT);}
   |  F
   ;
 F:
-     ADDSUB F                   {$$ = $2;} //on fait remonter le type
-  |  '!' F                      {$$ = $2;} 
-  |  '(' Exp ')'                {$$ = $2;}
-  |  LValue                     {$$ = glo_lookup($<ident>1);}
-  |  NUM                        {$$ = INT;} // on stocke les types pour l'analyse sémantique
-  |  CARACTERE                  {$$ = CHAR;}
-  |  IDENT '(' Arguments  ')'   {$$ = INT;} //tableau d'entiers uniquement
+     ADDSUB F                     {$$ = $2;//on fait remonter le type
+                                  if($1 == '+') {
+                                    printf(";+F\n");
+                                  }
+                                  else{
+                                    printf(";-F\npop rdx\nxor eax,eax\nsub eax,edx\npush rax\n");
+                                  }
+                                  } 
+  |  '!' F                        {$$ = $2;printf(";!F\npop rax\nxor rax,1\npush rax\n");} 
+  |  '(' Exp ')'                  {$$ = $2;}
+  |  LValue                       {if(status == GLOBAL) {$$ = glo_lookup($<ident>1);printf("push QWORD [rbp - %d] ;%s\n",glo_get_addr($<ident>1),$<ident>1);}
+                                  else {$$ = loc_lookup($<ident>1); printf("push QWORD [rbp - %d] ;%s\n",loc_get_addr($<ident>1),$<ident>1);}}
+  |  NUM                          {$$ = INT; printf("push %d\n",$1);} // on stocke les types pour l'analyse sémantique
+  |  CARACTERE                    {$$ = CHAR; printf("push %d\n",$1);}
+  |  IDENT '(' Arguments  ')'     {$$ = INT;} //tableau d'entiers uniquement
   ;
 LValue:
-     IDENT                      {glo_lookup($<ident>1);}
-  |  IDENT  '[' Exp  ']'        {glo_lookup($<ident>1);}
+     IDENT                        {if(status == GLOBAL) {glo_lookup($<ident>1);}
+                                  else {loc_lookup($<ident>1);}}
+  |  IDENT  '[' Exp  ']'          {if(status == GLOBAL) {glo_lookup($<ident>1);}
+                                  else {loc_lookup($<ident>1);}}
   ;
 Arguments:
      ListExp