WIP push temporaries before calls

Requires liveness analysis

1 files changed, 21 insertions, 0 deletions

diff --git a/Util.hs b/Util.hs
new file mode 100644
index 0000000..11b5658
--- /dev/null
+++ b/Util.hs
@@ -0,0 +1,21 @@
+module Util where
+
+import qualified Data.Map.Strict as Map
+
+
+uniq :: Eq a => [a] -> [a]
+uniq (x:y:zs) | x == y = uniq (y:zs)
+              | otherwise = x : uniq (y:zs)
+uniq l = l
+
+sortUniq :: Ord a => [a] -> [a]
+sortUniq = uniq . sort
+
+oppositeGraph :: (Show a, Ord a) => Map.Map a [a] -> Map.Map a [a]
+oppositeGraph graph =
+    let nodes = concat [k : vs | (k, vs) <- Map.assocs graph]
+        edges = map ((,) <$> fst . head <*> map snd)
+                . groupBy ((==) `on` fst)
+                . sortOn fst
+                $ [(to, from) | (from, tos) <- Map.assocs graph, to <- tos]
+    in Map.fromList (map (,[]) nodes ++ edges)