TP 8 - Génération de code
Vous devez accepter l'assignment d'ici est travailler avec ce repository: Lab 8
Three Address Code
Dans le domaine informatique, le code de trois adresses (three address code) représente un code intermédiaire utilisé pour les compilateurs en tant que moyen d'écrire des instructions. Chaque instruction consiste en:
- maximum trois adresses (variable, numéro, étiquette, …)
- opérateur
- résultat
Comme il s'agit d'un code intermédiaire, les opérands ne représentent pas d'adresses de mémoire ou de registres, mais plutôt des adresses symboliques qui seront traduites plus tard.
Exemple
/* Expression */ e = (a-2)+(a-5) /* Three Address Code */ t1 = a - 2 t2 = a - 5 t3 = t1 + t2 e = t3
Expression Parser
- Alf.g4
grammar Alf; start : (statement SEMICOLON NEWLINE*)* #multilineProg | statement SEMICOLON #singlelineProg ; statement : declaration #declarationRule | expression #expressionRule | list_declaration #listRule | function_declaration #functionRule | attribution #attributionRule | function_call #functionCallRule ; declaration : type VARIABLE EQ expression #variableDeclaration | type VARIABLE EQ function_call #variableFunctionCall ; type : INT #typeInt | FLOAT #typeFloat | STRING #typeString ; value : INT_NUMBER #valueInt | FLOAT_NUMBER #valueFloat | STRING_TEXT #valueString | VARIABLE #valueVariable ; expression : left=expression op=MUL right=expression #expressionMultiply | left=expression op=DIV right=expression #expressionDivision | left=expression op=REM right=expression #expressionRem | left=expression op=ADD right=expression #expressionAddition | left=expression op=SUB right=expression #expressionSubtraction | LP expression RP #expressionParanthesis | value #expressionValue ; attribution : VARIABLE EQ expression #variableAttribution ; list_declaration : LIST VARIABLE EQ LSP values RSP #listDeclaration ; values : (value COMMA)* #listValues ; function_declaration: FUNCTION VARIABLE LP (parameter COMMA*)* RP LB (statement SEMICOLON)* return_function RB #functionContent ; parameter : declaration #functionParameter ; return_function : RETURN statement SEMICOLON #returnStatement | RETURN SEMICOLON #emptyReturn ; function_call : VARIABLE LP (value COMMA*)* RP #functionCall ; WS : (' ') -> skip; NEWLINE : ([\r\n]+) -> skip; FUNCTION : 'function'; VARIABLE : ('_'[a-zA-Z0-9]+); ADD : '+'; SUB : '-'; MUL : '*'; DIV : '/'; REM : '%'; INT : 'int'; FLOAT : 'float'; STRING : 'string'; LIST : 'list'; LP : '('; RP : ')'; EQ : '='; SEMICOLON : ';'; LSP : '['; RSP : ']'; COMMA : ','; LB : '{'; RB : '}'; RETURN : 'return'; INT_NUMBER : ([0-9]+); FLOAT_NUMBER : ([0-9]+'.'[0-9]+); STRING_TEXT : ('"'~["]+'"'|'\''~[']+'\''); ;
Exercises
- Dans le fichier ex1.txt écrivez le three address code pour les expressions suivantes (1p)
- (4+2)/5-3
- e = (a-2)+(a-5)
- Dans le fichier ex2.txt écrivez le three address code pour le programme suivant (1p)
if (a > 0) { result = 'positive'; } else { result = 'negative'; }
- Dans un fichier ex3.txt écrivez le three address code pour le programme suivant (1p)
function double (nr) { return nr*2; } double (7/2);
- Pour les exercices suivants vous devez modifier seulement le contenu du fichier et ThreeAddressCode.java. Exécutez le parser du laboratoire et écrivez un programme qui génere le Three Address Code pour le noeud expression et vérifiez avec le fichier ex4.txt (Indice: Pour nommer les variables temporaires, vous pouvez prendre un compteur global que vous incrémentez chaque fois que vous avez besoin d'une autre variable - nextVarName()). (2p)
- Écrivez un programme qui écrit le Three Address Code pour le noeud AttributionNode et vérifiez la corectitude avec le fichier ex5.txt(2p)
- Écrivez un programme qui écrit le Three Address Code pour le noeud FunctionCall et testez avec le fichier ex6.txt(2p)
- BONUS: Pour résoudre cet exercice, on vous recommande de créer un nouveau fichier,
ThreeAddressCodeBonus.java, pour pouvoir modifier la structure sans supprimer les exercices précedents. Ajoutez le type à chaque argument dans le tableau. Les types sont: nombre, identifier, String, temp (une valeur temporaire). Pour chaque valeur temporaire, ajoutez la ligne où elle est assignée dans le three address code. Modifiez la structure du fichier Main.java de facon que, si vous testez avec le fichier ex8.txt, vous obteniez le resultat suivant.(2p)
