Ignore:
Timestamp:
Mar 2, 2011, 3:27:41 PM (9 years ago)
Author:
ayache
Message:

Update of D2.2 from Paris.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/ASM/Physical.ml

    r486 r619  
    1010   val find : key -> map -> byte
    1111   val add : key -> byte -> map -> map
     12   val fold : (key -> byte -> 'b -> 'b) -> map -> 'b -> 'b
     13   val equal: (byte -> byte -> bool) -> map -> map -> bool
    1214 end
    1315;;
     
    2123      find k m
    2224    with Not_found -> zero `Eight
     25  let fold = fold
     26  let equal = equal
    2327end;;
    2428
     
    3135      find k m
    3236    with Not_found -> zero `Eight
     37  let fold = fold
     38  let equal = equal
    3339end;;
    3440
     
    97103  | _ -> assert false
    98104;;
     105
     106let addr16_of_addr11 pc a =
     107 let pc_upper, _ = from_word pc in
     108 let n1, n2 = from_byte pc_upper in
     109 let (b1,b2,b3,b) = from_word11 a in
     110 let (p1,p2,p3,p4),(p5,_,_,_) = from_nibble n1, from_nibble n2 in
     111  mk_word (mk_byte (mk_nibble p1 p2 p3 p4) (mk_nibble p5 b1 b2 b3)) b
     112;;
Note: See TracChangeset for help on using the changeset viewer.