Ignore:
Timestamp:
May 19, 2011, 4:03:04 PM (8 years ago)
Author:
ayache
Message:

32 and 16 bits operations support in D2.2/8051

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/cminor/cminorInterpret.mli

    r486 r818  
    33    also print debug informations.  *)
    44
     5module Eval_op (M : Memory.S) : sig
     6  val concrete_stacksize : AST.abstract_size -> int
     7  val cst :
     8    'a M.memory -> M.Value.address -> AST.sig_type -> AST.cst -> M.Value.t
     9  val op1 :
     10    AST.sig_type (* returned type *) -> AST.sig_type -> AST.op1 -> M.Value.t ->
     11    M.Value.t
     12  val op2 :
     13    AST.sig_type (* returned type *) -> AST.sig_type -> AST.sig_type ->
     14    AST.op2 -> M.Value.t -> M.Value.t -> M.Value.t
     15end
     16
    517val interpret : bool -> Cminor.program -> AST.trace
Note: See TracChangeset for help on using the changeset viewer.