jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Fix for memories with no uses

Browse source 
Add a fake use to make sure they interfere with
other memories and outputs
This commit is contained in:
Cédric Pasteur 2012-01-23 16:02:34 +01:00
parent cad8a0149f
commit 2b59ec754a
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
compiler/minils/analysis/interference.ml
View file

@ -251,7 +251,12 @@ let number_uses iv uses =
try
IvarEnv.find iv uses
with
| Not_found -> 0
| Not_found ->
(* add one use for memories without any use to make sure they interfere
with other memories and outputs. *)
(match iv with
| Ivar x when World.is_memory x -> 1
| _ -> 0)
let add_uses uses iv env =
let ivars = all_ivars IvarSet.empty iv (World.ivar_type iv) in