- Timestamp:
- Mar 13, 2013, 2:27:55 PM (8 years ago)
- Location:
- driver
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
driver/backendPrinter.ml
r2860 r2864 122 122 let rTL_printing_params = 123 123 { Extracted.Joint_printer.print_pass_ind = printing_pass_independent_params 124 ; print_acc_a_reg = (fun _ -> "FOO")(*Obj.magic print_register*)125 ; print_acc_b_reg = (fun _ -> "FOO")(*Obj.magic print_register*)126 ; print_acc_a_arg = (fun _ -> "FOO")(*Obj.magic (print_argument print_register)*)127 ; print_acc_b_arg = (fun _ -> "FOO")(*Obj.magic (print_argument print_register)*)128 ; print_dpl_reg = (fun _ -> "FOO")(*Obj.magic print_register*)129 ; print_dph_reg = (fun _ -> "FOO")(*Obj.magic print_register*)130 ; print_dpl_arg = (fun _ -> "FOO")(*Obj.magic (print_argument print_register)*)131 ; print_dph_arg = (fun _ -> "FOO")(*Obj.magic (print_argument print_register)*)132 ; print_snd_arg = (fun _ -> "FOO")(*Obj.magic (print_argument print_register)*)133 ; print_pair_move = (fun _ -> "FOO")(*Obj.magic124 ; print_acc_a_reg = Obj.magic print_register 125 ; print_acc_b_reg = Obj.magic print_register 126 ; print_acc_a_arg = Obj.magic (print_argument print_register) 127 ; print_acc_b_arg = Obj.magic (print_argument print_register) 128 ; print_dpl_reg = Obj.magic print_register 129 ; print_dph_reg = Obj.magic print_register 130 ; print_dpl_arg = Obj.magic (print_argument print_register) 131 ; print_dph_arg = Obj.magic (print_argument print_register) 132 ; print_snd_arg = Obj.magic (print_argument print_register) 133 ; print_pair_move = Obj.magic 134 134 (fun {Extracted.Types.fst = reg; snd = arg} -> 135 print_register reg ^ " " ^ print_argument print_register arg) *)136 ; print_call_args = (fun _ -> "FOO")(*Obj.magic137 (fun l -> String.concat " " (List.map (print_argument print_register) l)) *)138 ; print_call_dest = (fun _ -> "FOO")(*Obj.magic139 (fun l -> String.concat " " (List.map print_register l)) *)135 print_register reg ^ " " ^ print_argument print_register arg) 136 ; print_call_args = Obj.magic 137 (fun l -> String.concat " " (List.map (print_argument print_register) l)) 138 ; print_call_dest = Obj.magic 139 (fun l -> String.concat " " (List.map print_register l)) 140 140 ; print_ext_seq = (fun rtl_seq -> assert false ) 141 141 } … … 176 176 l) 177 177 178 let print_program pass program=179 let f=178 let print_program pass (program : Extracted.Preamble.__) = 179 let lines = 180 180 match pass with 181 | Extracted.Compiler.Rtlabs_pass ->182 Extracted.RTL_printer.print_RTL_program rTL_printing_params183 181 | Extracted.Compiler.Rtl_separate_pass -> 184 182 Extracted.RTL_printer.print_RTL_program rTL_printing_params 183 (Extracted.Types.fst (Obj.magic program)) 185 184 | Extracted.Compiler.Rtl_uniq_pass -> 186 185 Extracted.RTL_printer.print_RTL_program rTL_printing_params 186 (Extracted.Types.fst (Obj.magic program)) 187 187 | Extracted.Compiler.Ltl_pass -> 188 188 Extracted.LTL_printer.print_LTL_program joint_LTL_LIN_printing_params 189 | _ -> fun _ -> Extracted.List.Nil 189 (Extracted.Types.fst (Obj.magic program)) 190 | _ -> Extracted.List.Nil 190 191 in 191 "\n" ^ print_graph (f (Obj.magic program))^ "\n"192 "\n" ^ print_graph lines ^ "\n" -
driver/cerco.ml
r2860 r2864 42 42 let rec infinity = Extracted.Nat.S infinity in 43 43 (fun pass prog -> 44 print_string (BackendPrinter.print_program pass (fst (Obj.magic prog)));44 print_string (BackendPrinter.print_program pass prog); 45 45 Extracted.Semantics.run_and_print pass prog infinity 46 46 (fun p -> print_endline ("\n" ^ string_of_pass p ^ ":"); Extracted.Types.It)
Note: See TracChangeset
for help on using the changeset viewer.