Ignore:
Timestamp:
Oct 10, 2011, 4:34:54 PM (8 years ago)
Author:
tranquil
Message:

work on RTLabs and RTL completed

File:
1 edited

Legend:

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

    r818 r1340  
    9393  | RTL.St_skip _ -> RTL.St_skip lbl
    9494  | RTL.St_cost (cost_lbl, _) -> RTL.St_cost (cost_lbl, lbl)
     95  | RTL.St_ind_0 (i, _) -> RTL.St_ind_0 (i, lbl)
     96  | RTL.St_ind_inc (i, _) -> RTL.St_ind_inc (i, lbl)
    9597  | RTL.St_addr (r1, r2, id, _) -> RTL.St_addr (r1, r2, id, lbl)
    9698  | RTL.St_stackaddr (r1, r2, _) -> RTL.St_stackaddr (r1, r2, lbl)
     
    685687    add_graph lbl (RTL.St_cost (cost_lbl, lbl')) def
    686688
     689  | RTLabs.St_ind_0 (i, lbl') ->
     690    add_graph lbl (RTL.St_ind_0 (i, lbl')) def
     691
     692  | RTLabs.St_ind_inc (i, lbl') ->
     693    add_graph lbl (RTL.St_ind_inc (i, lbl')) def
     694
    687695  | RTLabs.St_cst (destr, cst, lbl') ->
    688696    translate_cst cst (find_local_env destr lenv) lbl lbl' def
Note: See TracChangeset for help on using the changeset viewer.