Revision b08ffca7 src/optimize_prog.ml
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