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/FLINT/main/control.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/main/control.sml

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

revision 220, Tue Mar 9 02:15:05 1999 UTC revision 259, Thu Apr 22 09:30:22 1999 UTC
# Line 10  Line 10 
10       * locally unused but could be cross-module inlined. *)       * locally unused but could be cross-module inlined. *)
11      val phases          = ref ["lcontract", "specialize",      val phases          = ref ["lcontract", "specialize",
12                                 "fixfix", "fcontract",                                 "fixfix", "fcontract",
13                                 "loopify", "fixfix", "split",                                 "loopify", "fixfix", "split", "fcontract",
14                                   "specialize", "fcontract",
15                                 "wrap", "fcontract",                                 "wrap", "fcontract",
16                                 (* "names2deb", "typelift", "deb2names", *)                                 (* "names2deb", "typelift", "deb2names", *)
17                                 "reify", "loopify", "fixfix", "fcontract",                                 "reify", "loopify", "fixfix", "fcontract",
18                                 "fixfix", "fcontract"]                                 "fixfix", "fcontract+eta"]
19    
20      val inlineThreshold = ref 16      val inlineThreshold = ref 0 (* 16 *)
21      val splitThreshold  = ref 0      val splitThreshold  = ref 0
22      val unrollThreshold = ref 20      val unrollThreshold = ref 20
23      val maxargs         = ref 6      val maxargs         = ref 6
24      val dropinvariant   = ref true      val dropinvariant   = ref true
25    
26      val specialize      = ref true      val specialize      = ref true
27      val liftLiterals    = ref false      (* val liftLiterals = ref false *)
28      val sharewrap       = ref true      val sharewrap       = ref true
29      val saytappinfo     = ref false     (* for typelifting statistics *)      val saytappinfo     = ref false     (* for typelifting statistics *)
30    
# Line 31  Line 32 
32      val misc            = ref 0      val misc            = ref 0
33    
34      (* FLINT internal type-checking controls *)      (* FLINT internal type-checking controls *)
35      val check           = ref true      (* fails on MLRISC/sparc/sparcRegAlloc.sml *)      val check           = ref false     (* fails on MLRISC/*/*RegAlloc.sml *)
36      val checkDatatypes  = ref false     (* loops on the new cm.sml *)      val checkDatatypes  = ref false     (* loops on the new cm.sml *)
37      val checkKinds      = ref true      val checkKinds      = ref true
38    

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

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