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

SCM Repository

[smlnj] Annotation of /sml/trunk/src/compiler/TopLevel/viscomp/control.sig
ViewVC logotype

Annotation of /sml/trunk/src/compiler/TopLevel/viscomp/control.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 184 - (view) (download) (as text)

1 : monnier 16 (* COPYRIGHT (c) 1995 AT&T Bell Laboratories *)
2 :     (* control.sig *)
3 :    
4 :     signature PRINTCONTROL =
5 : monnier 183 sig
6 :     val printDepth : int ref
7 :     val printLength : int ref
8 :     val stringDepth : int ref
9 :     val printLoop : bool ref
10 :     val signatures : int ref
11 :     val printOpens : bool ref
12 :     val out : {say : string -> unit, flush : unit -> unit} ref
13 :     val linewidth : int ref
14 :     val say : string -> unit
15 :     val flush: unit -> unit
16 :     end
17 : monnier 16
18 :     signature MCCONTROL =
19 :     sig
20 :     val printArgs : bool ref
21 :     val printRet : bool ref
22 :     val bindContainsVar : bool ref
23 :     val bindExhaustive : bool ref
24 :     val matchNonExhaustiveWarn : bool ref
25 :     val matchNonExhaustiveError : bool ref
26 :     val matchRedundantWarn : bool ref
27 :     val matchRedundantError : bool ref
28 :     val expandResult : bool ref
29 :     end
30 :    
31 : monnier 122 signature FLINTCONTROL =
32 :     sig
33 :     val print : bool ref
34 :     val inlineThreshold : int ref
35 : monnier 184 val unrollThreshold : int ref
36 : monnier 122 val specialize : bool ref
37 :     val liftLiterals : bool ref
38 :     val sharewrap : bool ref
39 : monnier 162 val maxargs : int ref (* to put a cap on arity raising *)
40 :     val phases : string list ref
41 : monnier 122
42 : monnier 151 (* only for temporary debugging *)
43 :     val misc : int ref
44 :    
45 : monnier 122 (* FLINT internal type-checking controls *)
46 :     val check : bool ref
47 :     val checkDatatypes : bool ref
48 :     val checkKinds : bool ref
49 :     end
50 :    
51 : monnier 16 signature CGCONTROL =
52 :     sig
53 :     val tailrecur : bool ref
54 :     val recordopt : bool ref
55 :     val tail : bool ref
56 :     val allocprof : bool ref
57 :     val closureprint : bool ref
58 :     val closureStrategy : int ref
59 :     val lambdaopt : bool ref
60 : monnier 162 val cpsopt : string list ref (* list of cpsopt phases *)
61 : monnier 16 val rounds : int ref
62 :     val path : bool ref
63 :     val betacontract : bool ref
64 :     val eta : bool ref
65 :     val selectopt : bool ref
66 :     val dropargs : bool ref
67 :     val deadvars : bool ref
68 :     val flattenargs : bool ref
69 :     val extraflatten : bool ref
70 :     val switchopt : bool ref
71 :     val handlerfold : bool ref
72 :     val branchfold : bool ref
73 :     val arithopt : bool ref
74 :     val betaexpand : bool ref
75 :     val unroll : bool ref
76 :     val knownfiddle : bool ref
77 :     val invariant: bool ref
78 :     val targeting: int ref
79 :     val lambdaprop: bool ref
80 :     val newconreps : bool ref
81 :     val boxedconstconreps : bool ref
82 :     val sharepath : bool ref
83 :     val staticprof : bool ref
84 :     val unroll_recur : bool ref
85 :     val hoistup : bool ref
86 :     val hoistdown : bool ref
87 :     val recordcopy : bool ref
88 :     val recordpath : bool ref
89 :     val debugcps : bool ref
90 :     val misc4 : int ref
91 :     val argrep : bool ref
92 :     val bodysize : int ref
93 :     val reducemore : int ref
94 :     val alphac : bool ref
95 :     val comment : bool ref
96 :     val knownGen : int ref
97 :     val knownClGen : int ref
98 :     val escapeGen : int ref
99 :     val calleeGen : int ref
100 :     val spillGen : int ref
101 :     val foldconst : bool ref
102 :     val etasplit : bool ref
103 :     val printit : bool ref
104 :     val printsize : bool ref
105 :     val scheduling : bool ref
106 :     val cse : bool ref
107 :     val optafterclosure : bool ref
108 :     val uncurry : bool ref
109 :     val ifidiom : bool ref
110 :     val comparefold : bool ref
111 :     val csehoist : bool ref
112 :     val rangeopt : bool ref
113 :     val icount : bool ref
114 :     val debugRep : bool ref
115 :     val checklty1 : bool ref
116 :     val checklty2 : bool ref
117 :     val checklty3 : bool ref
118 :     val checkcps1 : bool ref
119 :     val checkcps2 : bool ref
120 :     val checkcps3 : bool ref
121 :     val checkcps : bool ref
122 :     val flatfblock : bool ref
123 :     val deadup : bool ref
124 :     val pollChecks : bool ref
125 :     val pollRatioAtoI : real ref
126 :    
127 :     datatype mlrisc_phase =
128 :     NO_PHASE
129 :     | AFTER_INSTR_SEL
130 :     | AFTER_RA
131 :     | AFTER_SCHED
132 :     | PHASES of mlrisc_phase * mlrisc_phase
133 :     val printFlowgraph : mlrisc_phase ref
134 :     val printFlowgraphStream : TextIO.outstream ref
135 :    
136 :     val memDisambiguate : bool ref
137 :     val controlDependence : bool ref
138 :    
139 :     val compdebugging : bool ref
140 :     val mudebugging : bool ref
141 :     val eedebugging : bool ref
142 :     val insdebugging : bool ref
143 :     val smdebugging : bool ref
144 :     val emdebugging : bool ref
145 :     val esdebugging : bool ref
146 :     val etdebugging : bool ref
147 :     val ecdebugging : bool ref
148 :     val tmdebugging : bool ref
149 :     end
150 :    
151 :     signature CONTROL =
152 : monnier 183 sig
153 :     structure MC : MCCONTROL
154 :     structure CG : CGCONTROL
155 :     structure MLRISC : MLRISC_CONTROL
156 :     structure Print : PRINTCONTROL
157 :     structure FLINT : FLINTCONTROL
158 :     val debugging : bool ref
159 :     val primaryPrompt : string ref
160 :     val secondaryPrompt : string ref
161 :     val printWarnings : bool ref
162 :     (* if false, suppress all warning messages *)
163 :     val valueRestrictionLocalWarn : bool ref (* default false *)
164 :     (* warning message on failure of value restriction in local decls *)
165 :     val valueRestrictionTopWarn : bool ref (* default true *)
166 :     (* warning message on failure of value restriction at top level *)
167 :     val multDefWarn : bool ref (* default false *)
168 :     (* warning messages for multiple defs in sigs *)
169 :     val shareDefError : bool ref (* default true *)
170 :     (* error (true) or warning (false) for defs in sharing constraints *)
171 :     val instantiateSigs : bool ref (* default true *)
172 :     (* check signatures at declaration by instantiating them *)
173 :     val internals : bool ref (* default false *)
174 :     (* print internal representations of types at top level *)
175 :     val lazysml : bool ref (* default false *)
176 :     (* turn on lazy keywords and lazy declaration processing *)
177 :     val interp : bool ref
178 :     (* turn on interpreter -- defunct *)
179 : monnier 16 (*
180 : monnier 183 val debugLook : bool ref
181 :     val debugCollect : bool ref
182 :     val debugBind : bool ref
183 : monnier 16 *)
184 : monnier 183 val saveLambda : bool ref
185 :     val saveLvarNames : bool ref
186 :     val preserveLvarNames : bool ref
187 :     val markabsyn : bool ref
188 :     val trackExn : bool ref
189 :     val indexing : bool ref
190 :     val instSigs : bool ref
191 :     val quotation : bool ref
192 :     val overloadKW : bool ref
193 : monnier 16
194 : monnier 183 val saveit : bool ref
195 :     val saveAbsyn : bool ref
196 :     val saveConvert : bool ref
197 :     val saveCPSopt : bool ref
198 :     val saveClosure : bool ref
199 : monnier 16
200 : monnier 183 val lambdaSplitEnable: bool ref
201 :     val crossInlineEnable: bool ref
202 :     end
203 : monnier 16
204 : monnier 95
205 :     (*
206 : monnier 183 * $Log: control.sig,v $
207 :     * Revision 1.3 1998/05/23 14:10:29 george
208 :     * Fixed RCS keyword syntax
209 :     *
210 : monnier 95 *)

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