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

Adapted minimization to reinit.

Browse source
This commit is contained in:
Adrien Guatto 2011-10-17 15:43:55 +02:00
parent 04b8853a1d
commit 1ec97d187b
1 changed files with 8 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
compiler/minils/transformations/tomato.ml
View file

@ -258,7 +258,10 @@ and extvalue is_input w class_id_list =
let w_x = mk_extvalue ~ty:Initial.tbool ~clock:w.w_ck ~linearity:w.w_linearity (Wvar x) in
let class_id_list, w = decompose w (class_ref_of_var is_input w_x x :: class_id_list) in
class_id_list, Wwhen (w, cn, dummy_var)
| Wreinit _ -> assert false
| Wreinit (w1, w2) ->
let class_id_list, w1 = decompose w1 class_id_list in
let class_id_list, w2 = decompose w2 class_id_list in
class_id_list, Wreinit (w1, w2)
in
class_id_list, { w with w_desc = wd; }
in
@ -410,7 +413,10 @@ and reconstruct_extvalues mapping w_list children =
| Wfield (w', fn) ->
let w', children = reconstruct_extvalue w' children in
{ w with w_desc = Wfield (w', fn); }, children
| Wreinit _ -> assert false
| Wreinit (w1, w2) ->
let w1, children = reconstruct_extvalue w1 children in
let w2, children = reconstruct_extvalue w2 children in
{ w with w_desc = Wreinit (w1, w2); }, children
in
let consume w (children, result_w_list) =