Ignore:
Timestamp:
Feb 9, 2011, 6:22:34 PM (8 years ago)
Author:
campbell
Message:

Pointer fixes for the temporary version of the compiler that can output matita
terms.

File:
1 edited

Legend:

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

    r461 r489  
    635635  | Init_int8 i         -> Data_int8 i
    636636  | Init_int16 i        -> Data_int16 i
    637   | Init_int24 i        -> Data_int24 i
     637  | Init_null _         -> assert false
    638638  | Init_int32 i        -> Data_int32 i
    639639  | Init_float32 f      -> assert false (* Not supported *)
    640640  | Init_float64 f      -> assert false (* Not supported *)
    641641  | Init_space i        -> Data_reserve i
    642   | Init_addrof (_,_)   -> assert false (*FIXME what is this ?*)
     642  | Init_addrof _       -> assert false (*FIXME what is this ?*)
    643643
    644644(* FIXME: ignores memory space *)
     
    649649    | Init_int16 i -> (Mem.store m Memory.MQ_int16signed ptr (Value.of_int i)
    650650                       ,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))
     651    | Init_null _ -> assert false
    653652    | Init_int32 i -> (Mem.store m Memory.MQ_int32 ptr (Value.of_int i)
    654653                       ,Value.add ptr (Value.of_int 4))
     
    656655    | Init_float64 _ -> assert false (*Not supported*)
    657656    | Init_space n -> (m,Value.add ptr (Value.of_int n))
    658     | Init_addrof (_,_) -> assert false (*FIXME what is this ?*)
     657    | Init_addrof _ -> assert false (*FIXME what is this ?*)
    659658  in let (m2,ptr) = (Mem.alloc m (sizeof ty))
    660659  in (fst (List.fold_left store_data (m2,ptr) lst),ptr)
Note: See TracChangeset for help on using the changeset viewer.