Changeset 2960 for extracted/lINToASM.ml


Ignore:
Timestamp:
Mar 26, 2013, 4:51:40 PM (8 years ago)
Author:
sacerdot
Message:

New extraction, it diverges in RTL execution now.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/lINToASM.ml

    r2951 r2960  
    141141    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    142142    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    143 let rec aSM_universe_rect_Type4 globals h_mk_ASM_universe x_2395 =
     143let rec aSM_universe_rect_Type4 globals h_mk_ASM_universe x_250 =
    144144  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    145     ident_map0; label_map = label_map0; address_map = address_map0 } = x_2395
     145    ident_map0; label_map = label_map0; address_map = address_map0 } = x_250
    146146  in
    147147  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    153153    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    154154    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    155 let rec aSM_universe_rect_Type5 globals h_mk_ASM_universe x_2397 =
     155let rec aSM_universe_rect_Type5 globals h_mk_ASM_universe x_252 =
    156156  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    157     ident_map0; label_map = label_map0; address_map = address_map0 } = x_2397
     157    ident_map0; label_map = label_map0; address_map = address_map0 } = x_252
    158158  in
    159159  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    165165    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    166166    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    167 let rec aSM_universe_rect_Type3 globals h_mk_ASM_universe x_2399 =
     167let rec aSM_universe_rect_Type3 globals h_mk_ASM_universe x_254 =
    168168  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    169     ident_map0; label_map = label_map0; address_map = address_map0 } = x_2399
     169    ident_map0; label_map = label_map0; address_map = address_map0 } = x_254
    170170  in
    171171  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    177177    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    178178    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    179 let rec aSM_universe_rect_Type2 globals h_mk_ASM_universe x_2401 =
     179let rec aSM_universe_rect_Type2 globals h_mk_ASM_universe x_256 =
    180180  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    181     ident_map0; label_map = label_map0; address_map = address_map0 } = x_2401
     181    ident_map0; label_map = label_map0; address_map = address_map0 } = x_256
    182182  in
    183183  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    189189    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    190190    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    191 let rec aSM_universe_rect_Type1 globals h_mk_ASM_universe x_2403 =
     191let rec aSM_universe_rect_Type1 globals h_mk_ASM_universe x_258 =
    192192  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    193     ident_map0; label_map = label_map0; address_map = address_map0 } = x_2403
     193    ident_map0; label_map = label_map0; address_map = address_map0 } = x_258
    194194  in
    195195  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    201201    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    202202    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    203 let rec aSM_universe_rect_Type0 globals h_mk_ASM_universe x_2405 =
     203let rec aSM_universe_rect_Type0 globals h_mk_ASM_universe x_260 =
    204204  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    205     ident_map0; label_map = label_map0; address_map = address_map0 } = x_2405
     205    ident_map0; label_map = label_map0; address_map = address_map0 } = x_260
    206206  in
    207207  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    288288  let globals_addr_internal = fun res_offset x_size ->
    289289    let { Types.fst = res; Types.snd = offset } = res_offset in
    290     let { Types.fst = eta24644; Types.snd = data } = x_size in
    291     let { Types.fst = x; Types.snd = region } = eta24644 in
     290    let { Types.fst = eta17; Types.snd = data } = x_size in
     291    let { Types.fst = x; Types.snd = region } = eta17 in
    292292    { Types.fst =
    293293    (Identifiers.add PreIdentifiers.SymbolTag res x
     
    320320        (Identifiers.empty_map PreIdentifiers.LabelTag)
    321321    in
    322     let { Types.fst = eta24645; Types.snd = lmap0 } =
     322    let { Types.fst = eta18; Types.snd = lmap0 } =
    323323      match Identifiers.lookup PreIdentifiers.LabelTag lmap l with
    324324      | Types.None ->
     
    332332          lmap }
    333333    in
    334     let { Types.fst = id; Types.snd = univ } = eta24645 in
     334    let { Types.fst = id; Types.snd = univ } = eta18 in
    335335    { Types.fst = { id_univ = univ; current_funct = current; ident_map =
    336336    u.ident_map; label_map =
     
    344344  Obj.magic (fun u ->
    345345    let imap = u.ident_map in
    346     let { Types.fst = eta24646; Types.snd = imap0 } =
     346    let { Types.fst = eta19; Types.snd = imap0 } =
    347347      match Identifiers.lookup PreIdentifiers.SymbolTag imap i with
    348348      | Types.None ->
     
    356356          imap }
    357357    in
    358     let { Types.fst = id; Types.snd = univ } = eta24646 in
     358    let { Types.fst = id; Types.snd = univ } = eta19 in
    359359    { Types.fst = { id_univ = univ; current_funct = u.current_funct;
    360360    ident_map = imap0; label_map = u.label_map; address_map =
Note: See TracChangeset for help on using the changeset viewer.