Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/idlbasis-devel/src/MLRISC/control/mlrisc-control.sml
ViewVC logotype

Diff of /sml/branches/idlbasis-devel/src/MLRISC/control/mlrisc-control.sml

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

revision 1232, Tue Jun 4 21:11:15 2002 UTC revision 1233, Wed Jun 5 21:47:29 2002 UTC
# Line 9  Line 9 
9      val prefix : string      val prefix : string
10      val priority : Controls.priority      val priority : Controls.priority
11    
12      type cpu_time = {gc:Time.time,usr:Time.time,sys:Time.time}      type cpu_time = {usr:Time.time,sys:Time.time}
13    
14      val mlrisc        : bool ref               (* use the MLRISC optimizer? *)      val mlrisc        : bool ref               (* use the MLRISC optimizer? *)
15      val mlrisc_phases : string list ref        (* the optimization phases *)      val mlrisc_phases : string list ref        (* the optimization phases *)
# Line 62  Line 62 
62    
63      val registry = ControlRegistry.new { help = "MLRISC" }      val registry = ControlRegistry.new { help = "MLRISC" }
64    
65      type cpu_time = {gc:Time.time,usr:Time.time,sys:Time.time}      type cpu_time = {usr:Time.time,sys:Time.time}
66    
67      type 'a set = ('a, 'a ref) ControlSet.control_set      type 'a set = ('a, 'a ref) ControlSet.control_set
68    
# Line 113  Line 113 
113          fun mkString x = mk (strings, ControlUtil.Cvt.string, "", yes) x          fun mkString x = mk (strings, ControlUtil.Cvt.string, "", yes) x
114          fun mkStringList x =          fun mkStringList x =
115              mk (stringLists, ControlUtil.Cvt.stringList, [], yes) x              mk (stringLists, ControlUtil.Cvt.stringList, [], yes) x
116          fun mkTiming x = mk (timings, timing, {gc =Time.zeroTime,          fun mkTiming x = mk (timings, timing, {usr=Time.zeroTime,
                                                usr=Time.zeroTime,  
117                                                 sys=Time.zeroTime}, no) x                                                 sys=Time.zeroTime}, no) x
118    
119          val mlrisc = mkFlag ("mlrisc", "?")          val mlrisc = mkFlag ("mlrisc", "?")

Legend:
Removed from v.1232  
changed lines
  Added in v.1233

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