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

SCM Repository

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

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

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

revision 2745, Sun Sep 28 12:50:50 2014 UTC revision 2746, Wed Oct 1 21:08:30 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.2745  
changed lines
  Added in v.2746

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