Ignore:
Timestamp:
Apr 6, 2013, 7:35:25 PM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/extracted/lINToASM.ml

    r3080 r3106  
    140140    Identifiers.identifier_map -> ASM.identifier Identifiers.identifier_map
    141141    Identifiers.identifier_map -> Positive.pos -> 'a1) -> aSM_universe -> 'a1 **)
    142 let rec aSM_universe_rect_Type4 h_mk_ASM_universe x_21483 =
     142let rec aSM_universe_rect_Type4 h_mk_ASM_universe x_588 =
    143143  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    144144    ident_map0; label_map = label_map0; fresh_cost_label =
    145     fresh_cost_label0 } = x_21483
     145    fresh_cost_label0 } = x_588
    146146  in
    147147  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    152152    Identifiers.identifier_map -> ASM.identifier Identifiers.identifier_map
    153153    Identifiers.identifier_map -> Positive.pos -> 'a1) -> aSM_universe -> 'a1 **)
    154 let rec aSM_universe_rect_Type5 h_mk_ASM_universe x_21485 =
     154let rec aSM_universe_rect_Type5 h_mk_ASM_universe x_590 =
    155155  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    156156    ident_map0; label_map = label_map0; fresh_cost_label =
    157     fresh_cost_label0 } = x_21485
     157    fresh_cost_label0 } = x_590
    158158  in
    159159  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    164164    Identifiers.identifier_map -> ASM.identifier Identifiers.identifier_map
    165165    Identifiers.identifier_map -> Positive.pos -> 'a1) -> aSM_universe -> 'a1 **)
    166 let rec aSM_universe_rect_Type3 h_mk_ASM_universe x_21487 =
     166let rec aSM_universe_rect_Type3 h_mk_ASM_universe x_592 =
    167167  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    168168    ident_map0; label_map = label_map0; fresh_cost_label =
    169     fresh_cost_label0 } = x_21487
     169    fresh_cost_label0 } = x_592
    170170  in
    171171  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    176176    Identifiers.identifier_map -> ASM.identifier Identifiers.identifier_map
    177177    Identifiers.identifier_map -> Positive.pos -> 'a1) -> aSM_universe -> 'a1 **)
    178 let rec aSM_universe_rect_Type2 h_mk_ASM_universe x_21489 =
     178let rec aSM_universe_rect_Type2 h_mk_ASM_universe x_594 =
    179179  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    180180    ident_map0; label_map = label_map0; fresh_cost_label =
    181     fresh_cost_label0 } = x_21489
     181    fresh_cost_label0 } = x_594
    182182  in
    183183  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    188188    Identifiers.identifier_map -> ASM.identifier Identifiers.identifier_map
    189189    Identifiers.identifier_map -> Positive.pos -> 'a1) -> aSM_universe -> 'a1 **)
    190 let rec aSM_universe_rect_Type1 h_mk_ASM_universe x_21491 =
     190let rec aSM_universe_rect_Type1 h_mk_ASM_universe x_596 =
    191191  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    192192    ident_map0; label_map = label_map0; fresh_cost_label =
    193     fresh_cost_label0 } = x_21491
     193    fresh_cost_label0 } = x_596
    194194  in
    195195  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    200200    Identifiers.identifier_map -> ASM.identifier Identifiers.identifier_map
    201201    Identifiers.identifier_map -> Positive.pos -> 'a1) -> aSM_universe -> 'a1 **)
    202 let rec aSM_universe_rect_Type0 h_mk_ASM_universe x_21493 =
     202let rec aSM_universe_rect_Type0 h_mk_ASM_universe x_598 =
    203203  let { id_univ = id_univ0; current_funct = current_funct0; ident_map =
    204204    ident_map0; label_map = label_map0; fresh_cost_label =
    205     fresh_cost_label0 } = x_21493
     205    fresh_cost_label0 } = x_598
    206206  in
    207207  h_mk_ASM_universe id_univ0 current_funct0 ident_map0 label_map0
     
    303303        (Identifiers.empty_map PreIdentifiers.LabelTag)
    304304    in
    305     let { Types.fst = eta28616; Types.snd = lmap0 } =
     305    let { Types.fst = eta2825; Types.snd = lmap0 } =
    306306      match Identifiers.lookup PreIdentifiers.LabelTag lmap l with
    307307      | Types.None ->
     
    315315          lmap }
    316316    in
    317     let { Types.fst = id; Types.snd = univ } = eta28616 in
     317    let { Types.fst = id; Types.snd = univ } = eta2825 in
    318318    { Types.fst = { id_univ = univ; current_funct = current; ident_map =
    319319    u.ident_map; label_map =
     
    10511051    ASM.labelled_instruction List.list List.list -> (ASM.identifier,
    10521052    BitVector.word) Types.prod List.list -> 'a1) -> init_mutable -> 'a1 **)
    1053 let rec init_mutable_rect_Type4 h_mk_init_mutable x_21509 =
     1053let rec init_mutable_rect_Type4 h_mk_init_mutable x_614 =
    10541054  let { virtual_dptr = virtual_dptr0; actual_dptr = actual_dptr0;
    1055     built_code = built_code0; built_preamble = built_preamble0 } = x_21509
     1055    built_code = built_code0; built_preamble = built_preamble0 } = x_614
    10561056  in
    10571057  h_mk_init_mutable virtual_dptr0 actual_dptr0 built_code0 built_preamble0
     
    10611061    ASM.labelled_instruction List.list List.list -> (ASM.identifier,
    10621062    BitVector.word) Types.prod List.list -> 'a1) -> init_mutable -> 'a1 **)
    1063 let rec init_mutable_rect_Type5 h_mk_init_mutable x_21511 =
     1063let rec init_mutable_rect_Type5 h_mk_init_mutable x_616 =
    10641064  let { virtual_dptr = virtual_dptr0; actual_dptr = actual_dptr0;
    1065     built_code = built_code0; built_preamble = built_preamble0 } = x_21511
     1065    built_code = built_code0; built_preamble = built_preamble0 } = x_616
    10661066  in
    10671067  h_mk_init_mutable virtual_dptr0 actual_dptr0 built_code0 built_preamble0
     
    10711071    ASM.labelled_instruction List.list List.list -> (ASM.identifier,
    10721072    BitVector.word) Types.prod List.list -> 'a1) -> init_mutable -> 'a1 **)
    1073 let rec init_mutable_rect_Type3 h_mk_init_mutable x_21513 =
     1073let rec init_mutable_rect_Type3 h_mk_init_mutable x_618 =
    10741074  let { virtual_dptr = virtual_dptr0; actual_dptr = actual_dptr0;
    1075     built_code = built_code0; built_preamble = built_preamble0 } = x_21513
     1075    built_code = built_code0; built_preamble = built_preamble0 } = x_618
    10761076  in
    10771077  h_mk_init_mutable virtual_dptr0 actual_dptr0 built_code0 built_preamble0
     
    10811081    ASM.labelled_instruction List.list List.list -> (ASM.identifier,
    10821082    BitVector.word) Types.prod List.list -> 'a1) -> init_mutable -> 'a1 **)
    1083 let rec init_mutable_rect_Type2 h_mk_init_mutable x_21515 =
     1083let rec init_mutable_rect_Type2 h_mk_init_mutable x_620 =
    10841084  let { virtual_dptr = virtual_dptr0; actual_dptr = actual_dptr0;
    1085     built_code = built_code0; built_preamble = built_preamble0 } = x_21515
     1085    built_code = built_code0; built_preamble = built_preamble0 } = x_620
    10861086  in
    10871087  h_mk_init_mutable virtual_dptr0 actual_dptr0 built_code0 built_preamble0
     
    10911091    ASM.labelled_instruction List.list List.list -> (ASM.identifier,
    10921092    BitVector.word) Types.prod List.list -> 'a1) -> init_mutable -> 'a1 **)
    1093 let rec init_mutable_rect_Type1 h_mk_init_mutable x_21517 =
     1093let rec init_mutable_rect_Type1 h_mk_init_mutable x_622 =
    10941094  let { virtual_dptr = virtual_dptr0; actual_dptr = actual_dptr0;
    1095     built_code = built_code0; built_preamble = built_preamble0 } = x_21517
     1095    built_code = built_code0; built_preamble = built_preamble0 } = x_622
    10961096  in
    10971097  h_mk_init_mutable virtual_dptr0 actual_dptr0 built_code0 built_preamble0
     
    11011101    ASM.labelled_instruction List.list List.list -> (ASM.identifier,
    11021102    BitVector.word) Types.prod List.list -> 'a1) -> init_mutable -> 'a1 **)
    1103 let rec init_mutable_rect_Type0 h_mk_init_mutable x_21519 =
     1103let rec init_mutable_rect_Type0 h_mk_init_mutable x_624 =
    11041104  let { virtual_dptr = virtual_dptr0; actual_dptr = actual_dptr0;
    1105     built_code = built_code0; built_preamble = built_preamble0 } = x_21519
     1105    built_code = built_code0; built_preamble = built_preamble0 } = x_624
    11061106  in
    11071107  h_mk_init_mutable virtual_dptr0 actual_dptr0 built_code0 built_preamble0
     
    13041304let do_store_global m_mut id_reg_data =
    13051305  Monad.m_bind0 (Monad.smax_def State.state_monad) m_mut (fun mut ->
    1306     let { Types.fst = eta28633; Types.snd = data } = id_reg_data in
    1307     let { Types.fst = id; Types.snd = reg } = eta28633 in
     1306    let { Types.fst = eta2842; Types.snd = data } = id_reg_data in
     1307    let { Types.fst = id; Types.snd = reg } = eta2842 in
    13081308    Monad.m_bind0 (Monad.smax_def State.state_monad) (identifier_of_ident id)
    13091309      (fun id0 ->
Note: See TracChangeset for help on using the changeset viewer.