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

SCM Repository

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

Diff of /branches/pure-cfg/src/compiler/high-il/high-opt.sml

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

revision 1201, Thu May 12 17:14:24 2011 UTC revision 1202, Thu May 12 18:49:23 2011 UTC
# Line 9  Line 9 
9    
10  structure HighOptimizer : sig  structure HighOptimizer : sig
11    
12      val controls : (string * bool ref) list      val controls : (string * bool ref * string) list
13    
14      val optimize : HighIL.program -> HighIL.program      val optimize : HighIL.program -> HighIL.program
15    
# Line 23  Line 23 
23      val checkFlag = ref true            (* controls IL checking *)      val checkFlag = ref true            (* controls IL checking *)
24    
25      val controls = [      val controls = [
26              ("high-vn", vnFlag),              ("high-vn", vnFlag, "enable value-numbering for HighIL"),
27              ("high-debug", debugFlag),              ("high-debug", debugFlag, "enable printing HighIL to log file [debug]"),
28              ("high-check", checkFlag)              ("high-check", checkFlag, "enable consistency checking for HighIL [debug]")
29            ]            ]
30    
31      fun debugDump (phase, prog) = if !debugFlag      fun debugDump (phase, prog) = if !debugFlag

Legend:
Removed from v.1201  
changed lines
  Added in v.1202

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