[all-commits] [llvm/llvm-project] 909a9f: [Reland][Clang][CodeGen][UBSan] Add more precise a...

[Yingwei Zheng via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 909a9feda9292be8a7322f07dd167a603309b541
      https://github.com/llvm/llvm-project/commit/909a9feda9292be8a7322f07dd167a603309b541
  Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
  Date:   2025-04-17 (Thu, 17 Apr 2025)

  Changed paths:
    M clang/lib/CodeGen/CGExpr.cpp
    M clang/lib/CodeGen/CodeGenFunction.h
    A clang/test/CodeGen/AArch64/ubsan-handler-pass-by-ref.c
    M clang/test/CodeGen/allow-ubsan-check.c
    M clang/test/CodeGen/attr-counted-by.c
    A clang/test/CodeGen/ubsan-attr.cpp

  Log Message:
  -----------
  [Reland][Clang][CodeGen][UBSan] Add more precise attributes to recoverable ubsan handlers (#135135)

This patch relands https://github.com/llvm/llvm-project/pull/130990.
If the check value is passed by reference, add `memory(read)`.

Original PR description:

This patch adds `memory(argmem: read, inaccessiblemem: readwrite)` to
**recoverable** ubsan handlers in order to unblock some
memory/loop optimizations. It provides an average of 3% performance
improvement on llvm-test-suite (except for 49 test failures due to ubsan
diagnostics).



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