Changeset 2999 for extracted/aSM.mli


Ignore:
Timestamp:
Mar 28, 2013, 12:47:55 PM (7 years ago)
Author:
sacerdot
Message:

code_memory added to labelled_object_code to avoid recomputing it every time.
This gives a major speed up in the semantics of the extracted code.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/aSM.mli

    r2773 r2999  
    12881288type object_code = BitVector.byte List.list
    12891289
     1290val next :
     1291  BitVector.byte BitVectorTrie.bitVectorTrie -> BitVector.word ->
     1292  (BitVector.word, BitVector.byte) Types.prod
     1293
     1294val load_code_memory0 :
     1295  object_code -> BitVector.byte BitVectorTrie.bitVectorTrie Types.sig0
     1296
     1297val load_code_memory :
     1298  object_code -> BitVector.byte BitVectorTrie.bitVectorTrie
     1299
    12901300type costlabel_map = CostLabel.costlabel BitVectorTrie.bitVectorTrie
    12911301
    12921302type symboltable_type = AST.ident BitVectorTrie.bitVectorTrie
    12931303
    1294 type labelled_object_code = { oc : object_code; costlabels : costlabel_map;
     1304type labelled_object_code = { oc : object_code;
     1305                              cm : BitVector.byte BitVectorTrie.bitVectorTrie;
     1306                              costlabels : costlabel_map;
    12951307                              symboltable : symboltable_type;
    12961308                              final_pc : BitVector.word }
    12971309
    12981310val labelled_object_code_rect_Type4 :
    1299   (object_code -> costlabel_map -> symboltable_type -> BitVector.word -> __
    1300   -> 'a1) -> labelled_object_code -> 'a1
     1311  (object_code -> BitVector.byte BitVectorTrie.bitVectorTrie -> __ ->
     1312  costlabel_map -> symboltable_type -> BitVector.word -> __ -> 'a1) ->
     1313  labelled_object_code -> 'a1
    13011314
    13021315val labelled_object_code_rect_Type5 :
    1303   (object_code -> costlabel_map -> symboltable_type -> BitVector.word -> __
    1304   -> 'a1) -> labelled_object_code -> 'a1
     1316  (object_code -> BitVector.byte BitVectorTrie.bitVectorTrie -> __ ->
     1317  costlabel_map -> symboltable_type -> BitVector.word -> __ -> 'a1) ->
     1318  labelled_object_code -> 'a1
    13051319
    13061320val labelled_object_code_rect_Type3 :
    1307   (object_code -> costlabel_map -> symboltable_type -> BitVector.word -> __
    1308   -> 'a1) -> labelled_object_code -> 'a1
     1321  (object_code -> BitVector.byte BitVectorTrie.bitVectorTrie -> __ ->
     1322  costlabel_map -> symboltable_type -> BitVector.word -> __ -> 'a1) ->
     1323  labelled_object_code -> 'a1
    13091324
    13101325val labelled_object_code_rect_Type2 :
    1311   (object_code -> costlabel_map -> symboltable_type -> BitVector.word -> __
    1312   -> 'a1) -> labelled_object_code -> 'a1
     1326  (object_code -> BitVector.byte BitVectorTrie.bitVectorTrie -> __ ->
     1327  costlabel_map -> symboltable_type -> BitVector.word -> __ -> 'a1) ->
     1328  labelled_object_code -> 'a1
    13131329
    13141330val labelled_object_code_rect_Type1 :
    1315   (object_code -> costlabel_map -> symboltable_type -> BitVector.word -> __
    1316   -> 'a1) -> labelled_object_code -> 'a1
     1331  (object_code -> BitVector.byte BitVectorTrie.bitVectorTrie -> __ ->
     1332  costlabel_map -> symboltable_type -> BitVector.word -> __ -> 'a1) ->
     1333  labelled_object_code -> 'a1
    13171334
    13181335val labelled_object_code_rect_Type0 :
    1319   (object_code -> costlabel_map -> symboltable_type -> BitVector.word -> __
    1320   -> 'a1) -> labelled_object_code -> 'a1
     1336  (object_code -> BitVector.byte BitVectorTrie.bitVectorTrie -> __ ->
     1337  costlabel_map -> symboltable_type -> BitVector.word -> __ -> 'a1) ->
     1338  labelled_object_code -> 'a1
    13211339
    13221340val oc : labelled_object_code -> object_code
    13231341
     1342val cm : labelled_object_code -> BitVector.byte BitVectorTrie.bitVectorTrie
     1343
    13241344val costlabels : labelled_object_code -> costlabel_map
    13251345
     
    13291349
    13301350val labelled_object_code_inv_rect_Type4 :
    1331   labelled_object_code -> (object_code -> costlabel_map -> symboltable_type
    1332   -> BitVector.word -> __ -> __ -> 'a1) -> 'a1
     1351  labelled_object_code -> (object_code -> BitVector.byte
     1352  BitVectorTrie.bitVectorTrie -> __ -> costlabel_map -> symboltable_type ->
     1353  BitVector.word -> __ -> __ -> 'a1) -> 'a1
    13331354
    13341355val labelled_object_code_inv_rect_Type3 :
    1335   labelled_object_code -> (object_code -> costlabel_map -> symboltable_type
    1336   -> BitVector.word -> __ -> __ -> 'a1) -> 'a1
     1356  labelled_object_code -> (object_code -> BitVector.byte
     1357  BitVectorTrie.bitVectorTrie -> __ -> costlabel_map -> symboltable_type ->
     1358  BitVector.word -> __ -> __ -> 'a1) -> 'a1
    13371359
    13381360val labelled_object_code_inv_rect_Type2 :
    1339   labelled_object_code -> (object_code -> costlabel_map -> symboltable_type
    1340   -> BitVector.word -> __ -> __ -> 'a1) -> 'a1
     1361  labelled_object_code -> (object_code -> BitVector.byte
     1362  BitVectorTrie.bitVectorTrie -> __ -> costlabel_map -> symboltable_type ->
     1363  BitVector.word -> __ -> __ -> 'a1) -> 'a1
    13411364
    13421365val labelled_object_code_inv_rect_Type1 :
    1343   labelled_object_code -> (object_code -> costlabel_map -> symboltable_type
    1344   -> BitVector.word -> __ -> __ -> 'a1) -> 'a1
     1366  labelled_object_code -> (object_code -> BitVector.byte
     1367  BitVectorTrie.bitVectorTrie -> __ -> costlabel_map -> symboltable_type ->
     1368  BitVector.word -> __ -> __ -> 'a1) -> 'a1
    13451369
    13461370val labelled_object_code_inv_rect_Type0 :
    1347   labelled_object_code -> (object_code -> costlabel_map -> symboltable_type
    1348   -> BitVector.word -> __ -> __ -> 'a1) -> 'a1
    1349 
    1350 val labelled_object_code_discr :
    1351   labelled_object_code -> labelled_object_code -> __
     1371  labelled_object_code -> (object_code -> BitVector.byte
     1372  BitVectorTrie.bitVectorTrie -> __ -> costlabel_map -> symboltable_type ->
     1373  BitVector.word -> __ -> __ -> 'a1) -> 'a1
    13521374
    13531375val labelled_object_code_jmdiscr :
Note: See TracChangeset for help on using the changeset viewer.