[all-commits] [llvm/llvm-project] 7c38ee: [FunctionAttrs][IR] Fix memory attr inference for ...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7c38ee26d44124c93dc1553cde36837928c96d41
      https://github.com/llvm/llvm-project/commit/7c38ee26d44124c93dc1553cde36837928c96d41
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2025-06-25 (Wed, 25 Jun 2025)

  Changed paths:
    M llvm/lib/Analysis/BasicAliasAnalysis.cpp
    M llvm/lib/IR/Instructions.cpp
    M llvm/test/Transforms/FunctionAttrs/initializes.ll
    M llvm/test/Transforms/FunctionAttrs/nosync.ll

  Log Message:
  -----------
  [FunctionAttrs][IR] Fix memory attr inference for volatile mem intrinsics (#122926)

Per LangRef volatile operations can read and write inaccessible memory:

> any volatile operation can read and/or modify state which is not
> accessible via a regular load or store in this module

Model this by adding inaccessible memory effects in getMemoryEffects()
if the operation is volatile.

In the future, we should model volatile using operand bundles instead.

Fixes https://github.com/llvm/llvm-project/issues/120932.



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