We used to have MIN_UPD_SIZE macro that describes the minimum reserved
size for thunks, so that the thunk can be overwritten in place as
indirections or blackholes. However, this macro has not been actually
defined or used anywhere since a long time ago; StgThunkHeader already
reserves a padding word for this purpose. Hence this patch which drops
stale mentions of MIN_UPD_SIZE.

(cherry picked from commit c1e3719c)

(cherry picked from commit 2b07bf2e)

Teo Camarasu authored 1 year ago and Ben Gamari committed 6 months ago

Supplement the existing power 2 sized nonmoving allocators with a family
of dense allocators up to a configurable threshold.

This should reduce waste from rounding up block sizes while keeping the
amount of allocator sizes manageable.

This patch:
  - Adds a new configuration option `--nonmoving-dense-allocator-count`
    to control the amount of these new dense allocators.
  - Adds some constants to `NonmovingAllocator` in order to keep
    marking fast with the new allocators.

Resolves #23340

(cherry picked from commit f830d5a34c4c972cced73b6dc25954cedf336747)
(cherry picked from commit 47e02c2ae0ea4713a2f22edf21b9a4eb5fe635be)

Teo Camarasu authored 1 year ago and Ben Gamari committed 6 months ago

It makes sense to have these beside each other as they are aliases.

(cherry picked from commit 98166389)

Teo Camarasu authored 1 year ago and Ben Gamari committed 6 months ago

This was missing part of the unit ID meaning it would 404.

Resolves #24674

(cherry picked from commit f30e4984)

Teo Camarasu authored 11 months ago and Ben Gamari committed 6 months ago

(cherry picked from commit 06f7db40)

crumbtoo authored 10 months ago and Ben Gamari committed 6 months ago

Close #24829

(cherry picked from commit c5e00c35)

It seems we reserve 8 registers instead of four for global regs
based on the layout in Note [AArch64 Register assignments].

I'm not sure it's neccesary, but for now we just accept this state of
affairs and simple update -fregs-graph to account for this.

(cherry picked from commit 3f89ab92)

Metric Decrease:
    T13386

Andrei Borzenkov authored 1 year ago and Zubin committed 1 year ago

(cherry picked from commit 69abc786)

Teo Camarasu authored 1 year ago and Zubin committed 1 year ago

Resolves #24394

(cherry picked from commit 94ce031d)

Andreas Klebinger authored 1 year ago and Zubin committed 1 year ago

Fixes #24311

(cherry picked from commit 7e95f738)

Krzysztof Gogolewski authored 1 year ago and Zubin committed 1 year ago

The previous example didn't compile.

Furthermore, it wasn't demonstrating the point properly.
I have changed it to an example which shows that 'a' in the signature
must be the same 'a' as in the instance head.

(cherry picked from commit 7a90020f)

Finley McIlwaine authored 1 year ago and Zubin committed 1 year ago

The -fno-info-table-map-with-stack flag omits STACK info tables from the info
table map, and the -fno-info-table-map-with-fallback flag omits info tables
with defaulted source locations from the map. In a test on the Agda codebase
the build results were about 7% smaller when both of those types of tables
were omitted.

Adds a test that verifies that passing each combination of these flags
results in the correct output for -dipe-stats, which is disabled for the js
backend since profiling is not implemented.

This commit also refactors a lot of the logic around extracting info tables
from the Cmm results and building the info table map.

This commit also fixes some issues in the users guide rst source to fix
warnings that were noticed while debugging the documentation for these flags.

Fixes #23702

(cherry picked from commit 261c4acb)

Finley McIlwaine authored 1 year ago and Zubin committed 1 year ago

This is useful for seeing which info tables have information.

(cherry picked from commit cc52c358)

Document the permissibility introduced by
https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0170-unrestricted-overloadedlabels.rst

(cherry picked from commit c247b6be)

Torsten Schmits authored 1 year ago and Ben Gamari committed 1 year ago

Rather than statically enabling breakpoints only for the interpreter,
this adds a new flag.

Tracking ticket: #23057

MR: !10466
(cherry picked from commit 083794b1)

Closing #23988.

(cherry picked from commit 8f82e99f)

Partially fixes #23988.

Matthew Pickering authored 1 year ago and Ben Gamari committed 1 year ago

The warning fires when inconsistent command line flags are passed.

For example:

* -dynamic-too and -dynamic
* -dynamic-too on windows
* -O and --interactive
* etc

This is on by default and allows users to control whether the warning is
displayed and whether it should be an error or not.

Fixes #22572

(cherry picked from commit 21a906c2)

See: https://www.unicode.org/versions/Unicode15.1.0/

Matthew Pickering authored 1 year ago and Ben Gamari committed 1 year ago

The warning fires when inconsistent command line flags are passed.

For example:

* -dynamic-too and -dynamic
* -dynamic-too on windows
* -O and --interactive
* etc

This is on by default and allows users to control whether the warning is
displayed and whether it should be an error or not.

Fixes #22572

(cherry picked from commit 21a906c2)

Based on @simonpj's draft and comments in !11117

(cherry picked from commit eaee4d29)

BinderDavid authored 1 year ago and Ben Gamari committed 1 year ago

The example given in the SafeHaskell section uses an implementation of
Monad which no longer works. This MR removes the non-canonical return
instance and adds the necessary instances of Functor and Applicative.

(cherry picked from commit 5a2fe35a)

amesgen authored 1 year ago and Ben Gamari committed 1 year ago

(cherry picked from commit a05cdaf0)

Add flag to `-f{no-}specialise-incoherents` to enable/disable specialisation of incoherent instances

Fixes #23287

(cherry picked from commit 481f4a46)

The semantics of the `extlinks` attribute annoyingly changed in Sphinx
4. Reflect this in our configuration. See #22690.

Fixes #23807.

(cherry picked from commit 1726db3f)

As noted in #23818, some old distributions (e.g. Debian 9) only include
`distutils` while newer distributions only include `packaging`.

Fixes #23818.

(cherry picked from commit d814bda9)

This reverts commit 291963af.