Revision f4cba4b8 src/machine_code_types.ml
src/machine_code_types.ml | ||
---|---|---|
30 | 30 |
| MBranch of value_t * (label * instr_t list) list |
31 | 31 |
| MComment of string |
32 | 32 |
|
33 |
type step_t = {
|
|
34 |
step_checks: (Location.t * value_t) list; |
|
35 |
step_inputs: var_decl list; |
|
36 |
step_outputs: var_decl list; |
|
37 |
step_locals: var_decl list; |
|
38 |
step_instrs: instr_t list; |
|
39 |
step_asserts: value_t list; |
|
40 |
} |
|
33 |
type step_t = { |
|
34 |
step_checks: (Location.t * value_t) list;
|
|
35 |
step_inputs: var_decl list;
|
|
36 |
step_outputs: var_decl list;
|
|
37 |
step_locals: var_decl list;
|
|
38 |
step_instrs: instr_t list;
|
|
39 |
step_asserts: value_t list;
|
|
40 |
}
|
|
41 | 41 |
|
42 | 42 |
type static_call = top_decl * (Dimension.dim_expr list) |
43 | 43 |
|
44 |
|
|
44 |
|
|
45 | 45 |
type machine_t = { |
46 | 46 |
mname: node_desc; |
47 | 47 |
mmemory: var_decl list; |
... | ... | |
51 | 51 |
mstatic: var_decl list; (* static inputs only *) |
52 | 52 |
mconst: instr_t list; (* assignments of node constant locals *) |
53 | 53 |
mstep: step_t; |
54 |
mspec: contract_desc option;
|
|
54 |
mspec: node_spec_t option;
|
|
55 | 55 |
mannot: expr_annot list; |
56 | 56 |
msch: Scheduling_type.schedule_report option; (* Equations scheduling *) |
57 | 57 |
} |
Also available in: Unified diff