Revision 54d032f5 src/optimize_machine.ml
src/optimize_machine.ml | ||
---|---|---|
40 | 40 |
| Cst _ | StateVar _ -> expr |
41 | 41 |
|
42 | 42 |
(* see if elim has to take in account the provided instr: |
43 |
if so, upodate elim and return the remove flag,
|
|
43 |
if so, update elim and return the remove flag, |
|
44 | 44 |
otherwise, the expression should be kept and elim is left untouched *) |
45 | 45 |
let update_elim outputs elim instr = |
46 | 46 |
(* Format.eprintf "SHOULD WE STORE THE EXPRESSION IN INSTR %a TO ELIMINATE IT@." pp_instr instr;*) |
Also available in: Unified diff