[all-commits] [llvm/llvm-project] ba39a6: [msan] Instrument vtest instrinsics

[Vitaly Buka via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ba39a6e14a528a14ce2e10c49893a5a5e0e7a4a4
      https://github.com/llvm/llvm-project/commit/ba39a6e14a528a14ce2e10c49893a5a5e0e7a4a4
  Author: Vitaly Buka <vitalybuka at google.com>
  Date:   2022-09-21 (Wed, 21 Sep 2022)

  Changed paths:
    M llvm/lib/Transforms/Instrumentation/MemorySanitizer.cpp
    M llvm/test/Instrumentation/MemorySanitizer/avx-intrinsics-x86.ll
    M llvm/test/Instrumentation/MemorySanitizer/sse41-intrinsics-x86.ll

  Log Message:
  -----------
  [msan] Instrument vtest instrinsics

Instrumentation just ORs shadow of inputs.
I assume some result shadow bits can be reset if we go into specifics of particular checks,
but as-is it is still an improvement against existing default strict instruction handler, when
every set bit of input shadow is  reported as an error.

Reviewed By: kda

Differential Revision: https://reviews.llvm.org/D134123