Generació de codi en SSA form amb aplicació de diverses tècniques d'optimització

Abstract

Aquest projecte està enfocat a les optimitzacions en compiladors. Les optimitzacions són un part important del procés de creació de software, com també ho és conèixer les seves característiques i possibilitats per poder realitzar programari més eficient amb aquestes eines. En aquest projecte es tractarà de documentar cada fase del procés d’optimització, passant el codi a la forma intermèdia SSA i realitzant vàries optimitzacions, Constant Folding, Copy i Constant Propagation, Common Subexpression Elimination i Dead-Code Elimination. Aquesta documentació anirà complementada per una part implementada a un compilador permetent el seu ús. Tot això permetrà que altres estudiants puguin ampliar els seus coneixement amb aquesta nova informació, ja que la part implementada fa ús del compilador de l’assignatura de Compiladors de la Facultat d’Informàtica de Barcelona de la Universitat Politècnica de Catalunya, permetent una integració més fàcil a l’assignatura. A més, aquesta ampliació del compilador és una infraestructura pel codi en forma SSA que permet alhora, seguint-se ampliant amb altres optimitzacions.