From 5dee98234e3df45d30f4aa6048bbd39c26d7af43 Mon Sep 17 00:00:00 2001 From: bjorn Date: Wed, 26 Nov 2008 15:44:22 +0000 Subject: My profiling showed that the BinTree operations were responsible for about 60% of the CPU time when reading a large .gfo file. Replacing BinTree by Data.Map reduced this to about 6%, which meant about 50% reduction in total CPU time. --- src/GF/Compile/BackOpt.hs | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'src/GF/Compile/BackOpt.hs') diff --git a/src/GF/Compile/BackOpt.hs b/src/GF/Compile/BackOpt.hs index 8667023c0..aeb3bcb8d 100644 --- a/src/GF/Compile/BackOpt.hs +++ b/src/GF/Compile/BackOpt.hs @@ -38,10 +38,11 @@ shareModule opt (i,m) = case m of (i,M.ModMod (M.replaceJudgements mo (mapTree (shareInfo opt) (M.jments mo)))) _ -> (i,m) -shareInfo opt (c, CncCat ty (Yes t) m) = (c,CncCat ty (Yes (shareOptim opt c t)) m) -shareInfo opt (c, CncFun kxs (Yes t) m) = (c,CncFun kxs (Yes (shareOptim opt c t)) m) -shareInfo opt (c, ResOper ty (Yes t)) = (c,ResOper ty (Yes (shareOptim opt c t))) -shareInfo _ i = i +shareInfo :: OptSpec -> (Ident, Info) -> Info +shareInfo opt (c, CncCat ty (Yes t) m) = CncCat ty (Yes (shareOptim opt c t)) m +shareInfo opt (c, CncFun kxs (Yes t) m) = CncFun kxs (Yes (shareOptim opt c t)) m +shareInfo opt (c, ResOper ty (Yes t)) = ResOper ty (Yes (shareOptim opt c t)) +shareInfo _ (_,i) = i -- the function putting together optimizations shareOptim :: OptSpec -> Ident -> Term -> Term -- cgit v1.2.3