Ignore:
Timestamp:
Jan 19, 2011, 6:23:28 PM (9 years ago)
Author:
campbell
Message:

Handle null pointer constants properly for generic pointers (introducing a 24-bit quantity for them).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.3/8051-memoryspaces-branch/src/clight/clightInterpret.ml

    r460 r461  
    635635  | Init_int8 i         -> Data_int8 i
    636636  | Init_int16 i        -> Data_int16 i
     637  | Init_int24 i        -> Data_int24 i
    637638  | Init_int32 i        -> Data_int32 i
    638639  | Init_float32 f      -> assert false (* Not supported *)
     
    648649    | Init_int16 i -> (Mem.store m Memory.MQ_int16signed ptr (Value.of_int i)
    649650                       ,Value.add ptr (Value.of_int 2))
     651    | Init_int24 i -> (Mem.store m Memory.MQ_int24 ptr (Value.of_int i)
     652                       ,Value.add ptr (Value.of_int 3))
    650653    | Init_int32 i -> (Mem.store m Memory.MQ_int32 ptr (Value.of_int i)
    651654                       ,Value.add ptr (Value.of_int 4))
Note: See TracChangeset for help on using the changeset viewer.