[all-commits] [llvm/llvm-project] 5fe1bf: [FunctionAttrs] Switch readonly etc inference to u...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5fe1bf6c1987c3e5e38e4ba31fe26d2415d18002
      https://github.com/llvm/llvm-project/commit/5fe1bf6c1987c3e5e38e4ba31fe26d2415d18002
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2026-06-04 (Thu, 04 Jun 2026)

  Changed paths:
    M llvm/lib/Transforms/IPO/FunctionAttrs.cpp
    M llvm/test/Transforms/FunctionAttrs/nocapture.ll

  Log Message:
  -----------
  [FunctionAttrs] Switch readonly etc inference to use CaptureTracking (#201136)

Inference of memory attributes on arguments also needs to reason about
indirect accesses via captures and implemented a home-grown variant of
CaptureTracking for that purpose. Switch it to the shared
implementation, which slightly improves precision.



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