diff options
| author | Andreas Klebinger <klebinger.andreas@gmx.at> | 2022-09-21 02:37:43 +0200 |
|---|---|---|
| committer | Andreas Klebinger <klebinger.andreas@gmx.at> | 2022-09-27 01:12:15 +0200 |
| commit | 829609bde5eb0725c5bb80fbf6543811d5531123 (patch) | |
| tree | 066ab5d8eb32d4730054032123ef10cf475c5028 /compiler/ghc.cabal.in | |
| parent | c8ae3add11969b5128f34d02a5582c1f007cce5c (diff) | |
| download | haskell-wip/andreask/opt-core-lint.tar.gz | |
Apply some tricks to speed up core lint.wip/andreask/opt-core-lint
Below are the noteworthy changes and if given their impact on compiler
allocations for a type heavy module:
* Use the oneShot trick on LintM
* Use a unboxed tuple for the result of LintM: ~6% reduction
* Avoid a thunk for the result of typeKind in lintType: ~5% reduction
* lint_app: Don't allocate the error msg in the hot code path: ~4%
reduction
* lint_app: Eagerly force the in scope set: ~4%
* nonDetCmpType: Try to short cut using reallyUnsafePtrEquality#: ~2%
* lintM: Use a unboxed maybe for the `a` result: ~12%
* lint_app: make go_app tail recursive to avoid allocating the go function
as heap closure: ~7%
* expandSynTyCon_maybe: Use a specialized data type
For a less type heavy module like nofib/spectral/simple compiled with
-O -dcore-lint allocations went down by ~24% and compile time by ~9%.
-------------------------
Metric Decrease:
T1969
-------------------------
Diffstat (limited to 'compiler/ghc.cabal.in')
| -rw-r--r-- | compiler/ghc.cabal.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/ghc.cabal.in b/compiler/ghc.cabal.in index 0ac1080c65..8e71fcaf31 100644 --- a/compiler/ghc.cabal.in +++ b/compiler/ghc.cabal.in @@ -387,6 +387,7 @@ Library GHC.Data.Strict GHC.Data.StringBuffer GHC.Data.TrieMap + GHC.Data.Unboxed GHC.Data.UnionFind GHC.Driver.Backend GHC.Driver.Backend.Internal |