Changes between Version 21 and Version 22 of Commentary/Compiler/NewCodeGenPipeline


Ignore:
Timestamp:
Oct 17, 2008 6:07:42 PM (6 years ago)
Author:
dias
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/NewCodeGenPipeline

    v21 v22  
    33This page contains notes about the design of the new code generator. 
    44See also: [wiki:NewCodeGenOverview overview of the module structure in the new code generator]. 
    5  
    6 == The new Cmm data type == 
    7  
    8 There is a new Cmm data type: 
    9  
    10  * [[GhcFile(compiler/cmm/ZipCfg.hs)]] contains a generic zipper-based control-flow graph data type.  It is generic in the sense that it's polymorphic in the type of '''middle nodes''' and '''last nodes''' of a block.  (Middle nodes don't do control transfers; last nodes only do control transfers.)  There are extensive notes at the start of the module.[[BR]][[BR]] 
    11  The key types it defines are: 
    12    * Block identifiers: `BlockId`, `BlockEnv`, `BlockSet` 
    13    * Control-flow blocks: `Block` 
    14    * Control-flow graphs: `Graph`[[BR]][[BR]] 
    15  * '''`ZipDataFlow`''' contains a generic framework for solving dataflow problems over `ZipCfg`. It allows you to define a new optimization simply by defining a lattice of dataflow facts (akin to a specialized logic) and then writing the dataflow-transfer functions found in compiler textbooks. Handing these functions to the dataflow engine produces a new optimization that is not only useful on its own, but that can easily be composed with other optimizations to create an integrated "superoptimization" that is strictly more powerful than any sequence of individual optimizations, no matter how many times they are re-run.  The dataflow engine is based on [http://citeseer.ist.psu.edu/old/lerner01composing.html (Lerner, Grove, and Chambers 2002)]; you can find a functional implementation of the dataflow engine presented in [http://www.cs.tufts.edu/~nr/pubs/zipcfg-abstract.html (Ramsey and Dias 2005)].[[BR]][[BR]] 
    16  * '''[[GhcFile(compiler/cmm/ZipCfgCmmRep.hs)]]''' instantiates `ZipCfg` for Cmm, by defining types `Middle` and `Last` and using these to instantiate the polymorphic fields of `ZipCfg`.  It also defines a bunch of smart constructor (`mkJump`, `mkAssign`, `mkCmmIfThenElse` etc) which make it easy to build `CmmGraph`.[[BR]][[BR]] 
    17  * '''`CmmExpr`''' contains the data types for Cmm expressions, registers, and the like.  It does not depend on the dataflow framework at all. 
    185 
    196== The Cmm pipeline ==