[all-commits] [llvm/llvm-project] 1b02cd: [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: 1b02cda093819cfc6db4c7546e476f934ac0593e
      https://github.com/llvm/llvm-project/commit/1b02cda093819cfc6db4c7546e476f934ac0593e
  Author: Fabian Ritter <fabian.ritter at amd.com>
  Date:   2026-05-28 (Thu, 28 May 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.


  Commit: ae33c4563b54795b75c6a691ce979f2ae99a32cb
      https://github.com/llvm/llvm-project/commit/ae33c4563b54795b75c6a691ce979f2ae99a32cb
  Author: Fabian Ritter <fabian.ritter at amd.com>
  Date:   2026-05-28 (Thu, 28 May 2026)

  Changed paths:
    M llvm/docs/LangRef.rst

  Log Message:
  -----------
  Apply reviewer suggestions

Co-authored-by: Sameer Sahasrabuddhe <sameer.sahasrabuddhe at amd.com>


Compare: https://github.com/llvm/llvm-project/compare/9841f811f322...ae33c4563b54

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