Changeset 2890 for extracted/lINToASM.ml
 Timestamp:
 Mar 15, 2013, 11:11:45 PM (7 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/lINToASM.ml
r2873 r2890 280 280 let globals_addr_internal = fun res_offset x_size > 281 281 let { Types.fst = res; Types.snd = offset } = res_offset in 282 let { Types.fst = eta290 74; Types.snd = size } = x_size in283 let { Types.fst = x; Types.snd = region } = eta290 74in282 let { Types.fst = eta29086; Types.snd = size } = x_size in 283 let { Types.fst = x; Types.snd = region } = eta29086 in 284 284 { Types.fst = 285 285 (Identifiers.add PreIdentifiers.SymbolTag res x … … 309 309 (Identifiers.empty_map PreIdentifiers.LabelTag) 310 310 in 311 let { Types.fst = eta290 75; Types.snd = lmap0 } =311 let { Types.fst = eta29087; Types.snd = lmap0 } = 312 312 match Identifiers.lookup PreIdentifiers.LabelTag lmap l with 313 313  Types.None > … … 321 321 lmap } 322 322 in 323 let { Types.fst = id; Types.snd = univ } = eta290 75in323 let { Types.fst = id; Types.snd = univ } = eta29087 in 324 324 { Types.fst = { id_univ = univ; current_funct = current; ident_map = 325 325 u.ident_map; label_map = … … 333 333 Obj.magic (fun u > 334 334 let imap = u.ident_map in 335 let { Types.fst = eta290 76; Types.snd = imap0 } =335 let { Types.fst = eta29088; Types.snd = imap0 } = 336 336 match Identifiers.lookup PreIdentifiers.SymbolTag imap i with 337 337  Types.None > … … 345 345 imap } 346 346 in 347 let { Types.fst = id; Types.snd = univ } = eta290 76in347 let { Types.fst = id; Types.snd = univ } = eta29088 in 348 348 { Types.fst = { id_univ = univ; current_funct = u.current_funct; 349 349 ident_map = imap0; label_map = u.label_map; address_map =
Note: See TracChangeset
for help on using the changeset viewer.