Changeset 2717 for extracted/compiler.mli
- Timestamp:
- Feb 23, 2013, 1:16:55 AM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
extracted/compiler.mli
r2649 r2717 1 1 open Preamble 2 2 3 open BitVectorTrie 4 3 5 open CostLabel 4 6 … … 31 33 open Identifiers 32 34 35 open Exp 36 33 37 open Arithmetic 34 38 … … 148 152 149 153 open Initialisation 150 151 open BitVectorTrie152 154 153 155 open Graphs … … 165 167 Types.prod, RTLabs_syntax.rTLabs_program) Types.prod Errors.res 166 168 169 open Deqsets 170 171 open State 172 173 open Bind_new 174 175 open BindLists 176 177 open Blocks 178 179 open TranslateUtils 180 181 open AssocList 182 167 183 open String 168 184 169 185 open LabelledObjects 170 186 187 open I8051 188 189 open BackEndOps 190 191 open Joint 192 193 open RTL 194 195 open RTLabsToRTL 196 197 open ERTL 198 199 open RegisterSet 200 201 open RTLToERTL 202 203 open ERTLptr 204 205 open ERTLToERTLptr 206 207 open Fixpoints 208 209 open Set_adt 210 211 open Liveness 212 213 open Interference 214 215 open Joint_LTL_LIN 216 217 open LTL 218 219 open ERTLptrToLTL 220 221 open LIN 222 223 open Linearise 224 225 open LTLToLIN 226 171 227 open ASM 172 228 229 open BitVectorTrieSet 230 231 open LINToASM 232 233 val compute_fixpoint : Fixpoints.fixpoint_computer 234 235 val colour_graph : Interference.coloured_graph_computer 236 173 237 val back_end : RTLabs_syntax.rTLabs_program -> ASM.pseudo_assembly_program 174 238 175 239 type object_code = BitVector.byte List.list 176 240 177 type costlabel_map = CostLabel.costlabel BitVectorTrie.bitVectorTrie 241 type costlabel_map1 = CostLabel.costlabel BitVectorTrie.bitVectorTrie 242 243 open Assembly 244 245 open Status 246 247 open Fetch 248 249 open PolicyFront 250 251 open PolicyStep 252 253 open Policy 178 254 179 255 val assembler : 180 ASM.pseudo_assembly_program -> (object_code, costlabel_map ) Types.prod256 ASM.pseudo_assembly_program -> (object_code, costlabel_map1) Types.prod 181 257 Errors.res 182 258 … … 185 261 open AbstractStatus 186 262 187 open Status188 189 263 open StatusProofs 190 264 191 265 open Interpret 192 193 open Fetch194 266 195 267 open ASMCosts … … 206 278 207 279 val compile : 208 Csyntax.clight_program -> ((object_code, costlabel_map ) Types.prod,280 Csyntax.clight_program -> ((object_code, costlabel_map1) Types.prod, 209 281 (Csyntax.clight_program, Label.clight_cost_map) Types.dPair) Types.prod 210 282 Errors.res
Note: See TracChangeset
for help on using the changeset viewer.