stefanomunari/fac

F Academic Compiler

fac's Issues

Costringere a livello sintattico di inizializzare le variabili

Costringere a livello sintattico di inizializzare le variabili. Dobbiamo anche decidere come viene modificato l'AST, è meno banale del previsto :/.

Sistemare makefile in modo tale da creare la cartella bin non all'interno di src

Sistemare makefile in modo tale da creare la cartella bin non all'interno di src

Fix WHILE GENERATION

review parser and merge it into master

merge parser into master after all the other enhancement and bug tickets have been closed

Note:
the person who completes parser cannot be the same one who reviews and merges it into master

Segmentation Fault possibly due to wrong path

Segmentation Fault recipe:

Go in "result" directory.
Execute an exercise ../bin/fac ../examples/ex1.f C

Documentare e sistemare (rifattorizzare se necessario???) il codice

Documentare e sistemare (rifattorizzare se necessario???) il codice

Solve all doxygen warnings / Comment all h files!!

Sistemare i nomi delle variabili e le label (cosí Satta è contento, per esempio t1, t2 e L1, L2)

Sistemare i nomi delle variabili e le label (cosí Satta è contento, per esempio t1, t2 e L1, L2)

Fix IF-ELSE

TAC generation broken (segfault)

Improve README - parser

Briefly explain what this thing does
how to compile it
how to run it
how to test it
how to generate the dev documentation

insert a reference to FAC-docs

Fix C printer

The printer generates a C program which does not skip the branch labels

Dividere i file nelle rispettive cartelle

Dividere i file nelle rispettive cartelle:

• Per esempio tutto ciò che concerne tac va nella cartella c_src tac, symbol table ecc.

Sistemare le chiamate polimorfe a tac_printer

Sistemare il polimorfismo per tac_printer.c (non sono riuscito a farlo andare :/ senza rinominare la funzione tac_printer nel file tac_printer.c.)

Memory Leaks

Using valgrind our program shows some memory leaks.
They should be due to the temporary variables allocated on the stack.

You can view where these are created with this valgrind invokation (for instance!!!):
valgrind --leak-check=yes ./bin/fac examples/ex1.f C

Improve readability

Improve readability in general but particularly assignment of type x=y. I think that x = y is easier to read

complete parser

check ex and add other examples if necessary
check if everything works properly

Note:
the person who completes parser cannot be the same one who reviews and merges it into master

Decide how to treat statement with no effect

We should decide where and how to treat statement with no effect.

If we parse them and then simply ignore them during the syntactic analysis, we encounter problems in the if and while TAC generation, because we assume that the body of the statements and especially of the if is not NULL.

I have two solution' proposals:

1. Avoid sintactically the statement --> stmt expr SEPARATOR. The advantage of this solution is that it does not affect the rest of the program.
2. Solve them during TYPE-checking so that we can accept this kind of statement and then remove dead code. Advantage: gcc like and more powerful - Disadvantage we have to modify (massively??) the type checker to control if the bodies of if and while are not empty

REVIEW Grammar Rules

Check grammar rules in branch parser-review

write tests - cunit

once parser is done rebase it into cunit and proceed with the tests
write most significant tests for the project (use cunit branch)

Suppress some outputs or use options to limitate it

We could add the option verbose to improve readability of output.
For instance the printing of the ast tree should be optional. Waiting for a feedback..

Render explicit with a new tac enumeration when it is an AOP with arity 1 and arity 2

In order to make the tac printing easier and less error prone we could seriously consider the idea of introducing two new tokens TAC_SIGN_PLUS and TAC_SIGN_MINUS to distinguish them from TAC_AOP1 and TAC_AOP0.

Aggiungere in tac_pritner.c la dichiarazione di variabili.

Le variabili potrebbero essere (secondo me) salvate in un file.h che dopo importiamo di ignoranza nel codice C.

Tidy-up remote history

It is the last issue to complete. Squash duplicate commits. Fix useless one. Filter deprecated files from the project tree.

Controllare che sia effettivamente corretto il printing C finale (--> testare doppi cicli annidati)

Controllare che sia effettivamente corretto il printing C finale (--> testare doppi cicli annidati)

Decidere se e come fare (a che livello) dead code elimination.

Decidere se e come fare (a che livello) dead code elimination.

Quella molto semplice if(false) BLOCCO ---> codice vuoto ecc.

Use 80 chars convention

Use 80 chars convention in all files!!

Aggiungere a livello sintattico il controllo che i blocchi di if ed else non siano vuoti

Aggiungere a livello sintattico il controllo che i blocchi di if ed else non siano vuoti

Fix product between fract types

Some examples give "Floating point exception". Check ex22.f (1|3 * 1|3)

Eliminare tac_test ?

Secondo me una volta che abbiamo tutti i printer, il file tac test va eliminato. Ricordiamoci prima della consegna.

IMPROVE ERROR REPORTING

Improve type checker error reporting especially with respect to b0 == b1 e b0 <> b1