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