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

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/driver/main.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/driver/main.sml

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 95  Line 95 
95                    then quitWithError filename                    then quitWithError filename
96                    else ())                    else ())
97          (***** TRANSLATION TO MID IL *****)          (***** TRANSLATION TO MID IL *****)
98            val _ = PhaseTimer.start Timers.timeMid            val midIL = PhaseTimer.withTimer Timers.timeMid HighToMid.translate highIL
           val midIL = HighToMid.translate highIL  
           val _ = PhaseTimer.stop Timers.timeMid  
99            val _ = ( (* DEBUG *)            val _ = ( (* DEBUG *)
100                  MidPP.output (Log.logFile(), "MidIL after translation", midIL);                  MidPP.output (Log.logFile(), "MidIL after translation", midIL);
101                  if CheckMidIL.check ("after translation to MidIL", midIL)                  if CheckMidIL.check ("after translation to MidIL", midIL)
102                    then quitWithError filename                    then quitWithError filename
103                    else ())                    else ())
104              val midIL = PhaseTimer.withTimer Timers.timeMid MidOptimizer.optimize midIL
105    (* no optimization for mid-il so don't print
106              val _ = ( (* DEBUG *)
107                    MidPP.output (Log.logFile(), "MidIL after optimization", midIL);
108                    if CheckMidIL.check ("after MidIL optimization", midIL)
109                      then quitWithError filename
110                      else ())
111    *)
112          (***** TRANSLATION TO LOW IL *****)          (***** TRANSLATION TO LOW IL *****)
113            val _ = PhaseTimer.start Timers.timeLow            val lowIL = PhaseTimer.withTimer Timers.timeLow MidToLow.translate midIL
           val lowIL = MidToLow.translate midIL  
           val _ = PhaseTimer.stop Timers.timeLow  
114            val _ = ( (* DEBUG *)            val _ = ( (* DEBUG *)
115                  LowPP.output (Log.logFile(), "LowIL after translation", lowIL);                  LowPP.output (Log.logFile(), "LowIL after translation", lowIL);
116                  if CheckLowIL.check ("after translation to LowIL", lowIL)                  if CheckLowIL.check ("after translation to LowIL", lowIL)
117                    then quitWithError filename                    then quitWithError filename
118                    else ())                    else ())
119            val _ = PhaseTimer.start Timers.timeLow            val lowIL = PhaseTimer.withTimer Timers.timeLow LowOptimizer.optimize lowIL
120            val lowIL = LowOptimizer.optimize lowIL  (* no optimization for low-il so don't print
           val _ = PhaseTimer.stop Timers.timeLow  
121            val _ = ( (* DEBUG *)            val _ = ( (* DEBUG *)
122                  LowPP.output (Log.logFile(), "LowIL after optimization", lowIL);                  LowPP.output (Log.logFile(), "LowIL after optimization", lowIL);
123                  if CheckLowIL.check ("after LowIL optimization", lowIL)                  if CheckLowIL.check ("after LowIL optimization", lowIL)
124                    then quitWithError filename                    then quitWithError filename
125                    else ())                    else ())
126    *)
127            in            in
128            (***** CODE GENERATION *****)            (***** CODE GENERATION *****)
129              PhaseTimer.withTimer Timers.timeCodegen CBackEnd.generate (baseName, lowIL)              PhaseTimer.withTimer Timers.timeCodegen CBackEnd.generate (baseName, lowIL)

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