Project

General

Profile

Revision b08ffca7 src/optimize_prog.ml

View differences:

src/optimize_prog.ml
46 46 
  { eq with eq_rhs = expr_unfold_consts consts eq.eq_rhs }
47 47 

  		




  48
  48
  
    
let node_unfold_consts consts node = 


  		




  49
  
  
    
  { node with node_eqs = List.map (eq_unfold_consts consts) node.node_eqs }


  		




  
  49
  
    
  { node with node_stmts = List.map (fun eq -> Eq (eq_unfold_consts consts eq)) (get_node_eqs node) }


  		




  50
  50
  
    

  		




  51
  51
  
    
let prog_unfold_consts prog =


  		




  52
  52
  
    
  let consts = List.map const_of_top (get_consts prog) in


  		




  ......




  89
  89
  
    
  { eq with eq_rhs = expr_distribute_when eq.eq_rhs }


  		




  90
  90
  
    

  		




  91
  91
  
    
let node_distribute_when node =


  		




  92
  
  
    
  { node with node_eqs = List.map eq_distribute_when node.node_eqs }


  		




  
  92
  
    
  { node with node_stmts = List.map (fun eq -> Eq (eq_distribute_when eq)) (get_node_eqs node) }


  		




  93
  93
  
    

  		




  94
  94
  
    
let prog_distribute_when prog =


  		




  95
  95
  
    
    List.map (


  		












Also available in:  Unified diff