Changeset 3014 for driver/printer.ml

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:

• driver/printer.ml (modified) (3 diffs)

driver/printer.ml

@@ -167 +167 @@
  }
 
-let eRTLptr_printing_params =
- { Extracted.Joint_printer.print_pass_ind = printing_pass_independent_params
- ; print_acc_a_reg = Obj.magic print_register
- ; print_acc_b_reg = Obj.magic print_register
- ; print_acc_a_arg = Obj.magic (print_argument print_register)
- ; print_acc_b_arg = Obj.magic (print_argument print_register)
- ; print_dpl_reg = Obj.magic print_register
- ; print_dph_reg = Obj.magic print_register
- ; print_dpl_arg = Obj.magic (print_argument print_register)
- ; print_dph_arg = Obj.magic (print_argument print_register)
- ; print_snd_arg = Obj.magic (print_argument print_register)
- ; print_pair_move = Obj.magic
-    (fun {Extracted.Types.fst = dst; snd = src} ->
-      print_move_dst dst ^ " " ^ print_argument print_move_dst src )
- ; print_call_args =
-    Obj.magic (fun n -> string_of_int (Extracted.Glue.int_of_matitanat n))
- ; print_call_dest = (fun _ -> "")
- ; print_ext_seq = (fun ertl_seq -> "TODO")
- }
-
 let joint_LTL_LIN_printing_params =
  { Extracted.Joint_printer.print_pass_ind = printing_pass_independent_params
@@ -232 +212 @@
  | Extracted.Compiler.Rtl_uniq_pass              -> "rtl_u"
  | Extracted.Compiler.Ertl_pass                  -> "ertl"
- | Extracted.Compiler.Ertlptr_pass               -> "ertlptr"
  | Extracted.Compiler.Ltl_pass                   -> "ltl"
  | Extracted.Compiler.Lin_pass                   -> "lin"
@@ -258 +237 @@
    | Extracted.Compiler.Ertl_pass ->
       beprint (Extracted.ERTL_printer.print_ERTL_program eRTL_printing_params)
-   | Extracted.Compiler.Ertlptr_pass ->
-      beprint
-       (Extracted.ERTLptr_printer.print_ERTLptr_program eRTLptr_printing_params)
    | Extracted.Compiler.Ltl_pass ->
       beprint