Ignore:
Timestamp:
Nov 23, 2011, 5:43:24 PM (8 years ago)
Author:
tranquil
Message:

merge of indexed labels branch

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/RTL/RTLToERTL.ml

    r1462 r1542  
    2222  | ERTL.St_comment (s, _) -> ERTL.St_comment (s, lbl)
    2323  | ERTL.St_cost (cost_lbl, _) -> ERTL.St_cost (cost_lbl, lbl)
     24  | ERTL.St_ind_0 (i, _) -> ERTL.St_ind_0 (i, lbl)
     25  | ERTL.St_ind_inc (i, _) -> ERTL.St_ind_inc (i, lbl)
    2426  | ERTL.St_get_hdw (r1, r2, _) -> ERTL.St_get_hdw (r1, r2, lbl)
    2527  | ERTL.St_set_hdw (r1, r2, _) -> ERTL.St_set_hdw (r1, r2, lbl)
     
    319321    add_graph lbl (ERTL.St_cost (cost_lbl, lbl')) def
    320322
     323  | RTL.St_ind_0 (i, lbl') ->
     324    add_graph lbl (ERTL.St_ind_0 (i, lbl')) def
     325
     326  | RTL.St_ind_inc (i, lbl') ->
     327    add_graph lbl (ERTL.St_ind_inc (i, lbl')) def
     328
    321329  | RTL.St_addr (r1, r2, x, lbl') ->
    322330    adds_graph
     
    432440      let graph = Label.Map.add lbl (ERTL.St_skip next_lbl) def.ERTL.f_graph in
    433441      (Some cost_label, { def with ERTL.f_graph = graph })
     442    | ERTL.St_ind_0 (_, lbl) | ERTL.St_ind_inc (_, lbl)
    434443    | ERTL.St_skip lbl | ERTL.St_comment (_, lbl) | ERTL.St_get_hdw (_, _, lbl)
    435444    | ERTL.St_set_hdw (_, _, lbl) | ERTL.St_hdw_to_hdw (_, _, lbl)
Note: See TracChangeset for help on using the changeset viewer.