Revision eb837d74
Added by Xavier Thirioux over 5 years ago
| src/optimize_machine.ml | ||
|---|---|---|
| 429 | 429 |
| MLocalAssign (i, v) -> instr_cons (MLocalAssign (fvar i, value_replace_var fvar v)) cont |
| 430 | 430 |
| MStateAssign (i, v) -> instr_cons (MStateAssign (i, value_replace_var fvar v)) cont |
| 431 | 431 |
| MReset i -> instr_cons instr cont |
| 432 |
| MNoReset i -> instr_cons instr cont |
|
| 432 | 433 |
| MStep (il, i, vl) -> instr_cons (MStep (List.map fvar il, i, List.map (value_replace_var fvar) vl)) cont |
| 433 | 434 |
| MBranch (g, hl) -> instr_cons (MBranch (value_replace_var fvar g, List.map (fun (h, il) -> (h, instrs_replace_var fvar il [])) hl)) cont |
| 434 | 435 |
|
Also available in: Unified diff
slight improvement of causality error messages