Changeset 153 for C-semantics/Values.ma


Ignore:
Timestamp:
Oct 6, 2010, 2:20:25 PM (10 years ago)
Author:
campbell
Message:

Use appropriate memory chunks for 8051 pointers.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • C-semantics/Values.ma

    r125 r153  
    413413    ]
    414414  | Vptr pty b ofs ⇒
    415     match chunk with
    416     [ Mint32 ⇒ Vptr pty b ofs
    417     | _ ⇒ Vundef
     415    match pty with
     416    [ Any ⇒ match chunk with [ Mint24 ⇒ Vptr pty b ofs | _ ⇒ Vundef ]
     417    | Data ⇒ match chunk with [ Mint8unsigned ⇒ Vptr pty b ofs | _ ⇒ Vundef ]
     418    | IData ⇒ match chunk with [ Mint8unsigned ⇒ Vptr pty b ofs | _ ⇒ Vundef ]
     419    | XData ⇒ match chunk with [ Mint16unsigned ⇒ Vptr pty b ofs | _ ⇒ Vundef ]
     420    | Code ⇒ match chunk with [ Mint16unsigned ⇒ Vptr pty b ofs | _ ⇒ Vundef ]
    418421    ]
    419422  | Vfloat f ⇒
Note: See TracChangeset for help on using the changeset viewer.