[all-commits] [llvm/llvm-project] b73875: [LangRef] Specify that syncscopes can affect the m...

[Fabian Ritter via All-commits]

  Branch: refs/heads/users/ritter-x2a/03-27-_langref_specify_that_syncscopes_can_affect_the_monotonic_modification_order
  Home:   https://github.com/llvm/llvm-project
  Commit: b73875ad4de165454fbab2f2c720273530a79a49
      https://github.com/llvm/llvm-project/commit/b73875ad4de165454fbab2f2c720273530a79a49
  Author: Fabian Ritter <fabian.ritter at amd.com>
  Date:   2026-04-28 (Tue, 28 Apr 2026)

  Changed paths:
    M llvm/docs/LangRef.rst

  Log Message:
  -----------
  [LangRef] Specify that syncscopes can affect the monotonic modification order

If a target specifies that atomics with mismatching syncscopes appear
non-atomic to each other, there is no point in requiring them to be ordered in
the monotonic modification order. Notably, the [AMDGPU target user
guide](https://llvm.org/docs/AMDGPUUsage.html#memory-scopes) has specified
syncscopes to relax the modification order for years.

So far, I haven't found an example where this less constrained ordering would
be observable (at least with the AMDGPU inclusive scope rules). Whenever a load
would be able to see two monotonic stores with non-inclusive scope, that's
considered a data race (i.e., the load would return `undef`), so it cannot be
used to observe the order of the stores.



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