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/TopLevel/viscomp/control.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/TopLevel/viscomp/control.sml

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

revision 219, Tue Mar 9 01:07:30 1999 UTC revision 220, Tue Mar 9 02:15:05 1999 UTC
# Line 1  Line 1 
1  (* COPYRIGHT (c) 1995 AT&T Bell Laboratories *)  (* COPYRIGHT (c) 1995 AT&T Bell Laboratories *)
2  (* control.sml *)  (* control.sml *)
3    
4  structure Control : CONTROL =  
5    struct  structure Control_Print : PRINTCONTROL =
     structure Print : PRINTCONTROL =  
6        struct        struct
7          val printDepth = ref 5          val printDepth = ref 5
8          val printLength = ref 12          val printLength = ref 12
# Line 20  Line 19 
19          fun flush() = #flush (!out) ()          fun flush() = #flush (!out) ()
20        end        end
21    
22      structure MC : MCCONTROL =  structure Control_MC : MCCONTROL =
23      struct      struct
24        val printArgs = ref false        val printArgs = ref false
25        val printRet = ref false        val printRet = ref false
# Line 35  Line 34 
34        val expandResult = ref false        val expandResult = ref false
35      end      end
36    
37      structure MLRISC = MLRISC_Control  structure Control_CG : CGCONTROL =
   
     structure FLINT =  
     struct  
         val print           = ref false  
         val printPhases     = ref false  
         val phases          = ref ["lcontract", "specialize",  
                                    "fixfix", "fcontract",  
                                    "wrap", "loopify", "fixfix", "fcontract",  
                                    (* "names2deb", "typelift", "deb2names", *)  
                                    "reify", "loopify", "fixfix", "fcontract",  
                                    "fixfix", "fcontract"]  
   
         val inlineThreshold = ref 16  
         val unrollThreshold = ref 20  
         val maxargs         = ref 6  
         val dropinvariant   = ref true  
   
         val specialize      = ref true  
         val liftLiterals    = ref false  
         val sharewrap       = ref true  
         val saytappinfo     = ref false (* for typelifting statistics *)  
   
         (* only for temporary debugging *)  
         val misc            = ref 0  
   
         (* FLINT internal type-checking controls *)  
         val check           = ref true  (* fails on MLRISC/sparc/sparcRegAlloc.sml *)  
         val checkDatatypes  = ref false (* loops on the new cm.sml *)  
         val checkKinds      = ref true  
     end  
   
     structure CG : CGCONTROL =  
38      struct      struct
39        val tailrecur = ref true        val tailrecur = ref true
40        val recordopt = ref true        val recordopt = ref true
# Line 169  Line 136 
136        val ecdebugging   = ref false        val ecdebugging   = ref false
137        val tmdebugging   = ref false        val tmdebugging   = ref false
138      end      end
139    
140    structure Control : CONTROL =
141      struct
142        structure Print : PRINTCONTROL = Control_Print
143    
144        structure MC : MCCONTROL = Control_MC
145    
146        structure MLRISC = MLRISC_Control
147    
148        structure FLINT :> FLINTCONTROL = FLINT_Control
149    
150        structure CG : CGCONTROL = Control_CG
151    
152      val primaryPrompt = ref "- "      val primaryPrompt = ref "- "
153      val secondaryPrompt = ref "= "      val secondaryPrompt = ref "= "
154      val printWarnings = ref true      val printWarnings = ref true

Legend:
Removed from v.219  
changed lines
  Added in v.220

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