Changeset 718 for src/common


Ignore:
Timestamp:
Mar 29, 2011, 5:54:37 PM (9 years ago)
Author:
campbell
Message:

Add an AST type (i.e., intermediate language type) for pointers.

Location:
src/common
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • src/common/Mem.ma

    r700 r718  
    127127  encoding the type, size and signedness of the chunk being addressed.
    128128  The following functions extract the size information from a chunk. *)
    129 
    130 definition size_pointer : region → Z ≝
    131 λsp. match sp return λ_.Z with [ Data ⇒ 1 | IData ⇒ 1 | PData ⇒ 1 | XData ⇒ 2 | Code ⇒ 2 | Any ⇒ 3 ].
    132129
    133130definition size_chunk : memory_chunk → Z ≝
  • src/common/Values.ma

    r700 r718  
    224224  | Vint _ ⇒ match t with [ ASTint ⇒ True | _ ⇒ False ]
    225225  | Vfloat _ ⇒ match t with [ ASTfloat ⇒ True | _ ⇒ False ]
    226   | Vptr _ _ _ ⇒ match t with [ ASTint ⇒ True | _ ⇒ False ]
     226  | Vptr _ _ _ ⇒ match t with [ ASTptr ⇒ True | _ ⇒ False ]
    227227  | _ ⇒ False
    228228  ].
Note: See TracChangeset for help on using the changeset viewer.