Revision d0b1ec56
Added by Xavier Thirioux over 10 years ago
src/causality.ml | ||
---|---|---|
191 | 191 |
else |
192 | 192 |
let x = if ISet.mem x inputs then mk_read_var x else x in |
193 | 193 |
(add_edges lhs [x] g, g') |
194 |
else (g, g') in
|
|
194 |
else (add_edges lhs [mk_read_var x] g, g') (* x is a global constant, treated as a read var *) in
|
|
195 | 195 |
(* Add dependencies from [lhs] to rhs clock [ck]. *) |
196 | 196 |
let rec add_clock lhs_is_mem lhs ck g = |
197 | 197 |
(*Format.eprintf "add_clock %a@." Clocks.print_ck ck;*) |
Also available in: Unified diff
- changed the basic optimization scheme (option -O 2), which unfolds
local variables and global variables that are either cheap to evaluate
or used no more than once.
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@339 041b043f-8d7c-46b2-b46e-ef0dd855326e