Fix compacting GC bug when chaining tagged and non-tagged fields together
Currently compacting GC has the invariant that in a chain all fields are tagged the same. However this does not really hold: root pointers are not tagged, so when we thread a root we initialize a chain without a tag. When the pointed objects is evaluated and we have more pointers to it from the heap, we then add tagged fields to the chain (because pointers to it from the heap are tagged), ending up chaining fields with different tags (pointers from roots are NOT tagged, pointers from heap are). This breaks the invariant and as a result compacting GC turns tagged pointers into non-tagged.
This later causes problem in the generated code where we do reads assuming that the pointer is aligned, e.g.
0x7(%rax) -- assumes that pointer is tagged 1which causes misaligned reads. This caused #17088 (closed).
We fix this using the "pointer tagging for large families" patch (#14373 (closed), !1742 (closed)):
-
With the pointer tagging patch the GC can know what the tagged pointer to a CONSTR should be (previously we'd need to know the family size -- large families are always tagged 1, small families are tagged depending on the constructor).
-
Since we now know what the tags should be we no longer need to store the pointer tag in the info table pointers when forming chains in the compacting GC.
As a result we no longer need to tag pointers in chains with 1/2 depending on whether the field points to an info table pointer, or to another field: an info table pointer is always tagged 0, everything else in the chain is tagged 1. The lost tags in pointers can be retrieved by looking at the info table.
Finally, instead of using tag 1 for fields and tag 0 for info table pointers, we use two different tags for fields:
- 1 for fields that have untagged pointers
- 2 for fields that have tagged pointers
When unchaining we then look at the pointer to a field, and depending on its tag we either leave a tagged pointer or an untagged pointer in the field.
This allows chaining untagged and tagged fields together in compacting GC.
Fixes #17088 (closed)
Nofib results
Binaries are smaller because of smaller Compact.c code.
make mode=fast EXTRA_RUNTEST_OPTS="-cachegrind" EXTRA_HC_OPTS="-with-rtsopts=-c" NoFibRuns=1
--------------------------------------------------------------------------------
Program Size Allocs Instrs Reads Writes
--------------------------------------------------------------------------------
CS -0.3% 0.0% +0.0% +0.0% +0.0%
CSD -0.3% 0.0% +0.0% +0.0% +0.0%
FS -0.3% 0.0% +0.0% -0.0% -0.0%
S -0.3% 0.0% +5.4% +0.8% +3.9%
VS -0.3% 0.0% +0.0% -0.0% -0.0%
VSD -0.3% 0.0% -0.0% -0.0% -0.2%
VSM -0.3% 0.0% +0.0% +0.0% +0.0%
anna -0.1% 0.0% +0.0% +0.0% +0.0%
ansi -0.3% 0.0% +0.1% +0.0% +0.0%
atom -0.2% 0.0% +0.0% +0.0% +0.0%
awards -0.2% 0.0% +0.0% 0.0% -0.0%
banner -0.3% 0.0% +0.0% +0.0% +0.0%
bernouilli -0.3% 0.0% +0.1% +0.0% +0.0%
binary-trees -0.2% 0.0% +0.0% 0.0% +0.0%
boyer -0.3% 0.0% +0.2% +0.0% +0.0%
boyer2 -0.2% 0.0% +0.2% +0.1% +0.0%
bspt -0.2% 0.0% +0.0% +0.0% +0.0%
cacheprof -0.2% 0.0% +0.0% +0.0% +0.0%
calendar -0.3% 0.0% +0.0% +0.0% +0.0%
cichelli -0.3% 0.0% +1.1% +0.2% +0.5%
circsim -0.2% 0.0% +0.0% -0.0% -0.0%
clausify -0.3% 0.0% +0.0% -0.0% -0.0%
comp_lab_zift -0.2% 0.0% +0.0% +0.0% +0.0%
compress -0.3% 0.0% +0.0% +0.0% +0.0%
compress2 -0.3% 0.0% +0.0% -0.0% -0.0%
constraints -0.3% 0.0% +0.2% +0.1% +0.1%
cryptarithm1 -0.3% 0.0% +0.0% -0.0% 0.0%
cryptarithm2 -0.3% 0.0% +0.0% +0.0% +0.0%
cse -0.3% 0.0% +0.0% +0.0% +0.0%
digits-of-e1 -0.3% 0.0% +0.0% +0.0% +0.0%
digits-of-e2 -0.3% 0.0% +0.0% +0.0% -0.0%
dom-lt -0.2% 0.0% +0.0% +0.0% +0.0%
eliza -0.2% 0.0% +0.0% +0.0% +0.0%
event -0.3% 0.0% +0.1% +0.0% -0.0%
exact-reals -0.2% 0.0% +0.0% +0.0% +0.0%
exp3_8 -0.3% 0.0% +0.0% +0.0% +0.0%
expert -0.2% 0.0% +0.0% +0.0% +0.0%
fannkuch-redux -0.3% 0.0% -0.0% -0.0% -0.0%
fasta -0.3% 0.0% +0.0% +0.0% +0.0%
fem -0.2% 0.0% +0.1% +0.0% +0.0%
fft -0.2% 0.0% +0.0% -0.0% -0.0%
fft2 -0.2% 0.0% +0.0% -0.0% +0.0%
fibheaps -0.3% 0.0% +0.0% -0.0% -0.0%
fish -0.3% 0.0% +0.0% +0.0% +0.0%
fluid -0.2% 0.0% +0.4% +0.1% +0.1%
fulsom -0.2% 0.0% +0.0% +0.0% +0.0%
gamteb -0.2% 0.0% +0.1% +0.0% +0.0%
gcd -0.3% 0.0% +0.0% +0.0% +0.0%
gen_regexps -0.3% 0.0% +0.0% -0.0% -0.0%
genfft -0.3% 0.0% +0.0% +0.0% +0.0%
gg -0.2% 0.0% +0.7% +0.3% +0.2%
grep -0.2% 0.0% +0.0% +0.0% +0.0%
hidden -0.2% 0.0% +0.0% +0.0% +0.0%
hpg -0.2% 0.0% +0.1% +0.0% +0.0%
ida -0.3% 0.0% +0.0% +0.0% +0.0%
infer -0.2% 0.0% +0.0% -0.0% -0.0%
integer -0.3% 0.0% +0.0% +0.0% +0.0%
integrate -0.2% 0.0% +0.0% +0.0% +0.0%
k-nucleotide -0.2% 0.0% +0.0% +0.0% -0.0%
kahan -0.3% 0.0% -0.0% -0.0% -0.0%
knights -0.3% 0.0% +0.0% -0.0% -0.0%
lambda -0.3% 0.0% +0.0% -0.0% -0.0%
last-piece -0.3% 0.0% +0.0% +0.0% +0.0%
lcss -0.3% 0.0% +0.0% +0.0% 0.0%
life -0.3% 0.0% +0.0% -0.0% -0.0%
lift -0.2% 0.0% +0.0% +0.0% +0.0%
linear -0.2% 0.0% +0.0% +0.0% +0.0%
listcompr -0.3% 0.0% +0.0% +0.0% +0.0%
listcopy -0.3% 0.0% +0.0% +0.0% +0.0%
maillist -0.3% 0.0% +0.0% -0.0% -0.0%
mandel -0.2% 0.0% +0.0% +0.0% +0.0%
mandel2 -0.3% 0.0% +0.0% +0.0% +0.0%
mate -0.2% 0.0% +0.0% +0.0% +0.0%
minimax -0.3% 0.0% +0.0% +0.0% +0.0%
mkhprog -0.2% 0.0% +0.0% +0.0% +0.0%
multiplier -0.3% 0.0% +0.0% -0.0% -0.0%
n-body -0.2% 0.0% -0.0% -0.0% -0.0%
nucleic2 -0.2% 0.0% +0.0% +0.0% +0.0%
para -0.2% 0.0% +0.0% -0.0% -0.0%
paraffins -0.3% 0.0% +0.0% -0.0% -0.0%
parser -0.2% 0.0% +0.0% +0.0% +0.0%
parstof -0.2% 0.0% +0.8% +0.2% +0.2%
pic -0.2% 0.0% +0.1% -0.1% -0.1%
pidigits -0.3% 0.0% +0.0% +0.0% +0.0%
power -0.2% 0.0% +0.0% -0.0% -0.0%
pretty -0.3% 0.0% -0.0% -0.0% -0.1%
primes -0.3% 0.0% +0.0% +0.0% -0.0%
primetest -0.2% 0.0% +0.0% -0.0% -0.0%
prolog -0.3% 0.0% +0.0% -0.0% -0.0%
puzzle -0.3% 0.0% +0.0% +0.0% +0.0%
queens -0.3% 0.0% +0.0% +0.0% +0.0%
reptile -0.2% 0.0% +0.2% +0.1% +0.0%
reverse-complem -0.3% 0.0% +0.0% +0.0% +0.0%
rewrite -0.3% 0.0% +0.0% -0.0% -0.0%
rfib -0.2% 0.0% +0.0% +0.0% -0.0%
rsa -0.2% 0.0% +0.0% +0.0% +0.0%
scc -0.3% 0.0% -0.0% -0.0% -0.1%
sched -0.3% 0.0% +0.0% +0.0% +0.0%
scs -0.2% 0.0% +0.1% +0.0% +0.0%
simple -0.2% 0.0% +3.4% +1.0% +1.8%
solid -0.2% 0.0% +0.0% +0.0% +0.0%
sorting -0.3% 0.0% +0.0% +0.0% +0.0%
spectral-norm -0.2% 0.0% -0.0% -0.0% -0.0%
sphere -0.2% 0.0% +0.0% +0.0% +0.0%
symalg -0.2% 0.0% +0.0% +0.0% +0.0%
tak -0.3% 0.0% +0.0% +0.0% -0.0%
transform -0.2% 0.0% +0.2% +0.1% +0.1%
treejoin -0.3% 0.0% +0.2% -0.0% -0.1%
typecheck -0.3% 0.0% +0.0% +0.0% +0.0%
veritas -0.1% 0.0% +0.0% +0.0% +0.0%
wang -0.2% 0.0% +0.0% -0.0% -0.0%
wave4main -0.3% 0.0% +0.0% -0.0% -0.0%
wheel-sieve1 -0.3% 0.0% +0.0% -0.0% -0.0%
wheel-sieve2 -0.3% 0.0% +0.0% -0.0% -0.0%
x2n1 -0.3% 0.0% +0.0% +0.0% +0.0%
--------------------------------------------------------------------------------
Min -0.3% 0.0% -0.0% -0.1% -0.2%
Max -0.1% 0.0% +5.4% +1.0% +3.9%
Geometric Mean -0.3% -0.0% +0.1% +0.0% +0.1%
--------------------------------------------------------------------------------
Program Size Allocs Instrs Reads Writes
--------------------------------------------------------------------------------
circsim -0.2% 0.0% +1.6% +0.4% +0.7%
constraints -0.3% 0.0% +4.3% +1.5% +2.3%
fibheaps -0.3% 0.0% +3.5% +1.2% +1.3%
fulsom -0.2% 0.0% +3.6% +1.2% +1.8%
gc_bench -0.3% 0.0% +4.1% +1.3% +2.3%
hash -0.3% 0.0% +6.6% +2.2% +3.6%
lcss -0.3% 0.0% +0.7% +0.2% +0.7%
mutstore1 -0.3% 0.0% +4.8% +1.4% +2.8%
mutstore2 -0.3% 0.0% +3.4% +1.0% +1.7%
power -0.2% 0.0% +2.7% +0.6% +1.9%
spellcheck -0.3% 0.0% +1.1% +0.4% +0.4%
--------------------------------------------------------------------------------
Min -0.3% 0.0% +0.7% +0.2% +0.4%
Max -0.2% 0.0% +6.6% +2.2% +3.6%
Geometric Mean -0.3% +0.0% +3.3% +1.0% +1.8%Edited by Ömer Sinan Ağacan
Merge request reports
Activity
Filter activity
mentioned in issue #17088 (closed)
added 1 commit
- bbbf113e - Compacting GC: support chaining fields with different tags
- Resolved by Ömer Sinan Ağacan
It seems like one of the new assertions I added (in line 216) failed in three of the tests.
- Last reply by Ömer Sinan Ağacan
added 1 commit
- 4559df1d - Compacting GC: support chaining fields with different tags
added 61 commits
-
4559df1d...68ddb43c - 59 commits from branch
ghc:master - 21b59ce5 - Compact.c: remove dead code and a redundant CPP
- 3cf3f351 - Compacting GC: support chaining fields with different tags
-
4559df1d...68ddb43c - 59 commits from branch
added 1 commit
- 9f4c2791 - Compacting GC: support chaining fields with different tags
added 15 commits
-
9f4c2791...f97a7aac - 13 commits from branch
ghc:master - 5bb76f0a - Compact.c: remove dead code and a redundant CPP
- 2c17a64e - Compacting GC: support chaining fields with different tags
-
9f4c2791...f97a7aac - 13 commits from branch
I addressed all comments, and this now validates. @simonmar how does it look now?
I'll try to test this more in the meantime.
assigned to @simonmar
I started benchmarking this. If I run nofib with
$ make EXTRA_RUNTEST_OPTS="-cachegrind" NoFibRuns=1I get 0.0% in runtime. Binary sizes get about 0.5% larger. When I look at the symbols I see that these make the difference:
before: 0000000000000072 t thread_root 0000000000000628 t thread_stack 000000000000134f t compact 00000000000019c9 t thread_obj after: 0000000000000045 t tag_threaded_info (new function, 69 bytes) 00000000000000c4 t thread (new function, 196 bytes) 00000000000000c4 t thread_root (+72 bytes) 00000000000008f3 t thread_stack (+715 bytes) 0000000000001ba2 t compact (+2131 bytes) 0000000000002085 t thread_obj (+1724 bytes)There are no other changes that contribute to the binary sizes.
I'm now running nofib with
$ make EXTRA_RUNTEST_OPTS="-cachegrind" EXTRA_HC_OPTS="-with-rtsopts=-c" NoFibRuns=1to exercise the new code more. Will update.
mentioned in merge request !1381 (closed)
Nofib cachegrind results with
EXTRA_HC_OPTS="-with-rtsopts=-c":-------------------------------------------------------------------------------- Program Size Allocs Instrs Reads Writes -------------------------------------------------------------------------------- anna +0.3% 0.0% +0.1% +0.1% +0.1% ansi +0.6% 0.0% +0.0% +0.0% +0.0% atom +0.6% 0.0% +0.3% +0.3% +0.5% awards +0.6% 0.0% +0.0% +0.0% +0.0% banner +0.6% 0.0% +0.0% +0.0% +0.0% bernouilli +0.6% 0.0% +0.0% +0.0% +0.0% boyer +0.6% 0.0% +0.1% +0.1% +0.1% boyer2 +0.6% 0.0% +0.1% +0.1% +0.1% bspt +0.5% 0.0% +0.0% +0.0% +0.0% cacheprof +0.4% 0.0% +0.2% +0.1% +0.2% calendar +0.6% 0.0% +0.0% +0.0% +0.0% cichelli +0.6% 0.0% +0.3% +0.2% +0.2% circsim +0.5% 0.0% +0.0% +0.0% +0.0% clausify +0.6% 0.0% +0.0% +0.0% +0.0% comp_lab_zift +0.6% 0.0% +0.4% +0.3% +0.3% compress +0.7% 0.0% +0.2% +0.1% +0.1% compress2 +0.6% 0.0% +0.2% +0.1% +0.1% constraints +0.6% 0.0% +0.2% +0.1% +0.1% cryptarithm1 +0.6% 0.0% +0.0% +0.0% +0.0% cryptarithm2 +0.6% 0.0% +0.0% +0.0% +0.0% cse +0.6% 0.0% +0.0% +0.0% +0.0% digits-of-e1 +0.6% 0.0% +0.0% +0.0% +0.0% digits-of-e2 +0.6% 0.0% +0.0% +0.0% +0.0% dom-lt +0.5% 0.0% +0.0% +0.0% +0.0% eliza +0.6% 0.0% +0.0% +0.0% +0.0% event +0.6% 0.0% +0.7% +0.5% +0.9% exact-reals +0.5% 0.0% +0.0% +0.0% +0.0% exp3_8 +0.6% 0.0% +0.0% +0.0% +0.0% expert +0.5% 0.0% +0.0% +0.0% +0.0% fem +0.5% 0.0% +0.0% +0.0% +0.0% fft +0.5% 0.0% +0.1% +0.1% +0.2% fft2 +0.5% 0.0% +0.1% +0.0% +0.1% fibheaps +0.6% 0.0% +0.3% +0.2% +0.2% fish +0.6% 0.0% +0.0% +0.0% +0.0% fluid +0.4% 0.0% +0.1% +0.1% +0.1% fulsom +0.4% 0.0% +0.3% +0.2% +0.2% gamteb +0.5% 0.0% +0.0% +0.0% +0.0% gcd +0.6% 0.0% +0.0% +0.0% +0.0% gen_regexps +0.7% 0.0% +0.0% +0.0% +0.0% genfft +0.6% 0.0% +0.0% +0.0% +0.0% gg +0.4% 0.0% +0.8% +0.5% +0.7% grep +0.5% 0.0% +0.3% +0.2% +0.2% hidden +0.5% 0.0% +0.0% +0.0% +0.0% hpg +0.5% 0.0% +0.5% +0.3% +0.4% ida +0.6% 0.0% +0.0% +0.0% +0.0% infer +0.5% 0.0% +0.6% +0.2% +0.4% integer +0.6% 0.0% +0.0% +0.0% +0.0% integrate +0.6% 0.0% +0.0% +0.0% +0.0% kahan +0.6% 0.0% +0.0% +0.0% +0.0% knights +0.6% 0.0% +0.0% +0.0% +0.0% lambda +0.6% 0.0% +0.2% +0.1% +0.2% last-piece +0.6% 0.0% +0.0% +0.0% +0.0% lcss +0.6% 0.0% +0.1% +0.1% +0.1% life +0.6% 0.0% +0.0% +0.0% +0.0% lift +0.5% 0.0% +0.0% +0.0% +0.0% listcompr +0.6% 0.0% +0.0% +0.0% +0.0% listcopy +0.6% 0.0% +0.0% +0.0% +0.0% mandel +0.6% 0.0% +0.0% +0.0% +0.0% mandel2 +0.6% 0.0% +0.0% +0.0% +0.0% mate +0.5% 0.0% +0.0% +0.0% +0.0% minimax +0.6% 0.0% +0.0% +0.0% +0.0% multiplier +0.6% 0.0% +0.8% +0.5% +0.9% nucleic2 +0.5% 0.0% +0.0% +0.0% +0.0% para +0.5% 0.0% +0.0% +0.0% +0.0% paraffins +0.6% 0.0% +0.3% +0.2% +0.3% parstof +0.5% 0.0% +0.3% +0.2% +0.3% power +0.6% 0.0% +0.4% +0.2% +0.3% pretty +0.6% 0.0% +0.1% +0.1% +0.2% primes +0.6% 0.0% +0.1% +0.0% +0.1% primetest +0.5% 0.0% +0.0% +0.0% +0.0% puzzle +0.6% 0.0% +0.0% +0.0% +0.0% queens +0.6% 0.0% +0.0% +0.0% +0.0% rewrite +0.6% 0.0% +0.0% +0.0% +0.0% rfib +0.5% 0.0% +0.0% +0.0% +0.0% scc +0.7% 0.0% +0.1% +0.1% +0.2% sched +0.6% 0.0% +0.0% +0.0% +0.0% simple +0.4% 0.0% +1.0% +0.5% +0.8% solid +0.5% 0.0% +0.4% +0.2% +0.3% sorting +0.6% 0.0% +0.0% +0.0% +0.0% sphere +0.5% 0.0% +0.0% +0.0% +0.0% tak +0.6% 0.0% +0.0% +0.0% +0.0% transform +0.5% 0.0% +0.1% +0.0% +0.0% treejoin +0.7% 0.0% +0.7% +0.5% +1.0% typecheck +0.6% 0.0% +0.0% +0.0% +0.0% wang +0.5% 0.0% +0.8% +0.5% +0.8% wave4main +0.6% 0.0% +0.0% +0.0% +0.0% wheel-sieve1 +0.6% 0.0% +0.0% +0.0% +0.0% wheel-sieve2 +0.6% 0.0% +0.5% +0.3% +0.5% x2n1 +0.6% 0.0% +0.0% +0.0% +0.0% -------------------------------------------------------------------------------- Min +0.3% 0.0% +0.0% +0.0% +0.0% Max +0.7% 0.0% +1.0% +0.5% +1.0% Geometric Mean +0.6% -0.0% +0.1% +0.1% +0.1%I'll now try to implement the 4-tag version for x64 (with CPP) and see if it makes any difference.
Comparing current impl with 4-tag version:
-------------------------------------------------------------------------------- Program Size Allocs Instrs Reads Writes -------------------------------------------------------------------------------- CS +0.8% 0.0% -0.0% +0.0% -0.0% CSD +0.8% 0.0% -0.0% +0.0% -0.0% FS +0.8% 0.0% -0.0% +0.0% -0.0% S +0.8% 0.0% +1.9% +4.2% -0.0% VS +0.8% 0.0% +0.0% +0.0% -0.0% VSD +0.8% 0.0% -0.0% -0.0% -0.1% VSM +0.8% 0.0% -0.0% +0.0% -0.0% anna +0.3% 0.0% +0.1% +0.4% 0.0% ansi +0.6% 0.0% +0.0% +0.1% 0.0% atom +0.6% 0.0% +0.1% +0.4% -0.0% awards +0.6% 0.0% 0.0% +0.0% -0.0% banner +0.7% 0.0% +0.0% +0.0% 0.0% bernouilli +0.6% 0.0% +0.0% +0.1% -0.0% binary-trees +0.6% 0.0% 0.0% +0.0% -0.0% boyer +0.6% 0.0% +0.0% +0.1% -0.0% boyer2 +0.6% 0.0% +0.1% +0.2% -0.0% bspt +0.5% 0.0% +0.0% +0.0% 0.0% cacheprof +0.4% 0.0% +0.3% +0.7% -0.0% calendar +0.6% 0.0% +0.0% +0.0% 0.0% cichelli +0.6% 0.0% +0.3% +0.8% -0.0% circsim +0.6% 0.0% +0.0% +0.0% -0.0% clausify +0.6% 0.0% +0.0% +0.0% 0.0% comp_lab_zift +0.6% 0.0% +0.4% +1.2% -0.0% compress +0.7% 0.0% +0.2% +0.5% -0.0% compress2 +0.7% 0.0% +0.2% +0.5% 0.0% constraints +0.6% 0.0% +0.1% +0.3% -0.0% cryptarithm1 +0.6% 0.0% 0.0% +0.0% 0.0% cryptarithm2 +0.6% 0.0% +0.0% +0.0% -0.0% cse +0.7% 0.0% -0.0% +0.0% 0.0% digits-of-e1 +0.6% 0.0% +0.0% +0.0% -0.0% digits-of-e2 +0.6% 0.0% 0.0% +0.0% -0.0% dom-lt +0.6% 0.0% +0.0% +0.0% -0.0% eliza +0.6% 0.0% +0.0% +0.0% -0.0% event +0.6% 0.0% +0.6% +1.9% -0.0% exact-reals +0.5% 0.0% +0.0% +0.0% -0.0% exp3_8 +0.6% 0.0% 0.0% +0.0% 0.0% expert +0.6% 0.0% +0.0% +0.0% -0.0% fannkuch-redux +0.6% 0.0% -0.0% -0.0% 0.0% fasta +0.6% 0.0% -0.0% +0.0% -0.0% fem +0.5% 0.0% +0.0% +0.1% 0.0% fft +0.6% 0.0% +0.0% +0.1% -0.0% fft2 +0.6% 0.0% +0.0% +0.1% -0.0% fibheaps +0.7% 0.0% +0.2% +0.4% -0.0% fish +0.6% 0.0% -0.0% +0.0% -0.0% fluid +0.4% 0.0% +0.1% +0.3% -0.0% fulsom +0.5% 0.0% +0.3% +0.9% -0.0% gamteb +0.6% 0.0% +0.0% +0.1% -0.0% gcd +0.6% 0.0% +0.0% +0.1% -0.0% gen_regexps +0.8% 0.0% +0.0% +0.0% 0.0% genfft +0.6% 0.0% +0.0% +0.0% -0.0% gg +0.5% 0.0% +0.7% +1.8% -0.0% grep +0.6% 0.0% +0.3% +0.8% -0.0% hidden +0.5% 0.0% +0.0% +0.0% -0.0% hpg +0.5% 0.0% +0.5% +1.3% 0.0% ida +0.6% 0.0% +0.0% +0.0% -0.0% infer +0.6% 0.0% +0.3% +1.1% -0.0% integer +0.6% 0.0% -0.0% +0.0% -0.0% integrate +0.6% 0.0% -0.0% +0.0% -0.0% k-nucleotide +0.5% 0.0% 0.0% +0.0% -0.0% kahan +0.7% 0.0% -0.0% -0.0% -0.0% knights +0.7% 0.0% +0.0% +0.0% 0.0% lambda +0.6% 0.0% +0.2% +0.5% 0.0% last-piece +0.7% 0.0% +0.0% +0.0% -0.0% lcss +0.6% 0.0% +0.0% +0.1% 0.0% life +0.6% 0.0% +0.0% +0.0% 0.0% lift +0.6% 0.0% -0.0% +0.0% -0.0% linear +0.5% 0.0% +0.1% +0.4% -0.0% listcompr +0.6% 0.0% -0.0% +0.0% -0.0% listcopy +0.6% 0.0% -0.0% +0.0% -0.0% maillist +0.7% 0.0% +0.1% +0.1% -0.0% mandel +0.6% 0.0% 0.0% +0.0% -0.0% mandel2 +0.7% 0.0% -0.0% -0.0% -0.0% mate +0.5% 0.0% +0.0% +0.1% -0.0% minimax +0.6% 0.0% -0.0% +0.0% -0.0% mkhprog +0.6% 0.0% +0.0% +0.0% -0.0% multiplier +0.6% 0.0% +0.2% +0.9% -0.0% n-body +0.6% 0.0% -0.0% -0.0% -0.0% nucleic2 +0.6% 0.0% +0.0% +0.0% -0.0% para +0.6% 0.0% +0.0% +0.0% -0.0% paraffins +0.6% 0.0% +0.2% +0.8% -0.0% parser +0.5% 0.0% +0.2% +0.6% -0.0% parstof +0.5% 0.0% +0.2% +0.5% 0.0% pic +0.6% 0.0% +0.1% +0.5% +0.0% pidigits +0.6% 0.0% +0.0% +0.0% 0.0% power +0.6% 0.0% +0.2% +0.8% 0.0% pretty +0.7% 0.0% -0.2% -0.2% -0.1% primes +0.6% 0.0% +0.0% +0.1% 0.0% primetest +0.6% 0.0% -0.0% +0.0% -0.0% prolog +0.6% 0.0% +0.1% +0.2% -0.0% puzzle +0.6% 0.0% +0.0% +0.0% -0.0% queens +0.7% 0.0% 0.0% +0.0% -0.0% reptile +0.5% 0.0% +0.1% +0.3% -0.0% reverse-complem +0.8% 0.0% -0.0% +0.0% -0.0% rewrite +0.6% 0.0% +0.0% +0.0% -0.0% rfib +0.6% 0.0% -0.0% -0.0% -0.0% rsa +0.6% 0.0% +0.0% +0.0% -0.0% scc +0.8% 0.0% -0.2% -0.2% -0.1% sched +0.6% 0.0% +0.0% +0.0% 0.0% scs +0.4% 0.0% +0.0% +0.1% -0.0% simple +0.5% 0.0% +0.7% +2.6% 0.0% solid +0.6% 0.0% +0.4% +1.0% -0.0% sorting +0.6% 0.0% +0.0% +0.1% -0.0% spectral-norm +0.6% 0.0% -0.0% -0.0% +0.0% sphere +0.6% 0.0% +0.0% +0.0% 0.0% symalg +0.5% 0.0% +0.0% +0.0% -0.0% tak +0.7% 0.0% -0.0% -0.0% -0.0% transform +0.5% 0.0% +0.1% +0.1% -0.0% treejoin +0.7% 0.0% +0.8% +2.2% -0.0% typecheck +0.6% 0.0% 0.0% +0.0% -0.0% veritas +0.3% 0.0% +0.0% +0.0% -0.0% wang +0.6% 0.0% +0.7% +2.2% 0.0% wave4main +0.6% 0.0% +0.0% +0.0% -0.0% wheel-sieve1 +0.6% 0.0% +0.0% +0.0% -0.0% wheel-sieve2 +0.6% 0.0% +0.2% +0.6% -0.0% x2n1 +0.6% 0.0% -0.0% +0.0% -0.0% -------------------------------------------------------------------------------- Min +0.3% 0.0% -0.2% -0.2% -0.1% Max +0.8% 0.0% +1.9% +4.2% +0.0% Geometric Mean +0.6% -0.0% +0.1% +0.3% -0.0%So I think this version is fine.
@simonmar if you approve this I'll put this on the merge queue.
added 13 commits
- 460d2124 - base: Add link to "A reflection on types"
- 5fee08fb - gitlab-ci: Bump ci-images
- 5839d618 - hadrian: Update source-repository
- 67bea0df - testsuite: Mark threadstatus-9333 as fragile in profthreaded
- 546f47e5 - Fix bounds check in ocResolve_PEi386 for relocation values.
- 06c876a3 - Add ghcide configuration files
- e9fa0ae4 - Add -Wderiving-defaults (#15839 (closed))
- 379de634 - includes/CodeGen.Platform.hs don't include ghcautoconf.h
- 0a5a7fdd - PmCheck: Only ever check constantly many models against a single pattern
- af7886fa - base: Move Ix typeclass to GHC.Ix
- 360af33e - Remove unneeded CPP now that GHC 8.6 is the minimum
- 5fbcd5ce - Standalone kind signatures (#16794 (closed))
- e688462a - Make -fbyte-code prevent unboxed tuples/sums from implying object code (#16876 (closed))
Toggle commit listadded 15 commits
-
e688462a...4f81fab0 - 13 commits from branch
ghc:master - 08d97c3f - Compact.c: remove dead code and a redundant CPP
- a3c975d0 - Compacting GC: support chaining fields with different tags
-
e688462a...4f81fab0 - 13 commits from branch
Please register or sign in to reply