Translating: Tiger to IR and IR to ASM

The TigerTrans package provides the IntermediateRepresentation used in the TigerCompiler, the translation from TigerAbstractSyntax to IntermediateRepresentation, and the implementation of InstructionSelection, translating IntermediateRepresentation to MIPS.

Directory ir

• Signature of the IntermediateRepresentation format
• PPIR: UglyPrinter for IR
• IRCanonicalize: canonicalization of IntermediateRepresentation
• IRFormat, CIRFormat: FormatCheckers for IR and CIR formats

Directory tas2ir

• TigerVarEscapes: escaping variables analysis and .
• TAS2IR: translation of Tiger programs to IntermediateRepresentation

Directory ir2asm

• IR2ASM: instruction selection (translating IntermediateRepresentation to MIPS code)
  • CallerSavedRegisters

The CompilerArchitecture (OptimizerArchitecture) depicts the dataflow between the components.

Remarks

For true reusability it would probably be better to split this package up into three packages:

• TigerIR: containing the definition of IntermediateRepresentation and IRCanonicalize
• TigerTrans: translation from Tiger to IR
• TigerMIPS: instruction selection for some target architecture

Download & Installation

Download

• http://www.stratego-language.org/ftp/tiger-trans-0.2.tar.gz

Install

> gtar zxf tiger-trans-0.2.tar.gz
> cd tiger-trans-0.2
> ./configure --prefix=/tiger/install --with-xt=/projects/stratego/xt
> gmake

Note: in this configuration it is assumed that the other CompilerPackages are configured with the same prefix /tiger/install.

Testing

The components of this package can be tested using the example Tiger programs in the TigerXmpl package. See HowToTestTheTigerCompiler.