Ignore:
Timestamp:
Nov 25, 2011, 7:43:39 PM (8 years ago)
Author:
tranquil
Message:
  • Immediates introduced (but not fully used yet in RTLabs to RTL pass)
  • translation streamlined
  • BUGGY: interpretation fails in LTL, trying to fetch a function with incorrect address
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/ERTL/build.ml

    r486 r1568  
    7070          let exceptions =
    7171            match stmt with
    72             | St_move (_, sourcer, _)
    73             | St_set_hdw (_, sourcer, _) ->
     72            | St_move (_, RTL.Reg sourcer, _)
     73            | St_set_hdw (_, RTL.Reg sourcer, _) ->
    7474                 Liveness.L.psingleton sourcer
    7575            | St_get_hdw (_, sourcehwr, _) ->
     
    103103          let graph =
    104104            match stmt with
    105             | St_move (r1, r2, _) ->
     105            | St_move (r1, RTL.Reg r2, _) ->
    106106                mkppp graph r1 r2
    107107            | St_get_hdw (r, hwr, _)
    108             | St_set_hdw (hwr, r, _) ->
     108            | St_set_hdw (hwr, RTL.Reg r, _) ->
    109109                mkpph graph r hwr
    110110            | _ ->
Note: See TracChangeset for help on using the changeset viewer.