Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/README
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/README

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1035, Sun May 1 19:23:10 2011 UTC revision 1036, Sun May 1 19:26:54 2011 UTC
# Line 31  Line 31 
31          lifts static computations to the global level and eliminates          lifts static computations to the global level and eliminates
32          dynamic field, kernel, and image values (i.e., statically resolves          dynamic field, kernel, and image values (i.e., statically resolves
33          them).          them).
34          (see high-il, high-il-opt, IL)          (see high-il, IL)
35    
36      6) Translation to MidIL      6) Translation to MidIL
37          This pass translates the HighIL representation to MidIL.  The main          This pass translates the HighIL representation to MidIL.  The main
# Line 44  Line 44 
44    
45      7) MidIL optimization      7) MidIL optimization
46          *** Not implemented yet ***          *** Not implemented yet ***
47          (see mid-il, mid-il-opt, IL)          (see mid-il, IL)
48    
49      8) Translation to LowIL      8) Translation to LowIL
50          This pass translates the MidIL representation to LowIL.  It expands          This pass translates the MidIL representation to LowIL.  It expands
# Line 54  Line 54 
54    
55      9) LowIL optimization      9) LowIL optimization
56          *** Not implemented yet ***          *** Not implemented yet ***
57          (see IL, low-il, low-il-opt)          (see IL, low-il)
58    
59     10) Translation to TreeIL     10) Translation to TreeIL
60          The first part of code generation is to turn SSA assignments into          The first part of code generation is to turn SSA assignments into
61          expression trees and to turn the CFG into block structured code.          expression trees and to turn the CFG into block structured code.
62          This is accomplished by the translation from LowIL to TreeIL, which          This is accomplished by the translation from LowIL to TreeIL, which
63          uses the same operators and types as LowIL.          uses the same operators and types as LowIL.  This phase also includes
64          (see IL, low-il, codegen)          a transformation of the LowIL to properly handle variable scoping.
65            (see IL, low-il, tree-il)
66    
67     11) TreeIL optimization     11) TreeIL optimization
68          *** Not implemented yet ***          *** Not implemented yet ***
69          This pass will cleanup some of the artifacts from the SSA form by          This pass will cleanup some of the artifacts from the SSA form by
70          coalescing variables.          coalescing variables.
71          (see codegen)          (see tree-il)
72    
73     12) Code generation     12) Code generation
74          After translation to TreeIL, we generate code using the abstract TARGET          After translation to TreeIL, we generate code using the abstract TARGET
75          interface.          interface.
76          (see c-target, codegen)          (see c-target, codegen, tree-il)
77    
78  And here is a roadmap of the subdirectories:  And here is a roadmap of the subdirectories:
79    

Legend:
Removed from v.1035  
changed lines
  Added in v.1036

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0