Changeset 2854 for extracted/lINToASM.ml


Ignore:
Timestamp:
Mar 12, 2013, 5:53:56 PM (8 years ago)
Author:
sacerdot
Message:

Pretty printing of the LTL program.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/lINToASM.ml

    r2827 r2854  
    127127    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    128128    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    129 let rec aSM_universe_rect_Type4 globals h_mk_ASM_universe x_24413 =
     129let rec aSM_universe_rect_Type4 globals h_mk_ASM_universe x_1781 =
    130130  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    131     ident_map0; label_map = label_map0; address_map = address_map0 } =
    132     x_24413
     131    ident_map0; label_map = label_map0; address_map = address_map0 } = x_1781
    133132  in
    134133  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    140139    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    141140    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    142 let rec aSM_universe_rect_Type5 globals h_mk_ASM_universe x_24415 =
     141let rec aSM_universe_rect_Type5 globals h_mk_ASM_universe x_1783 =
    143142  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    144     ident_map0; label_map = label_map0; address_map = address_map0 } =
    145     x_24415
     143    ident_map0; label_map = label_map0; address_map = address_map0 } = x_1783
    146144  in
    147145  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    153151    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    154152    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    155 let rec aSM_universe_rect_Type3 globals h_mk_ASM_universe x_24417 =
     153let rec aSM_universe_rect_Type3 globals h_mk_ASM_universe x_1785 =
    156154  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    157     ident_map0; label_map = label_map0; address_map = address_map0 } =
    158     x_24417
     155    ident_map0; label_map = label_map0; address_map = address_map0 } = x_1785
    159156  in
    160157  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    166163    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    167164    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    168 let rec aSM_universe_rect_Type2 globals h_mk_ASM_universe x_24419 =
     165let rec aSM_universe_rect_Type2 globals h_mk_ASM_universe x_1787 =
    169166  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    170     ident_map0; label_map = label_map0; address_map = address_map0 } =
    171     x_24419
     167    ident_map0; label_map = label_map0; address_map = address_map0 } = x_1787
    172168  in
    173169  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    179175    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    180176    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    181 let rec aSM_universe_rect_Type1 globals h_mk_ASM_universe x_24421 =
     177let rec aSM_universe_rect_Type1 globals h_mk_ASM_universe x_1789 =
    182178  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    183     ident_map0; label_map = label_map0; address_map = address_map0 } =
    184     x_24421
     179    ident_map0; label_map = label_map0; address_map = address_map0 } = x_1789
    185180  in
    186181  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    192187    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    193188    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    194 let rec aSM_universe_rect_Type0 globals h_mk_ASM_universe x_24423 =
     189let rec aSM_universe_rect_Type0 globals h_mk_ASM_universe x_1791 =
    195190  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    196     ident_map0; label_map = label_map0; address_map = address_map0 } =
    197     x_24423
     191    ident_map0; label_map = label_map0; address_map = address_map0 } = x_1791
    198192  in
    199193  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    280274  let globals_addr_internal = fun res_offset x_size ->
    281275    let { Types.fst = res; Types.snd = offset } = res_offset in
    282     let { Types.fst = eta29057; Types.snd = size } = x_size in
    283     let { Types.fst = x; Types.snd = region } = eta29057 in
     276    let { Types.fst = eta37; Types.snd = size } = x_size in
     277    let { Types.fst = x; Types.snd = region } = eta37 in
    284278    { Types.fst =
    285279    (Identifiers.add PreIdentifiers.SymbolTag res x
     
    309303        (Identifiers.empty_map PreIdentifiers.LabelTag)
    310304    in
    311     let { Types.fst = eta29058; Types.snd = lmap0 } =
     305    let { Types.fst = eta38; Types.snd = lmap0 } =
    312306      match Identifiers.lookup PreIdentifiers.LabelTag lmap l with
    313307      | Types.None ->
     
    321315          lmap }
    322316    in
    323     let { Types.fst = id; Types.snd = univ } = eta29058 in
     317    let { Types.fst = id; Types.snd = univ } = eta38 in
    324318    { Types.fst = { id_univ = univ; current_funct = current; ident_map =
    325319    u.ident_map; label_map =
     
    333327  Obj.magic (fun u ->
    334328    let imap = u.ident_map in
    335     let { Types.fst = eta29059; Types.snd = imap0 } =
     329    let { Types.fst = eta39; Types.snd = imap0 } =
    336330      match Identifiers.lookup PreIdentifiers.SymbolTag imap i with
    337331      | Types.None ->
     
    345339          imap }
    346340    in
    347     let { Types.fst = id; Types.snd = univ } = eta29059 in
     341    let { Types.fst = id; Types.snd = univ } = eta39 in
    348342    { Types.fst = { id_univ = univ; current_funct = u.current_funct;
    349343    ident_map = imap0; label_map = u.label_map; address_map =
Note: See TracChangeset for help on using the changeset viewer.