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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/high-opt/high-opt.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/high-opt/high-opt.sml

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

revision 3520, Sat Dec 19 15:49:06 2015 UTC revision 3521, Sat Dec 19 16:43:35 2015 UTC
# Line 11  Line 11 
11    
12  structure HighOptimizer : sig  structure HighOptimizer : sig
13    
     val controls : (string * bool ref * string) list  
   
14      val optimize : HighIR.program -> HighIR.program      val optimize : HighIR.program -> HighIR.program
15    
16      val checkAfter : string * HighIR.program -> HighIR.program      val checkAfter : string * HighIR.program -> HighIR.program
# Line 27  Line 25 
25      val checkFlag = ref true            (* controls IR checking *)      val checkFlag = ref true            (* controls IR checking *)
26    
27      val checkAfter = Log.after {      val checkAfter = Log.after {
28              dumpCtl = Ctl.dumpHigh,              dumpCtl = Ctl.dumpHighIR,
29              checkCtl = Ctl.checkHigh,              checkCtl = Ctl.checkHighIR,
30              output = HighPP.output,              output = HighPP.output,
31              checkIR = PhaseTimer.withTimer Timers.timeHighCheck (fn arg => CheckHighIR.check arg)              checkIR = PhaseTimer.withTimer Timers.timeHighCheck (fn arg => CheckHigh.check arg)
32            }            }
33    
34      fun transform (flag, timer, phase, transform, prog) =      fun transform (flag, timer, phase, transform, prog) =

Legend:
Removed from v.3520  
changed lines
  Added in v.3521

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