Changeset 2730 for extracted/lINToASM.ml


Ignore:
Timestamp:
Feb 25, 2013, 9:54:49 PM (8 years ago)
Author:
sacerdot
Message:

Exported again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/lINToASM.ml

    r2717 r2730  
    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_21026 =
     129let rec aSM_universe_rect_Type4 globals h_mk_ASM_universe x_7759 =
    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_21026
     131    ident_map0; label_map = label_map0; address_map = address_map0 } = x_7759
    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_21028 =
     141let rec aSM_universe_rect_Type5 globals h_mk_ASM_universe x_7761 =
    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_21028
     143    ident_map0; label_map = label_map0; address_map = address_map0 } = x_7761
    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_21030 =
     153let rec aSM_universe_rect_Type3 globals h_mk_ASM_universe x_7763 =
    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_21030
     155    ident_map0; label_map = label_map0; address_map = address_map0 } = x_7763
    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_21032 =
     165let rec aSM_universe_rect_Type2 globals h_mk_ASM_universe x_7765 =
    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_21032
     167    ident_map0; label_map = label_map0; address_map = address_map0 } = x_7765
    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_21034 =
     177let rec aSM_universe_rect_Type1 globals h_mk_ASM_universe x_7767 =
    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_21034
     179    ident_map0; label_map = label_map0; address_map = address_map0 } = x_7767
    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_21036 =
     189let rec aSM_universe_rect_Type0 globals h_mk_ASM_universe x_7769 =
    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_21036
     191    ident_map0; label_map = label_map0; address_map = address_map0 } = x_7769
    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 = res1; Types.snd = offset0 } = res_offset in
    282     let { Types.fst = eta28711; Types.snd = size } = x_size in
    283     let { Types.fst = x; Types.snd = region0 } = eta28711 in
     276    let { Types.fst = eta27663; Types.snd = size } = x_size in
     277    let { Types.fst = x; Types.snd = region0 } = eta27663 in
    284278    { Types.fst =
    285279    (Identifiers.add PreIdentifiers.SymbolTag res1 x
     
    309303        (Identifiers.empty_map PreIdentifiers.LabelTag)
    310304    in
    311     let { Types.fst = eta28712; Types.snd = lmap0 } =
     305    let { Types.fst = eta27664; Types.snd = lmap0 } =
    312306      match Identifiers.lookup0 PreIdentifiers.LabelTag lmap l with
    313307      | Types.None ->
     
    321315          lmap }
    322316    in
    323     let { Types.fst = id; Types.snd = univ } = eta28712 in
     317    let { Types.fst = id; Types.snd = univ } = eta27664 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 = eta28713; Types.snd = imap0 } =
     329    let { Types.fst = eta27665; Types.snd = imap0 } =
    336330      match Identifiers.lookup0 PreIdentifiers.SymbolTag imap i with
    337331      | Types.None ->
     
    345339          imap }
    346340    in
    347     let { Types.fst = id; Types.snd = univ } = eta28713 in
     341    let { Types.fst = id; Types.snd = univ } = eta27665 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.