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

SCM Repository

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

Diff of /branches/pure-cfg/src/compiler/low-il/low-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 6  Line 6 
6    
7  structure LowOptimizer : sig  structure LowOptimizer : sig
8    
9      val controls : (string * bool ref) list      val controls : (string * bool ref * string) list
10    
11      val optimize : LowIL.program -> LowIL.program      val optimize : LowIL.program -> LowIL.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              ("low-vn", vnFlag),              ("low-vn", vnFlag, "enable value-numbering for LowIL"),
24              ("low-debug", debugFlag),              ("low-debug", debugFlag, "enable printing LowIL to log file [debug]"),
25              ("low-check", checkFlag)              ("low-check", checkFlag, "enable consistency checking for LowIL [debug]")
26            ]            ]
27    
28      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