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

Parent Directory | Revision Log

---

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

1 :	monnier	16	(* COPYRIGHT (c) 1995 AT&T Bell Laboratories *)
2 :			(* control.sig *)
3 :
4 :			signature PRINTCONTROL =
5 :			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 :
18 :			signature LAZYCONTROL =
19 :			sig
20 :			val enabled : bool ref (* enable/disable lazy features *)
21 :			val printDebug: bool ref (* General Degubing Info *)
22 :			val printStats: bool ref (* General Statistics *)
23 :			val redGenFD1 : bool ref (* Reduce Generated Force-Delays at Ast Level *)
24 :			val redGenFD2 : bool ref (* Reduce Generated Force-Delays at matchcomp *)
25 :			val redAllFD1 : bool ref (* Reduce All Force-Delays at Ast Level *)
26 :			val redAllFD2 : bool ref (* Reduce All Force-Delays at machcomp *)
27 :			val inlineF : bool ref (* Inline Force *)
28 :			val inlineD : bool ref (* Inline Delay *)
29 :			val earlyDT : bool ref (* Early (Ast) Dollar translate *)
30 :			val ok_MARK : bool ref (* Correct treatment of MARK in translate *)
31 :			val earlyFP : bool ref (* Early fixity parsing *)
32 :			end
33 :
34 :			signature MCCONTROL =
35 :			sig
36 :			val printArgs : bool ref
37 :			val printRet : bool ref
38 :			val bindContainsVar : bool ref
39 :			val bindExhaustive : bool ref
40 :			val matchNonExhaustiveWarn : bool ref
41 :			val matchNonExhaustiveError : bool ref
42 :			val matchRedundantWarn : bool ref
43 :			val matchRedundantError : bool ref
44 :			val expandResult : bool ref
45 :			end
46 :
47 :			signature CGCONTROL =
48 :			sig
49 :			val tailrecur : bool ref
50 :			val recordopt : bool ref
51 :			val specialize : bool ref
52 :			val tail : bool ref
53 :			val allocprof : bool ref
54 :			val closureprint : bool ref
55 :			val closureStrategy : int ref
56 :			val lambdaopt : bool ref
57 :			val cpsopt : bool ref
58 :			val rounds : int ref
59 :			val path : bool ref
60 :			val betacontract : bool ref
61 :			val eta : bool ref
62 :			val selectopt : bool ref
63 :			val dropargs : bool ref
64 :			val deadvars : bool ref
65 :			val flattenargs : bool ref
66 :			val extraflatten : bool ref
67 :			val switchopt : bool ref
68 :			val handlerfold : bool ref
69 :			val branchfold : bool ref
70 :			val arithopt : bool ref
71 :			val betaexpand : bool ref
72 :			val unroll : bool ref
73 :			val knownfiddle : bool ref
74 :			val invariant: bool ref
75 :			val targeting: int ref
76 :			val lambdaprop: bool ref
77 :			val newconreps : bool ref
78 :			val boxedconstconreps : bool ref
79 :			val sharepath : bool ref
80 :			val staticprof : bool ref
81 :			val unroll_recur : bool ref
82 :			val hoistup : bool ref
83 :			val hoistdown : bool ref
84 :			val recordcopy : bool ref
85 :			val recordpath : bool ref
86 :			val debugcps : bool ref
87 :			val misc4 : int ref
88 :			val argrep : bool ref
89 :			val bodysize : int ref
90 :			val reducemore : int ref
91 :			val alphac : bool ref
92 :			val comment : bool ref
93 :			val knownGen : int ref
94 :			val knownClGen : int ref
95 :			val escapeGen : int ref
96 :			val calleeGen : int ref
97 :			val spillGen : int ref
98 :			val foldconst : bool ref
99 :			val etasplit : bool ref
100 :			val printLambda : bool ref
101 :	monnier	51	val printFlint : bool ref
102 :	monnier	16	val printit : bool ref
103 :			val printsize : bool ref
104 :			val scheduling : bool ref
105 :			val cse : bool ref
106 :			val optafterclosure : bool ref
107 :			val uncurry : bool ref
108 :			val ifidiom : bool ref
109 :			val comparefold : bool ref
110 :			val csehoist : bool ref
111 :			val rangeopt : bool ref
112 :			val icount : bool ref
113 :			val debugRep : bool ref
114 :			val sharewrap : 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 liftLiterals : bool ref
123 :			val flatfblock : bool ref
124 :			val deadup : bool ref
125 :			val pollChecks : bool ref
126 :			val pollRatioAtoI : real ref
127 :
128 :			datatype mlrisc_phase =
129 :			NO_PHASE
130 :			| AFTER_INSTR_SEL
131 :			| AFTER_RA
132 :			| AFTER_SCHED
133 :			| PHASES of mlrisc_phase * mlrisc_phase
134 :			val printFlowgraph : mlrisc_phase ref
135 :			val printFlowgraphStream : TextIO.outstream ref
136 :
137 :			val memDisambiguate : bool ref
138 :			val controlDependence : bool ref
139 :			val flinton : bool ref
140 :
141 :	league	59	(* FLINT internal type-checking controls *)
142 :			val checkFlint : bool ref
143 :			val checkDatatypes : bool ref
144 :			val checkKinds : bool ref
145 :
146 :	monnier	16	val compdebugging : bool ref
147 :			val mudebugging : bool ref
148 :			val eedebugging : bool ref
149 :			val insdebugging : bool ref
150 :			val smdebugging : bool ref
151 :			val emdebugging : bool ref
152 :			val esdebugging : bool ref
153 :			val etdebugging : bool ref
154 :			val ecdebugging : bool ref
155 :			val tmdebugging : bool ref
156 :			end
157 :
158 :			signature CONTROL =
159 :			sig structure MC : MCCONTROL
160 :			structure Lazy : LAZYCONTROL
161 :			structure CG : CGCONTROL
162 :			structure MLRISC : MLRISC_CONTROL
163 :			structure Print : PRINTCONTROL
164 :			val debugging : bool ref
165 :			val primaryPrompt : string ref
166 :			val secondaryPrompt : string ref
167 :			val printWarnings : bool ref
168 :			val valueRestrictionLocalWarn : bool ref
169 :			val valueRestrictionTopWarn : bool ref
170 :			val instantiateSigs : bool ref
171 :			(* check signatures at declaration by instantiating them *)
172 :			val internals : bool ref
173 :			val interp : bool ref
174 :			(*
175 :			val debugLook : bool ref
176 :			val debugCollect : bool ref
177 :			val debugBind : bool ref
178 :			*)
179 :			val saveLambda : bool ref
180 :			val saveLvarNames : bool ref
181 :			val preserveLvarNames : bool ref
182 :			val markabsyn : bool ref
183 :			val trackExn : bool ref
184 :			val indexing : bool ref
185 :			val instSigs : bool ref
186 :			val quotation : bool ref
187 :			val overloadKW : bool ref
188 :
189 :			val saveit : bool ref
190 :			val saveAbsyn : bool ref
191 :			val saveConvert : bool ref
192 :			val saveCPSopt : bool ref
193 :			val saveClosure : bool ref
194 :
195 :			val lambdaSplitEnable: bool ref
196 :			val crossInlineEnable: bool ref
197 :			end
198 :

---

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