Ignore:
Timestamp:
Mar 13, 2013, 11:12:29 PM (7 years ago)
Author:
sacerdot
Message:

New extraction after indianess bug fixes by Paolo.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/joint_printer.ml

    r2859 r2867  
    411411    (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params
    412412    -> 'a2 **)
    413 let rec printing_pass_independent_params_rect_Type4 h_mk_printing_pass_independent_params x_263 =
     413let rec printing_pass_independent_params_rect_Type4 h_mk_printing_pass_independent_params x_549 =
    414414  let { print_String = print_String0; print_keyword = print_keyword0;
    415415    print_concat = print_concat0; print_empty = print_empty0; print_ident =
    416416    print_ident0; print_costlabel = print_costlabel0; print_label =
    417417    print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
    418     print_Op2 = print_Op4 } = x_263
     418    print_Op2 = print_Op4 } = x_549
    419419  in
    420420  h_mk_printing_pass_independent_params print_String0 print_keyword0
     
    428428    (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params
    429429    -> 'a2 **)
    430 let rec printing_pass_independent_params_rect_Type5 h_mk_printing_pass_independent_params x_265 =
     430let rec printing_pass_independent_params_rect_Type5 h_mk_printing_pass_independent_params x_551 =
    431431  let { print_String = print_String0; print_keyword = print_keyword0;
    432432    print_concat = print_concat0; print_empty = print_empty0; print_ident =
    433433    print_ident0; print_costlabel = print_costlabel0; print_label =
    434434    print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
    435     print_Op2 = print_Op4 } = x_265
     435    print_Op2 = print_Op4 } = x_551
    436436  in
    437437  h_mk_printing_pass_independent_params print_String0 print_keyword0
     
    445445    (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params
    446446    -> 'a2 **)
    447 let rec printing_pass_independent_params_rect_Type3 h_mk_printing_pass_independent_params x_267 =
     447let rec printing_pass_independent_params_rect_Type3 h_mk_printing_pass_independent_params x_553 =
    448448  let { print_String = print_String0; print_keyword = print_keyword0;
    449449    print_concat = print_concat0; print_empty = print_empty0; print_ident =
    450450    print_ident0; print_costlabel = print_costlabel0; print_label =
    451451    print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
    452     print_Op2 = print_Op4 } = x_267
     452    print_Op2 = print_Op4 } = x_553
    453453  in
    454454  h_mk_printing_pass_independent_params print_String0 print_keyword0
     
    462462    (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params
    463463    -> 'a2 **)
    464 let rec printing_pass_independent_params_rect_Type2 h_mk_printing_pass_independent_params x_269 =
     464let rec printing_pass_independent_params_rect_Type2 h_mk_printing_pass_independent_params x_555 =
    465465  let { print_String = print_String0; print_keyword = print_keyword0;
    466466    print_concat = print_concat0; print_empty = print_empty0; print_ident =
    467467    print_ident0; print_costlabel = print_costlabel0; print_label =
    468468    print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
    469     print_Op2 = print_Op4 } = x_269
     469    print_Op2 = print_Op4 } = x_555
    470470  in
    471471  h_mk_printing_pass_independent_params print_String0 print_keyword0
     
    479479    (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params
    480480    -> 'a2 **)
    481 let rec printing_pass_independent_params_rect_Type1 h_mk_printing_pass_independent_params x_271 =
     481let rec printing_pass_independent_params_rect_Type1 h_mk_printing_pass_independent_params x_557 =
    482482  let { print_String = print_String0; print_keyword = print_keyword0;
    483483    print_concat = print_concat0; print_empty = print_empty0; print_ident =
    484484    print_ident0; print_costlabel = print_costlabel0; print_label =
    485485    print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
    486     print_Op2 = print_Op4 } = x_271
     486    print_Op2 = print_Op4 } = x_557
    487487  in
    488488  h_mk_printing_pass_independent_params print_String0 print_keyword0
     
    496496    (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params
    497497    -> 'a2 **)
    498 let rec printing_pass_independent_params_rect_Type0 h_mk_printing_pass_independent_params x_273 =
     498let rec printing_pass_independent_params_rect_Type0 h_mk_printing_pass_independent_params x_559 =
    499499  let { print_String = print_String0; print_keyword = print_keyword0;
    500500    print_concat = print_concat0; print_empty = print_empty0; print_ident =
    501501    print_ident0; print_costlabel = print_costlabel0; print_label =
    502502    print_label0; print_OpAccs = print_OpAccs0; print_Op1 = print_Op3;
    503     print_Op2 = print_Op4 } = x_273
     503    print_Op2 = print_Op4 } = x_559
    504504  in
    505505  h_mk_printing_pass_independent_params print_String0 print_keyword0
     
    635635    -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
    636636    printing_params -> 'a2 **)
    637 let rec printing_params_rect_Type4 p h_mk_printing_params x_299 =
     637let rec printing_params_rect_Type4 p h_mk_printing_params x_585 =
    638638  let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
    639639    print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
     
    643643    print_pair_move = print_pair_move0; print_call_args = print_call_args0;
    644644    print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
    645     x_299
     645    x_585
    646646  in
    647647  h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
     
    656656    -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
    657657    printing_params -> 'a2 **)
    658 let rec printing_params_rect_Type5 p h_mk_printing_params x_301 =
     658let rec printing_params_rect_Type5 p h_mk_printing_params x_587 =
    659659  let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
    660660    print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
     
    664664    print_pair_move = print_pair_move0; print_call_args = print_call_args0;
    665665    print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
    666     x_301
     666    x_587
    667667  in
    668668  h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
     
    677677    -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
    678678    printing_params -> 'a2 **)
    679 let rec printing_params_rect_Type3 p h_mk_printing_params x_303 =
     679let rec printing_params_rect_Type3 p h_mk_printing_params x_589 =
    680680  let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
    681681    print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
     
    685685    print_pair_move = print_pair_move0; print_call_args = print_call_args0;
    686686    print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
    687     x_303
     687    x_589
    688688  in
    689689  h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
     
    698698    -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
    699699    printing_params -> 'a2 **)
    700 let rec printing_params_rect_Type2 p h_mk_printing_params x_305 =
     700let rec printing_params_rect_Type2 p h_mk_printing_params x_591 =
    701701  let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
    702702    print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
     
    706706    print_pair_move = print_pair_move0; print_call_args = print_call_args0;
    707707    print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
    708     x_305
     708    x_591
    709709  in
    710710  h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
     
    719719    -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
    720720    printing_params -> 'a2 **)
    721 let rec printing_params_rect_Type1 p h_mk_printing_params x_307 =
     721let rec printing_params_rect_Type1 p h_mk_printing_params x_593 =
    722722  let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
    723723    print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
     
    727727    print_pair_move = print_pair_move0; print_call_args = print_call_args0;
    728728    print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
    729     x_307
     729    x_593
    730730  in
    731731  h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
     
    740740    -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
    741741    printing_params -> 'a2 **)
    742 let rec printing_params_rect_Type0 p h_mk_printing_params x_309 =
     742let rec printing_params_rect_Type0 p h_mk_printing_params x_595 =
    743743  let { print_pass_ind = print_pass_ind0; print_acc_a_reg = print_acc_a_reg0;
    744744    print_acc_b_reg = print_acc_b_reg0; print_acc_a_arg = print_acc_a_arg0;
     
    748748    print_pair_move = print_pair_move0; print_call_args = print_call_args0;
    749749    print_call_dest = print_call_dest0; print_ext_seq = print_ext_seq0 } =
    750     x_309
     750    x_595
    751751  in
    752752  h_mk_printing_params print_pass_ind0 print_acc_a_reg0 print_acc_b_reg0
     
    925925    Joint.joint_statement -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) ->
    926926    (__ -> 'a1) -> 'a2) -> 'a1 code_iteration_params -> 'a2 **)
    927 let rec code_iteration_params_rect_Type4 p globals h_mk_code_iteration_params x_338 =
     927let rec code_iteration_params_rect_Type4 p globals h_mk_code_iteration_params x_624 =
    928928  let { fold_code = fold_code0; print_succ = print_succ0; print_code_point =
    929     print_code_point0 } = x_338
     929    print_code_point0 } = x_624
    930930  in
    931931  h_mk_code_iteration_params fold_code0 print_succ0 print_code_point0
     
    935935    Joint.joint_statement -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) ->
    936936    (__ -> 'a1) -> 'a2) -> 'a1 code_iteration_params -> 'a2 **)
    937 let rec code_iteration_params_rect_Type5 p globals h_mk_code_iteration_params x_340 =
     937let rec code_iteration_params_rect_Type5 p globals h_mk_code_iteration_params x_626 =
    938938  let { fold_code = fold_code0; print_succ = print_succ0; print_code_point =
    939     print_code_point0 } = x_340
     939    print_code_point0 } = x_626
    940940  in
    941941  h_mk_code_iteration_params fold_code0 print_succ0 print_code_point0
     
    945945    Joint.joint_statement -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) ->
    946946    (__ -> 'a1) -> 'a2) -> 'a1 code_iteration_params -> 'a2 **)
    947 let rec code_iteration_params_rect_Type3 p globals h_mk_code_iteration_params x_342 =
     947let rec code_iteration_params_rect_Type3 p globals h_mk_code_iteration_params x_628 =
    948948  let { fold_code = fold_code0; print_succ = print_succ0; print_code_point =
    949     print_code_point0 } = x_342
     949    print_code_point0 } = x_628
    950950  in
    951951  h_mk_code_iteration_params fold_code0 print_succ0 print_code_point0
     
    955955    Joint.joint_statement -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) ->
    956956    (__ -> 'a1) -> 'a2) -> 'a1 code_iteration_params -> 'a2 **)
    957 let rec code_iteration_params_rect_Type2 p globals h_mk_code_iteration_params x_344 =
     957let rec code_iteration_params_rect_Type2 p globals h_mk_code_iteration_params x_630 =
    958958  let { fold_code = fold_code0; print_succ = print_succ0; print_code_point =
    959     print_code_point0 } = x_344
     959    print_code_point0 } = x_630
    960960  in
    961961  h_mk_code_iteration_params fold_code0 print_succ0 print_code_point0
     
    965965    Joint.joint_statement -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) ->
    966966    (__ -> 'a1) -> 'a2) -> 'a1 code_iteration_params -> 'a2 **)
    967 let rec code_iteration_params_rect_Type1 p globals h_mk_code_iteration_params x_346 =
     967let rec code_iteration_params_rect_Type1 p globals h_mk_code_iteration_params x_632 =
    968968  let { fold_code = fold_code0; print_succ = print_succ0; print_code_point =
    969     print_code_point0 } = x_346
     969    print_code_point0 } = x_632
    970970  in
    971971  h_mk_code_iteration_params fold_code0 print_succ0 print_code_point0
     
    975975    Joint.joint_statement -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) ->
    976976    (__ -> 'a1) -> 'a2) -> 'a1 code_iteration_params -> 'a2 **)
    977 let rec code_iteration_params_rect_Type0 p globals h_mk_code_iteration_params x_348 =
     977let rec code_iteration_params_rect_Type0 p globals h_mk_code_iteration_params x_634 =
    978978  let { fold_code = fold_code0; print_succ = print_succ0; print_code_point =
    979     print_code_point0 } = x_348
     979    print_code_point0 } = x_634
    980980  in
    981981  h_mk_code_iteration_params fold_code0 print_succ0 print_code_point0
     
    984984    Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> (__
    985985    -> Joint.joint_statement -> 'a2 -> 'a2) -> __ -> 'a2 -> 'a2 **)
    986 let rec fold_code0 p globals xxx x_364 x_365 x_366 =
     986let rec fold_code0 p globals xxx x_650 x_651 x_652 =
    987987  (let { fold_code = yyy; print_succ = x; print_code_point = x0 } = xxx in
    988   Obj.magic yyy) __ x_364 x_365 x_366
     988  Obj.magic yyy) __ x_650 x_651 x_652
    989989
    990990(** val print_succ :
     
    10671067   | Types.None -> b
    10681068   | Types.Some res ->
    1069      let { Types.fst = eta2; Types.snd = m' } = res in
    1070      let { Types.fst = pos; Types.snd = a } = eta2 in
     1069     let { Types.fst = eta6; Types.snd = m' } = res in
     1070     let { Types.fst = pos; Types.snd = a } = eta6 in
    10711071     visit_graph next f (f pos a b) (next a) m' y)
    10721072
Note: See TracChangeset for help on using the changeset viewer.