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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/driver/main.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/driver/main.sml

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

revision 3860, Sat May 14 18:05:08 2016 UTC revision 3861, Sun May 15 14:33:03 2016 UTC
# Line 123  Line 123 
123            val _ = verbosePrint["translating to MidIR ... "];            val _ = verbosePrint["translating to MidIR ... "];
124            val mid = PhaseTimer.withTimer Timers.timeHighToMid HighToMid.translate high            val mid = PhaseTimer.withTimer Timers.timeHighToMid HighToMid.translate high
125            val _ = verbosePrint["done\n"];            val _ = verbosePrint["done\n"];
126            val mid = MidOptimizer.checkAfter ("high-to-mid translation", high)            val mid = MidOptimizer.checkAfter ("high-to-mid translation", mid)
127          (***** MID-IR OPTIMIZATION *****)          (***** MID-IR OPTIMIZATION *****)
128            val _ = verbosePrint["optimizing MidIR ... "];            val _ = verbosePrint["optimizing MidIR ... "];
129            val mid = PhaseTimer.withTimer Timers.timeMid MidOptimizer.optimize mid            val mid = PhaseTimer.withTimer Timers.timeMid MidOptimizer.optimize mid
# Line 132  Line 132 
132            val _ = verbosePrint["translating to LowIR ... "];            val _ = verbosePrint["translating to LowIR ... "];
133            val low = PhaseTimer.withTimer Timers.timeMidToLow MidToLow.translate mid            val low = PhaseTimer.withTimer Timers.timeMidToLow MidToLow.translate mid
134            val _ = verbosePrint["done\n"];            val _ = verbosePrint["done\n"];
135            val low = LowOptimizer.checkAfter ("mid-to-low translation", high)            val low = LowOptimizer.checkAfter ("mid-to-low translation", low)
136          (***** LOW-IR OPTIMIZATION *****)          (***** LOW-IR OPTIMIZATION *****)
137            val _ = verbosePrint["optimizing LowIR ... "];            val _ = verbosePrint["optimizing LowIR ... "];
138            val low = PhaseTimer.withTimer Timers.timeLow LowOptimizer.optimize low            val low = PhaseTimer.withTimer Timers.timeLow LowOptimizer.optimize low
# Line 142  Line 142 
142            val tree = PhaseTimer.withTimer Timers.timeLowToTree LowToTree.translate            val tree = PhaseTimer.withTimer Timers.timeLowToTree LowToTree.translate
143                  (low, DummyTarget.info (#double target))                  (low, DummyTarget.info (#double target))
144            val _ = verbosePrint["done\n"];            val _ = verbosePrint["done\n"];
145            val _ = dump Ctl.dumpTreeIR TreePP.output "low-to-tree" tree            val tree = TreeOptimizer.checkAfter ("low-to-tree translation", tree)
146            val tree =          (***** TREE-IR OPTIMIZATION *****)
147              val _ = verbosePrint["optimizing TreeIR ... "];
148              val tree = PhaseTimer.withTimer Timers.timeTree TreeOptimizer.optimize tree
149              val _ = verbosePrint["done\n"];
150            in            in
151            (***** CODE GENERATION *****)            (***** CODE GENERATION *****)
152  (* TODO *)()  (* TODO *)()

Legend:
Removed from v.3860  
changed lines
  Added in v.3861

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