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 3854, Fri May 13 19:21:27 2016 UTC revision 3860, Sat May 14 18:05:08 2016 UTC
# Line 114  Line 114 
114            val _ = verbosePrint["translating to HighIR ... "];            val _ = verbosePrint["translating to HighIR ... "];
115            val high = PhaseTimer.withTimer Timers.timeTranslate Translate.translate simple            val high = PhaseTimer.withTimer Timers.timeTranslate Translate.translate simple
116            val _ = verbosePrint["done\n"];            val _ = verbosePrint["done\n"];
117            val _ = dump Ctl.dumpHighIR HighPP.output "translate" high            val high = HighOptimizer.checkAfter ("simple-to-high translation", high)
118          (***** HIGH-IR OPTIMIZATION *****)          (***** HIGH-IR OPTIMIZATION *****)
119            val _ = verbosePrint["optimizing HighIR ... "];            val _ = verbosePrint["optimizing HighIR ... "];
120            val high = PhaseTimer.withTimer Timers.timeHigh HighOptimizer.optimize high            val high = PhaseTimer.withTimer Timers.timeHigh HighOptimizer.optimize high
# 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 _ = dump Ctl.dumpMidIR MidPP.output "high-to-mid" mid            val mid = MidOptimizer.checkAfter ("high-to-mid translation", high)
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 _ = dump Ctl.dumpLowIR LowPP.output "mid-to-low" low            val low = LowOptimizer.checkAfter ("mid-to-low translation", high)
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 143  Line 143 
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 _ = dump Ctl.dumpTreeIR TreePP.output "low-to-tree" tree
146              val tree =
147            in            in
148            (***** CODE GENERATION *****)            (***** CODE GENERATION *****)
149  (* TODO *)()  (* TODO *)()

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

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