[all-commits] [llvm/llvm-project] e6dece: [Attributor][FIX] Mark "may" accesses through call...

[Johannes Doerfert via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e6dece9f6947a50c36f714d3fc0d86c6ad9acc9b
      https://github.com/llvm/llvm-project/commit/e6dece9f6947a50c36f714d3fc0d86c6ad9acc9b
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2024-09-05 (Thu, 05 Sep 2024)

  Changed paths:
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/test/Transforms/Attributor/value-simplify-pointer-info.ll

  Log Message:
  -----------
  [Attributor][FIX] Mark "may" accesses through call sites as such (#107439)

Before, we kept the call site access kind (may/must) when we translated
the access. However, the pointer we access it through (by passing it to
the callee) might not be the underlying object. We have similar logic
when we add store and load accesses.



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