Revision 4e07ac7f src/machine_code.ml
| src/machine_code.ml | ||
|---|---|---|
| 128 | 128 |
let get_stateless_status m = |
| 129 | 129 |
(m.mname.node_dec_stateless, Utils.desome m.mname.node_stateless) |
| 130 | 130 |
|
| 131 |
let is_input m id = |
|
| 132 |
List.exists (fun o -> o.var_id = id.var_id) m.mstep.step_inputs |
|
| 133 |
|
|
| 131 | 134 |
let is_output m id = |
| 132 | 135 |
List.exists (fun o -> o.var_id = id.var_id) m.mstep.step_outputs |
| 133 | 136 |
|
| 137 |
let is_memory m id = |
|
| 138 |
List.exists (fun o -> o.var_id = id.var_id) m.mmemory |
|
| 139 |
|
|
| 134 | 140 |
let conditional c t e = |
| 135 | 141 |
MBranch(c, [ (tag_true, t); (tag_false, e) ]) |
| 136 | 142 |
|
Also available in: Unified diff