[all-commits] [llvm/llvm-project] 0283bb: [Clang][CodeGen][UBSan] Add more precise attribute...

[Yingwei Zheng via All-commits]

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

  Changed paths:
    M clang/lib/CodeGen/CGExpr.cpp
    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:
  -----------
  [Clang][CodeGen][UBSan] Add more precise attributes to recoverable ubsan handlers (#130990)

This patch adds `memory(argmem: read, inaccessiblemem: readwrite)
mustprogress` 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).

Closes https://github.com/llvm/llvm-project/issues/130093.



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