[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 12 commits: Implements MO_S_Mul2 and MO_U_Mul2 using the UMULH, UMULL and SMULH instructions for AArch64

Fri Apr 12 03:56:25 UTC 2024

Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC

Commits:
a00b0223 by Alex Mason at 2024-04-11T23:54:55-04:00
Implements MO_S_Mul2 and MO_U_Mul2 using the  UMULH, UMULL and SMULH instructions for AArch64

Also adds a test for MO_S_Mul2

- - - - -
29773610 by Ben Gamari at 2024-04-11T23:54:55-04:00
users-guide: Clarify language extension documentation

Over the years the users guide's language extension documentation has
gone through quite a few refactorings. In the process some of the
descriptions have been rendered non-sensical. For instance, the
description of `NoImplicitPrelude` actually describes the semantics of
`ImplicitPrelude`.

To fix this we:

 * ensure that all extensions are named in their "positive" sense (e.g.
   `ImplicitPrelude` rather than `NoImplicitPrelude`).
 * rework the documentation to avoid flag-oriented wording
   like "enable" and "disable"
 * ensure that the polarity of the documentation is consistent with
   reality.

Fixes #23895.

- - - - -
6ec3a41c by Zubin Duggal at 2024-04-11T23:54:56-04:00
driver: Make `checkHomeUnitsClosed` faster

The implementation of `checkHomeUnitsClosed` was traversing every single path
in the unit dependency graph - this grows exponentially and quickly grows to be
infeasible on larger unit dependency graphs.

Instead we replace this with a faster implementation which follows from the
specificiation of the closure property - there is a closure error if there are
units which are both are both (transitively) depended upon by home units and
(transitively) depend on home units, but are not themselves home units.

To compute the set of units required for closure, we first compute the closure
of the unit dependency graph, then the transpose of this closure, and find all
units that are reachable from the home units in the transpose of the closure.

- - - - -
8bc83252 by Andreas Klebinger at 2024-04-11T23:54:57-04:00
RTS: Emit warning when -M < -H

Fixes #24487

- - - - -
3d20f746 by Ben Gamari at 2024-04-11T23:54:57-04:00
testsuite: Add broken test for CApiFFI with -fprefer-bytecode

See #24634.

- - - - -
c079ec41 by Ben Gamari at 2024-04-11T23:54:58-04:00
base: Deprecate GHC.Pack

As proposed in #21461.

Closes #21540.

- - - - -
a2871b08 by Ben Gamari at 2024-04-11T23:54:59-04:00
ghc-internal: Fix mentions of ghc-internal in deprecation warnings

Closes #24609.

- - - - -
d702bc06 by Ben Gamari at 2024-04-11T23:54:59-04:00
rts: Implement set_initial_registers for AArch64

Fixes #23680.

- - - - -
8f88ffc4 by Ben Gamari at 2024-04-11T23:55:00-04:00
ghcup-metadata: Use Debian 9 binaries on Ubuntu 16, 17

Closes #24646.

- - - - -
44d01be2 by Ben Gamari at 2024-04-11T23:55:00-04:00
Bump unix submodule to 2.8.5.1

Closes #24640.

- - - - -
c0cfe6c7 by Finley McIlwaine at 2024-04-11T23:55:00-04:00
Correct default -funfolding-use-threshold in docs

- - - - -
f654fcd7 by Oleg Grenrus at 2024-04-11T23:55:01-04:00
FastString is a __Modified__ UTF-8

- - - - -

30 changed files:

- .gitlab/rel_eng/mk-ghcup-metadata/mk_ghcup_metadata.py
- compiler/GHC/CmmToAsm/AArch64/CodeGen.hs
- compiler/GHC/CmmToAsm/AArch64/Instr.hs
- compiler/GHC/CmmToAsm/AArch64/Ppr.hs
- compiler/GHC/Data/FastString.hs
- compiler/GHC/Driver/Config/StgToCmm.hs
- compiler/GHC/Driver/Make.hs
- compiler/GHC/StgToCmm/Config.hs
- compiler/GHC/StgToCmm/Prim.hs
- docs/users_guide/expected-undocumented-flags.txt
- docs/users_guide/exts/applicative_do.rst
- docs/users_guide/exts/arrows.rst
- docs/users_guide/exts/binary_literals.rst
- docs/users_guide/exts/constrained_class_methods.rst
- docs/users_guide/exts/constraint_kind.rst
- docs/users_guide/exts/data_kinds.rst
- docs/users_guide/exts/default_signatures.rst
- docs/users_guide/exts/derive_any_class.rst
- docs/users_guide/exts/deriving_extra.rst
- docs/users_guide/exts/deriving_strategies.rst
- docs/users_guide/exts/deriving_via.rst
- docs/users_guide/exts/disambiguate_record_fields.rst
- docs/users_guide/exts/empty_case.rst
- docs/users_guide/exts/existential_quantification.rst
- docs/users_guide/exts/explicit_forall.rst
- docs/users_guide/exts/explicit_namespaces.rst
- docs/users_guide/exts/extended_literals.rst
- docs/users_guide/exts/ffi.rst
- docs/users_guide/exts/field_selectors.rst
- docs/users_guide/exts/functional_dependencies.rst

The diff was not included because it is too large.

View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/29b9d4e012f78fcaae1ccb1f5a51f3a41988f104...f654fcd7505749929eaa5d7c56c6abd6deddb9b3

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/29b9d4e012f78fcaae1ccb1f5a51f3a41988f104...f654fcd7505749929eaa5d7c56c6abd6deddb9b3
You're receiving this email because of your account on gitlab.haskell.org.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20240411/0222aeba/attachment-0001.html>