After finishing the basic TigerCompiler, extend it with at least one optimization component. Which optimization in which stage of compilation you implement is up to ...

Binary operations of the Stratego.IR language

CIR-Format is a component of the TigerCompiler in the TigerTrans package that checks the well-formedness of canonicalized IntermediateRepresentation trees. The component ...

Canonicalization Implement the IRCanonicalize component that transforms IntermediateRepresentation expressions into canonical form. The component can be found in ...

The Tiger in Stratego is divided into several packages, in order to make it easier to distribute only parts of the compiler and to add new components. Languages Front ...

The default escaping variables analysis is very conservative and makes all variables escaping by annotating their declaration with Stack(x) . In order for your compiler ...

Q: How can I stay up to date with what is going on? A: Subscribe yourself to a daily message with pages changed in this wiki web by adding your name to the list in ...

Canonicalization of IR Programs This is the third set of HpcExercises. The final goal of this set of exercises is the definition of a transformation that brings IR ...

In 2001-2002 exercises are called HpcAssignments. This page contains the exercises from 2000-2001. They might contain useful tips for your project. The following sets ...

Instruction Selection for the MIPS This is the fourth set of HpcExercises. In these exercises you build an instruction selector for IR programs that produces MIPS ...

In the course we discuss the following topics (Chapters refer to Transform.ModernCompilerImplementationInML). The project entries in the schedule are steps in building ...

Tiger Abstract Syntax This is the first set of HpcExercises that will teach you the structure of the abstract syntax of the TigerLanguage, the use of the StrategoCompiler ...

Translation to Intermediate Representation This is the second set of HpcExercises. These will teach you to write a more complex transformation (translation to IR ...

The IR package provides syntax of and operations on the Representation. IntermediateRepresentation concrete and abstract syntax PPIR Pretty-print table for IRCanonicalize ...

The IR2ASM component of the TigerCompiler (in the TigerTrans package) implements InstructionSelection for the MIPS archticture. IR2ASM.r The module below is a template ...

IR-Canonicalize is a component of the TigerCompiler in the TigerTrans package. It normalizes IntermediateRepresentation trees such that: expressions don't have side ...

The IR-Format component of the TigerCompiler in the TigerTrans package checks the well-formedness of IntermediateRepresentation trees. It is a useful debugging tool ...

The to ASM package implements selection for the representation of the compiler. IR2ASM instruction selection for MIPS architecture CallerSavedRegisters

Selection for the MIPS Build an instruction selector for programs in intermediate representation that produces MIPS code. This essentially consists of defining rules ...

Instruction selection is the phase in compilation in which IntermediateRepresentation trees are mapped to sequences of target machine instructions. Algorithms MaximalMunch ...

IntermediateRepresentation is an abstract machine language that abstracts from the details of both source and target languages. The definition of the IntermediateRepresentation ...

The MIPS architecture is a family of RISC computer architectures designed by Transform.MipsTechnologies. The SpimSimulator can be used to simulate MIPS assembly language ...

A pretty-print table for the IntermediateRepresentation of the TigerCompiler (TigerTrans package). IR-pretty.pp INCLUDE{"http://www.stratego-language.org/tiger/ir ...

The TAS2IR component of the TigerCompiler in the TigerTrans package translates TigerAbstractSyntax trees to IntermediateRepresentation. TAS2IR.r The following module ...

The to IR package specifies the translation from TigerAbstractSyntax to IntermediateRepresentation. TigerVarEscapes: escaping variables analysis TAS2IR: translation ...

The TigerTrans package has been split up into three packages: containing the definition of IntermediateRepresentation and IRCanonicalize to IR translation from Tiger ...

Tiger-Typecheck checks TigerAbstractSyntax trees for well-typedness and annotates variables with their types. It is a component of the TigerCompiler in the TigerFront ...

TigerVarEscapes is a component of the TigerCompiler in the TigerTrans package. The component transforms programs in TigerAbstractSyntax format such that all variable ...

The TigerXmpl package provides a directory with example Tiger programs and a makefile for testing the various TigerCompiler components. The makefile imports make-rules ...

Implement translation of TigerAbstractSyntax expressions to IntermediateRepresentation code in module TAS2IR in the TigerTrans package. The TigerTrans package contains ...

The xmpl/ directory in the TigerXmpl package contains a number of example Tiger programs (partly copied from the Stratego.ModernCompilerImplementation site) and a ...

This glossary gives an overview of the most important pages in this web Web WebIndex contains the complete list of pages in this web. WebChanges shows which pages ...