Commit dab80474 authored by rl@cse.unsw.edu.au's avatar rl@cse.unsw.edu.au
Browse files

-Odph implies -fno-spec-constr-count

parent af37b300
...@@ -1860,10 +1860,12 @@ setOptLevel n dflags ...@@ -1860,10 +1860,12 @@ setOptLevel n dflags
-- -fdicts-cheap always inline dictionaries -- -fdicts-cheap always inline dictionaries
-- -fmax-simplifier-iterations20 this is necessary sometimes -- -fmax-simplifier-iterations20 this is necessary sometimes
-- -fno-spec-constr-threshold run SpecConstr even for big loops -- -fno-spec-constr-threshold run SpecConstr even for big loops
-- -fno-spec-constr-count SpecConstr as much as possible
-- --
setDPHOpt :: DynFlags -> DynFlags setDPHOpt :: DynFlags -> DynFlags
setDPHOpt dflags = setOptLevel 2 (dflags { maxSimplIterations = 20 setDPHOpt dflags = setOptLevel 2 (dflags { maxSimplIterations = 20
, specConstrThreshold = Nothing , specConstrThreshold = Nothing
, specConstrCount = Nothing
}) })
`dopt_set` Opt_DictsCheap `dopt_set` Opt_DictsCheap
`dopt_unset` Opt_MethodSharing `dopt_unset` Opt_MethodSharing
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment