[flang-commits] [flang] [llvm] [OpenMP][flang] Use auto-generated data for modifier verification (PR #215648)

[Krzysztof Parzyszek via flang-commits]

================
@@ -0,0 +1,80 @@
+//===-- OMPDescriptors.cpp - OpenMP descriptors ------------------- C++ -*-===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+//
+// This file contains descriptors of OpenMP elements.
+//
+//===----------------------------------------------------------------------===//
+
+#include "llvm/Frontend/OpenMP/OMPDescriptors.h"
+
+#include "llvm/ADT/DenseMap.h"
+#include "llvm/Frontend/OpenMP/OMP.h"
+
+namespace llvm::omp {
+const DescriptorMap<Clause, descriptor::Clause> &getClauseMap() {
+  static const DescriptorMap<Clause, descriptor::Clause> Map{
+#define GEN_OMP_CLAUSE_DESCRIPTORS
+#include "OMPDescriptors.inc"
+#undef GEN_OMP_CLAUSE_DESCRIPTORS
+  };
+  return Map;
+}
+
+const DescriptorMap<Modifier, descriptor::Modifier> &getModifierMap() {
+  static const DescriptorMap<Modifier, descriptor::Modifier> Map{
+#define GEN_OMP_MODIFIER_DESCRIPTORS
+#include "OMPDescriptors.inc"
+#undef GEN_OMP_MODIFIER_DESCRIPTORS
+  };
+  return Map;
+}
+
+#define GET_THING_OR_EMPTY(Thing, Member)                                      \
+  template <typename DetailsTy>                                                \
+  static Thing get##Thing##OrEmpty(const DetailsTy &D, unsigned V) {           \
+    V = std::max(V, 45u);                                                      \
+    if (auto Found = D.find(V); Found != D.end())                              \
+      return Found->second.Member;                                             \
+    return Thing{};                                                            \
+  }
+
+GET_THING_OR_EMPTY(Clauses, Cls)
+GET_THING_OR_EMPTY(Directives, Dirs)
+GET_THING_OR_EMPTY(Modifiers, Mods)
+GET_THING_OR_EMPTY(Properties, Props)
+
+#undef GET_THING_OR_EMPTY
+
+Properties descriptor::Clause::getProperties(unsigned V) const {
+  return getPropertiesOrEmpty(Details, V);
+}
+Directives descriptor::Clause::getDirectives(unsigned V) const {
+  return getDirectivesOrEmpty(Details, V);
+}
+Modifiers descriptor::Clause::getModifiers(unsigned V) const {
+  return getModifiersOrEmpty(Details, V);
+}
+Properties descriptor::Modifier::getProperties(unsigned V) const {
+  return getPropertiesOrEmpty(Details, V);
+}
+Clauses descriptor::Modifier::getClauses(unsigned V) const {
+  return getClausesOrEmpty(Details, V);
+}
+
+const descriptor::Clause &getDescriptor(llvm::omp::Clause C) {
+  return getClauseMap().at(C);
+}
+
+const descriptor::Modifier &getDescriptor(llvm::omp::Modifier M) {
+  return getModifierMap().at(M);
+}
+
+Properties getProperties(Clause C, unsigned Version) {
+  return getDescriptor(C).getDetails().at(std::max(Version, 45u)).Props;
----------------
kparzysz wrote:

Done, but we need to keep the "max".  The lowest version supported here is 4.5, but clang/flang do accept lower versions via -fopenmp-version.

https://github.com/llvm/llvm-project/pull/215648