Changeset 3014 for driver


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

Location:
driver
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • driver/acc.ml

    r3005 r3014  
    2626 | Extracted.Compiler.Rtl_uniq_pass              -> "Rtl_uniq_pass             "
    2727 | Extracted.Compiler.Ertl_pass                  -> "Ertl_pass                 "
    28  | Extracted.Compiler.Ertlptr_pass               -> "Ertlptr_pass              "
    2928 | Extracted.Compiler.Ltl_pass                   -> "Ltl_pass                  "
    3029 | Extracted.Compiler.Lin_pass                   -> "Lin_pass                  "
  • 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
  • driver/rTLabsPrinter.ml

    r3000 r3014  
    149149
    150150let print_fun_ident = print_identifier "fun"
    151 
    152151let print_ident = print_identifier "id"
    153 
    154152let print_label = print_identifier "l"
    155 
    156153let print_reg = print_identifier "r"
     154let print_cost = print_identifier "k"
    157155
    158156let print_nat n = string_of_int (Extracted.Glue.int_of_matitanat n)
     
    236234  | St_cost (cost_lbl, lbl) ->
    237235      Printf.sprintf "emit %s --> %s"
    238         (print_label cost_lbl)
     236        (print_cost cost_lbl)
    239237        (print_label lbl)
    240238  | St_const (_, destr, cst, lbl) ->
Note: See TracChangeset for help on using the changeset viewer.