Ignore:
Timestamp:
Nov 23, 2011, 1:55:12 PM (9 years ago)
Author:
tranquil
Message:

branch up to date

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051-indexed-labels-branch/src/cminor/cminorPrinter.ml

    r1392 r1539  
    116116        (add_parenthesis e3)
    117117  | Cminor.Exp_cost (lab, e) ->
    118                   let lab = CostLabel.string_of_cost_label lab in
     118      let lab = CostLabel.string_of_cost_label lab in
    119119      Printf.sprintf "/* %s */ %s" lab (print_expression e)
    120120and add_parenthesis (Cminor.Expr (ed, _) as e) = match ed with
     
    215215      Printf.sprintf "%sgoto %s;\n" (n_spaces n) lbl
    216216  | Cminor.St_cost (lbl, s) ->
    217                   let lbl = CostLabel.string_of_cost_label lbl in
     217      let lbl = CostLabel.string_of_cost_label lbl in
    218218      Printf.sprintf "%s%s:\n%s" (n_spaces n) lbl (print_body n s)
    219         | Cminor.St_ind_0 (i, s) ->
    220                   Printf.sprintf "%sindex %d:\n%s" (n_spaces n) i (print_body n s)
    221         | Cminor.St_ind_inc (i,s) ->
    222                   Printf.sprintf "%sincrement %d:\n%s\n" (n_spaces n) i (print_body n s)
     219  | Cminor.St_ind_0 (i, s) ->
     220      Printf.sprintf "%sindex %d:\n%s" (n_spaces n) i (print_body n s)
     221  | Cminor.St_ind_inc (i,s) ->
     222      Printf.sprintf "%sincrement %d:\n%s\n" (n_spaces n) i (print_body n s)
    223223
    224224let print_internal f_name f_def =
     
    265265  | Cminor.St_goto(_) -> "goto"
    266266  | Cminor.St_cost(_,_) -> "cost"
    267         | Cminor.St_ind_0 _ -> "index"
    268         | Cminor.St_ind_inc _ -> "increment"
     267  | Cminor.St_ind_0 _ -> "index"
     268  | Cminor.St_ind_inc _ -> "increment"
Note: See TracChangeset for help on using the changeset viewer.