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

[passes] linearisation: update the local variables + lienarisation of tri ops

Browse Source
This commit is contained in:
Arnaud DABY-SEESARAM 2022-12-16 14:41:13 +01:00
parent 73b753bec2
commit b69b6998ec
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/passes.ml
View File

@ -201,9 +201,14 @@ let pass_linearization verbose debug main_fn =
eqs @ eqs', vars, EBinOp (t, op, e, e') eqs @ eqs', vars, EBinOp (t, op, e, e')
| ETriOp (t, op, e, e', e'') -> | ETriOp (t, op, e, e', e'') ->
let eqs, vars, e = pre_aux_expression vars e in let eqs, vars, e = pre_aux_expression vars e in
let nvar: string = fresh_var_name vars 6 in
let nvar: t_var = BVar nvar in
let neq_patt: t_varlist = ([TBool], [nvar]) in
let neq_expr: t_expression = e in
let vars = varlist_concat vars (neq_patt) in
let eqs', vars, e' = pre_aux_expression vars e' in let eqs', vars, e' = pre_aux_expression vars e' in
let eqs'', vars, e'' = pre_aux_expression vars e'' in let eqs'', vars, e'' = pre_aux_expression vars e'' in
eqs @ eqs' @ eqs'', vars, ETriOp (t, op, e, e', e'') (neq_patt, neq_expr) :: eqs @ eqs' @ eqs'', vars, ETriOp (t, op, e, e', e'')
| EComp (t, op, e, e') -> | EComp (t, op, e, e') ->
let eqs, vars, e = pre_aux_expression vars e in let eqs, vars, e = pre_aux_expression vars e in
let eqs', vars, e' = pre_aux_expression vars e' in let eqs', vars, e' = pre_aux_expression vars e' in
@ -257,7 +262,7 @@ let pass_linearization verbose debug main_fn =
List.fold_left List.fold_left
(fun (eqs, vars) eq -> (fun (eqs, vars) eq ->
let es, vs = pre_aux_equation vars eq in let es, vs = pre_aux_equation vars eq in
es @ eqs, vars) es @ eqs, vs)
([], node.n_local_vars) ([], node.n_local_vars)
new_equations new_equations
in in