Benjamin_Loison/Synchronous_reactive_systems
1
0
Fork 0
Code Issues 7 Pull Requests Packages Projects Releases Wiki Activity

[passes] never redefine an input

Browse Source
This commit is contained in:
Arnaud DABY-SEESARAM 2022-12-13 18:15:48 +01:00
parent f3416582be
commit 79f0c7d223
1 changed files with 9 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/passes.ml
View File

@ -165,15 +165,17 @@ let chkvar_init_unicity verbose debug : t_nodelist -> t_nodelist option =
let h = Hashtbl.create Config.maxvar in
let add_var v =
let add_var n v =
match v with
| IVar s -> Hashtbl.add h s 0
| BVar s -> Hashtbl.add h s 0
| RVar s -> Hashtbl.add h s 0
| IVar s -> Hashtbl.add h s n
| BVar s -> Hashtbl.add h s n
| RVar s -> Hashtbl.add h s n
in
List.iter add_var (snd node.n_inputs);
List.iter add_var (snd node.n_outputs);
List.iter add_var (snd node.n_local_vars);
let add_var_in = add_var 1 in
let add_var_loc = add_var 0 in
List.iter add_var_in (snd node.n_inputs);
List.iter add_var_loc (snd node.n_outputs);
List.iter add_var_loc (snd node.n_local_vars);
(** Usual Equations *)