source: Deliverables/D2.2/8051/src/cminor/cminorInterpret.mli

Last change on this file was 818, checked in by ayache, 9 years ago

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

File size: 652 bytes
Line 
1(** This module provides a function to interpret a [Cminor] program and
2    return the trace of cost labels encountered. This function can
3    also print debug informations.  *)
4
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
17val interpret : bool -> Cminor.program -> AST.trace
Note: See TracBrowser for help on using the repository browser.