summaryrefslogtreecommitdiff
path: root/compiler/GHC/Cmm/ThreadSanitizer.hs
Commit message (Collapse)AuthorAgeFilesLines
* Cmm: track the type of global registerssheaf2023-01-311-3/+9
| | | | | | | | | | | | This patch tracks the type of Cmm global registers. This is needed in order to lint uses of polymorphic registers, such as SIMD vector registers that can be used both for floating-point and integer values. This changes allows us to refactor VanillaReg to not store VGcPtr, as that information is instead stored in the type of the usage of the register. Fixes #22297
* codeGen: Introduce ThreadSanitizer instrumentationBen Gamari2022-12-151-0/+285
This introduces a new Cmm pass which instruments the program with ThreadSanitizer annotations, allowing full tracking of mutator memory accesses via TSAN.