summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTom Smeding <tom.smeding@gmail.com>2019-11-21 21:04:57 +0100
committerTom Smeding <tom.smeding@gmail.com>2019-11-21 21:04:57 +0100
commit8114c68b9f42a9273109ad95cf1a76544ceb52a1 (patch)
treee59bb339eef727d9884adbbcab41933932576cb8
parentf1cc8644ada59ab3f3c68474bded83bcb488bf66 (diff)
Extra mergeRets pass after deadStoreElim
-rw-r--r--Optimiser.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/Optimiser.hs b/Optimiser.hs
index a349803..a6c5e10 100644
--- a/Optimiser.hs
+++ b/Optimiser.hs
@@ -14,6 +14,7 @@ optimise :: IRProgram -> IRProgram
optimise (IRProgram bbs gfds datas) =
let optf = foldl (.) id
[ tailCallIntro
+ , deadBBElim gfds, mergeRets
, deadStoreElim, deadBBElim gfds
, map propAssigns
, mergeRets, mergeBlocks]