Ignore:
Timestamp:
Apr 4, 2011, 5:18:15 PM (10 years ago)
Author:
ayache
Message:

New memory model and bug fixes in 8051 branch. Added primitive operations in interpreters from Clight to LIN.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/cminor/cminorAnnotator.ml

    r640 r740  
    2020let increment cost_id incr =
    2121  let cost = Cminor.Cst (AST.Cst_addrsymbol cost_id) in
    22   let load = Cminor.Mem (Memory.MQ_int32, cost) in
     22  let load = Cminor.Mem (Memory.QInt 4, cost) in
    2323  let incr = Cminor.Op2 (AST.Op_add, load, Cminor.Cst (AST.Cst_int incr)) in
    24   Cminor.St_store (Memory.MQ_int32, cost, incr)
     24  Cminor.St_store (Memory.QInt 4, cost, incr)
    2525
    2626
Note: See TracChangeset for help on using the changeset viewer.