Changeset 1492


Ignore:
Timestamp:
Nov 4, 2011, 2:49:39 PM (8 years ago)
Author:
ayache
Message:

Comment in D2.2 -> LINToASM about function pointers.

File:
1 edited

Legend:

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

    r1491 r1492  
    127127     `RET ;
    128128     `Label lbl]
     129(* TODO: tell Claudio about the false assertion raised by the following. *)
     130(*
     131  | LIN.St_call_ptr ->
     132    let lbl = env.fresh () in
     133    [`MOV (`U3 (st0_addr, dpl_addr)) ;
     134     `MOV (`U3 (st1_addr, dph_addr)) ;
     135     `Mov (`DPTR, lbl) ;
     136     `PUSH dpl_addr ;
     137     `PUSH dph_addr ;
     138     `MOV (`U3 (dpl_addr, st0_addr)) ;
     139     `MOV (`U3 (dph_addr, st1_addr)) ;
     140     `JMP `IND_DPTR ;
     141     `Label lbl]
     142*)
    129143  | LIN.St_condacc lbl ->
    130144    [`WithLabel (`JNZ (`Label lbl))]
Note: See TracChangeset for help on using the changeset viewer.