Ignore:
Timestamp:
Oct 17, 2011, 2:08:27 PM (9 years ago)
Author:
tranquil
Message:

fiddling with Cminor: elimination of loops, blocks and exits

File:
1 edited

Legend:

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

    r1340 r1392  
    333333      translate_branch rtlabs_fun lenv e lbl_true lbl_false
    334334
    335     | Cminor.St_loop s ->
     335(*    | Cminor.St_loop s ->
    336336      let loop_start = fresh_label rtlabs_fun in
    337337      let rtlabs_fun = change_entry rtlabs_fun loop_start in
     
    345345
    346346    | Cminor.St_exit n ->
    347       change_entry rtlabs_fun (List.nth exits n)
     347      change_entry rtlabs_fun (List.nth exits n) *)
    348348
    349349    | Cminor.St_return eopt ->
     
    376376      generate rtlabs_fun (RTLabs.St_ind_0 (i, old_entry))
    377377
    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
     378    | Cminor.St_ind_inc (i, s) ->
     379      let rtlabs_fun = translate_stmt rtlabs_fun lenv exits s in
     380      let old_entry = rtlabs_fun.RTLabs.f_entry in
     381      generate rtlabs_fun (RTLabs.St_ind_inc (i, old_entry))
    382382
    383383    | Cminor.St_goto lbl ->
Note: See TracChangeset for help on using the changeset viewer.