diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-02-08 16:12:11 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-02-08 16:18:14 +0000 |
| commit | 9f3c1e67e5731124e499a420df52397b652876c8 (patch) | |
| tree | c056201ce88f4e25e5da55d2a3c01d640dcb7b85 | |
| parent | 34e3523354916b0fb8a0dc93041d25812f7e6181 (diff) | |
| download | haskell-9f3c1e67e5731124e499a420df52397b652876c8.tar.gz | |
Add some commented-out tracing in SpecConstr
| -rw-r--r-- | compiler/specialise/SpecConstr.hs | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/compiler/specialise/SpecConstr.hs b/compiler/specialise/SpecConstr.hs index f6e10adad4..15c031bd3f 100644 --- a/compiler/specialise/SpecConstr.hs +++ b/compiler/specialise/SpecConstr.hs @@ -1509,7 +1509,7 @@ specialise env bind_calls (RI { ri_fn = fn, ri_lam_bndrs = arg_bndrs Nothing -> return (nullUsage, spec_info) | Just all_calls <- lookupVarEnv bind_calls fn - = -- pprTrace "specialise entry {" (ppr fn <+> ppr (length all_calls)) $ + = -- pprTrace "specialise entry {" (ppr fn <+> ppr all_calls) $ do { (boring_call, all_pats) <- callsToPats env specs arg_occs all_calls -- Bale out if too many specialisations ; let pats = filter (is_small_enough . fst) all_pats @@ -1565,8 +1565,9 @@ specialise env bind_calls (RI { ri_fn = fn, ri_lam_bndrs = arg_bndrs Just rhs_usg | boring_call -> (spec_usg `combineUsage` rhs_usg, Nothing) _ -> (spec_usg, mb_unspec) --- ; pprTrace "specialise return }" (ppr fn --- <+> ppr (scu_calls new_usg)) +-- ; pprTrace "specialise return }" (vcat [ ppr fn +-- , text "boring_call:" <+> ppr boring_call +-- , text "new calls:" <+> ppr (scu_calls new_usg)]) $ ; return (new_usg, SI (new_specs ++ specs) spec_count' mb_unspec') } } @@ -1815,8 +1816,11 @@ callsToPats env done_specs bndr_occs calls is_done p = any (samePat p) done_pats no_recursive = map fst (filterOut (is_too_recursive env) good_pats) - ; return (any isNothing mb_pats, - filterOut is_done (nubBy samePat no_recursive)) } +-- ; pprTrace "callsToPats" (vcat [ text "calls:" <+> ppr calls +-- , text "good_pats:" <+> ppr good_pats +-- , text "no_recursive:" <+> ppr no_recursive ]) $ + ; return (any isNothing mb_pats, + filterOut is_done (nubBy samePat no_recursive)) } is_too_recursive :: ScEnv -> (CallPat, ValueEnv) -> Bool -- Count the number of recursive constructors in a call pattern, |