diff --git a/test/CFG/IRSpec.hs b/test/CFG/IRSpec.hs index 4934c5ea905d85daef67975f1cefa0e6dae6f1d3..54c0d3066368f5bdaa00f1250acf904d5261202c 100644 --- a/test/CFG/IRSpec.hs +++ b/test/CFG/IRSpec.hs @@ -52,26 +52,6 @@ example1Output cfg = map snd $ where vert :: Text -> Vertex vert = fromJust . cfgGetVertex cfg -example2Output :: CFG -> [Instr] -example2Output cfg = map snd $ - -- We don't know in which order the blocks are translated to vertices by - -- graphify. So we bring this in the right order by sorting on the - -- vertex-number. - sortBy (compare `on` fst) - [ (-1, Goto "Two") - , (vert "Zero", Label "Zero") - , (vert "Zero", Return) - , (vert "One", Label "One") - , (vert "One", Call "foo" False) - , (vert "One", IfThanElse "Two" "Zero") - , (vert "Two", Label "Two") - , (vert "Two", Call "bar" True) - , (vert "Two", Goto "One") - ] - - where vert :: Text -> Vertex - vert = fromJust . cfgGetVertex cfg - example1 :: Spec example1 = describe "flattenCFG" $ do let fun = extend graphify example1Input