GitLab

Andreas Klebinger pushed to branch wip/andreask/ghc_par at Glasgow Haskell Compiler / GHC

Commits:

476c4cdf

by Sean D. Gillespie at 2026-03-02T10:14:37-05:00

Add SIMD absolute value on x86 and LLVM

On x86, absolute value of 32 bits or less is implemented with
PABSB/PABSW/PABSD if SSSE3 is available. Otherwise, there is a fallback
for SSE2. For 64 bit integers it uses VPABSQ, required by AVX-512VL,
with fallbacks for SSE4.2 and SSE2.

There is no dedicated instruction for floating point absolute value on
x86, so it is simulated using bitwise AND.

Absolute value for signed integers and floats are implemented by the
"llvm.abs/llvm.fabs" standard library intrinsics. This implementation
uses MachOps constructors, unlike non-vector floating point absolute
value, which uses CallishMachOps.

709448c0

by Sean D. Gillespie at 2026-03-02T10:14:46-05:00

Add SIMD floating point square root

On x86, this is implemented with the SQRTPS and SQRTPD instructions. On
LLVM, it uses the sqrt library intrinstic.

0deadf66

by Sean D. Gillespie at 2026-03-02T10:14:47-05:00

Improve error message for SIMD on aarch64

When encountering vector literals on aarch64, previously it would
throw:

    <no location info>: error:
        panic! (the 'impossible' happened)
      GHC version 9.15.20251219:
            getRegister' (CmmLit:CmmVec):

Now it is more consistent with the other vector operations:

    <no location info>: error:
        sorry! (unimplemented feature or known bug)
      GHC version 9.15.20251219:
            SIMD operations on AArch64 currently require the LLVM backend

7d64031b

by Vladislav Zavialov at 2026-03-03T11:09:28-05:00

Replace maybeAddSpace with spaceIfSingleQuote

Simplify pretty-printing of HsTypes by using spaceIfSingleQuote.
This allows us to drop the unwieldy lhsTypeHasLeadingPromotionQuote
helper function.

Follow-up to 178c1fd830c78377ef5d338406a41e1d8eb5f0da

598db847

by Wolfgang Jeltsch at 2026-03-06T06:25:25-05:00

Correct `hIsReadable` and `hIsWritable` for duplex handles

This contribution implements CLC proposal #371. It changes `hIsReadable`
and `hIsWritable` such that they always throw a respective exception
when encountering a closed or semi-closed handle, not just in the case
of a file handle.

b90201e5
by Wolfgang Jeltsch at 2026-03-06T06:25:25-05:00
```
Document `SemiClosedHandle`
```

c9df72b5

by Wolfgang Jeltsch at 2026-03-06T06:25:25-05:00

Tell users what “semi-closed” means for duplex handles

a8aa1868

by Ilias Tsitsimpis at 2026-03-06T06:26:29-05:00

Fix determinism of linker arguments

The switch from Data.Map to UniqMap in 3b5be05ac29 introduced
non-determinism in the order of packages passed to the linker.

This resulted in non-reproducible builds where the DT_NEEDED entries in
dynamic libraries were ordered differently across builds.

Fix the regression by explicitly sorting the package list derived from
UniqMap.

Fixes #26838

9b64ad3a

by Matthew Pickering at 2026-03-06T06:27:16-05:00

determinism: Use a deterministic renaming when writing bytecode files

Now when writing the bytecode file, a counter and substitution are used
to provide deterministic keys to local variables (rather than relying on
uniques). This change ensures that `.gbc` are produced
deterministically.

Fixes #26499

d29800e0

by Teo Camarasu at 2026-03-06T06:28:46-05:00

ghc-internal: delete Version hs-boot loop

Version has a Read instance which needs Unicode but part of the Unicode interface is the unicode version. This is easy to resolve. We simply don't re-export the version from the Unicode module.

Resolves #26940

ad25af90

by Sylvain Henry at 2026-03-06T06:30:33-05:00

Linker: implement support for COMMON symbols (#6107)

Add some support for COMMON symbols. We don't support common symbols
having different sizes where the larger one is allocated after the
smaller one. The linker will fail with an appropriate error message if
it happens.

3b59f158

by Cheng Shao at 2026-03-06T06:31:16-05:00

compiler: fix redundant import of GHC.Hs.Lit

This patch removes a redundant import of `GHC.Hs.Lit` which causes a
ghc build failure with validate flavours when bootstrapping from 9.14.
Fixes #26972.

148d36f3

by Cheng Shao at 2026-03-06T06:32:01-05:00

compiler: avoid unneeded traversals in GHC.Unit.State

Following !15591, this patch avoids unneeded traversals in
`reportCycles`/`reportUnusable` when log verbosity is below given
threshold. Also applies `logVerbAtLeast` when appropriate.

Co-authored-by: Codex <codex@openai.com>

7e31367c

by Cheng Shao at 2026-03-06T06:32:46-05:00

ghc-internal: fix redundant import in GHC.Internal.Event.Windows.ManagedThreadPool

This patch fixes redundant import in
`GHC.Internal.Event.Windows.ManagedThreadPool` that causes a
compilation error when building windows target with validate flavours
and bootstrapping from 9.14. Fixes #26976.

fc8b8e27

by sheaf at 2026-03-06T06:33:28-05:00

System.Info.fullCompilerVersion: add 'since' annot

Fixes #26973

c8238375

by Sylvain Henry at 2026-03-06T06:34:23-05:00

Hadrian: deprecate --bignum and automatically enable +native_bignum for JS

Deprecate --bignum=... to select the bignum backend. It's only used to
select the native backend, and this can be done with the +native_bignum
flavour transformer.

Additionally, we automatically enable +native_bignum for the JS target
because the GMP backend isn't supported.

a3ac7074

by Sylvain Henry at 2026-03-06T06:35:17-05:00

JS: fix putEnum/fromEnum (#24593)

Don't go through Word16 when serializing Enums.

0b36e96c

by Andreas Klebinger at 2026-03-06T06:35:58-05:00

Docs: Document -fworker-wrapper-cbv default setting.

Fixes #26841

eca445e7

by mangoiv at 2026-03-07T05:02:36-05:00

drop deb9/10 from CI, add deb13

debian 9 and 10 are end of life, hence we drop them
from our CI, but we do add debian 13. Jobs that were
previously run on 9 and 10 run on 13, too, jobs that
were run on 10, are run on 11 now. Jobs that were
previously run on debian 12 are run on debian 13 now.
This MR also updates hadrian's bootstrap plans for that
reason.

Metric Decrease:
    T9872d

12f8b829

by Luite Stegeman at 2026-03-07T05:03:33-05:00

Fix GHC.Internal.Prim haddock

Haddock used to parse Haskell source to generate documentation,
but switched to using interface files instead. This broke documentation
of the GHC.Internal.Prim module, since it's a wired-in interface that
didn't provide a document structure.

This patch adds the missing document structure and updates genprimopcode
to make the section headers and descriptions available.

fixes #26954

f87e5e57

by Luite Stegeman at 2026-03-07T05:03:33-05:00

Remove obsolete --make-haskell-source from genprimopcode

Now that haddock uses the wired-in interface for GHC.Internal.Prim,
the generated Haskell source file is no longer needed. Remove the
--make-haskell-source code generator from genprimopcode and replace
the generated GHC/Internal/Prim.hs with a minimal static source file.

4a7ddc7b

by Sylvain Henry at 2026-03-07T05:04:59-05:00

JS: fix linking of exposed but non-preload units (#24886)

Units exposed in the unit database but not explicitly passed on the
command-line were not considered by the JS linker. This isn't an issue
for cabal which passes every unit explicitly but it is an issue when
using GHC directly (cf T24886 test).

689aafcd

by mangoiv at 2026-03-07T05:05:52-05:00

testsuite: double foundation timeout multiplier

The runtime timeout in the foundation test was regularly hit by code
generated by the wasm backend - we increase the timout since the high
runtime is expected on the wasm backend for this rather complex test.

Resolves #26938

f41ff125
by Andreas Klebinger at 2026-03-08T20:46:15+00:00
```
core: add CoreCompUnit newtype
```

1069971e

by Andreas Klebinger at 2026-03-08T20:46:15+00:00

Thread CompilationUnit through compiler.

Instead of a CoreProgram being a list of types it's now a list of compilation units which can be compiled independently.

1a39613e
by Andreas Klebinger at 2026-03-08T20:46:15+00:00
```
Put local rules into compilation unit
```

7a54d5a9

by Andreas Klebinger at 2026-03-08T20:46:15+00:00

Needs checking: Combine compilation units

When compiling compilation units we must ensure the uniques of top level functions don't clash.
We do so by substituting over them.

81aeb179
by Andreas Klebinger at 2026-03-08T20:46:15+00:00
```
Maybe deal with glomming
```

968fddc2

by Andreas Klebinger at 2026-03-08T20:46:15+00:00

Simplify deshadowBinds and make it operate only on binds.

f7a07729
by Andreas Klebinger at 2026-03-08T20:46:15+00:00
```
Add splitting pass, fix some printing stuff
```
6d55d9b2
by Andreas Klebinger at 2026-03-08T20:46:15+00:00
```
Merge/Split core around CSE
```
a22dc75f
by Andreas Klebinger at 2026-03-08T20:46:15+00:00
```
Enable split core by default
```
9ef65916
by Andreas Klebinger at 2026-03-08T20:46:15+00:00
```
More simple plugin test failures
```
88a4166e
by Andreas Klebinger at 2026-03-08T20:46:15+00:00
```
Better flattening, we should now retain rules
```
d3645d58
by Andreas Klebinger at 2026-03-08T20:46:15+00:00
```
Take apart ModGuts for simplifier.
```

2f324822

by Andreas Klebinger at 2026-03-08T20:46:15+00:00

Don't output compilation unit header if there is only a singly unit

7557d0ae
by Andreas Klebinger at 2026-03-08T20:46:16+00:00
```
suppress unit marker for single unit
```
60cc0cb7
by Andreas Klebinger at 2026-03-08T20:46:16+00:00
```
Place local-relevant rules in compilation unit
```
e40644d3
by Andreas Klebinger at 2026-03-08T20:46:16+00:00
```
Fix rule assignment to comp units during occAnalSplit
```
78e28598
by Andreas Klebinger at 2026-03-08T20:46:16+00:00
```
Dead code analysis now respects unit rules.
```

9dd7360a