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