From 4559ed114a3c16ee6840abc503c5438d799505f1 Mon Sep 17 00:00:00 2001 From: Norman Ramsey Date: Sat, 15 Sep 2007 13:39:04 +0000 Subject: [PATCH] (temporarily) check consistency of new postorder DFS no matter what DEBUG is --- compiler/cmm/ZipCfg.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/compiler/cmm/ZipCfg.hs b/compiler/cmm/ZipCfg.hs index 70f4c61..b3973db 100644 --- 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] -- 1.7.10.4