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/cminor/cminorToRTLabs.ml

    r818 r1340  
    371371      generate rtlabs_fun (RTLabs.St_cost (lbl, old_entry))
    372372
     373    | Cminor.St_ind_0 (i, s) ->
     374      let rtlabs_fun = translate_stmt rtlabs_fun lenv exits s in
     375      let old_entry = rtlabs_fun.RTLabs.f_entry in
     376      generate rtlabs_fun (RTLabs.St_ind_0 (i, old_entry))
     377
     378    | Cminor.St_ind_inc (s, i) ->
     379      let old_entry = rtlabs_fun.RTLabs.f_entry in
     380            let rtlabs_fun = generate rtlabs_fun (RTLabs.St_ind_inc(i, old_entry)) in
     381      translate_stmt rtlabs_fun lenv exits s
     382
    373383    | Cminor.St_goto lbl ->
    374384      change_entry rtlabs_fun lbl
Note: See TracChangeset for help on using the changeset viewer.