Ignore:
Timestamp:
Nov 4, 2011, 12:22:17 PM (9 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/ERTL/ERTLToLTLI.ml

    r1462 r1488  
    284284
    285285      | ERTL.St_call_ptr (f1, f2, _, l) ->
    286         let l =
    287           read f2 (fun hdw2 ->
    288             LTL.St_skip
    289               (read f1 (fun hdw1 -> LTL.St_call_ptr (hdw1, hdw2, l)))) in
     286        let l = generate (LTL.St_call_ptr l) in
     287        let l = generate (LTL.St_from_acc (I8051.dph, l)) in
     288        let l = generate (LTL.St_to_acc (I8051.st0, l)) in
     289        let l = generate (LTL.St_from_acc (I8051.dpl, l)) in
     290        let l = read f1 (fun hdw -> LTL.St_to_acc (hdw, l)) in
     291        let l = generate (LTL.St_from_acc (I8051.st0, l)) in
     292        let l = read f2 (fun hdw -> LTL.St_to_acc (hdw, l)) in
    290293        LTL.St_skip l
    291294
Note: See TracChangeset for help on using the changeset viewer.