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/LTL/LTL.mli

    r1462 r1488  
    7575  | St_call_id of AST.ident * Label.t
    7676
    77   (* Call to a function given its address. Parameters are the registers holding
    78      the address of the function, and the label of the next statement. *)
    79   | St_call_ptr of I8051.register * I8051.register * Label.t
     77  (* Call to a function given its address in DPTR. Parameter is the label of the
     78     next statement. *)
     79  | St_call_ptr of Label.t
    8080
    8181  (* Branch on A accumulator. Parameters are the label to go to when the A
Note: See TracChangeset for help on using the changeset viewer.