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

SCM Repository

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

Diff of /branches/vis12-cl/src/compiler/high-il/high-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 25  Line 25 
25      val timeCheck = PhaseTimer.withTimer Timers.timeHighCheck (fn arg => CheckHighIL.check arg)      val timeCheck = PhaseTimer.withTimer Timers.timeHighCheck (fn arg => CheckHighIL.check arg)
26    
27      val controls = [      val controls = [
28              ("high-vn", vnFlag, "enable value-numbering for HighIL"),              ("high-vn",    vnFlag,    "value-numbering for HighIL"),
29              ("high-debug", debugFlag, "enable printing HighIL to log file [debug]"),              ("high-debug", debugFlag, "printing HighIL to log file [debug]"),
30              ("high-check", checkFlag, "enable consistency checking for HighIL [debug]")              ("high-check", checkFlag, "consistency checking for HighIL [debug]")
31            ]            ]
32    
33      fun checkIL (phase, prog) = (      fun checkIL (phase, prog) = (

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