[all-commits] [llvm/llvm-project] 2d4f80: [OPENMP50]Full handling of atomic_default_mem_orde...

[Alexey Bataev via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 2d4f80f78aa5c25f19c396bf85d022d009706936
      https://github.com/llvm/llvm-project/commit/2d4f80f78aa5c25f19c396bf85d022d009706936
  Author: Alexey Bataev <a.bataev at hotmail.com>
  Date:   2020-02-11 (Tue, 11 Feb 2020)

  Changed paths:
    M clang/include/clang/Basic/DiagnosticSemaKinds.td
    M clang/lib/AST/ASTContext.cpp
    M clang/lib/CodeGen/CGDecl.cpp
    M clang/lib/CodeGen/CGOpenMPRuntime.cpp
    M clang/lib/CodeGen/CGOpenMPRuntime.h
    M clang/lib/CodeGen/CGOpenMPRuntimeNVPTX.cpp
    M clang/lib/CodeGen/CGOpenMPRuntimeNVPTX.h
    M clang/lib/CodeGen/CGStmtOpenMP.cpp
    M clang/lib/Parse/ParseOpenMP.cpp
    M clang/lib/Sema/SemaOpenMP.cpp
    M clang/lib/Serialization/ASTReaderDecl.cpp
    A clang/test/OpenMP/requires_acq_rel_codegen.cpp
    A clang/test/OpenMP/requires_default_atomic_mem_order_messages.cpp
    A clang/test/OpenMP/requires_relaxed_codegen.cpp
    A clang/test/OpenMP/requires_seq_cst_codegen.cpp
    M clang/test/OpenMP/requires_target_messages.cpp

  Log Message:
  -----------
  [OPENMP50]Full handling of atomic_default_mem_order in requires
directive.

According to OpenMP 5.0, The atomic_default_mem_order clause specifies the default memory ordering behavior for atomic constructs that must be provided by an implementation. If the default memory ordering is specified as seq_cst, all atomic constructs on which memory-order-clause is not specified behave as if the seq_cst clause appears. If the default memory ordering is specified as relaxed, all atomic constructs on which memory-order-clause is not specified behave as if the relaxed clause appears.
If the default memory ordering is specified as acq_rel, atomic constructs on which memory-order-clause is not specified behave as if the release clause appears if the atomic write or atomic update operation is specified, as if the acquire clause appears if the atomic read operation is specified, and as if the acq_rel clause appears if the atomic captured update operation is specified.