Project

General

Profile

Revision 6a1a01d2 src/optimize_machine.ml

View differences:

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