Changeset 2775 for extracted/lINToASM.ml


Ignore:
Timestamp:
Mar 5, 2013, 9:52:39 PM (7 years ago)
Author:
sacerdot
Message:

The compiler now computes also the stack cost model.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/lINToASM.ml

    r2773 r2775  
    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_19468 =
     129let rec aSM_universe_rect_Type4 globals h_mk_ASM_universe x_24208 =
    130130  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    131131    ident_map0; label_map = label_map0; address_map = address_map0 } =
    132     x_19468
     132    x_24208
    133133  in
    134134  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    140140    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    141141    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    142 let rec aSM_universe_rect_Type5 globals h_mk_ASM_universe x_19470 =
     142let rec aSM_universe_rect_Type5 globals h_mk_ASM_universe x_24210 =
    143143  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    144144    ident_map0; label_map = label_map0; address_map = address_map0 } =
    145     x_19470
     145    x_24210
    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_Type3 globals h_mk_ASM_universe x_19472 =
     155let rec aSM_universe_rect_Type3 globals h_mk_ASM_universe x_24212 =
    156156  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    157157    ident_map0; label_map = label_map0; address_map = address_map0 } =
    158     x_19472
     158    x_24212
    159159  in
    160160  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    166166    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    167167    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    168 let rec aSM_universe_rect_Type2 globals h_mk_ASM_universe x_19474 =
     168let rec aSM_universe_rect_Type2 globals h_mk_ASM_universe x_24214 =
    169169  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    170170    ident_map0; label_map = label_map0; address_map = address_map0 } =
    171     x_19474
     171    x_24214
    172172  in
    173173  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    179179    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    180180    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    181 let rec aSM_universe_rect_Type1 globals h_mk_ASM_universe x_19476 =
     181let rec aSM_universe_rect_Type1 globals h_mk_ASM_universe x_24216 =
    182182  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    183183    ident_map0; label_map = label_map0; address_map = address_map0 } =
    184     x_19476
     184    x_24216
    185185  in
    186186  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    192192    Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    193193    Identifiers.identifier_map -> __ -> 'a1) -> aSM_universe -> 'a1 **)
    194 let rec aSM_universe_rect_Type0 globals h_mk_ASM_universe x_19478 =
     194let rec aSM_universe_rect_Type0 globals h_mk_ASM_universe x_24218 =
    195195  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    196196    ident_map0; label_map = label_map0; address_map = address_map0 } =
    197     x_19478
     197    x_24218
    198198  in
    199199  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    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 = eta27824; Types.snd = size } = x_size in
    283     let { Types.fst = x; Types.snd = region } = eta27824 in
     282    let { Types.fst = eta29046; Types.snd = size } = x_size in
     283    let { Types.fst = x; Types.snd = region } = eta29046 in
    284284    { Types.fst =
    285285    (Identifiers.add PreIdentifiers.SymbolTag res x
     
    309309        (Identifiers.empty_map PreIdentifiers.LabelTag)
    310310    in
    311     let { Types.fst = eta27825; Types.snd = lmap0 } =
     311    let { Types.fst = eta29047; 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 } = eta27825 in
     323    let { Types.fst = id; Types.snd = univ } = eta29047 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 = eta27826; Types.snd = imap0 } =
     335    let { Types.fst = eta29048; 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 } = eta27826 in
     347    let { Types.fst = id; Types.snd = univ } = eta29048 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.