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

SCM Repository

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

Diff of /branches/vis12-cl/src/compiler/mid-il/mid-opt.sml

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

revision 2682, Mon Aug 25 17:20:56 2014 UTC revision 2683, Mon Aug 25 18:56:17 2014 UTC
# Line 21  Line 21 
21      val checkFlag = ref true            (* controls IL checking *)      val checkFlag = ref true            (* controls IL checking *)
22    
23      val controls = [      val controls = [
24              ("mid-contract", contractFlag, "enable contraction for MidIL"),              ("mid-contract", contractFlag, "contraction for MidIL"),
25              ("mid-vn", vnFlag, "enable value-numbering for MidIL"),              ("mid-vn",       vnFlag,       "value-numbering for MidIL"),
26              ("mid-debug", debugFlag, "enable printing MidIL to log file [debug]"),              ("mid-debug",    debugFlag,    "printing MidIL to log file [debug]"),
27              ("mid-check", checkFlag, "enable consistency checking for MidIL [debug]")              ("mid-check",    checkFlag,    "consistency checking for MidIL [debug]")
28            ]            ]
29    
30      val timeCheck = PhaseTimer.withTimer Timers.timeMidCheck (fn arg => CheckMidIL.check arg)      val timeCheck = PhaseTimer.withTimer Timers.timeMidCheck (fn arg => CheckMidIL.check arg)

Legend:
Removed from v.2682  
changed lines
  Added in v.2683

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