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/trunk/src/compiler/DebugProf/profile/tdp-instrument.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/DebugProf/profile/tdp-instrument.sml

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

revision 1651, Wed Oct 13 21:37:30 2004 UTC revision 1652, Thu Oct 14 22:38:54 2004 UTC
# Line 38  Line 38 
38    
39      val bool_cvt = ControlUtil.Cvt.bool      val bool_cvt = ControlUtil.Cvt.bool
40    
41      val nextpri = ref 0      val enabled = SMLofNJ.Internals.TDP.mode
42    
43      val enabled = let      val p = 0
         val r = ref false  
         val p = !nextpri  
44          val ctl = Controls.control { name = "instrument",          val ctl = Controls.control { name = "instrument",
45                                       pri = [p],                                       pri = [p],
46                                       obscurity = obscurity,                                       obscurity = obscurity,
47                                       help = "trace-, debug-, and profiling \                                       help = "trace-, debug-, and profiling \
48                                              \instrumentation mode",                                              \instrumentation mode",
49                                       ctl = r }                                   ctl = enabled }
50      in      val _ = ControlRegistry.register
         nextpri := p + 1;  
         ControlRegistry.register  
51              registry              registry
52              { ctl = Controls.stringControl bool_cvt ctl,              { ctl = Controls.stringControl bool_cvt ctl,
53                envName = SOME "TDP_INSTRUMENT" };                    envName = SOME "TDP_INSTRUMENT" }
         r  
     end  
   
     val _ = BTImp.install enabled  
54    
55      fun impossible s = EM.impossible ("TDPInstrument: " ^ s)      fun impossible s = EM.impossible ("TDPInstrument: " ^ s)
56    
# Line 363  Line 355 
355    
356          val d' = i_dec ([], (0, 0)) d          val d' = i_dec ([], (0, 0)) d
357      in      in
358          A.LOCALdec (A.SEQdec [VALdec (tdp_reserve_var, AUexp tdp_reserve),          A.LOCALdec (A.SEQdec [VALdec (tdp_reserve_var, VARexp tdp_reserve),
359                                VALdec (tdp_module_var,                                VALdec (tdp_module_var,
360                                        A.APPexp (VARexp tdp_reserve_var,                                        A.APPexp (VARexp tdp_reserve_var,
361                                                  INTexp (!next))),                                                  INTexp (!next))),

Legend:
Removed from v.1651  
changed lines
  Added in v.1652

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