summaryrefslogtreecommitdiff
path: root/CODEOWNERS
diff options
context:
space:
mode:
authorSebastian Graf <sebastian.graf@kit.edu>2021-02-10 13:41:52 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2021-02-28 06:10:39 -0500
commitdf2eca94ce8395fb9f52e83d8f3c790317a27c97 (patch)
tree5282dac50f1568da06e4b084ec5f3fc809b26046 /CODEOWNERS
parentc3ff35bbd11fd213ec2773bc0a03e2533fda7c1a (diff)
downloadhaskell-df2eca94ce8395fb9f52e83d8f3c790317a27c97.tar.gz
CPR analysis: Use CPR of scrutinee for Case Binder CPR (#19232)
For years we have lived in a supposedly sweet spot that gave case binders the CPR property, unconditionally. Which is an optimistic hack that is now described in `Historical Note [Optimistic case binder CPR]`. In #19232 the concern was raised that this might do more harm than good and that might be better off simply by taking the CPR property of the scrutinee for the CPR type of the case binder. And indeed that's what we do now. Since `Note [CPR in a DataAlt case alternative]` is now only about field binders, I renamed and garbage collected it into `Note [Optimistic field binder CPR]`. NoFib approves: ``` NoFib Results -------------------------------------------------------------------------------- Program Allocs Instrs -------------------------------------------------------------------------------- anna +0.1% +0.1% nucleic2 -1.2% -0.6% sched 0.0% +0.9% transform -0.0% -0.1% -------------------------------------------------------------------------------- Min -1.2% -0.6% Max +0.1% +0.9% Geometric Mean -0.0% +0.0% ``` Fixes #19232.
Diffstat (limited to 'CODEOWNERS')
0 files changed, 0 insertions, 0 deletions