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/cminor.mli

    r486 r740  
    1010  | Op1 of AST.op1 * expression
    1111  | Op2 of AST.op2 * expression * expression
    12   | Mem of Memory.memory_q * expression          (* Memory read *)
     12  | Mem of Memory.quantity * expression          (* Memory read *)
    1313  | Cond of expression * expression * expression (* Ternary expression *)
    1414  | Exp_cost of CostLabel.t * expression         (* Labelled expression *)
     
    1717  | St_skip
    1818  | St_assign of AST.ident * expression
    19   | St_store of Memory.memory_q * expression * expression
     19  | St_store of Memory.quantity * expression * expression
    2020
    2121  (* Function call. Parameters are an optional variable to store the
Note: See TracChangeset for help on using the changeset viewer.