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 expressions in a canonical form.

  1. Setup module IR-Canonicalize.r in directory trans/ with as start an identity transformation. Extend the with appropriate rules for compiling this new component. Compile, install and test by transforming some programs in xmpl/ using the target %.cir (for canonicalized ir).

  1. Define a RecursivePattern? that describes IR expressions in canonical form in module sig/CIR-Format.r. Compile it and define an appropriate target in xmpl/make-rules to check %.cir files.

  1. Extend IR-Canonicalize with transformation rules for linearizing an IR expression.

  1. Define a strategy to apply the linearization rules.

  1. Define a strategy for extracting basic blocks.

  1. Define a strategy for covering the program with traces.


You can pretty-print the IR tree with the program PP-IR (target, which can also be used for canonicalized IR trees (target %.cir.txt).

Revision: r1.1 - 09 May 2001 - 21:57 - EelcoVisser
Tiger > HpcCanonicalizationOfIR
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback