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

[Krzysztof Parzyszek via All-commits]

  Branch: refs/heads/users/kparzysz/requires-atomic-conflict
  Home:   https://github.com/llvm/llvm-project
  Commit: 60b2f04925e5417eb5727e0ce8fb3b0b9e6558ad
      https://github.com/llvm/llvm-project/commit/60b2f04925e5417eb5727e0ce8fb3b0b9e6558ad
  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 restrictions

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