Last change
on this file since 818 was
818,
checked in by ayache, 10 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 | |
---|
5 | module 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 |
---|
15 | end |
---|
16 | |
---|
17 | val interpret : bool -> Cminor.program -> AST.trace |
---|
Note: See
TracBrowser
for help on using the repository browser.