GitLab

Simon Peyton Jones pushed to branch wip/T26115 at Glasgow Haskell Compiler / GHC

Commits:

73082769
by Ben Gamari at 2025-07-15T16:56:38-04:00
```
Bump win32-tarballs to v0.9
```

3b63b254

by Ben Gamari at 2025-07-15T16:56:39-04:00

rts/LoadArchive: Handle null terminated string tables

As of `llvm-ar` now emits filename tables terminated with null
characters instead of the usual POSIX `/\n` sequence.

Fixes #26150.

195f6527

by Tamar Christina at 2025-07-15T16:56:39-04:00

rts: rename label so name doesn't conflict with param

63373b95
by Tamar Christina at 2025-07-15T16:56:39-04:00
```
rts: Handle API set symbol versioning conflicts
```

48e9aa3e

by Tamar Christina at 2025-07-15T16:56:39-04:00

rts: Mark API set symbols as HIDDEN and correct symbol type

959e827a

by Tamar Christina at 2025-07-15T16:56:39-04:00

rts: Implement WEAK EXTERNAL undef redirection by target symbol name

65f19293

by Ben Gamari at 2025-07-15T16:56:39-04:00

rts/LoadArchive: Handle string table entries terminated with /

llvm-ar appears to terminate string table entries with `/\n` [1]. This
matters in the case of thin archives, since the filename is used. In the
past this worked since `llvm-ar` would produce archives with "small"
filenames when possible. However, now it appears to always use the
string table.

[1] https://github.com/llvm/llvm-project/blob/bfb686bb5ba503e9386dc899e1ebbe2488e6a0a8/llvm/lib/Object/ArchiveWriter.cpp#L314

9cbb3ef5

by Ben Gamari at 2025-07-15T16:56:39-04:00

testsuite: Mark T12497 as fixed

Thanks to the LLVM toolchain update.

Closes #22694.

2854407e

by Ben Gamari at 2025-07-15T16:56:39-04:00

testsuite: Accept new output of T11223_link_order_a_b_2_fail on Windows

The archive member number changed due to the fact that llvm-ar now uses a
string table.

28439593

by Ben Gamari at 2025-07-15T16:56:39-04:00

rts/linker/PEi386: Implement IMAGE_REL_AMD64_SECREL

This appears to now be used by libc++ as distributed by msys2.

2b053755

by Tamar Christina at 2025-07-15T16:56:39-04:00

rts: Cleanup merge resolution residue in lookupSymbolInDLL_PEi386 and make safe without dependent

e8acd2e7

by Wen Kokke at 2025-07-16T08:37:04-04:00

Remove the `profile_id` parameter from various RTS functions.

Various RTS functions took a `profile_id` parameter, intended to be used to
distinguish parallel heap profile breakdowns (e.g., `-hT` and `-hi`). However,
this feature was never implemented and the `profile_id` parameter was set to 0
throughout the RTS. This commit removes the parameter but leaves the hardcoded
profile ID in the functions that emit the encoded eventlog events as to not
change the protocol.

The affected functions are `traceHeapProfBegin`, `postHeapProfBegin`,
`traceHeapProfSampleString`, `postHeapProfSampleString`,
`traceHeapProfSampleCostCentre`, and `postHeapProfSampleCostCentre`.

76d392a2
by Wen Kokke at 2025-07-16T08:37:04-04:00
```
Make `traceHeapProfBegin` an init event.
```

bbaa44a7

by Peng Fan at 2025-07-16T16:50:42-04:00

NCG/LA64: Support finer-grained DBAR hints

For LA664 and newer uarchs, they have made finer granularity hints
available:

    Bit4: ordering or completion (0: completion, 1: ordering)
    Bit3: barrier for previous read (0: true, 1: false)
    Bit2: barrier for previous write (0: true, 1: false)
    Bit1: barrier for succeeding read (0: true, 1: false)
    Bit0: barrier for succeeding write (0: true, 1: false)

And not affect the existing models because other hints are treated
as 'dbar 0' there.

7da86e16

by Andreas Klebinger at 2025-07-16T16:51:25-04:00

Disable -fprof-late-overloaded-calls for join points.

Currently GHC considers cost centres as destructive to
join contexts. Or in other words this is not considered valid:

    join f x = ...
    in
              ... -> scc<tick> jmp

This makes the functionality of `-fprof-late-overloaded-calls` not feasible
for join points in general. We used to try to work around this by putting the
ticks on the rhs of the join point rather than around the jump. However beyond
the loss of accuracy this was broken for recursive join points as we ended up
with something like:

    rec-join f x = scc<tick> ... jmp f x

Which similarly is not valid as the tick once again destroys the tail call.
One might think we could limit ourselves to non-recursive tail calls and do
something clever like:

  join f x = scc<tick> ...
  in ... jmp f x

And sometimes this works! But sometimes the full rhs would look something like:

  join g x = ....
  join f x = scc<tick> ... -> jmp g x

Which, would again no longer be valid. I believe in the long run we can make
cost centre ticks non-destructive to join points. Or we could keep track of
where we are/are not allowed to insert a cost centre. But in the short term I will
simply disable the annotation of join calls under this flag.

41ebf5e8