Project

General

Profile

Revision 54d032f5 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