[all-commits] [llvm/llvm-project] c94031: [msan] Add test cases for vector shadow track orig...

[Thurston Dang via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c940317d023e6790fc20152f354487571d0e3087
      https://github.com/llvm/llvm-project/commit/c940317d023e6790fc20152f354487571d0e3087
  Author: Thurston Dang <thurston at google.com>
  Date:   2024-07-03 (Wed, 03 Jul 2024)

  Changed paths:
    A llvm/test/Instrumentation/MemorySanitizer/vector-track-origins-neon.ll
    A llvm/test/Instrumentation/MemorySanitizer/vector-track-origins-struct.ll

  Log Message:
  -----------
  [msan] Add test cases for vector shadow track origins bug (#97611)

These test cases demonstrate a bug in MSan (vector shadow is not always
converted to scalar before zext) that will shortly be fixed in
https://github.com/llvm/llvm-project/pull/96722

The bug is not architecture-specific; we provide both x86 and Arm NEON
test cases.

Since the test cases will crash the compiler (unless it is a release
build), they are marked as UNSUPPORTED.

The buggy codepath is nested inside 'if
(instrumentWithCalls(ConvertedShadow)'. To keep the test cases small, we
set -msan-instrumentation-with-call-threshold=0, though we have observed
this bug in the real world with default settings.



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