projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
f33b7c7
)
(temporarily) check consistency of new postorder DFS no matter what DEBUG is
author
Norman Ramsey
<nr@eecs.harvard.edu>
Sat, 15 Sep 2007 13:39:04 +0000
(13:39 +0000)
committer
Norman Ramsey
<nr@eecs.harvard.edu>
Sat, 15 Sep 2007 13:39:04 +0000
(13:39 +0000)
compiler/cmm/ZipCfg.hs
patch
|
blob
|
history
diff --git
a/compiler/cmm/ZipCfg.hs
b/compiler/cmm/ZipCfg.hs
index
70f4c61
..
b3973db
100644
(file)
--- a/
compiler/cmm/ZipCfg.hs
+++ b/
compiler/cmm/ZipCfg.hs
@@
-463,7
+463,8
@@
postorder_dfs g@(LGraph _ blockenv) =
dfs1 = zip eblock :
postorder_dfs_from_except blockenv eblock (unitUniqSet id)
dfs2 = postorder_dfs' g
- in ASSERT (map blockId dfs1 == map blockId dfs2) dfs2
+-- in ASSERT (map blockId dfs1 == map blockId dfs2) dfs2
+ in if (map blockId dfs1 == map blockId dfs2) then dfs2 else panic "inconsistent DFS"
postorder_dfs_from
:: (HavingSuccessors b, LastNode l) => BlockEnv (Block m l) -> b -> [Block m l]