Changeset 3014 for driver/printer.ml


Ignore:
Timestamp:
Mar 28, 2013, 4:58:26 PM (7 years ago)
Author:
tranquil
Message:

ERTL to ERTLptr pass suppressed (it introduced a bug in the later ERTLptr to LTL), and integrated in a single ERTToLTL pass like before

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/printer.ml

    r3002 r3014  
    167167 }
    168168
    169 let eRTLptr_printing_params =
    170  { Extracted.Joint_printer.print_pass_ind = printing_pass_independent_params
    171  ; print_acc_a_reg = Obj.magic print_register
    172  ; print_acc_b_reg = Obj.magic print_register
    173  ; print_acc_a_arg = Obj.magic (print_argument print_register)
    174  ; print_acc_b_arg = Obj.magic (print_argument print_register)
    175  ; print_dpl_reg = Obj.magic print_register
    176  ; print_dph_reg = Obj.magic print_register
    177  ; print_dpl_arg = Obj.magic (print_argument print_register)
    178  ; print_dph_arg = Obj.magic (print_argument print_register)
    179  ; print_snd_arg = Obj.magic (print_argument print_register)
    180  ; print_pair_move = Obj.magic
    181     (fun {Extracted.Types.fst = dst; snd = src} ->
    182       print_move_dst dst ^ " " ^ print_argument print_move_dst src )
    183  ; print_call_args =
    184     Obj.magic (fun n -> string_of_int (Extracted.Glue.int_of_matitanat n))
    185  ; print_call_dest = (fun _ -> "")
    186  ; print_ext_seq = (fun ertl_seq -> "TODO")
    187  }
    188 
    189169let joint_LTL_LIN_printing_params =
    190170 { Extracted.Joint_printer.print_pass_ind = printing_pass_independent_params
     
    232212 | Extracted.Compiler.Rtl_uniq_pass              -> "rtl_u"
    233213 | Extracted.Compiler.Ertl_pass                  -> "ertl"
    234  | Extracted.Compiler.Ertlptr_pass               -> "ertlptr"
    235214 | Extracted.Compiler.Ltl_pass                   -> "ltl"
    236215 | Extracted.Compiler.Lin_pass                   -> "lin"
     
    258237   | Extracted.Compiler.Ertl_pass ->
    259238      beprint (Extracted.ERTL_printer.print_ERTL_program eRTL_printing_params)
    260    | Extracted.Compiler.Ertlptr_pass ->
    261       beprint
    262        (Extracted.ERTLptr_printer.print_ERTLptr_program eRTLptr_printing_params)
    263239   | Extracted.Compiler.Ltl_pass ->
    264240      beprint
Note: See TracChangeset for help on using the changeset viewer.