COSC 4400 / 5400 Compiler Construction

Due: Wednesday, 2022 November 02, 11:59pm CST.

Submit: Turn in your entire Project5 directory using the turnin command on morbius.mscsnet.mu.edu or one of the other Systems Lab machines.

Work may be completed in teams of up to three students. Be certain to include all team members' names in the file. Include a comment block at the very top of each file that contains the following:

/**
 * COSC 4400 - Project #
 * Explain briefly the functionality of the program.
 * @authors [your names]
 * Instructor [your instructor]
 * TA-BOT:MAILTO [your email addresses]
 */


The Translator

Implement a Translator for our dialect of the MiniJava programming language, as detailed below.

• Read Chapter 6 and 7 of Appel.
• Implement a translator that converts our Project 5 Abstract Syntax Tree into an Intermediate Representation (IR) tree.
• Run the reference implementation of the translator on Morbius with the command: ~brylow/cosc4400/Projects/translator < program.java
• Create your translator in a package called "Translate" with a main program in class "Main". My grading protocol will assume that your project can be compiled and run with the following command line: cd Project7; make; java Translate.Main < inputfile.java.
• Build a decent set of MiniJava testcases. Several exist in the book, and on the web. Having a good set of test inputs will be critical to your success in later phases of the project. The majority of project points will be assigned by running diff to compare your output against mine.
• Debug until done.

Specification

• To create the intermediate representation tree, you will need to create the following packages (refer to Appel chapters 6 and 7 for more information) :
  • Temp - abstract names for local variables
  • Tree - Intermediate Representation tree classes
  • Translate - visitors and data structures for the translation pass
  • Frame - stack frame interface
  • Arm - ARM (target architecture) dependent behavior
• Your Frame package should (at least) contain the following classes:
  • Frame - abstract class to be extended by the target architecture frame
  • Access - abstract class describes formals and locals that may exist in stack frames or registers
• Your Arm package should (at least) contain the following classes:
  • ArmFrame - concrete implementation of ARM-specific stack frames
  • InFrame - indicates memory location in stack frame
  • InReg - indicates register location
• Your Temp package should (at least) contain the following classes:
  • Temp - abstract names for local variables
  • Label - abstract names for abstract memory locations
• Your Translate package should (at least) contain the following classes:
  • Frag - abstract parent class for code and data fragments generated during translation
  • ProcFrag - text segment fragment of IR code that consists of a stack frame and a method body
  • DataFrag - data segment fragment for storing virtual tables, string constants, static fields, etc.
  • Exp - abstract parent of all translation phase expressions
  • Ex - translation phase expressions that return a value
  • Nx - translation phase expressions that do not return a value
  • Cx - abstract translation phase expressions that perform a comparison
  • RelCx - relational translation phase comparison expressions
  • IfThenElseExp - translation phase if-then-else expressions
• The API for the Tree package is here.