Changeset 3014 for driver/printer.ml
- Timestamp:
- Mar 28, 2013, 4:58:26 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
driver/printer.ml
r3002 r3014 167 167 } 168 168 169 let eRTLptr_printing_params =170 { Extracted.Joint_printer.print_pass_ind = printing_pass_independent_params171 ; print_acc_a_reg = Obj.magic print_register172 ; print_acc_b_reg = Obj.magic print_register173 ; 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_register176 ; print_dph_reg = Obj.magic print_register177 ; 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.magic181 (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 189 169 let joint_LTL_LIN_printing_params = 190 170 { Extracted.Joint_printer.print_pass_ind = printing_pass_independent_params … … 232 212 | Extracted.Compiler.Rtl_uniq_pass -> "rtl_u" 233 213 | Extracted.Compiler.Ertl_pass -> "ertl" 234 | Extracted.Compiler.Ertlptr_pass -> "ertlptr"235 214 | Extracted.Compiler.Ltl_pass -> "ltl" 236 215 | Extracted.Compiler.Lin_pass -> "lin" … … 258 237 | Extracted.Compiler.Ertl_pass -> 259 238 beprint (Extracted.ERTL_printer.print_ERTL_program eRTL_printing_params) 260 | Extracted.Compiler.Ertlptr_pass ->261 beprint262 (Extracted.ERTLptr_printer.print_ERTLptr_program eRTLptr_printing_params)263 239 | Extracted.Compiler.Ltl_pass -> 264 240 beprint
Note: See TracChangeset
for help on using the changeset viewer.