Changeset 456


Ignore:
Timestamp:
Jan 19, 2011, 11:45:13 AM (7 years ago)
Author:
campbell
Message:

Add 24bit initialisation data for null generic pointers.

Location:
Deliverables/D3.1/C-semantics
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.1/C-semantics/AST.ma

    r156 r456  
    120120  | Init_int8: int → init_data
    121121  | Init_int16: int → init_data
     122  | Init_int24: int → init_data
    122123  | Init_int32: int → init_data
    123124  | Init_float32: float → init_data
  • Deliverables/D3.1/C-semantics/Mem.ma

    r391 r456  
    721721  | Init_int16 n ⇒
    722722      setN 1 pos (Vint n) (reccall (pos + oneZ))
     723  | Init_int24 n ⇒
     724      setN 2 pos (Vint n) (reccall (pos + oneZ))
    723725  | Init_int32 n ⇒
    724726      setN 3 pos (Vint n) (reccall (pos + oneZ))
     
    746748  [ Init_int8 _ ⇒ 1
    747749  | Init_int16 _ ⇒ 2
     750  | Init_int24 _ ⇒ 3
    748751  | Init_int32 _ ⇒ 4
    749752  | Init_float32 _ ⇒ 4
  • Deliverables/D3.1/C-semantics/Values.ma

    r156 r456  
    409409    | Mint16signed ⇒ Vint (sign_ext 16 n)
    410410    | Mint16unsigned ⇒ Vint (zero_ext 16 n)
     411    | Mint24 ⇒ Vint (zero_ext 24 n)
    411412    | Mint32 ⇒ Vint n
    412413    | _ ⇒ Vundef
Note: See TracChangeset for help on using the changeset viewer.