Ignore:
Timestamp:
Nov 4, 2011, 12:22:17 PM (8 years ago)
Author:
ayache
Message:

Function pointers in D2.2/8051. Bugged for now.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/LIN/LINInterpret.ml

    r1462 r1488  
    272272      interpret_call st (Mem.find_global st.mem f)
    273273
    274     | LIN.St_call_ptr (f1, f2) ->
    275       let addr = List.map (fun r -> get_reg r st) [f1 ; f2] in
    276       interpret_call st addr
     274    | LIN.St_call_ptr ->
     275      interpret_call st (dptr st)
    277276
    278277    | LIN.St_condacc lbl_true ->
Note: See TracChangeset for help on using the changeset viewer.