Skip to content
Snippets Groups Projects
Commit 607a28e9 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

Remove unused function

parent c32d0e45
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment