Project

General

Profile

Revision 1eda3e78 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