diff options
| -rw-r--r-- | backend/Linearizeaux.ml | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/backend/Linearizeaux.ml b/backend/Linearizeaux.ml index 28719207..8dccbb4b 100644 --- a/backend/Linearizeaux.ml +++ b/backend/Linearizeaux.ml @@ -195,6 +195,32 @@ let forward_sequences code entry = in [fs] @ (f code rem) in (f code [entry]) +let iter_set f s = Seq.iter f (Set.to_seq s) + +let try_merge code fs = + let seqs = ref (Set.of_list fs) in + let oldLength = ref (Set.cardinal !seqs) in + let continue = ref true in + while !continue do + iter_set (fun s -> + iter_set (fun s' -> + if (s == s') then () + else if (can_be_merged s s') then + begin + seqs + end + else () + ) !seqs + ) !seqs + (* FIXME - FIXME - continue *) + + + if !oldLength == List.length !seqs then + continue := false + else + oldLength := List.length !seqs + done + let order_sequences fs = fs let enumerate_aux_trace f reach = |