[all-commits] [llvm/llvm-project] 527f7f: [flang][OpenMP] Handle conflicts between REQUIRES ...

[Krzysztof Parzyszek via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 527f7f5c36b825a948209b18c223ac682bb4dfb7
      https://github.com/llvm/llvm-project/commit/527f7f5c36b825a948209b18c223ac682bb4dfb7
  Author: Krzysztof Parzyszek <Krzysztof.Parzyszek at amd.com>
  Date:   2025-10-16 (Thu, 16 Oct 2025)

  Changed paths:
    M flang/lib/Lower/OpenMP/Atomic.cpp
    A flang/test/Lower/OpenMP/atomic-requires-conflict-v50-1.f90
    A flang/test/Lower/OpenMP/atomic-requires-conflict-v50-2.f90
    A flang/test/Lower/OpenMP/atomic-requires-conflict-v50-3.f90
    A flang/test/Lower/OpenMP/atomic-requires-conflict-v50-4.f90
    A flang/test/Lower/OpenMP/atomic-requires-conflict-v60-1.f90
    A flang/test/Lower/OpenMP/atomic-requires-conflict-v60-2.f90

  Log Message:
  -----------
  [flang][OpenMP] Handle conflicts between REQUIRES and ATOMIC restrict… (#163805)

…ions

When the atomic default memory order specified on a REQUIRES directive
is disallowed on a given ATOMIC operation, and it's not ACQ_REL, the
order reverts to RELAXED. ACQ_REL decays to either ACQUIRE or RELEASE,
depending on the operation.

This fixes MLIR verification failure in
Fortran/gfortran/regression/gomp/requires-9.f90



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