[all-commits] [llvm/llvm-project] 5739d2: [MSAN] Correct shadow type for atomicrmw instrumen...

[Keno Fischer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5739d29cde07189b3209e0ff84473783f7b676bd
      https://github.com/llvm/llvm-project/commit/5739d29cde07189b3209e0ff84473783f7b676bd
  Author: Keno Fischer <keno at juliacomputing.com>
  Date:   2022-08-24 (Wed, 24 Aug 2022)

  Changed paths:
    M llvm/lib/Transforms/Instrumentation/MemorySanitizer.cpp
    M llvm/test/Instrumentation/MemorySanitizer/atomics.ll

  Log Message:
  -----------
  [MSAN] Correct shadow type for atomicrmw instrumentation

We were passing the type of `Val` to `getShadowOriginPtr`, rather
than the type of `Val`'s shadow resulting in broken IR. The fix
is simple.

Reviewed By: eugenis

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


  Commit: 30d7d74d5c358d0040a94735c3a46aa00ca22841
      https://github.com/llvm/llvm-project/commit/30d7d74d5c358d0040a94735c3a46aa00ca22841
  Author: Keno Fischer <keno at juliacomputing.com>
  Date:   2022-08-24 (Wed, 24 Aug 2022)

  Changed paths:
    M llvm/lib/Transforms/Instrumentation/MemorySanitizer.cpp
    M llvm/test/Instrumentation/MemorySanitizer/alloca.ll

  Log Message:
  -----------
  [MSAN] Handle array alloca with non-i64 size specification

The array size specification of the an alloca can be any integer,
so zext or trunc it to intptr before attempting to multiply it
with an intptr constant.

Reviewed By: eugenis

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


Compare: https://github.com/llvm/llvm-project/compare/4c5114250bb7...30d7d74d5c35