aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/symbol_table.c4
-rw-r--r--src/symbol_table.h1
-rw-r--r--src/tpc.y11
3 files changed, 7 insertions, 9 deletions
diff --git a/src/symbol_table.c b/src/symbol_table.c
index 64399bd..483de4c 100644
--- a/src/symbol_table.c
+++ b/src/symbol_table.c
@@ -190,10 +190,6 @@ void loc_display_table() {
190} 190}
191 191
192void loc_clean_table() { 192void loc_clean_table() {
193 int i;
194 for (i = 0; i < loc_symbol_table.size; i++) {
195 fprintf(output, "pop eax\n");
196 }
197 loc_symbol_table.size = 0; 193 loc_symbol_table.size = 0;
198} 194}
199 195
diff --git a/src/symbol_table.h b/src/symbol_table.h
index a5dba69..d0ac440 100644
--- a/src/symbol_table.h
+++ b/src/symbol_table.h
@@ -55,6 +55,7 @@ void loc_addVar(const char name[], int type);
55int loc_lookup(const char name[]); 55int loc_lookup(const char name[]);
56int loc_get_addr(const char name[]); 56int loc_get_addr(const char name[]);
57void loc_display_table(); 57void loc_display_table();
58void loc_clean_table();
58void check_expected_type(int type_to_check, int type_expected); 59void check_expected_type(int type_to_check, int type_expected);
59 60
60#endif 61#endif
diff --git a/src/tpc.y b/src/tpc.y
index fedd193..9878ce7 100644
--- a/src/tpc.y
+++ b/src/tpc.y
@@ -23,7 +23,8 @@ static Type return_type = VOID_T;
23static int bss_done = 0; 23static int bss_done = 0;
24static int num_label = 0; 24static int num_label = 0;
25static int num_if = 0; 25static int num_if = 0;
26static int nb_param = 0; 26static int nb_param[255];
27static int num_scope = -1;
27static char fname[64]; 28static char fname[64];
28%} 29%}
29 30
@@ -90,11 +91,11 @@ DeclFoncts:
90; 91;
91DeclFonct: 92DeclFonct:
92 EnTeteFonct { scope = LOCAL; } 93 EnTeteFonct { scope = LOCAL; }
93 Corps { gen_function_end_declaration(fname,return_type,nb_param); scope = GLOBAL; return_type = VOID_T; } 94 Corps { gen_function_end_declaration(fname,return_type,nb_param[num_scope]); scope = GLOBAL; return_type = VOID_T; num_scope--; loc_clean_table(); }
94; 95;
95EnTeteFonct: 96EnTeteFonct:
96 TYPE IDENT PrologueCont {strcpy(fname,$<ident>2); return_type = gen_function_declaration($<ident>2, $<type>1);} '(' Parametres ')' { nb_param = $<num>6 ; scope = GLOBAL;} 97 TYPE IDENT PrologueCont {strcpy(fname,$<ident>2); return_type = gen_function_declaration($<ident>2, $<type>1);} '(' Parametres ')' { nb_param[++num_scope] = $<num>6 ; scope = GLOBAL;}
97| VOID IDENT PrologueCont {strcpy(fname,$<ident>2); return_type = gen_function_declaration($<ident>2, VOID_T);} '(' Parametres ')' { nb_param = $<num>6 ; scope = GLOBAL; } 98| VOID IDENT PrologueCont {strcpy(fname,$<ident>2); return_type = gen_function_declaration($<ident>2, VOID_T);} '(' Parametres ')' { nb_param[++num_scope] = $<num>6 ; scope = GLOBAL; }
98; 99;
99 100
100PrologueCont: {scope = LOCAL;gen_prologue_continue(&bss_done);}; 101PrologueCont: {scope = LOCAL;gen_prologue_continue(&bss_done);};
@@ -108,7 +109,7 @@ ListTypVar:
108| TYPE IDENT { gen_declaration($<ident>2, $<type>1, scope); $<num>$ = 1; } 109| TYPE IDENT { gen_declaration($<ident>2, $<type>1, scope); $<num>$ = 1; }
109; 110;
110Corps: 111Corps:
111 '{' {int i; for(i=1;i<=nb_param;i++){fprintf(output, "mov r8, [rbp + %d]\nmov [rbp - %d], r8\n", (nb_param-i+2)*8, i*8);} } DeclConsts DeclVars SuiteInstr '}' 112 '{' {int i; for(i=1;i<=nb_param[num_scope];i++){fprintf(output, "mov r8, [rbp + %d]\nmov [rbp - %d], r8\n", (nb_param[num_scope]-i+2)*8, i*8);} } DeclConsts DeclVars SuiteInstr '}'
112; 113;
113SuiteInstr: 114SuiteInstr:
114 SuiteInstr Instr 115 SuiteInstr Instr