Ignore:
Timestamp:
Mar 29, 2013, 6:38:26 PM (7 years ago)
Author:
sacerdot
Message:

New major extraction that should have solved all remaining issues.
As tests/PROBLEMI shows, we still have some bugs with:

a) initialization of global data (regression)
b) function pointers call

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTLToERTL.ml

    r2951 r3043  
    404404       Blocks.ensure_step_block (Joint.graph_params_to_params ERTL.eRTL)
    405405         globals List.Nil
    406      | Joint.ADDRESS (x0, r1, r2) ->
    407        Blocks.ensure_step_block (Joint.graph_params_to_params ERTL.eRTL)
    408          globals (List.Cons ((Joint.ADDRESS (x0, r1, r2)), List.Nil))
     406     | Joint.ADDRESS (x0, off, r1, r2) ->
     407       Blocks.ensure_step_block (Joint.graph_params_to_params ERTL.eRTL)
     408         globals (List.Cons ((Joint.ADDRESS (x0, off, r1, r2)), List.Nil))
    409409     | Joint.OPACCS (op, destr1, destr2, srcr1, srcr2) ->
    410410       Blocks.ensure_step_block (Joint.graph_params_to_params ERTL.eRTL)
Note: See TracChangeset for help on using the changeset viewer.