Project

General

Profile

« Previous | Next » 

Revision d0b1ec56

Added by Xavier Thirioux over 10 years ago

- 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

View differences:

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