diff options
author | Vitaly Buka <vitalybuka@google.com> | 2024-04-23 16:19:47 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-04-23 16:19:47 -0700 |
commit | 4f4ebee10ec91becb75ed36608ae26a2bd09e3bb (patch) | |
tree | f9dd26e84c74d594ac26d99fa8055372d0f65b48 /llvm/lib/CodeGen/MachineInstr.cpp | |
parent | 688c10d23630a23e7bb63804de117d1f281c4961 (diff) | |
download | llvm-4f4ebee10ec91becb75ed36608ae26a2bd09e3bb.zip llvm-4f4ebee10ec91becb75ed36608ae26a2bd09e3bb.tar.gz llvm-4f4ebee10ec91becb75ed36608ae26a2bd09e3bb.tar.bz2 |
[msan] Eliminate non-deterministic behavior in the pass (#89831)
Almost NFC, instrumentation is as correct as it was before.
We need InstrumentationList grouped by origin instruction,
so we used stable_sort. However these objects already grouped
because we never interleave sequences of `insertShadowCheck`
of different instrunction.
Pointer sort has artifact that it was deppendent on allocator behavior,
so we could inserted checks in a different order.
There is no test, as I failed to reproduce this with `opt`. My guess
is that for reproducer we need to increase fragmentation in the
allocator.
Diffstat (limited to 'llvm/lib/CodeGen/MachineInstr.cpp')
0 files changed, 0 insertions, 0 deletions