[Git][ghc/ghc][wip/tsan/codegen] 20 commits: Introduce blockConcat

[Ben Gamari (@bgamari)]

Ben Gamari pushed to branch wip/tsan/codegen at Glasgow Haskell Compiler / GHC


Commits:
f3204501 by Ben Gamari at 2022-11-09T20:58:39-05:00
Introduce blockConcat

- - - - -
a7b4620a by Ben Gamari at 2022-11-09T20:58:55-05:00
cmm: Introduce MemoryOrderings

- - - - -
e01250a0 by Ben Gamari at 2022-11-09T21:01:07-05:00
llvm: Respect memory specified orderings

- - - - -
4c312a1c by Ben Gamari at 2022-11-09T21:01:07-05:00
cmm/Parser: Reduce some repetition

- - - - -
8b68c205 by Ben Gamari at 2022-11-09T21:01:07-05:00
cmm/Parser: Add syntax for ordered loads and stores

- - - - -
a2119499 by Ben Gamari at 2022-11-09T22:05:26-05:00
codeGen: Introduce ThreadSanitizer instrumentation

This introduces a new Cmm pass which instruments the program with
ThreadSanitizer annotations, allowing full tracking of mutator memory
accesses via TSAN.

- - - - -
66606f1c by Ben Gamari at 2022-11-09T22:05:26-05:00
rts/Messages: Refactor

- - - - -
124c88b3 by Ben Gamari at 2022-11-09T22:05:26-05:00
Ordering fixes

- - - - -
aa0a909e by Ben Gamari at 2022-11-09T22:05:26-05:00
eventlog: Silence spurious data race

- - - - -
6d86d01a by Ben Gamari at 2022-11-09T22:05:26-05:00
Introduce SET_INFO_RELEASE for Cmm

- - - - -
2a97a79a by Ben Gamari at 2022-11-09T22:05:26-05:00
unlockClosure

- - - - -
298d80e6 by Ben Gamari at 2022-11-09T22:05:26-05:00
Introduce and use GET_INFO_ACQUIRE

- - - - -
ab7f5966 by Ben Gamari at 2022-11-09T22:05:26-05:00
Fences

- - - - -
cfc46a86 by Ben Gamari at 2022-11-09T22:05:26-05:00
LOAD_INFO

- - - - -
0fb3f624 by Ben Gamari at 2022-11-09T22:05:26-05:00
rts/stm: Fix memory ordering in readTVarIO#

See #22421.

- - - - -
4aeb1779 by Ben Gamari at 2022-11-09T22:05:26-05:00
Improve heap memory barrier note

- - - - -
2cdb1daf by Ben Gamari at 2022-11-09T22:05:26-05:00
Cmm atomic load syntax

- - - - -
565d21a4 by Ben Gamari at 2022-11-09T22:05:26-05:00
Codegen/x86: Eliminate barrier for relaxed accesses

- - - - -
9763b3c2 by Ben Gamari at 2022-11-09T22:05:26-05:00
load_acquire_w

- - - - -
a2751d71 by Ben Gamari at 2022-11-09T22:05:26-05:00
rts: Introduce getNumCapabilities

- - - - -


30 changed files:

- compiler/GHC/Cmm/Config.hs
- compiler/GHC/Cmm/ContFlowOpt.hs
- compiler/GHC/Cmm/Dataflow/Block.hs
- compiler/GHC/Cmm/Lexer.x
- compiler/GHC/Cmm/MachOp.hs
- compiler/GHC/Cmm/Parser.y
- compiler/GHC/Cmm/Pipeline.hs
- + compiler/GHC/Cmm/ThreadSanitizer.hs
- compiler/GHC/CmmToAsm/AArch64/CodeGen.hs
- compiler/GHC/CmmToAsm/PPC/CodeGen.hs
- compiler/GHC/CmmToAsm/X86/CodeGen.hs
- compiler/GHC/CmmToC.hs
- compiler/GHC/CmmToLlvm/CodeGen.hs
- compiler/GHC/Driver/Config/Cmm.hs
- compiler/GHC/Driver/Flags.hs
- compiler/GHC/Driver/Session.hs
- compiler/GHC/StgToCmm/ExtCode.hs
- compiler/GHC/StgToCmm/Prim.hs
- compiler/ghc.cabal.in
- docs/users_guide/debugging.rst
- rts/Apply.cmm
- rts/Capability.c
- rts/Capability.h
- rts/Messages.c
- rts/Messages.h
- rts/PrimOps.cmm
- rts/Printer.c
- rts/ProfHeap.c
- rts/ProfilerReport.c
- rts/ProfilerReportJson.c


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/43509a9f2d745dd4fcc7be52ce24defa5b5df99b...a2751d716045c5ae511ff4091068601cd2566cde

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/43509a9f2d745dd4fcc7be52ce24defa5b5df99b...a2751d716045c5ae511ff4091068601cd2566cde
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/20221109/50f9771b/attachment-0001.html>