Ignore:
Timestamp:
Jan 4, 2012, 7:19:09 PM (8 years ago)
Author:
campbell
Message:

Update Cminor pretty printer and examples.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/RTLabsMatitaPrinter.ml

    r1226 r1633  
    136136
    137137let print_statement lookup_type = function
    138   | RTLabs.St_skip lbl -> "make_St_skip " ^ (print_label lbl)
     138  | RTLabs.St_skip lbl
     139  | RTLabs.St_ind_0 (_, lbl)
     140  | RTLabs.St_ind_inc (_, lbl)
     141     -> "make_St_skip " ^ (print_label lbl)
    139142  | RTLabs.St_cost (cost_lbl, lbl) ->
    140       Printf.sprintf "make_St_cost C%s %s" cost_lbl (print_label lbl)
     143      Printf.sprintf "make_St_cost C%s %s"
     144        cost_lbl.CostLabel.name (print_label lbl)
    141145  | RTLabs.St_cst (dests, cst, lbl) ->
    142146      Printf.sprintf "make_St_const %s (%s) %s"
     
    198202        (Register.print rs)
    199203        (print_table tbl)
    200   | RTLabs.St_return rs -> "make_St_return" (* rs should always be the function's result register, anyway *)
     204  | RTLabs.St_return -> "make_St_return"
    201205
    202206let print_cost_labels n c =
Note: See TracChangeset for help on using the changeset viewer.