Revision 75c459f4
Added by Lélio Brun about 2 years ago
| src/optimize_machine.ml | ||
|---|---|---|
| 283 | 283 |
let vdecl = { vdecl with var_type = const.const_type } in
|
| 284 | 284 |
let lustre_eq = mkeq loc ([const.const_id], mkexpr loc (Expr_const const.const_value)) in |
| 285 | 285 |
mkinstr |
| 286 |
~lustre_eq:lustre_eq |
|
| 286 |
~lustre_eq |
|
| 287 |
True |
|
| 287 | 288 |
(MLocalAssign (vdecl, mk_val (Cst const.const_value) vdecl.var_type)) |
| 288 | 289 |
|
| 289 | 290 |
(* We do not perform this optimization on contract nodes since there |
Also available in: Unified diff
start with Spec AST generation