<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en">
<head>
<meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">
<title>
GitLab
</title>
<style data-premailer="ignore" type="text/css">
a { color: #1068bf; }
</style>
<style>img {
max-width: 100%; height: auto;
}
body {
font-size: 0.875rem;
}
body {
-webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px;
}
body {
font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Noto Sans", Ubuntu, Cantarell, "Helvetica Neue", sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji"; font-size: inherit;
}
</style>
</head>
<body style='font-size: inherit; -webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px; font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Noto Sans", Ubuntu, Cantarell, "Helvetica Neue", sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";'>
<div class="content">
<h3 style="margin-top: 20px; margin-bottom: 10px;">
Ben Gamari pushed to branch ghc-9.4
at <a href="https://gitlab.haskell.org/ghc/ghc" style="color: #1068bf;">Glasgow Haskell Compiler / GHC</a>
</h3>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
Commits:
</h4>
<ul>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/b450061786714821901e40d5828d4221d7f49f54" style="color: #1068bf;">b4500617</a></strong>
<div>
<span>by Ben Gamari</span>
<i>at 2022-10-19T09:33:39-04:00</i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>testsuite: Add test for #22282
This will complement mpickering's more general port of foundation's
numerical testsuite, providing a test for the specific case found
in #22282.
(cherry picked from commit 1004bff7fd017ba698795b82f76b63e742420d34)
</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/6ef9d7ef6ee3f522dc718b2ea7ee43972b6745c8" style="color: #1068bf;">6ef9d7ef</a></strong>
<div>
<span>by Ben Gamari</span>
<i>at 2022-10-19T09:33:44-04:00</i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>ncg/aarch64: Fix sub-word sign extension yet again
In adc7f108141a973b6dcb02a7836eed65d61230e8 we fixed a number of issues
to do with sign extension in the AArch64 NCG found by ghc/test-primops>.
However, this patch made a critical error, assuming that getSomeReg
would allocate a fresh register for the result of its evaluation.
However, this is not the case as `getSomeReg (CmmReg r) == r`.
Consequently, any mutation of the register returned by `getSomeReg` may
have unwanted side-effects on other expressions also mentioning `r`. In
the fix listed above, this manifested as the registers containing the
operands of binary arithmetic operations being incorrectly
sign-extended. This resulted in #22282.
Sadly, the rather simple structure of the tests generated
by `test-primops` meant that this particular case was not exercised.
Even more surprisingly, none of our testsuite caught this case.
Here we fix this by ensuring that intermediate sign extension is
performed in a fresh register.
Fixes #22282.
(cherry picked from commit 0ae6d8b5c798dfcdb0444ad69fd62124beb51b76)
</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/aada6b1012964d4a1f709995ea915fb9b2e1e8d3" style="color: #1068bf;">aada6b10</a></strong>
<div>
<span>by Ben Gamari</span>
<i>at 2022-10-19T15:26:27-04:00</i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>rts: Add missing declaration of stg_noDuplicate
(cherry picked from commit 8c430540be5044f416bcc5aa52f79e46dfaabbeb)
</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/5ec22f0135483ea8a8a543c53dcc7f9d7f6a8dea" style="color: #1068bf;">5ec22f01</a></strong>
<div>
<span>by Ben Gamari</span>
<i>at 2022-10-19T15:26:33-04:00</i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>base: Move CString, CStringLen to GHC.Foreign
(cherry picked from commit a1e01a32c6dfe6cb62963ea00e51953e44b8e66a)
</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/8f0c0c539fa316d7c131d41487b4776f93f985ba" style="color: #1068bf;">8f0c0c53</a></strong>
<div>
<span>by Ben Gamari</span>
<i>at 2022-10-19T15:27:17-04:00</i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>rts: Refactor IPE tracing support
(cherry picked from commit fb6c2dd21a1f31781b7f94a1a8c8b75114b71d12)
</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/d2ea5bfb7a9c5df9601af71ccea4983a5fc9528b" style="color: #1068bf;">d2ea5bfb</a></strong>
<div>
<span>by Ben Gamari</span>
<i>at 2022-10-19T21:41:56-04:00</i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Refactor IPE initialization
Here we refactor the representation of info table provenance information
in object code to significantly reduce its size and link-time impact.
Specifically, we deduplicate strings and represent them as 32-bit
offsets into a common string table.
In addition, we rework the registration logic to eliminate allocation
from the registration path, which is run from a static initializer where
things like allocation are technically undefined behavior (although it
did previously seem to work). For similar reasons we eliminate lock
usage from registration path, instead relying on atomic CAS.
Closes #22077.
(cherry picked from commit 4112e3ca9361b4a6569a8d3c44d9c93781f57c20)
</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">30 changed files:</h4>
<ul>
<li class="file-stats">
<a href="#db697f6aea9f93f1583f1d5c62d25570a1e07f73" style="color: #1068bf;">
compiler/GHC/Cmm/CLabel.hs
</a>
</li>
<li class="file-stats">
<a href="#71e696f452eb493722d70306c6f304fc9b2f6a95" style="color: #1068bf;">
compiler/GHC/Cmm/Parser.y
</a>
</li>
<li class="file-stats">
<a href="#6997a0cd37829d3d08db1c48185aaa3d7dfc3e6b" style="color: #1068bf;">
compiler/GHC/CmmToAsm/AArch64/CodeGen.hs
</a>
</li>
<li class="file-stats">
<a href="#9df7e695170800345fb44916a8e8f4b8f3c55be0" style="color: #1068bf;">
compiler/GHC/Driver/CodeOutput.hs
</a>
</li>
<li class="file-stats">
<a href="#9a679a2680ef6061397f1987091ea9f96ffe095d" style="color: #1068bf;">
compiler/GHC/Driver/Main.hs
</a>
</li>
<li class="file-stats">
<a href="#474afbd1996fa06b8bc9410a2805103be57860f7" style="color: #1068bf;">
<span class="new-file">
+
compiler/GHC/StgToCmm/InfoTableProv.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#8390b439f37437a2642e4e31bd6e7e91438915d1" style="color: #1068bf;">
compiler/GHC/StgToCmm/Prof.hs
</a>
</li>
<li class="file-stats">
<a href="#0f33fd88c617246c7f89c4477d2d1d24f942df23" style="color: #1068bf;">
compiler/ghc.cabal.in
</a>
</li>
<li class="file-stats">
<a href="#ec3a110ebba35a2ac78897f655d6cd55fc4b11cc" style="color: #1068bf;">
libraries/base/Foreign/C/String.hs
</a>
</li>
<li class="file-stats">
<a href="#0cba8cd0b4d1e9b852fcc660e75a3175bc5d2f8a" style="color: #1068bf;">
libraries/base/GHC/Foreign.hs
</a>
</li>
<li class="file-stats">
<a href="#200c4c756172f6b340836fe30c1d59fde1d17523" style="color: #1068bf;">
rts/IPE.c
</a>
</li>
<li class="file-stats">
<a href="#260aaa1045176812c4f20ed18734479ba43bbbe6" style="color: #1068bf;">
rts/IPE.h
</a>
</li>
<li class="file-stats">
<a href="#9ed11d0519762dae04656481b089dbb5b05acf98" style="color: #1068bf;">
rts/RtsStartup.c
</a>
</li>
<li class="file-stats">
<a href="#050d739b5c42d009648d099fb66bae809e83482e" style="color: #1068bf;">
rts/Trace.c
</a>
</li>
<li class="file-stats">
<a href="#af7520a7c19cb7a894a90a944c97a4ed95f12b78" style="color: #1068bf;">
rts/Trace.h
</a>
</li>
<li class="file-stats">
<a href="#4bef7d0c5d4ce46744aaacac2800349746d7e44f" style="color: #1068bf;">
rts/eventlog/EventLog.c
</a>
</li>
<li class="file-stats">
<a href="#76aeecda0541f8b07341c3e7947c02a0cae5b8af" style="color: #1068bf;">
rts/eventlog/EventLog.h
</a>
</li>
<li class="file-stats">
<a href="#1ce50078fc531487782432592488ae95c6156df4" style="color: #1068bf;">
rts/include/Cmm.h
</a>
</li>
<li class="file-stats">
<a href="#2c9d1869cf5d3b9fec1ccc583a5ade7b3b3f4d19" style="color: #1068bf;">
rts/include/Rts.h
</a>
</li>
<li class="file-stats">
<a href="#71b34aa09551eb8e1b64680080d75efe1d457ddb" style="color: #1068bf;">
rts/include/rts/IPE.h
</a>
</li>
<li class="file-stats">
<a href="#4f5d8a62e14906b85d22aa560fdb6d7c1bc2cb8e" style="color: #1068bf;">
rts/include/stg/MiscClosures.h
</a>
</li>
<li class="file-stats">
<a href="#5d16d2b1e39374d5bc4e4c5edaf25abde7c6b10a" style="color: #1068bf;">
rts/include/stg/SMP.h
</a>
</li>
<li class="file-stats">
<a href="#371d3c3c9fad484c1163aa733d70507ce33084c9" style="color: #1068bf;">
rts/sm/NonMoving.h
</a>
</li>
<li class="file-stats">
<a href="#ff2738d5040e668dd766c8ea8c0e04f1a17965da" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/numeric/should_run/T22282.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#2cb580687b8acd6923e4935d0318b55e2288e7ed" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/numeric/should_run/T22282.stdout
</span>
</a>
</li>
<li class="file-stats">
<a href="#8e383ffe6e71142e9b51eb2d974bb9d312d74667" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/numeric/should_run/T22282A.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#64bd5d9f522dad6c7bcfe51550b4609cb7ec4cd0" style="color: #1068bf;">
testsuite/tests/numeric/should_run/all.T
</a>
</li>
<li class="file-stats">
<a href="#5ced844c5529162410276a1236ca9b8e7186490c" style="color: #1068bf;">
testsuite/tests/rts/all.T
</a>
</li>
<li class="file-stats">
<a href="#db3adafa05958eb8a62ade1b278b3eb47e07b79f" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/rts/ipe/all.T
</span>
</a>
</li>
<li class="file-stats">
<a href="#b53501bc7d80cf29643568a3a22d4fa9035ab081" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/rts/ipe/ipeEventLog.c
</span>
</a>
</li>
</ul>
<h5 style="margin-top: 10px; margin-bottom: 10px; font-size: 0.875rem;">The diff was not included because it is too large.</h5>
</div>
<div class="footer" style="margin-top: 10px;">
<p style="font-size: small; color: #666;">
—
<br>
<a href="https://gitlab.haskell.org/ghc/ghc/-/compare/9a12e4961256f4c25201b8b8736ab4ef4ba0083e...d2ea5bfb7a9c5df9601af71ccea4983a5fc9528b" style="color: #1068bf;">View it on GitLab</a>.
<br>
You're receiving this email because of your account on <a target="_blank" rel="noopener noreferrer" href="https://gitlab.haskell.org" style="color: #1068bf;">gitlab.haskell.org</a>. <a href="https://gitlab.haskell.org/-/profile/notifications" target="_blank" rel="noopener noreferrer" class="mng-notif-link" style="color: #1068bf;">Manage all notifications</a> · <a href="https://gitlab.haskell.org/help" target="_blank" rel="noopener noreferrer" class="help-link" style="color: #1068bf;">Help</a>
</p>
</div>
</body>
</html>