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

SCM Repository

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

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

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

revision 1160, Mon May 9 16:39:57 2011 UTC revision 1202, Thu May 12 18:49:23 2011 UTC
# Line 6  Line 6 
6    
7  structure MidOptimizer : sig  structure MidOptimizer : sig
8    
9      val controls : (string * bool ref) list      val controls : (string * bool ref * string) list
10    
11      val optimize : MidIL.program -> MidIL.program      val optimize : MidIL.program -> MidIL.program
12    
# Line 20  Line 20 
20      val checkFlag = ref true            (* controls IL checking *)      val checkFlag = ref true            (* controls IL checking *)
21    
22      val controls = [      val controls = [
23              ("mid-vn", vnFlag),              ("mid-vn", vnFlag, "enable value-numbering for MidIL"),
24              ("mid-debug", debugFlag),              ("mid-debug", debugFlag, "enable printing MidIL to log file [debug]"),
25              ("mid-check", checkFlag)              ("mid-check", checkFlag, "enable consistency checking for MidIL [debug]")
26            ]            ]
27    
28      fun debugDump (phase, prog) = if !debugFlag      fun debugDump (phase, prog) = if !debugFlag

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

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