diff --git a/Codes_en_COREC/tests/test3.corec b/Codes_en_COREC/tests/test3.corec
index a3fd3f78a5fb70cd0cb56cf4462963288855ca95..93c55f2c0a8c1acfb037ffbb3f7892489f1b4505 100644
--- a/Codes_en_COREC/tests/test3.corec
+++ b/Codes_en_COREC/tests/test3.corec
@@ -2,22 +2,23 @@
prog Test3 {
def Main{
- Loc : (array1,5), (array2,2+4/2), (f,1)
+ Loc : (array1,5), (array2,2*4/2), (f,1)
Rec : {
array1 = 2.0; // Implicitement array1[0]
array1[4] = 2;
f = 1.15; // Implicit array of dim 1 length 1 -> f[0]
- array2[0] = f;
+ array1[1] = f;
array2[1] = 5;
-
array1[3] = array2[1];
-
+
f[0] = 1.0; // Implicit array of dim 1 length 1 -> f[0]
+
array1[2] = f;
-
- print(array1)
+ printstr("Expected result : 2.0 1.15 1.0 5.0 2.0 \nObtained Result : ");
+ print(array1) // contain all the values exchanges here if the code is correct
}
}
}
+
diff --git a/Codes_en_COREC/testsErrors/test20Err.corec b/Codes_en_COREC/testsErrors/test20Err.corec
new file mode 100644
index 0000000000000000000000000000000000000000..4b447832ac0da9a68ca53ee2c09d3a071609e09a
--- /dev/null
+++ b/Codes_en_COREC/testsErrors/test20Err.corec
@@ -0,0 +1,8 @@
+prog test20Err{
+ def Main{
+ Loc: a, (f,a)
+ Rec:{
+ printstr("TestErr allocation 1D array with a var not initialized")
+ }
+ }
+}
\ No newline at end of file
diff --git a/corec.y b/corec.y
index daa750362ef8c7cfcf3fab07aba74660285447c6..997990cd431ff27c4695c97a4fadcd2e6183b1f7 100644
--- a/corec.y
+++ b/corec.y
@@ -539,7 +539,7 @@ AFFECTATION :
else{
t = $3.ptr;
}
-
+ // id index E
gencode(CODE,AFF_ARRAY,$1.ptr1,$1.ptr2,t);
}
| ID aff E // Affectation of A to ID
diff --git a/lib.c b/lib.c
index 951755b5eab75c04b5bee6e42097d70a10399313..77f9b64733758af39b89110d00a1443abb3b1c1a 100644
--- a/lib.c
+++ b/lib.c
@@ -409,7 +409,7 @@ int indice_temp(struct symtable* t, struct symbol* s){
void code_mips_dump(struct symtable * t, struct code * c, FILE* fout){
fprintf(fout,".data\n");
fprintf(fout,"\tlf: .asciiz \"\\n\"\n");
-
+ fprintf(fout,"\tspace: .asciiz \" \"\n");
if(t==NULL){fprintf(stderr,"Code mips dump: symtable null\n"); exit(1);}
unsigned int i =0;
@@ -418,7 +418,7 @@ void code_mips_dump(struct symtable * t, struct code * c, FILE* fout){
fprintf(fout,"\ttemp%d: .word %ld\n",i,t->symbols[i].u.value_int);
}
else if(t->symbols[i].kind == CONSTANT_FLOAT){ //FLOAT CONSTANT
- fprintf(fout,"\ttemp%d: .word %0.2f\n",i,t->symbols[i].u.value_float);
+ fprintf(fout,"\ttemp%d: .float %0.2f\n",i,t->symbols[i].u.value_float);
}
else if(t->symbols[i].kind == CHAIN){ //CHAIN
fprintf(fout,"\ttemp%d: .asciiz %s\n",i,t->symbols[i].u.chaine);
@@ -428,11 +428,19 @@ void code_mips_dump(struct symtable * t, struct code * c, FILE* fout){
}
else if(t->symbols[i].kind == NAME){
fprintf(fout,"\t%s: .word 0\n",t->symbols[i].u.name);
+ }
+ // this prevent the declaration fo some temp necessary but is also necessary to allocat the memory tab TODO resolve this issue
+ else if (t->symbols[i].kind == ARRAY){
+ fprintf(fout,"\t%s: .word 0\n",t->symbols[i].u.name);
}
else{ //NAME
fprintf(fout,"\ttemp%d: .word 0\n",i);
}
}
+
+ #ifdef LIBDEBUG
+ debug_register_strings_declaration(fout);
+ #endif
print_macros(fout);
@@ -460,11 +468,21 @@ void code_mips_dump(struct symtable * t, struct code * c, FILE* fout){
case UOP_MINUS:
print_uop_minus(c,fout,i);
break;
+ case COPY_ARRAY:
+ print_copy_array(t,c,fout,i);
+ break;
+ case ALLOCATE_ARRAY:
+ print_allocate_array(t,c,fout,i);
+ break;
+ case AFF_ARRAY:
+ print_aff_array(t,c,fout,i);
+ break;
case DEF_MAIN:
print_main_def(fout);
+ add_indent(1,c,t,fout);
break;
case CALL_PRINT:
- print_print(c,fout,i);
+ print_print(t,c,fout,i);
break;
case CALL_PRINTSTR:
print_printstr(t,c,fout,i);
@@ -504,7 +522,6 @@ void free_exit(int code, struct code* c, struct symtable* t, FILE* fname){
void print_main_def(FILE* fout){
fprintf(fout,".globl start\n\n");
fprintf(fout,"start:\n");
- add_indent();
}
// -------- ARITHMETIC RELATED --------
@@ -570,14 +587,57 @@ void print_uop_minus(struct code * c, FILE* fout,int i)
}
// -------- PRINT RELATED --------
-void print_print(struct code * c, FILE* fout,int i)
+
+void print_print(struct symtable * t,struct code * c, FILE* fout,int i)
{
- fprintf(fout,"%slw $t0, %s\n",tabulation,c->quads[i].sym1->u.name);
- fprintf(fout,"%smove $a0, $t0\n",tabulation);
- fprintf(fout,"%sli $v0, 1\n",tabulation);
- fprintf(fout,"%ssyscall\n",tabulation);
- //Return to line
- fprintf(fout,"%sLF\n",tabulation);
+ switch(c->quads[i].sym1->kind){
+ case ARRAY:
+ // TODO + WIP solution temporaire, quand les fonctions seront implémentés à remplacer par une fonction pour éviter le code spaghetti
+ // putting the array size in $t2
+ load_symbol_macro("$t2",c->quads[i].sym1->u.arr.dim1size,t,fout);
+ // to avoid doing a mult at each iterations we multiply the size by 4 (each elements need a 4 bytes incrementation)
+ fprintf(fout,"%smul $t0, $t2, 4\n",tabulation);
+ // putting array address in $t1
+ load_symbol_macro("$t1",c->quads[i].sym1,t,fout);
+ fprintf(fout,"%sli $t2, 0\n",tabulation);
+
+
+ // we avoid having 2 identical labels by putting the quad index at the end of it
+ // /!\ start of the loop /!\ --
+ fprintf(fout,"%sprint_array_loop%d:\n",tabulation,i);
+ add_indent(1,c,t,fout);
+ // bge by security to avoid miss matching (which shouldn't be happening)
+ fprintf(fout,"%sbge $t2, $t0, end_array_loop%d\n",tabulation,i);
+
+ // put the address of the current element to be printed in $t3
+ fprintf(fout,"%sadd $t3, $t2, $t1\n",tabulation);
+ // load the current float element in the
+ fprintf(fout,"%slwc1 $f0, ($t3)\n",tabulation);
+ // function that print the asked register
+ print_reg("f0",fout,1);
+ // macro that print a space
+ fprintf(fout,"%sSPACE\n",tabulation);
+ // increment to next address
+ fprintf(fout,"%saddi $t2, $t2, 4\n",tabulation);
+
+ // jump to the start of the loop
+ fprintf(fout,"%sj print_array_loop%d\n",tabulation,i);
+ // /!\ end of the loop /!\ --
+ remove_indent();
+ fprintf(fout,"%send_array_loop%d:\n",tabulation,i);
+ fprintf(fout,"%sLF\n",tabulation);
+ break;
+ default:
+ fprintf(fout,"%slw $t0, %s\n",tabulation,c->quads[i].sym1->u.name);
+ fprintf(fout,"%smove $a0, $t0\n",tabulation);
+ // ne marche que pour print ls int pas pour les float
+ fprintf(fout,"%sli $v0, 1\n",tabulation);
+ fprintf(fout,"%ssyscall\n",tabulation);
+ //Return to line
+ fprintf(fout,"%sLF\n",tabulation);
+ break;
+ }
+
}
void print_printstr(struct symtable * t, struct code * c, FILE* fout,int i)
@@ -587,8 +647,99 @@ void print_printstr(struct symtable * t, struct code * c, FILE* fout,int i)
fprintf(fout,"%ssyscall\n",tabulation);
}
+
+void print_reg(char * reg,FILE * fout, int type){
+ switch(type) {
+ case 0:
+ fprintf(fout,"%smove $a0, $%s\n",tabulation,reg);
+ fprintf(fout,"%sli $v0, 1\n",tabulation);
+ break;
+ case 1:
+ fprintf(fout,"%smov.s $f12, $%s\n",tabulation,reg);
+ fprintf(fout,"%sli $v0, 2\n",tabulation);
+ break;
+ default:
+ // we suppose value is int
+ fprintf(fout,"%smove $a0, $%s\n",tabulation,reg);
+ fprintf(fout,"%sli $v0, 1\n",tabulation);
+ break;
+ }
+ fprintf(fout,"%ssyscall\n",tabulation);
+}
+
// -------- FUNCTIONS RELATED --------
+
+// -------- ARRAY RELATED --------
+
+void print_copy_array(struct symtable * t, struct code * c, FILE* fout,int i)
+{
+ #ifdef LIBDEBUG
+ fprintf(fout,"%s# copy_array section\n",tabulation);
+ #endif
+ if(c->quads[i].sym2->kind != ARRAY){
+ fprintf(stdout,"Tried to do an Var = tab[index] operation but right part isn't an array should address this issue in the corec.y file\n");
+ exit(1);
+ }
+ // adress of the array element we want to copy
+ load_tab_addr_macro("$t0", 1, 2, c->quads[i].sym2,c->quads[i].sym3,t,fout);
+ // adress of the place we want to copy the array element in
+ load_addr_macro("$t1",c->quads[i].sym1,t,fout);
+ // load in $t2 what's inside the array element
+ fprintf(fout,"%slw $t2, ($t0)\n",tabulation);
+ // store it in the destination
+ fprintf(fout,"%ssw $t2, ($t1)\n",tabulation);
+
+ #ifdef LIBDEBUG
+ fprintf(fout,"%s# end of copy_array section\n",tabulation);
+ #endif
+}
+
+void print_allocate_array(struct symtable * t, struct code * c, FILE* fout,int i)
+{
+ #ifdef LIBDEBUG
+ fprintf(fout,"%s# allocate_array section\n",tabulation);
+ #endif
+ if(c->quads[i].sym1->kind != ARRAY){
+ fprintf(stdout,"Tried to don an tab[index] = Var operation but left part isn't an array should address this issue in the corec.y file\n");
+ exit(1);
+ }
+ // number for the sbrk primitive call
+ fprintf(fout,"%sli $v0, 9\n",tabulation);
+ // based on the type of the var indicating the size of the array we do different operations to end up with the nb of bytes we should allocate is $a0
+ load_symbol_alloc_macro("$a0",0,c->quads[i].sym1->u.arr.dim1size,t,fout);
+ // call sbrk
+ fprintf(fout,"%ssyscall\n",tabulation);
+ // save the allocated array ptr returned in $v0 by syscall in the assigned .data var
+ fprintf(fout,"%sla $t0, %s\n",tabulation,c->quads[i].sym1->u.name);
+ fprintf(fout,"%ssw $v0, ($t0)\n",tabulation);
+ #ifdef LIBDEBUG
+ fprintf(fout,"%s# end of allocate_array section\n",tabulation);
+ #endif
+}
+
+void print_aff_array(struct symtable * t, struct code * c, FILE* fout,int i)
+{
+ #ifdef LIBDEBUG
+ fprintf(fout,"%s# aff_array section\n",tabulation);
+ #endif
+ if(c->quads[i].sym1->kind != ARRAY){
+ fprintf(stdout,"Tried to do an tab[index] = Var operation but left part isn't an array should address this issue in the corec.y file\n");
+ exit(1);
+ }
+ // V alternative, effectue directement le*4 en calcul vu qu'on devrait passer par un load immediate dans tout les cas
+ // fprintf(fout,"%sla $t0, %s\n",tabulation,c->quads[i].sym1->u.name);
+ load_tab_addr_macro("$t0", 1, 2, c->quads[i].sym1,c->quads[i].sym2,t,fout);
+ load_symbol_macro("$t1",c->quads[i].sym3,t,fout);
+ fprintf(fout,"%ssw $t1, ($t0)\n",tabulation);
+ #ifdef LIBDEBUG
+ fprintf(fout,"%s# end of aff_array section\n",tabulation);
+ #endif
+}
+
+
+
+
// -------- MISCELLANEOUS --------
void print_copy(struct symtable * t, struct code * c, FILE* fout,int i)
@@ -610,15 +761,13 @@ void print_copy(struct symtable * t, struct code * c, FILE* fout,int i)
void print_nameOrInteger(struct code * c, FILE* fout,int i,int sym)
{
- if(sym & 0b10)
- {
+ if(sym & 0b10) {
if(c->quads[i].sym2->kind == NAME || c->quads[i].sym2->kind == NAME_LOC)
fprintf(fout,"%slw $t0, %s\n",tabulation,c->quads[i].sym2->u.name);
else if(c->quads[i].sym2->kind == CONSTANT_INT)
fprintf(fout,"%sli $t0, %ld\n",tabulation,c->quads[i].sym2->u.value_int);
}
- if( sym & 0b100)
- {
+ if( sym & 0b100) {
if(c->quads[i].sym3->kind == NAME || c->quads[i].sym3->kind == NAME_LOC)
fprintf(fout,"%slw $t1, %s\n",tabulation,c->quads[i].sym3->u.name);
else if(c->quads[i].sym3->kind == CONSTANT_INT)
@@ -627,12 +776,67 @@ void print_nameOrInteger(struct code * c, FILE* fout,int i,int sym)
}
-/** Macro printer
- * only print the LF macro for the moment
- */
+// -------- MACROS --------
+void load_symbol_alloc_macro(char * dest, int tmp_used, struct symbol * sym, struct symtable * t, FILE* fout){
+ if(sym->kind == CONSTANT_INT) // var = 3
+ // in this case the value is a constant int we can do a load immediate in $a0 with value*4
+ fprintf(fout,"%sli %s, %ld\n",tabulation,dest,(sym->u.value_int)*4);
+ // in other cases we need to load the value from the label of the corresponding symbol
+ else if( sym->kind == NAME || sym->kind == NAME_LOC ) { // var = 4*3
+ fprintf(fout,"%slw $t%d, %s\n",tabulation,tmp_used,(sym->u.name));
+ } else { // array[4] = array[5]+3*4
+ fprintf(fout,"%slw $t%d, temp%d\n",tabulation,tmp_used,indice_temp(t,sym));
+ }
+ // if we don't have a CONST INT we loaded the nb of int/floats we want to stock in the array, in this case
+ if(sym->kind != CONSTANT_INT)
+ fprintf(fout,"%ssll %s, $t%d, 2\n",tabulation,dest,tmp_used);
+}
+
+void load_symbol_macro(char * dest, struct symbol * sym, struct symtable * t, FILE* fout){
+ if(sym->kind == CONSTANT_INT) // var = 3
+ // in this case the value is a constant int we can do a load immediate in $a0 with value*4
+ fprintf(fout,"%sli %s, %ld\n",tabulation,dest,(sym->u.value_int));
+ // in other cases we need to load the value from the label of the corresponding symbol
+ else if( sym->kind == NAME || sym->kind == NAME_LOC || sym->kind == ARRAY) { // var = 4*3
+ fprintf(fout,"%slw %s, %s\n",tabulation,dest,(sym->u.name));
+ } else { // array[4] = array[5]+3*4
+ fprintf(fout,"%slw %s, temp%d\n",tabulation,dest,indice_temp(t,sym));
+ }
+}
+
+
+void load_tab_addr_macro(char * dest,int tmp_used1, int tmp_used2, struct symbol * sym_addr, struct symbol * sym_index, struct symtable * t, FILE* fout){
+ fprintf(fout,"%slw $t%d, %s\n",tabulation,tmp_used2,sym_addr->u.name);
+ if(sym_index->kind == CONSTANT_INT)
+ // put into dest the addr of array[index] element
+ fprintf(fout,"%saddi %s, $t%d, %ld\n",tabulation,dest,tmp_used2,(sym_index->u.value_int)*4);
+ // in other cases we need to load the value from the label of the corresponding symbol
+ else if( sym_index->kind == NAME || sym_index->kind == NAME_LOC || sym_index->kind == ARRAY) {
+ fprintf(fout,"%slw $t%d, %s\n",tabulation,tmp_used1,(sym_index->u.name));
+ } else {
+ fprintf(fout,"%slw $t%d, temp%d\n",tabulation,tmp_used1,indice_temp(t,sym_index));
+ }
+ if (sym_index->kind != CONSTANT_INT){
+ // if not CONSTANT_INT wasn't yet multiplied by 4
+ fprintf(fout,"%ssll $t%d, $t%d, 2\n",tabulation,tmp_used1,tmp_used1);
+ fprintf(fout,"%sadd %s, $t%d, $t%d\n",tabulation,dest,tmp_used2,tmp_used1);
+ }
+}
+
+void load_addr_macro(char * dest, struct symbol * sym, struct symtable * t, FILE* fout)
+{
+ if( sym->kind == NAME || sym->kind == NAME_LOC || sym->kind == ARRAY){
+ fprintf(fout,"%sla %s, %s\n",tabulation,dest,sym->u.name);
+ } else
+ fprintf(fout,"%sla %s, temp%d\n",tabulation,dest,indice_temp(t,sym));
+
+}
+
+
void print_macros(FILE* fout){
fprintf(fout,"\n# MACROS definition\n\n");
print_LF_macro(fout);
+ print_SPACE_macro(fout);
fprintf(fout,"# End of MACROS definition\n");
}
@@ -643,17 +847,79 @@ void print_LF_macro(FILE* fout){
fprintf(fout,"\tsyscall\n");
fprintf(fout,".end_macro\n");
}
+
+void print_SPACE_macro(FILE* fout){
+ fprintf(fout,".macro SPACE\n");
+ fprintf(fout,"\tli $v0, 4\n");
+ fprintf(fout,"\tla $a0, space\n");
+ fprintf(fout,"\tsyscall\n");
+ fprintf(fout,".end_macro\n");
+}
// ETC FEEL FREE TO ADD MORE SECTIONS
+// -------- DEBUG RELATED --------
+
+#ifdef LIBDEBUG
+void debug_print_reg(char * reg,FILE * fout, int type){
+ fprintf(fout,"%sli $v0, 4\n",tabulation);
+ fprintf(fout,"%sla $a0, print%s\n",tabulation,reg);
+ fprintf(fout,"%ssyscall\n",tabulation);
+
+ fprintf(fout,"%smove $a0, $%s\n",tabulation,reg);
+ switch(type) {
+ case 0:
+ fprintf(fout,"%sli $v0, 1\n",tabulation);
+ break;
+ case 1:
+ fprintf(fout,"%sli $v0, 4\n",tabulation);
+ break;
+ default:
+ // we suppose value is int
+ fprintf(fout,"%sli $v0, 1\n",tabulation);
+ break;
+ }
+ fprintf(fout,"%ssyscall\n",tabulation);
+ //Return to line
+ fprintf(fout,"%sLF\n",tabulation);
+
+}
+
+void debug_print_start(FILE * fout){
+ fprintf(fout,"%sli $v0, 4\n",tabulation);
+ fprintf(fout,"%sla $a0, startfct\n",tabulation);
+ fprintf(fout,"%ssyscall\n",tabulation);
+ fprintf(fout,"%sLF\n",tabulation);
+}
+
+void debug_print_end(FILE * fout){
+ fprintf(fout,"%sli $v0, 4\n",tabulation);
+ fprintf(fout,"%sla $a0, endfct\n",tabulation);
+ fprintf(fout,"%ssyscall\n",tabulation);
+ fprintf(fout,"%sLF\n",tabulation);
+}
+
+void debug_register_strings_declaration(FILE * fout){
+ for(int i = 0; i < 10; i++)
+ fprintf(fout,"\tprintt%d: .asciiz \"$t%d : \"\n",i,i);
+ for(int i = 0; i < 4; i++)
+ fprintf(fout,"\tprinta%d: .asciiz \"$a%d : \"\n",i,i);
+ for(int i = 0; i < 3; i++)
+ fprintf(fout,"\tprintv%d: .asciiz \"$v%d : \"\n",i,i);
+ fprintf(fout,"\tstartfct: .asciiz \"START \"\n" );
+ fprintf(fout,"\tendfct: .asciiz \"END \"\n" );
+
+}
+#endif
+
/************************* NAME TO DEFINE FUNCTIONS *************************/
-void add_indent(){
+void add_indent(int code, struct code* c, struct symtable* t, FILE* fname){
if(indent >= 1022)
{
printf("more than 1023 indentations ! write better code.\n");
- exit(-1);
+ free_exit(code,c,t,fname);
}
tabulation[indent] = '\t';
indent++;
diff --git a/lib.h b/lib.h
index 6a894396021f1a11abffa021779a0d26742bf1c1..a9426d98523e5fbfb6e4f0c55fa744669cfd703d 100644
--- a/lib.h
+++ b/lib.h
@@ -7,6 +7,8 @@ extern unsigned int lineNumber;
extern struct symbol* symb_scope_function;
#define INDENT_BUF 1024
+// make each section of MIPS code more clear comment to disable
+#define LIBDEBUG
/* TABLE DES SYMBOLES */
@@ -14,21 +16,24 @@ typedef char name_t[64];
typedef char name_64_t[1024];
struct array {
- name_t name;
- struct symbol** size;
- unsigned int dim;
- struct symbol* dim1size;
+ name_t name;
+ struct symbol** size;
+ unsigned int dim;
+ struct symbol* dim1size;
};
-// Struct symbol -> store a symbol
-struct symbol {
- enum { NAME, // -> use the name attribut in the union u
+enum kind{
+ NAME, // -> use the name attribut in the union u
CONSTANT_INT, // -> use the value_int attribut in the union u
CONSTANT_FLOAT, // -> use the value_float attribut in the union u
CHAIN, // -> use the chaine attribut in the union u
NAME_LOC, // -> use the name attribut, the symbol is just defined
ARRAY // -> use the name attribut in the union u
- } kind; // attribut kind : the type of symbol;
+};
+
+// Struct symbol -> store a symbol
+struct symbol {
+ enum kind kind; // attribut kind : the type of symbol;
union {
name_t name;
name_64_t chaine;
@@ -36,8 +41,7 @@ struct symbol {
float value_float;
struct array arr;
} u;
-
- // * (! only sets with variable kind : NAME_LOC, ARRAY)
+ // * (! only sets with variable kind : NAME_LOC, ARRAY)
name_t scope_function; // -> Name of the function where locals variables (NAME_LOC, ARRAY) are defined.
};
@@ -87,10 +91,10 @@ void symtable_free(struct symtable * t);
* COPY_ARRAY -> tmp=sym1 array=sym2 element=sym3 -> tmp= array[element]
*/
struct quad {
- enum quad_kind { BOP_PLUS, BOP_MINUS, BOP_MULT, BOP_DIV, BOP_MOD, UOP_MINUS, COPY, COPY_ARRAY, ALLOCATE_ARRAY, AFF_ARRAY, DEF_MAIN, DEF_FUNCTION, CALL_PRINT, CALL_PRINTSTR} kind;
- struct symbol* sym1;
- struct symbol* sym2;
- struct symbol* sym3;
+ enum quad_kind { BOP_PLUS, BOP_MINUS, BOP_MULT, BOP_DIV, BOP_MOD, UOP_MINUS, COPY, COPY_ARRAY, ALLOCATE_ARRAY, AFF_ARRAY, DEF_MAIN, DEF_FUNCTION, CALL_PRINT, CALL_PRINTSTR} kind;
+ struct symbol* sym1;
+ struct symbol* sym2;
+ struct symbol* sym3;
};
// Struct code -> store the intermediate code
@@ -133,58 +137,108 @@ void print_main_def(FILE* fout);
// -------- ARITHMETIC RELATED --------
-// add the BOP plus arithmetic operation TODO explain in more details i don't know what BOP stand for (Binary operator ?)
+// add the BOP plus arithmetic operation TODO explain in more details
void print_bop_plus(struct code * c, FILE* fout,int i);
-// add the BOP minus arithmetic operation TODO explain in more details i don't know what BOP stand for (Binary operator ?)
+// add the BOP minus arithmetic operation TODO explain in more details
void print_bop_minus(struct code * c, FILE* fout,int i);
-// add the BOP mult arithmetic operation TODO explain in more details i don't know what BOP stand for (Binary operator ?)
+// add the BOP mult arithmetic operation TODO explain in more details
void print_bop_mult(struct code * c, FILE* fout,int i);
-// add the BOP div arithmetic operation TODO explain in more details i don't know what BOP stand for (Binary operator ?)
+// add the BOP div arithmetic operation TODO explain in more details
void print_bop_div(struct code * c, FILE* fout,int i);
-// add the BOP modulo arithmetic operation TODO explain in more details i don't know what BOP stand for (Binary operator ?)
+// add the BOP modulo arithmetic operation TODO explain in more details
void print_bop_mod(struct code * c, FILE* fout,int i);
-// add the UOP minus arithmetic operation TODO explain in more details i don't know what UOP stand for (Unary operator ?)
+// add the UOP minus arithmetic operation TODO explain in more details
void print_uop_minus(struct code * c, FILE* fout,int i);
// -------- PRINT RELATED --------
// add the code to print the asked variable
-void print_print(struct code * c, FILE* fout,int i);
+void print_print(struct symtable * t, struct code * c, FILE* fout,int i);
-// add the code to print the asked string
+// add the code to print the asked string
void print_printstr(struct symtable * t, struct code * c, FILE* fout,int i);
+/** @brief print_reg make MIPS code to print the register's value, no LF and no SPACE
+ * only the register's value type = 0 => int | type = 1 => float everything else is considered as an int TODO update this
+ * TODO think about deleting type and just checking if the first reg character is an f if no other cases than int and floats
+ */
+void print_reg(char * reg,FILE * fout, int type);
+
// -------- FUNCTIONS RELATED --------
+// -------- ARRAY RELATED --------
+
+/** @brief print_copy_array make MIPS code that copy to a temp the value in an array at a given index X <= array[i]
+ */
+void print_copy_array(struct symtable * t, struct code * c, FILE* fout,int i);
+
+/** @brief print_allocate_array make MIPS code to allocate the memory of a given array
+ */
+void print_allocate_array(struct symtable * t, struct code * c, FILE* fout,int i);
+
+/** @brief print_aff_array make MIPS code to affect a value in an array at a given index array[i]= X
+ */
+void print_aff_array(struct symtable * t, struct code * c, FILE* fout,int i);
+
// -------- MISCELLANEOUS --------
-// make a copy of a var TODO make a real comment
+// make a copy of a var TODO make a real comment
void print_copy(struct symtable * t, struct code * c, FILE* fout,int i);
// load whether a named var or a constant TODO find a better name !
void print_nameOrInteger(struct code * c, FILE* fout,int i,int sym);
-/** Macro printer
- * only print the LF macro for the moment
- * should becalled between .data and .text segments
+// -------- MACROS --------
+
+/** @brief load_symbol_alloc_macro load a symbol used for an sbrk allocation ( multiply it's value by 4)
+ */
+void load_symbol_alloc_macro(char * dest, int tmp_used, struct symbol * sym, struct symtable * t, FILE* fout);
+
+/** @brief load_symbol_macro load a symbol value into the dest register
+ */
+void load_symbol_macro(char * dest, struct symbol * sym, struct symtable * t, FILE* fout);
+
+/** @brief load_tab_addr_macro given a symbol adress and a symbol index put the addr of array[n] element in dest
+ * tmp_used1 and tmp_used2 won't be saved so ensure nothing that should be saved is in
+ */
+void load_tab_addr_macro(char * dest, int tmp_used1, int tmp_used2, struct symbol * sym_addr, struct symbol * sym_index, struct symtable * t, FILE* fout);
+
+/** @brief load_addr_macro put the memory adress of sym into the dest register
+ */
+void load_addr_macro(char * dest, struct symbol * sym, struct symtable * t, FILE* fout);
+
+/** @brief Macro printer only print the LF and SPACE macros for the moment
+ * should be called between .data and .text segments
*/
void print_macros(FILE* fout);
-/** Add a macro to print a LF in MIPS
+/** @brief print_LF_macro add a macro to print a LF in MIPS code
*/
void print_LF_macro(FILE* fout);
-// ETC FEEL FREE TO ADD MORE SECTIONS
+/** @brief print_SPACE_macro add a macro to print a SPCE in MIPS code
+ */
+void print_SPACE_macro(FILE* fout);
+
+// -------- DEBUG RELATED --------
+
+#ifdef LIBDEBUG
+void debug_print_reg(char * reg,FILE * fout, int type);
+void debug_print_start(FILE * fout);
+void debug_print_end(FILE * fout);
+void debug_register_strings_declaration(FILE * fout);
+#endif
+// ETC FEEL FREE TO ADD MORE SECTIONS
/************************* NAME TO DEFINE FUNCTIONS *************************/
// add a tabulation to the indentation string
-void add_indent();
+void add_indent(int code, struct code* c, struct symtable* t, FILE* fname);
// remove a tabulation from the indentation string
int remove_indent();