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/liveness.ml

    r1542 r1568  
    3030  | St_addrH (_, _, l)
    3131  | St_addrL (_, _, l)
    32   | St_int (_, _, l)
     32  (* | St_int (_, _, l) *)
    3333  | St_move (_, _, l)
    3434  | St_opaccsA (_, _, _, _, l)
     
    112112  | St_framesize (r, _)
    113113  | St_pop (r, _)
    114   | St_int (r, _, _)
     114  (* | St_int (r, _, _) *)
    115115  | St_addrH (r, _, _)
    116116  | St_addrL (r, _, _)
     
    154154  | St_addrH _
    155155  | St_addrL _
    156   | St_int _
     156  (* | St_int _ *)
    157157  | St_clear_carry _
    158   | St_set_carry _ ->
     158  | St_set_carry _
     159  | St_set_hdw (_, RTL.Imm _, _)
     160  | St_move (_, RTL.Imm _, _) ->
    159161    L.bottom
    160162  | St_call_id (_, nparams, _) ->
     
    169171  | St_hdw_to_hdw (_, r, _) ->
    170172    L.hsingleton r
    171   | St_set_hdw (_, r, _)
     173  | St_op2 (I8051.Addc, _, r1, RTL.Reg r2, _) ->
     174    L.join (L.join (L.psingleton r1) (L.psingleton r2))
     175      (L.hsingleton I8051.carry)
     176  | St_op2 (I8051.Addc, _, r1, RTL.Imm _, _) ->
     177    L.join (L.psingleton r1) (L.hsingleton I8051.carry)
     178  | St_set_hdw (_, RTL.Reg r, _)
    172179  | St_push (r, _)
    173   | St_move (_, r, _)
     180  | St_move (_, RTL.Reg r, _)
    174181  | St_op1 (_, _, r, _)
     182  | St_op2 (_, _, r, RTL.Imm _, _)
    175183  | St_cond (r, _, _) ->
    176184    L.psingleton r
    177   | St_op2 (I8051.Addc, _, r1, r2, _) ->
    178     L.join (L.join (L.psingleton r1) (L.psingleton r2))
    179       (L.hsingleton I8051.carry)
    180185  | St_opaccsA (_, _, r1, r2, _)
    181186  | St_opaccsB (_, _, r1, r2, _)
    182   | St_op2 (_, _, r1, r2, _)
     187  | St_op2 (_, _, r1, RTL.Reg r2, _)
    183188  | St_load (_, r1, r2, _) ->
    184189    L.join (L.psingleton r1) (L.psingleton r2)
     
    187192  | St_newframe _
    188193  | St_delframe _ ->
    189     L.join (L.hsingleton I8051.spl) (L.hsingleton I8051.sph)   
     194    L.join (L.hsingleton I8051.spl) (L.hsingleton I8051.sph)
    190195  | St_return _ ->
    191196    Register.Set.empty, I8051.RegisterSet.union I8051.callee_saved ret_regs
     
    224229  | St_get_hdw (r, _, l)
    225230  | St_framesize (r, l)
    226   | St_int (r, _, l)
     231  (* | St_int (r, _, l) *)
    227232  | St_addrH (r, _, l)
    228233  | St_addrL (r, _, l)
Note: See TracChangeset for help on using the changeset viewer.