[all-commits] [llvm/llvm-project] cc95e4: [msan] Handle AVX512 vector down convert (non-mem)...

[Thurston Dang via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: cc95e4039b75c931f928464dd248e0d3712d7643
      https://github.com/llvm/llvm-project/commit/cc95e4039b75c931f928464dd248e0d3712d7643
  Author: Thurston Dang <thurston at google.com>
  Date:   2025-07-08 (Tue, 08 Jul 2025)

  Changed paths:
    M llvm/lib/Transforms/Instrumentation/MemorySanitizer.cpp
    M llvm/test/Instrumentation/MemorySanitizer/X86/avx512-intrinsics.ll
    M llvm/test/Instrumentation/MemorySanitizer/X86/avx512bw-intrinsics.ll

  Log Message:
  -----------
  [msan] Handle AVX512 vector down convert (non-mem) intrinsics (#147606)

This handles `llvm.x86.avx512.mask.pmov{,s,us}.*.512` using
`handleIntrinsicByApplyingToShadow()` where possible, otherwise using a
customized slow-path handler, `handleAVX512VectorDownConvert()`.

Note that shadow propagation of `pmov{s,us}` (signed/unsigned
saturation) are approximated using truncation. Future work could extend
`handleAVX512VectorDownConvert()` to use `GetMinMaxUnsigned()` to handle
saturation precisely.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications