Changeset 2890 for extracted/lINToASM.ml


Ignore:
Timestamp:
Mar 15, 2013, 11:11:45 PM (7 years ago)
Author:
sacerdot
Message:

Exported again, now the execution is correct up to LIN for a simple program.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/lINToASM.ml

    r2873 r2890  
    280280  let globals_addr_internal = fun res_offset x_size ->
    281281    let { Types.fst = res; Types.snd = offset } = res_offset in
    282     let { Types.fst = eta29074; Types.snd = size } = x_size in
    283     let { Types.fst = x; Types.snd = region } = eta29074 in
     282    let { Types.fst = eta29086; Types.snd = size } = x_size in
     283    let { Types.fst = x; Types.snd = region } = eta29086 in
    284284    { Types.fst =
    285285    (Identifiers.add PreIdentifiers.SymbolTag res x
     
    309309        (Identifiers.empty_map PreIdentifiers.LabelTag)
    310310    in
    311     let { Types.fst = eta29075; Types.snd = lmap0 } =
     311    let { Types.fst = eta29087; Types.snd = lmap0 } =
    312312      match Identifiers.lookup PreIdentifiers.LabelTag lmap l with
    313313      | Types.None ->
     
    321321          lmap }
    322322    in
    323     let { Types.fst = id; Types.snd = univ } = eta29075 in
     323    let { Types.fst = id; Types.snd = univ } = eta29087 in
    324324    { Types.fst = { id_univ = univ; current_funct = current; ident_map =
    325325    u.ident_map; label_map =
     
    333333  Obj.magic (fun u ->
    334334    let imap = u.ident_map in
    335     let { Types.fst = eta29076; Types.snd = imap0 } =
     335    let { Types.fst = eta29088; Types.snd = imap0 } =
    336336      match Identifiers.lookup PreIdentifiers.SymbolTag imap i with
    337337      | Types.None ->
     
    345345          imap }
    346346    in
    347     let { Types.fst = id; Types.snd = univ } = eta29076 in
     347    let { Types.fst = id; Types.snd = univ } = eta29088 in
    348348    { Types.fst = { id_univ = univ; current_funct = u.current_funct;
    349349    ident_map = imap0; label_map = u.label_map; address_map =
Note: See TracChangeset for help on using the changeset viewer.