[openmp] Base of tablegen generated OpenMP common declaration
Summary:
As discussed previously when landing patch for OpenMP in Flang, the idea is
to share common part of the OpenMP declaration between the different Frontend.
While doing this it was thought that moving to tablegen instead of Macros will also
give a cleaner and more powerful way of generating these declaration.
This first part of a future series of patches is setting up the base .td file for
DirectiveLanguage as well as the OpenMP version of it. The base file is meant to
be used by other directive language such as OpenACC.
In this first patch, the Directive and Clause enums are generated with tablegen
instead of the macros on OMPConstants.h. The next pacth will extend this
to other enum and move the Flang frontend to use it.
Reviewers: jdoerfert, DavidTruby, fghanim, ABataev, jdenny, hfinkel, jhuber6, kiranchandramohan, kiranktp
Reviewed By: jdoerfert, jdenny
Subscribers: arphaman, martong, cfe-commits, mgorny, yaxunl, hiraditya, guansong, jfb, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm, #openmp, #clang
Differential Revision: https://reviews.llvm.org/D81736
2020-06-23 15:29:50 +02:00
|
|
|
//===- DirectiveEmitter.cpp - Directive Language Emitter ------------------===//
|
|
|
|
//
|
|
|
|
// 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
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// DirectiveEmitter uses the descriptions of directives and clauses to construct
|
|
|
|
// common code declarations to be used in Frontends.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "llvm/ADT/STLExtras.h"
|
|
|
|
#include "llvm/ADT/SmallVector.h"
|
|
|
|
#include "llvm/ADT/StringExtras.h"
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
#include "llvm/ADT/StringSet.h"
|
[openmp] Base of tablegen generated OpenMP common declaration
Summary:
As discussed previously when landing patch for OpenMP in Flang, the idea is
to share common part of the OpenMP declaration between the different Frontend.
While doing this it was thought that moving to tablegen instead of Macros will also
give a cleaner and more powerful way of generating these declaration.
This first part of a future series of patches is setting up the base .td file for
DirectiveLanguage as well as the OpenMP version of it. The base file is meant to
be used by other directive language such as OpenACC.
In this first patch, the Directive and Clause enums are generated with tablegen
instead of the macros on OMPConstants.h. The next pacth will extend this
to other enum and move the Flang frontend to use it.
Reviewers: jdoerfert, DavidTruby, fghanim, ABataev, jdenny, hfinkel, jhuber6, kiranchandramohan, kiranktp
Reviewed By: jdoerfert, jdenny
Subscribers: arphaman, martong, cfe-commits, mgorny, yaxunl, hiraditya, guansong, jfb, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm, #openmp, #clang
Differential Revision: https://reviews.llvm.org/D81736
2020-06-23 15:29:50 +02:00
|
|
|
#include "llvm/TableGen/Error.h"
|
|
|
|
#include "llvm/TableGen/Record.h"
|
|
|
|
#include "llvm/TableGen/TableGenBackend.h"
|
|
|
|
|
2020-08-11 16:43:56 +02:00
|
|
|
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
using namespace llvm;
|
|
|
|
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
namespace {
|
|
|
|
// Simple RAII helper for defining ifdef-undef-endif scopes.
|
|
|
|
class IfDefScope {
|
|
|
|
public:
|
|
|
|
IfDefScope(StringRef Name, raw_ostream &OS) : Name(Name), OS(OS) {
|
|
|
|
OS << "#ifdef " << Name << "\n"
|
|
|
|
<< "#undef " << Name << "\n";
|
|
|
|
}
|
|
|
|
|
|
|
|
~IfDefScope() { OS << "\n#endif // " << Name << "\n\n"; }
|
|
|
|
|
|
|
|
private:
|
|
|
|
StringRef Name;
|
|
|
|
raw_ostream &OS;
|
|
|
|
};
|
|
|
|
} // end anonymous namespace
|
|
|
|
|
[openmp] Base of tablegen generated OpenMP common declaration
Summary:
As discussed previously when landing patch for OpenMP in Flang, the idea is
to share common part of the OpenMP declaration between the different Frontend.
While doing this it was thought that moving to tablegen instead of Macros will also
give a cleaner and more powerful way of generating these declaration.
This first part of a future series of patches is setting up the base .td file for
DirectiveLanguage as well as the OpenMP version of it. The base file is meant to
be used by other directive language such as OpenACC.
In this first patch, the Directive and Clause enums are generated with tablegen
instead of the macros on OMPConstants.h. The next pacth will extend this
to other enum and move the Flang frontend to use it.
Reviewers: jdoerfert, DavidTruby, fghanim, ABataev, jdenny, hfinkel, jhuber6, kiranchandramohan, kiranktp
Reviewed By: jdoerfert, jdenny
Subscribers: arphaman, martong, cfe-commits, mgorny, yaxunl, hiraditya, guansong, jfb, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm, #openmp, #clang
Differential Revision: https://reviews.llvm.org/D81736
2020-06-23 15:29:50 +02:00
|
|
|
namespace llvm {
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
|
2020-07-29 02:45:21 +02:00
|
|
|
// Wrapper class that contains DirectiveLanguage's information defined in
|
|
|
|
// DirectiveBase.td and provides helper methods for accessing it.
|
|
|
|
class DirectiveLanguage {
|
|
|
|
public:
|
|
|
|
explicit DirectiveLanguage(const llvm::Record *Def) : Def(Def) {}
|
|
|
|
|
|
|
|
StringRef getName() const { return Def->getValueAsString("name"); }
|
|
|
|
|
|
|
|
StringRef getCppNamespace() const {
|
|
|
|
return Def->getValueAsString("cppNamespace");
|
|
|
|
}
|
|
|
|
|
|
|
|
StringRef getDirectivePrefix() const {
|
|
|
|
return Def->getValueAsString("directivePrefix");
|
|
|
|
}
|
|
|
|
|
|
|
|
StringRef getClausePrefix() const {
|
|
|
|
return Def->getValueAsString("clausePrefix");
|
|
|
|
}
|
|
|
|
|
|
|
|
StringRef getIncludeHeader() const {
|
|
|
|
return Def->getValueAsString("includeHeader");
|
|
|
|
}
|
|
|
|
|
|
|
|
StringRef getClauseEnumSetClass() const {
|
|
|
|
return Def->getValueAsString("clauseEnumSetClass");
|
|
|
|
}
|
|
|
|
|
2020-08-11 16:43:56 +02:00
|
|
|
StringRef getFlangClauseBaseClass() const {
|
|
|
|
return Def->getValueAsString("flangClauseBaseClass");
|
|
|
|
}
|
|
|
|
|
2020-07-29 02:45:21 +02:00
|
|
|
bool hasMakeEnumAvailableInNamespace() const {
|
|
|
|
return Def->getValueAsBit("makeEnumAvailableInNamespace");
|
|
|
|
}
|
|
|
|
|
|
|
|
bool hasEnableBitmaskEnumInNamespace() const {
|
|
|
|
return Def->getValueAsBit("enableBitmaskEnumInNamespace");
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
const llvm::Record *Def;
|
|
|
|
};
|
|
|
|
|
|
|
|
// Base record class used for Directive and Clause class defined in
|
|
|
|
// DirectiveBase.td.
|
|
|
|
class BaseRecord {
|
|
|
|
public:
|
|
|
|
explicit BaseRecord(const llvm::Record *Def) : Def(Def) {}
|
|
|
|
|
|
|
|
StringRef getName() const { return Def->getValueAsString("name"); }
|
|
|
|
|
|
|
|
StringRef getAlternativeName() const {
|
|
|
|
return Def->getValueAsString("alternativeName");
|
|
|
|
}
|
|
|
|
|
|
|
|
// Returns the name of the directive formatted for output. Whitespace are
|
|
|
|
// replaced with underscores.
|
|
|
|
std::string getFormattedName() {
|
|
|
|
StringRef Name = Def->getValueAsString("name");
|
|
|
|
std::string N = Name.str();
|
|
|
|
std::replace(N.begin(), N.end(), ' ', '_');
|
|
|
|
return N;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool isDefault() const { return Def->getValueAsBit("isDefault"); }
|
|
|
|
|
|
|
|
protected:
|
|
|
|
const llvm::Record *Def;
|
|
|
|
};
|
|
|
|
|
|
|
|
// Wrapper class that contains a Directive's information defined in
|
|
|
|
// DirectiveBase.td and provides helper methods for accessing it.
|
|
|
|
class Directive : public BaseRecord {
|
|
|
|
public:
|
|
|
|
explicit Directive(const llvm::Record *Def) : BaseRecord(Def) {}
|
|
|
|
|
|
|
|
std::vector<Record *> getAllowedClauses() const {
|
|
|
|
return Def->getValueAsListOfDefs("allowedClauses");
|
|
|
|
}
|
|
|
|
|
|
|
|
std::vector<Record *> getAllowedOnceClauses() const {
|
|
|
|
return Def->getValueAsListOfDefs("allowedOnceClauses");
|
|
|
|
}
|
|
|
|
|
|
|
|
std::vector<Record *> getAllowedExclusiveClauses() const {
|
|
|
|
return Def->getValueAsListOfDefs("allowedExclusiveClauses");
|
|
|
|
}
|
|
|
|
|
|
|
|
std::vector<Record *> getRequiredClauses() const {
|
|
|
|
return Def->getValueAsListOfDefs("requiredClauses");
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
// Wrapper class that contains Clause's information defined in DirectiveBase.td
|
|
|
|
// and provides helper methods for accessing it.
|
|
|
|
class Clause : public BaseRecord {
|
|
|
|
public:
|
|
|
|
explicit Clause(const llvm::Record *Def) : BaseRecord(Def) {}
|
|
|
|
|
|
|
|
// Optional field.
|
|
|
|
StringRef getClangClass() const {
|
|
|
|
return Def->getValueAsString("clangClass");
|
|
|
|
}
|
|
|
|
|
|
|
|
// Optional field.
|
|
|
|
StringRef getFlangClass() const {
|
|
|
|
return Def->getValueAsString("flangClass");
|
|
|
|
}
|
|
|
|
|
2020-08-11 16:43:56 +02:00
|
|
|
// Optional field.
|
|
|
|
StringRef getFlangClassValue() const {
|
|
|
|
return Def->getValueAsString("flangClassValue");
|
|
|
|
}
|
|
|
|
|
|
|
|
// Get the formatted name for Flang parser class. The generic formatted class
|
|
|
|
// name is constructed from the name were the first letter of each word is
|
|
|
|
// captitalized and the underscores are removed.
|
|
|
|
// ex: async -> Async
|
|
|
|
// num_threads -> NumThreads
|
|
|
|
std::string getFormattedParserClassName() {
|
|
|
|
StringRef Name = Def->getValueAsString("name");
|
|
|
|
std::string N = Name.str();
|
|
|
|
bool Cap = true;
|
|
|
|
std::transform(N.begin(), N.end(), N.begin(), [&Cap](unsigned char C) {
|
|
|
|
if (Cap == true) {
|
|
|
|
C = llvm::toUpper(C);
|
|
|
|
Cap = false;
|
|
|
|
} else if (C == '_') {
|
|
|
|
Cap = true;
|
|
|
|
}
|
|
|
|
return C;
|
|
|
|
});
|
|
|
|
N.erase(std::remove(N.begin(), N.end(), '_'), N.end());
|
|
|
|
return N;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool isValueOptional() const { return Def->getValueAsBit("isValueOptional"); }
|
|
|
|
|
2020-07-29 02:45:21 +02:00
|
|
|
bool isImplict() const { return Def->getValueAsBit("isImplicit"); }
|
|
|
|
};
|
|
|
|
|
|
|
|
// Wrapper class that contains VersionedClause's information defined in
|
|
|
|
// DirectiveBase.td and provides helper methods for accessing it.
|
|
|
|
class VersionedClause {
|
|
|
|
public:
|
|
|
|
explicit VersionedClause(const llvm::Record *Def) : Def(Def) {}
|
|
|
|
|
|
|
|
// Return the specific clause record wrapped in the Clause class.
|
|
|
|
Clause getClause() const { return Clause{Def->getValueAsDef("clause")}; }
|
|
|
|
|
|
|
|
int64_t getMinVersion() const { return Def->getValueAsInt("minVersion"); }
|
|
|
|
|
|
|
|
int64_t getMaxVersion() const { return Def->getValueAsInt("maxVersion"); }
|
|
|
|
|
|
|
|
private:
|
|
|
|
const llvm::Record *Def;
|
|
|
|
};
|
2020-07-07 04:19:43 +02:00
|
|
|
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
// Generate enum class
|
|
|
|
void GenerateEnumClass(const std::vector<Record *> &Records, raw_ostream &OS,
|
2020-07-29 02:45:21 +02:00
|
|
|
StringRef Enum, StringRef Prefix,
|
|
|
|
DirectiveLanguage &DirLang) {
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
OS << "\n";
|
|
|
|
OS << "enum class " << Enum << " {\n";
|
|
|
|
for (const auto &R : Records) {
|
2020-07-29 02:45:21 +02:00
|
|
|
BaseRecord Rec{R};
|
|
|
|
OS << " " << Prefix << Rec.getFormattedName() << ",\n";
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
}
|
|
|
|
OS << "};\n";
|
|
|
|
OS << "\n";
|
|
|
|
OS << "static constexpr std::size_t " << Enum
|
|
|
|
<< "_enumSize = " << Records.size() << ";\n";
|
|
|
|
|
|
|
|
// Make the enum values available in the defined namespace. This allows us to
|
|
|
|
// write something like Enum_X if we have a `using namespace <CppNamespace>`.
|
|
|
|
// At the same time we do not loose the strong type guarantees of the enum
|
|
|
|
// class, that is we cannot pass an unsigned as Directive without an explicit
|
|
|
|
// cast.
|
2020-07-29 02:45:21 +02:00
|
|
|
if (DirLang.hasMakeEnumAvailableInNamespace()) {
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
OS << "\n";
|
|
|
|
for (const auto &R : Records) {
|
2020-07-29 02:45:21 +02:00
|
|
|
BaseRecord Rec{R};
|
|
|
|
OS << "constexpr auto " << Prefix << Rec.getFormattedName() << " = "
|
|
|
|
<< "llvm::" << DirLang.getCppNamespace() << "::" << Enum
|
|
|
|
<< "::" << Prefix << Rec.getFormattedName() << ";\n";
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Generate the declaration section for the enumeration in the directive
|
|
|
|
// language
|
|
|
|
void EmitDirectivesDecl(RecordKeeper &Records, raw_ostream &OS) {
|
[openmp] Base of tablegen generated OpenMP common declaration
Summary:
As discussed previously when landing patch for OpenMP in Flang, the idea is
to share common part of the OpenMP declaration between the different Frontend.
While doing this it was thought that moving to tablegen instead of Macros will also
give a cleaner and more powerful way of generating these declaration.
This first part of a future series of patches is setting up the base .td file for
DirectiveLanguage as well as the OpenMP version of it. The base file is meant to
be used by other directive language such as OpenACC.
In this first patch, the Directive and Clause enums are generated with tablegen
instead of the macros on OMPConstants.h. The next pacth will extend this
to other enum and move the Flang frontend to use it.
Reviewers: jdoerfert, DavidTruby, fghanim, ABataev, jdenny, hfinkel, jhuber6, kiranchandramohan, kiranktp
Reviewed By: jdoerfert, jdenny
Subscribers: arphaman, martong, cfe-commits, mgorny, yaxunl, hiraditya, guansong, jfb, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm, #openmp, #clang
Differential Revision: https://reviews.llvm.org/D81736
2020-06-23 15:29:50 +02:00
|
|
|
|
|
|
|
const auto &DirectiveLanguages =
|
|
|
|
Records.getAllDerivedDefinitions("DirectiveLanguage");
|
|
|
|
|
|
|
|
if (DirectiveLanguages.size() != 1) {
|
|
|
|
PrintError("A single definition of DirectiveLanguage is needed.");
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2020-07-29 02:45:21 +02:00
|
|
|
DirectiveLanguage DirLang{DirectiveLanguages[0]};
|
|
|
|
|
|
|
|
OS << "#ifndef LLVM_" << DirLang.getName() << "_INC\n";
|
|
|
|
OS << "#define LLVM_" << DirLang.getName() << "_INC\n";
|
|
|
|
|
|
|
|
if (DirLang.hasEnableBitmaskEnumInNamespace())
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
OS << "\n#include \"llvm/ADT/BitmaskEnum.h\"\n";
|
[openmp] Base of tablegen generated OpenMP common declaration
Summary:
As discussed previously when landing patch for OpenMP in Flang, the idea is
to share common part of the OpenMP declaration between the different Frontend.
While doing this it was thought that moving to tablegen instead of Macros will also
give a cleaner and more powerful way of generating these declaration.
This first part of a future series of patches is setting up the base .td file for
DirectiveLanguage as well as the OpenMP version of it. The base file is meant to
be used by other directive language such as OpenACC.
In this first patch, the Directive and Clause enums are generated with tablegen
instead of the macros on OMPConstants.h. The next pacth will extend this
to other enum and move the Flang frontend to use it.
Reviewers: jdoerfert, DavidTruby, fghanim, ABataev, jdenny, hfinkel, jhuber6, kiranchandramohan, kiranktp
Reviewed By: jdoerfert, jdenny
Subscribers: arphaman, martong, cfe-commits, mgorny, yaxunl, hiraditya, guansong, jfb, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm, #openmp, #clang
Differential Revision: https://reviews.llvm.org/D81736
2020-06-23 15:29:50 +02:00
|
|
|
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
OS << "\n";
|
[openmp] Base of tablegen generated OpenMP common declaration
Summary:
As discussed previously when landing patch for OpenMP in Flang, the idea is
to share common part of the OpenMP declaration between the different Frontend.
While doing this it was thought that moving to tablegen instead of Macros will also
give a cleaner and more powerful way of generating these declaration.
This first part of a future series of patches is setting up the base .td file for
DirectiveLanguage as well as the OpenMP version of it. The base file is meant to
be used by other directive language such as OpenACC.
In this first patch, the Directive and Clause enums are generated with tablegen
instead of the macros on OMPConstants.h. The next pacth will extend this
to other enum and move the Flang frontend to use it.
Reviewers: jdoerfert, DavidTruby, fghanim, ABataev, jdenny, hfinkel, jhuber6, kiranchandramohan, kiranktp
Reviewed By: jdoerfert, jdenny
Subscribers: arphaman, martong, cfe-commits, mgorny, yaxunl, hiraditya, guansong, jfb, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm, #openmp, #clang
Differential Revision: https://reviews.llvm.org/D81736
2020-06-23 15:29:50 +02:00
|
|
|
OS << "namespace llvm {\n";
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
OS << "class StringRef;\n";
|
[openmp] Base of tablegen generated OpenMP common declaration
Summary:
As discussed previously when landing patch for OpenMP in Flang, the idea is
to share common part of the OpenMP declaration between the different Frontend.
While doing this it was thought that moving to tablegen instead of Macros will also
give a cleaner and more powerful way of generating these declaration.
This first part of a future series of patches is setting up the base .td file for
DirectiveLanguage as well as the OpenMP version of it. The base file is meant to
be used by other directive language such as OpenACC.
In this first patch, the Directive and Clause enums are generated with tablegen
instead of the macros on OMPConstants.h. The next pacth will extend this
to other enum and move the Flang frontend to use it.
Reviewers: jdoerfert, DavidTruby, fghanim, ABataev, jdenny, hfinkel, jhuber6, kiranchandramohan, kiranktp
Reviewed By: jdoerfert, jdenny
Subscribers: arphaman, martong, cfe-commits, mgorny, yaxunl, hiraditya, guansong, jfb, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm, #openmp, #clang
Differential Revision: https://reviews.llvm.org/D81736
2020-06-23 15:29:50 +02:00
|
|
|
|
|
|
|
// Open namespaces defined in the directive language
|
|
|
|
llvm::SmallVector<StringRef, 2> Namespaces;
|
2020-07-29 02:45:21 +02:00
|
|
|
llvm::SplitString(DirLang.getCppNamespace(), Namespaces, "::");
|
[openmp] Base of tablegen generated OpenMP common declaration
Summary:
As discussed previously when landing patch for OpenMP in Flang, the idea is
to share common part of the OpenMP declaration between the different Frontend.
While doing this it was thought that moving to tablegen instead of Macros will also
give a cleaner and more powerful way of generating these declaration.
This first part of a future series of patches is setting up the base .td file for
DirectiveLanguage as well as the OpenMP version of it. The base file is meant to
be used by other directive language such as OpenACC.
In this first patch, the Directive and Clause enums are generated with tablegen
instead of the macros on OMPConstants.h. The next pacth will extend this
to other enum and move the Flang frontend to use it.
Reviewers: jdoerfert, DavidTruby, fghanim, ABataev, jdenny, hfinkel, jhuber6, kiranchandramohan, kiranktp
Reviewed By: jdoerfert, jdenny
Subscribers: arphaman, martong, cfe-commits, mgorny, yaxunl, hiraditya, guansong, jfb, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm, #openmp, #clang
Differential Revision: https://reviews.llvm.org/D81736
2020-06-23 15:29:50 +02:00
|
|
|
for (auto Ns : Namespaces)
|
|
|
|
OS << "namespace " << Ns << " {\n";
|
|
|
|
|
2020-07-29 02:45:21 +02:00
|
|
|
if (DirLang.hasEnableBitmaskEnumInNamespace())
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
OS << "\nLLVM_ENABLE_BITMASK_ENUMS_IN_NAMESPACE();\n";
|
[openmp] Base of tablegen generated OpenMP common declaration
Summary:
As discussed previously when landing patch for OpenMP in Flang, the idea is
to share common part of the OpenMP declaration between the different Frontend.
While doing this it was thought that moving to tablegen instead of Macros will also
give a cleaner and more powerful way of generating these declaration.
This first part of a future series of patches is setting up the base .td file for
DirectiveLanguage as well as the OpenMP version of it. The base file is meant to
be used by other directive language such as OpenACC.
In this first patch, the Directive and Clause enums are generated with tablegen
instead of the macros on OMPConstants.h. The next pacth will extend this
to other enum and move the Flang frontend to use it.
Reviewers: jdoerfert, DavidTruby, fghanim, ABataev, jdenny, hfinkel, jhuber6, kiranchandramohan, kiranktp
Reviewed By: jdoerfert, jdenny
Subscribers: arphaman, martong, cfe-commits, mgorny, yaxunl, hiraditya, guansong, jfb, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm, #openmp, #clang
Differential Revision: https://reviews.llvm.org/D81736
2020-06-23 15:29:50 +02:00
|
|
|
|
|
|
|
// Emit Directive enumeration
|
|
|
|
const auto &Directives = Records.getAllDerivedDefinitions("Directive");
|
2020-07-29 02:45:21 +02:00
|
|
|
GenerateEnumClass(Directives, OS, "Directive", DirLang.getDirectivePrefix(),
|
|
|
|
DirLang);
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
|
|
|
|
// Emit Clause enumeration
|
|
|
|
const auto &Clauses = Records.getAllDerivedDefinitions("Clause");
|
2020-07-29 02:45:21 +02:00
|
|
|
GenerateEnumClass(Clauses, OS, "Clause", DirLang.getClausePrefix(), DirLang);
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
|
|
|
|
// Generic function signatures
|
|
|
|
OS << "\n";
|
|
|
|
OS << "// Enumeration helper functions\n";
|
2020-07-29 02:45:21 +02:00
|
|
|
OS << "Directive get" << DirLang.getName()
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
<< "DirectiveKind(llvm::StringRef Str);\n";
|
|
|
|
OS << "\n";
|
2020-07-29 02:45:21 +02:00
|
|
|
OS << "llvm::StringRef get" << DirLang.getName()
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
<< "DirectiveName(Directive D);\n";
|
|
|
|
OS << "\n";
|
2020-07-29 02:45:21 +02:00
|
|
|
OS << "Clause get" << DirLang.getName()
|
|
|
|
<< "ClauseKind(llvm::StringRef Str);\n";
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
OS << "\n";
|
2020-07-29 02:45:21 +02:00
|
|
|
OS << "llvm::StringRef get" << DirLang.getName() << "ClauseName(Clause C);\n";
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
OS << "\n";
|
2020-07-07 04:19:43 +02:00
|
|
|
OS << "/// Return true if \\p C is a valid clause for \\p D in version \\p "
|
|
|
|
<< "Version.\n";
|
|
|
|
OS << "bool isAllowedClauseForDirective(Directive D, "
|
|
|
|
<< "Clause C, unsigned Version);\n";
|
|
|
|
OS << "\n";
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
|
|
|
|
// Closing namespaces
|
|
|
|
for (auto Ns : llvm::reverse(Namespaces))
|
|
|
|
OS << "} // namespace " << Ns << "\n";
|
|
|
|
|
|
|
|
OS << "} // namespace llvm\n";
|
|
|
|
|
2020-07-29 02:45:21 +02:00
|
|
|
OS << "#endif // LLVM_" << DirLang.getName() << "_INC\n";
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
// Generate function implementation for get<Enum>Name(StringRef Str)
|
|
|
|
void GenerateGetName(const std::vector<Record *> &Records, raw_ostream &OS,
|
2020-07-29 02:45:21 +02:00
|
|
|
StringRef Enum, DirectiveLanguage &DirLang,
|
|
|
|
StringRef Prefix) {
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
OS << "\n";
|
2020-07-29 02:45:21 +02:00
|
|
|
OS << "llvm::StringRef llvm::" << DirLang.getCppNamespace() << "::get"
|
|
|
|
<< DirLang.getName() << Enum << "Name(" << Enum << " Kind) {\n";
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
OS << " switch (Kind) {\n";
|
|
|
|
for (const auto &R : Records) {
|
2020-07-29 02:45:21 +02:00
|
|
|
BaseRecord Rec{R};
|
|
|
|
OS << " case " << Prefix << Rec.getFormattedName() << ":\n";
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
OS << " return \"";
|
2020-07-29 02:45:21 +02:00
|
|
|
if (Rec.getAlternativeName().empty())
|
|
|
|
OS << Rec.getName();
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
else
|
2020-07-29 02:45:21 +02:00
|
|
|
OS << Rec.getAlternativeName();
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
OS << "\";\n";
|
[openmp] Base of tablegen generated OpenMP common declaration
Summary:
As discussed previously when landing patch for OpenMP in Flang, the idea is
to share common part of the OpenMP declaration between the different Frontend.
While doing this it was thought that moving to tablegen instead of Macros will also
give a cleaner and more powerful way of generating these declaration.
This first part of a future series of patches is setting up the base .td file for
DirectiveLanguage as well as the OpenMP version of it. The base file is meant to
be used by other directive language such as OpenACC.
In this first patch, the Directive and Clause enums are generated with tablegen
instead of the macros on OMPConstants.h. The next pacth will extend this
to other enum and move the Flang frontend to use it.
Reviewers: jdoerfert, DavidTruby, fghanim, ABataev, jdenny, hfinkel, jhuber6, kiranchandramohan, kiranktp
Reviewed By: jdoerfert, jdenny
Subscribers: arphaman, martong, cfe-commits, mgorny, yaxunl, hiraditya, guansong, jfb, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm, #openmp, #clang
Differential Revision: https://reviews.llvm.org/D81736
2020-06-23 15:29:50 +02:00
|
|
|
}
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
OS << " }\n"; // switch
|
2020-07-29 02:45:21 +02:00
|
|
|
OS << " llvm_unreachable(\"Invalid " << DirLang.getName() << " " << Enum
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
<< " kind\");\n";
|
|
|
|
OS << "}\n";
|
|
|
|
}
|
[openmp] Base of tablegen generated OpenMP common declaration
Summary:
As discussed previously when landing patch for OpenMP in Flang, the idea is
to share common part of the OpenMP declaration between the different Frontend.
While doing this it was thought that moving to tablegen instead of Macros will also
give a cleaner and more powerful way of generating these declaration.
This first part of a future series of patches is setting up the base .td file for
DirectiveLanguage as well as the OpenMP version of it. The base file is meant to
be used by other directive language such as OpenACC.
In this first patch, the Directive and Clause enums are generated with tablegen
instead of the macros on OMPConstants.h. The next pacth will extend this
to other enum and move the Flang frontend to use it.
Reviewers: jdoerfert, DavidTruby, fghanim, ABataev, jdenny, hfinkel, jhuber6, kiranchandramohan, kiranktp
Reviewed By: jdoerfert, jdenny
Subscribers: arphaman, martong, cfe-commits, mgorny, yaxunl, hiraditya, guansong, jfb, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm, #openmp, #clang
Differential Revision: https://reviews.llvm.org/D81736
2020-06-23 15:29:50 +02:00
|
|
|
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
// Generate function implementation for get<Enum>Kind(StringRef Str)
|
|
|
|
void GenerateGetKind(const std::vector<Record *> &Records, raw_ostream &OS,
|
2020-07-29 02:45:21 +02:00
|
|
|
StringRef Enum, DirectiveLanguage &DirLang,
|
|
|
|
StringRef Prefix, bool ImplicitAsUnknown) {
|
[openmp] Base of tablegen generated OpenMP common declaration
Summary:
As discussed previously when landing patch for OpenMP in Flang, the idea is
to share common part of the OpenMP declaration between the different Frontend.
While doing this it was thought that moving to tablegen instead of Macros will also
give a cleaner and more powerful way of generating these declaration.
This first part of a future series of patches is setting up the base .td file for
DirectiveLanguage as well as the OpenMP version of it. The base file is meant to
be used by other directive language such as OpenACC.
In this first patch, the Directive and Clause enums are generated with tablegen
instead of the macros on OMPConstants.h. The next pacth will extend this
to other enum and move the Flang frontend to use it.
Reviewers: jdoerfert, DavidTruby, fghanim, ABataev, jdenny, hfinkel, jhuber6, kiranchandramohan, kiranktp
Reviewed By: jdoerfert, jdenny
Subscribers: arphaman, martong, cfe-commits, mgorny, yaxunl, hiraditya, guansong, jfb, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm, #openmp, #clang
Differential Revision: https://reviews.llvm.org/D81736
2020-06-23 15:29:50 +02:00
|
|
|
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
auto DefaultIt = std::find_if(Records.begin(), Records.end(), [](Record *R) {
|
|
|
|
return R->getValueAsBit("isDefault") == true;
|
|
|
|
});
|
|
|
|
|
|
|
|
if (DefaultIt == Records.end()) {
|
|
|
|
PrintError("A least one " + Enum + " must be defined as default.");
|
|
|
|
return;
|
[openmp] Base of tablegen generated OpenMP common declaration
Summary:
As discussed previously when landing patch for OpenMP in Flang, the idea is
to share common part of the OpenMP declaration between the different Frontend.
While doing this it was thought that moving to tablegen instead of Macros will also
give a cleaner and more powerful way of generating these declaration.
This first part of a future series of patches is setting up the base .td file for
DirectiveLanguage as well as the OpenMP version of it. The base file is meant to
be used by other directive language such as OpenACC.
In this first patch, the Directive and Clause enums are generated with tablegen
instead of the macros on OMPConstants.h. The next pacth will extend this
to other enum and move the Flang frontend to use it.
Reviewers: jdoerfert, DavidTruby, fghanim, ABataev, jdenny, hfinkel, jhuber6, kiranchandramohan, kiranktp
Reviewed By: jdoerfert, jdenny
Subscribers: arphaman, martong, cfe-commits, mgorny, yaxunl, hiraditya, guansong, jfb, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm, #openmp, #clang
Differential Revision: https://reviews.llvm.org/D81736
2020-06-23 15:29:50 +02:00
|
|
|
}
|
|
|
|
|
2020-07-29 02:45:21 +02:00
|
|
|
BaseRecord DefaultRec{(*DefaultIt)};
|
[openmp] Base of tablegen generated OpenMP common declaration
Summary:
As discussed previously when landing patch for OpenMP in Flang, the idea is
to share common part of the OpenMP declaration between the different Frontend.
While doing this it was thought that moving to tablegen instead of Macros will also
give a cleaner and more powerful way of generating these declaration.
This first part of a future series of patches is setting up the base .td file for
DirectiveLanguage as well as the OpenMP version of it. The base file is meant to
be used by other directive language such as OpenACC.
In this first patch, the Directive and Clause enums are generated with tablegen
instead of the macros on OMPConstants.h. The next pacth will extend this
to other enum and move the Flang frontend to use it.
Reviewers: jdoerfert, DavidTruby, fghanim, ABataev, jdenny, hfinkel, jhuber6, kiranchandramohan, kiranktp
Reviewed By: jdoerfert, jdenny
Subscribers: arphaman, martong, cfe-commits, mgorny, yaxunl, hiraditya, guansong, jfb, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm, #openmp, #clang
Differential Revision: https://reviews.llvm.org/D81736
2020-06-23 15:29:50 +02:00
|
|
|
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
OS << "\n";
|
2020-07-29 02:45:21 +02:00
|
|
|
OS << Enum << " llvm::" << DirLang.getCppNamespace() << "::get"
|
|
|
|
<< DirLang.getName() << Enum << "Kind(llvm::StringRef Str) {\n";
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
OS << " return llvm::StringSwitch<" << Enum << ">(Str)\n";
|
[openmp] Base of tablegen generated OpenMP common declaration
Summary:
As discussed previously when landing patch for OpenMP in Flang, the idea is
to share common part of the OpenMP declaration between the different Frontend.
While doing this it was thought that moving to tablegen instead of Macros will also
give a cleaner and more powerful way of generating these declaration.
This first part of a future series of patches is setting up the base .td file for
DirectiveLanguage as well as the OpenMP version of it. The base file is meant to
be used by other directive language such as OpenACC.
In this first patch, the Directive and Clause enums are generated with tablegen
instead of the macros on OMPConstants.h. The next pacth will extend this
to other enum and move the Flang frontend to use it.
Reviewers: jdoerfert, DavidTruby, fghanim, ABataev, jdenny, hfinkel, jhuber6, kiranchandramohan, kiranktp
Reviewed By: jdoerfert, jdenny
Subscribers: arphaman, martong, cfe-commits, mgorny, yaxunl, hiraditya, guansong, jfb, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm, #openmp, #clang
Differential Revision: https://reviews.llvm.org/D81736
2020-06-23 15:29:50 +02:00
|
|
|
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
for (const auto &R : Records) {
|
2020-07-29 02:45:21 +02:00
|
|
|
BaseRecord Rec{R};
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
if (ImplicitAsUnknown && R->getValueAsBit("isImplicit")) {
|
2020-07-29 02:45:21 +02:00
|
|
|
OS << " .Case(\"" << Rec.getName() << "\"," << Prefix
|
|
|
|
<< DefaultRec.getFormattedName() << ")\n";
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
} else {
|
2020-07-29 02:45:21 +02:00
|
|
|
OS << " .Case(\"" << Rec.getName() << "\"," << Prefix
|
|
|
|
<< Rec.getFormattedName() << ")\n";
|
[openmp] Base of tablegen generated OpenMP common declaration
Summary:
As discussed previously when landing patch for OpenMP in Flang, the idea is
to share common part of the OpenMP declaration between the different Frontend.
While doing this it was thought that moving to tablegen instead of Macros will also
give a cleaner and more powerful way of generating these declaration.
This first part of a future series of patches is setting up the base .td file for
DirectiveLanguage as well as the OpenMP version of it. The base file is meant to
be used by other directive language such as OpenACC.
In this first patch, the Directive and Clause enums are generated with tablegen
instead of the macros on OMPConstants.h. The next pacth will extend this
to other enum and move the Flang frontend to use it.
Reviewers: jdoerfert, DavidTruby, fghanim, ABataev, jdenny, hfinkel, jhuber6, kiranchandramohan, kiranktp
Reviewed By: jdoerfert, jdenny
Subscribers: arphaman, martong, cfe-commits, mgorny, yaxunl, hiraditya, guansong, jfb, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm, #openmp, #clang
Differential Revision: https://reviews.llvm.org/D81736
2020-06-23 15:29:50 +02:00
|
|
|
}
|
|
|
|
}
|
2020-07-29 02:45:21 +02:00
|
|
|
OS << " .Default(" << Prefix << DefaultRec.getFormattedName() << ");\n";
|
2020-07-07 04:19:43 +02:00
|
|
|
OS << "}\n";
|
|
|
|
}
|
|
|
|
|
2020-07-09 01:54:34 +02:00
|
|
|
void GenerateCaseForVersionedClauses(const std::vector<Record *> &Clauses,
|
|
|
|
raw_ostream &OS, StringRef DirectiveName,
|
2020-07-29 02:45:21 +02:00
|
|
|
DirectiveLanguage &DirLang,
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
llvm::StringSet<> &Cases) {
|
2020-07-07 04:19:43 +02:00
|
|
|
for (const auto &C : Clauses) {
|
2020-07-29 02:45:21 +02:00
|
|
|
VersionedClause VerClause{C};
|
|
|
|
|
|
|
|
const auto ClauseFormattedName = VerClause.getClause().getFormattedName();
|
|
|
|
|
|
|
|
if (Cases.find(ClauseFormattedName) == Cases.end()) {
|
|
|
|
Cases.insert(ClauseFormattedName);
|
|
|
|
OS << " case " << DirLang.getClausePrefix() << ClauseFormattedName
|
|
|
|
<< ":\n";
|
|
|
|
OS << " return " << VerClause.getMinVersion()
|
|
|
|
<< " <= Version && " << VerClause.getMaxVersion() << " >= Version;\n";
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
}
|
2020-07-07 04:19:43 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Generate the isAllowedClauseForDirective function implementation.
|
|
|
|
void GenerateIsAllowedClause(const std::vector<Record *> &Directives,
|
2020-07-29 02:45:21 +02:00
|
|
|
raw_ostream &OS, DirectiveLanguage &DirLang) {
|
2020-07-07 04:19:43 +02:00
|
|
|
OS << "\n";
|
2020-07-29 02:45:21 +02:00
|
|
|
OS << "bool llvm::" << DirLang.getCppNamespace()
|
|
|
|
<< "::isAllowedClauseForDirective("
|
2020-07-07 04:19:43 +02:00
|
|
|
<< "Directive D, Clause C, unsigned Version) {\n";
|
2020-07-29 02:45:21 +02:00
|
|
|
OS << " assert(unsigned(D) <= llvm::" << DirLang.getCppNamespace()
|
2020-07-07 04:19:43 +02:00
|
|
|
<< "::Directive_enumSize);\n";
|
2020-07-29 02:45:21 +02:00
|
|
|
OS << " assert(unsigned(C) <= llvm::" << DirLang.getCppNamespace()
|
2020-07-07 04:19:43 +02:00
|
|
|
<< "::Clause_enumSize);\n";
|
|
|
|
|
2020-07-09 01:54:34 +02:00
|
|
|
OS << " switch (D) {\n";
|
|
|
|
|
2020-07-07 04:19:43 +02:00
|
|
|
for (const auto &D : Directives) {
|
2020-07-29 02:45:21 +02:00
|
|
|
Directive Dir{D};
|
2020-07-09 01:54:34 +02:00
|
|
|
|
2020-07-29 02:45:21 +02:00
|
|
|
OS << " case " << DirLang.getDirectivePrefix() << Dir.getFormattedName()
|
2020-07-09 01:54:34 +02:00
|
|
|
<< ":\n";
|
2020-07-29 02:45:21 +02:00
|
|
|
if (Dir.getAllowedClauses().size() == 0 &&
|
|
|
|
Dir.getAllowedOnceClauses().size() == 0 &&
|
|
|
|
Dir.getAllowedExclusiveClauses().size() == 0 &&
|
|
|
|
Dir.getRequiredClauses().size() == 0) {
|
2020-07-11 02:57:00 +02:00
|
|
|
OS << " return false;\n";
|
|
|
|
} else {
|
|
|
|
OS << " switch (C) {\n";
|
2020-07-09 01:54:34 +02:00
|
|
|
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
llvm::StringSet<> Cases;
|
|
|
|
|
2020-07-29 02:45:21 +02:00
|
|
|
GenerateCaseForVersionedClauses(Dir.getAllowedClauses(), OS,
|
|
|
|
Dir.getName(), DirLang, Cases);
|
2020-07-07 04:19:43 +02:00
|
|
|
|
2020-07-29 02:45:21 +02:00
|
|
|
GenerateCaseForVersionedClauses(Dir.getAllowedOnceClauses(), OS,
|
|
|
|
Dir.getName(), DirLang, Cases);
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
|
2020-07-29 02:45:21 +02:00
|
|
|
GenerateCaseForVersionedClauses(Dir.getAllowedExclusiveClauses(), OS,
|
|
|
|
Dir.getName(), DirLang, Cases);
|
2020-07-07 04:19:43 +02:00
|
|
|
|
2020-07-29 02:45:21 +02:00
|
|
|
GenerateCaseForVersionedClauses(Dir.getRequiredClauses(), OS,
|
|
|
|
Dir.getName(), DirLang, Cases);
|
2020-07-09 01:54:34 +02:00
|
|
|
|
2020-07-11 02:57:00 +02:00
|
|
|
OS << " default:\n";
|
|
|
|
OS << " return false;\n";
|
|
|
|
OS << " }\n"; // End of clauses switch
|
|
|
|
}
|
2020-07-09 01:54:34 +02:00
|
|
|
OS << " break;\n";
|
2020-07-07 04:19:43 +02:00
|
|
|
}
|
2020-07-09 01:54:34 +02:00
|
|
|
|
|
|
|
OS << " }\n"; // End of directives switch
|
2020-07-29 02:45:21 +02:00
|
|
|
OS << " llvm_unreachable(\"Invalid " << DirLang.getName()
|
2020-07-09 01:54:34 +02:00
|
|
|
<< " Directive kind\");\n";
|
|
|
|
OS << "}\n"; // End of function isAllowedClauseForDirective
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
}
|
[openmp] Base of tablegen generated OpenMP common declaration
Summary:
As discussed previously when landing patch for OpenMP in Flang, the idea is
to share common part of the OpenMP declaration between the different Frontend.
While doing this it was thought that moving to tablegen instead of Macros will also
give a cleaner and more powerful way of generating these declaration.
This first part of a future series of patches is setting up the base .td file for
DirectiveLanguage as well as the OpenMP version of it. The base file is meant to
be used by other directive language such as OpenACC.
In this first patch, the Directive and Clause enums are generated with tablegen
instead of the macros on OMPConstants.h. The next pacth will extend this
to other enum and move the Flang frontend to use it.
Reviewers: jdoerfert, DavidTruby, fghanim, ABataev, jdenny, hfinkel, jhuber6, kiranchandramohan, kiranktp
Reviewed By: jdoerfert, jdenny
Subscribers: arphaman, martong, cfe-commits, mgorny, yaxunl, hiraditya, guansong, jfb, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm, #openmp, #clang
Differential Revision: https://reviews.llvm.org/D81736
2020-06-23 15:29:50 +02:00
|
|
|
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
// Generate a simple enum set with the give clauses.
|
|
|
|
void GenerateClauseSet(const std::vector<Record *> &Clauses, raw_ostream &OS,
|
2020-07-29 02:45:21 +02:00
|
|
|
StringRef ClauseSetPrefix, Directive &Dir,
|
|
|
|
DirectiveLanguage &DirLang) {
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
|
|
|
|
OS << "\n";
|
2020-07-29 02:45:21 +02:00
|
|
|
OS << " static " << DirLang.getClauseEnumSetClass() << " " << ClauseSetPrefix
|
|
|
|
<< DirLang.getDirectivePrefix() << Dir.getFormattedName() << " {\n";
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
|
|
|
|
for (const auto &C : Clauses) {
|
2020-07-29 02:45:21 +02:00
|
|
|
VersionedClause VerClause{C};
|
|
|
|
OS << " llvm::" << DirLang.getCppNamespace()
|
|
|
|
<< "::Clause::" << DirLang.getClausePrefix()
|
|
|
|
<< VerClause.getClause().getFormattedName() << ",\n";
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
}
|
|
|
|
OS << " };\n";
|
|
|
|
}
|
|
|
|
|
|
|
|
// Generate an enum set for the 4 kinds of clauses linked to a directive.
|
|
|
|
void GenerateDirectiveClauseSets(const std::vector<Record *> &Directives,
|
2020-07-29 02:45:21 +02:00
|
|
|
raw_ostream &OS, DirectiveLanguage &DirLang) {
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
|
|
|
|
IfDefScope Scope("GEN_FLANG_DIRECTIVE_CLAUSE_SETS", OS);
|
|
|
|
|
|
|
|
OS << "\n";
|
|
|
|
OS << "namespace llvm {\n";
|
|
|
|
|
|
|
|
// Open namespaces defined in the directive language.
|
|
|
|
llvm::SmallVector<StringRef, 2> Namespaces;
|
2020-07-29 02:45:21 +02:00
|
|
|
llvm::SplitString(DirLang.getCppNamespace(), Namespaces, "::");
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
for (auto Ns : Namespaces)
|
|
|
|
OS << "namespace " << Ns << " {\n";
|
|
|
|
|
|
|
|
for (const auto &D : Directives) {
|
2020-07-29 02:45:21 +02:00
|
|
|
Directive Dir{D};
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
|
|
|
|
OS << "\n";
|
2020-07-29 02:45:21 +02:00
|
|
|
OS << " // Sets for " << Dir.getName() << "\n";
|
|
|
|
|
|
|
|
GenerateClauseSet(Dir.getAllowedClauses(), OS, "allowedClauses_", Dir,
|
|
|
|
DirLang);
|
|
|
|
GenerateClauseSet(Dir.getAllowedOnceClauses(), OS, "allowedOnceClauses_",
|
|
|
|
Dir, DirLang);
|
|
|
|
GenerateClauseSet(Dir.getAllowedExclusiveClauses(), OS,
|
|
|
|
"allowedExclusiveClauses_", Dir, DirLang);
|
|
|
|
GenerateClauseSet(Dir.getRequiredClauses(), OS, "requiredClauses_", Dir,
|
|
|
|
DirLang);
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
// Closing namespaces
|
|
|
|
for (auto Ns : llvm::reverse(Namespaces))
|
|
|
|
OS << "} // namespace " << Ns << "\n";
|
|
|
|
|
|
|
|
OS << "} // namespace llvm\n";
|
|
|
|
}
|
|
|
|
|
|
|
|
// Generate a map of directive (key) with DirectiveClauses struct as values.
|
|
|
|
// The struct holds the 4 sets of enumeration for the 4 kinds of clauses
|
|
|
|
// allowances (allowed, allowed once, allowed exclusive and required).
|
|
|
|
void GenerateDirectiveClauseMap(const std::vector<Record *> &Directives,
|
2020-07-29 02:45:21 +02:00
|
|
|
raw_ostream &OS, DirectiveLanguage &DirLang) {
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
|
|
|
|
IfDefScope Scope("GEN_FLANG_DIRECTIVE_CLAUSE_MAP", OS);
|
|
|
|
|
|
|
|
OS << "\n";
|
2020-08-05 20:20:26 +02:00
|
|
|
OS << "{\n";
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
|
|
|
|
for (const auto &D : Directives) {
|
2020-07-29 02:45:21 +02:00
|
|
|
Directive Dir{D};
|
|
|
|
OS << " {llvm::" << DirLang.getCppNamespace()
|
|
|
|
<< "::Directive::" << DirLang.getDirectivePrefix()
|
|
|
|
<< Dir.getFormattedName() << ",\n";
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
OS << " {\n";
|
2020-07-29 02:45:21 +02:00
|
|
|
OS << " llvm::" << DirLang.getCppNamespace() << "::allowedClauses_"
|
|
|
|
<< DirLang.getDirectivePrefix() << Dir.getFormattedName() << ",\n";
|
|
|
|
OS << " llvm::" << DirLang.getCppNamespace() << "::allowedOnceClauses_"
|
|
|
|
<< DirLang.getDirectivePrefix() << Dir.getFormattedName() << ",\n";
|
|
|
|
OS << " llvm::" << DirLang.getCppNamespace()
|
|
|
|
<< "::allowedExclusiveClauses_" << DirLang.getDirectivePrefix()
|
|
|
|
<< Dir.getFormattedName() << ",\n";
|
|
|
|
OS << " llvm::" << DirLang.getCppNamespace() << "::requiredClauses_"
|
|
|
|
<< DirLang.getDirectivePrefix() << Dir.getFormattedName() << ",\n";
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
OS << " }\n";
|
|
|
|
OS << " },\n";
|
|
|
|
}
|
|
|
|
|
2020-08-05 20:20:26 +02:00
|
|
|
OS << "}\n";
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
}
|
|
|
|
|
2020-08-11 16:43:56 +02:00
|
|
|
// Generate classes entry for Flang clauses in the Flang parse-tree
|
|
|
|
// If the clause as a non-generic class, no entry is generated.
|
|
|
|
// If the clause does not hold a value, an EMPTY_CLASS is used.
|
|
|
|
// If the clause class is generic then a WRAPPER_CLASS is used. When the value
|
|
|
|
// is optional, the value class is wrapped into a std::optional.
|
|
|
|
void GenerateFlangClauseParserClass(const std::vector<Record *> &Clauses,
|
|
|
|
raw_ostream &OS) {
|
|
|
|
|
|
|
|
IfDefScope Scope("GEN_FLANG_CLAUSE_PARSER_CLASSES", OS);
|
|
|
|
|
|
|
|
OS << "\n";
|
|
|
|
|
|
|
|
for (const auto &C : Clauses) {
|
|
|
|
Clause Clause{C};
|
|
|
|
// Clause has a non generic class.
|
|
|
|
if (!Clause.getFlangClass().empty())
|
|
|
|
continue;
|
|
|
|
// G
|
|
|
|
if (!Clause.getFlangClassValue().empty()) {
|
|
|
|
if (Clause.isValueOptional()) {
|
|
|
|
OS << "WRAPPER_CLASS(" << Clause.getFormattedParserClassName()
|
|
|
|
<< ", std::optional<" << Clause.getFlangClassValue() << ">);\n";
|
|
|
|
} else {
|
|
|
|
OS << "WRAPPER_CLASS(" << Clause.getFormattedParserClassName() << ", "
|
|
|
|
<< Clause.getFlangClassValue() << ");\n";
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
OS << "EMPTY_CLASS(" << Clause.getFormattedParserClassName() << ");\n";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Generate a list of the different clause classes for Flang.
|
|
|
|
void GenerateFlangClauseParserClassList(const std::vector<Record *> &Clauses,
|
|
|
|
raw_ostream &OS) {
|
|
|
|
|
|
|
|
IfDefScope Scope("GEN_FLANG_CLAUSE_PARSER_CLASSES_LIST", OS);
|
|
|
|
|
|
|
|
OS << "\n";
|
|
|
|
llvm::interleaveComma(Clauses, OS, [&](Record *C) {
|
|
|
|
Clause Clause{C};
|
|
|
|
if (Clause.getFlangClass().empty())
|
|
|
|
OS << Clause.getFormattedParserClassName() << "\n";
|
|
|
|
else
|
|
|
|
OS << Clause.getFlangClass() << "\n";
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
|
|
|
// Generate dump node list for the clauses holding a generic class name.
|
|
|
|
void GenerateFlangClauseDump(const std::vector<Record *> &Clauses,
|
|
|
|
const DirectiveLanguage &DirLang,
|
|
|
|
raw_ostream &OS) {
|
|
|
|
|
|
|
|
IfDefScope Scope("GEN_FLANG_DUMP_PARSE_TREE_CLAUSES", OS);
|
|
|
|
|
|
|
|
OS << "\n";
|
|
|
|
for (const auto &C : Clauses) {
|
|
|
|
Clause Clause{C};
|
|
|
|
// Clause has a non generic class.
|
|
|
|
if (!Clause.getFlangClass().empty())
|
|
|
|
continue;
|
|
|
|
|
|
|
|
OS << "NODE(" << DirLang.getFlangClauseBaseClass() << ", "
|
|
|
|
<< Clause.getFormattedParserClassName() << ")\n";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
// Generate the implemenation section for the enumeration in the directive
|
|
|
|
// language
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
void EmitDirectivesFlangImpl(const std::vector<Record *> &Directives,
|
2020-08-11 16:43:56 +02:00
|
|
|
const std::vector<Record *> &Clauses,
|
2020-07-29 02:45:21 +02:00
|
|
|
raw_ostream &OS,
|
|
|
|
DirectiveLanguage &DirectiveLanguage) {
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
|
2020-07-29 02:45:21 +02:00
|
|
|
GenerateDirectiveClauseSets(Directives, OS, DirectiveLanguage);
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
|
2020-07-29 02:45:21 +02:00
|
|
|
GenerateDirectiveClauseMap(Directives, OS, DirectiveLanguage);
|
2020-08-11 16:43:56 +02:00
|
|
|
|
|
|
|
GenerateFlangClauseParserClass(Clauses, OS);
|
|
|
|
|
|
|
|
GenerateFlangClauseParserClassList(Clauses, OS);
|
|
|
|
|
|
|
|
GenerateFlangClauseDump(Clauses, DirectiveLanguage, OS);
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
// Generate the implemenation section for the enumeration in the directive
|
|
|
|
// language.
|
|
|
|
void EmitDirectivesGen(RecordKeeper &Records, raw_ostream &OS) {
|
[openmp] Base of tablegen generated OpenMP common declaration
Summary:
As discussed previously when landing patch for OpenMP in Flang, the idea is
to share common part of the OpenMP declaration between the different Frontend.
While doing this it was thought that moving to tablegen instead of Macros will also
give a cleaner and more powerful way of generating these declaration.
This first part of a future series of patches is setting up the base .td file for
DirectiveLanguage as well as the OpenMP version of it. The base file is meant to
be used by other directive language such as OpenACC.
In this first patch, the Directive and Clause enums are generated with tablegen
instead of the macros on OMPConstants.h. The next pacth will extend this
to other enum and move the Flang frontend to use it.
Reviewers: jdoerfert, DavidTruby, fghanim, ABataev, jdenny, hfinkel, jhuber6, kiranchandramohan, kiranktp
Reviewed By: jdoerfert, jdenny
Subscribers: arphaman, martong, cfe-commits, mgorny, yaxunl, hiraditya, guansong, jfb, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm, #openmp, #clang
Differential Revision: https://reviews.llvm.org/D81736
2020-06-23 15:29:50 +02:00
|
|
|
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
const auto &DirectiveLanguages =
|
|
|
|
Records.getAllDerivedDefinitions("DirectiveLanguage");
|
[openmp] Base of tablegen generated OpenMP common declaration
Summary:
As discussed previously when landing patch for OpenMP in Flang, the idea is
to share common part of the OpenMP declaration between the different Frontend.
While doing this it was thought that moving to tablegen instead of Macros will also
give a cleaner and more powerful way of generating these declaration.
This first part of a future series of patches is setting up the base .td file for
DirectiveLanguage as well as the OpenMP version of it. The base file is meant to
be used by other directive language such as OpenACC.
In this first patch, the Directive and Clause enums are generated with tablegen
instead of the macros on OMPConstants.h. The next pacth will extend this
to other enum and move the Flang frontend to use it.
Reviewers: jdoerfert, DavidTruby, fghanim, ABataev, jdenny, hfinkel, jhuber6, kiranchandramohan, kiranktp
Reviewed By: jdoerfert, jdenny
Subscribers: arphaman, martong, cfe-commits, mgorny, yaxunl, hiraditya, guansong, jfb, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm, #openmp, #clang
Differential Revision: https://reviews.llvm.org/D81736
2020-06-23 15:29:50 +02:00
|
|
|
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
if (DirectiveLanguages.size() != 1) {
|
|
|
|
PrintError("A single definition of DirectiveLanguage is needed.");
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
const auto &Directives = Records.getAllDerivedDefinitions("Directive");
|
2020-08-11 16:43:56 +02:00
|
|
|
const auto &Clauses = Records.getAllDerivedDefinitions("Clause");
|
2020-07-29 02:45:21 +02:00
|
|
|
DirectiveLanguage DirectiveLanguage{DirectiveLanguages[0]};
|
2020-08-11 16:43:56 +02:00
|
|
|
EmitDirectivesFlangImpl(Directives, Clauses, OS, DirectiveLanguage);
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
// Generate the implemenation for the enumeration in the directive
|
|
|
|
// language. This code can be included in library.
|
|
|
|
void EmitDirectivesImpl(RecordKeeper &Records, raw_ostream &OS) {
|
|
|
|
|
|
|
|
const auto &DirectiveLanguages =
|
|
|
|
Records.getAllDerivedDefinitions("DirectiveLanguage");
|
|
|
|
|
|
|
|
if (DirectiveLanguages.size() != 1) {
|
|
|
|
PrintError("A single definition of DirectiveLanguage is needed.");
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
const auto &Directives = Records.getAllDerivedDefinitions("Directive");
|
|
|
|
|
2020-07-29 02:45:21 +02:00
|
|
|
DirectiveLanguage DirLang = DirectiveLanguage{DirectiveLanguages[0]};
|
|
|
|
|
|
|
|
const auto &Clauses = Records.getAllDerivedDefinitions("Clause");
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
|
2020-07-29 02:45:21 +02:00
|
|
|
if (!DirLang.getIncludeHeader().empty())
|
|
|
|
OS << "#include \"" << DirLang.getIncludeHeader() << "\"\n\n";
|
2020-07-11 02:11:11 +02:00
|
|
|
|
|
|
|
OS << "#include \"llvm/ADT/StringRef.h\"\n";
|
|
|
|
OS << "#include \"llvm/ADT/StringSwitch.h\"\n";
|
[flang][openacc] OpenACC 3.0 parser
Summary:
This patch introduce the parser for OpenACC 3.0 in Flang. It uses the same TableGen mechanism
than OpenMP.
Reviewers: nvdatian, sscalpone, tskeith, klausler, ichoyjx, jdoerfert, DavidTruby
Reviewed By: klausler
Subscribers: MaskRay, SouraVX, mgorny, hiraditya, jfb, sstefan1, llvm-commits
Tags: #llvm, #flang
Differential Revision: https://reviews.llvm.org/D83649
2020-07-14 20:28:34 +02:00
|
|
|
OS << "#include \"llvm/Support/ErrorHandling.h\"\n";
|
2020-07-11 02:11:11 +02:00
|
|
|
OS << "\n";
|
|
|
|
OS << "using namespace llvm;\n";
|
|
|
|
llvm::SmallVector<StringRef, 2> Namespaces;
|
2020-07-29 02:45:21 +02:00
|
|
|
llvm::SplitString(DirLang.getCppNamespace(), Namespaces, "::");
|
2020-07-11 02:11:11 +02:00
|
|
|
for (auto Ns : Namespaces)
|
|
|
|
OS << "using namespace " << Ns << ";\n";
|
|
|
|
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
// getDirectiveKind(StringRef Str)
|
2020-07-29 02:45:21 +02:00
|
|
|
GenerateGetKind(Directives, OS, "Directive", DirLang,
|
|
|
|
DirLang.getDirectivePrefix(), /*ImplicitAsUnknown=*/false);
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
|
|
|
|
// getDirectiveName(Directive Kind)
|
2020-07-29 02:45:21 +02:00
|
|
|
GenerateGetName(Directives, OS, "Directive", DirLang,
|
|
|
|
DirLang.getDirectivePrefix());
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
|
|
|
|
// getClauseKind(StringRef Str)
|
2020-07-29 02:45:21 +02:00
|
|
|
GenerateGetKind(Clauses, OS, "Clause", DirLang, DirLang.getClausePrefix(),
|
|
|
|
/*ImplicitAsUnknown=*/true);
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
|
|
|
|
// getClauseName(Clause Kind)
|
2020-07-29 02:45:21 +02:00
|
|
|
GenerateGetName(Clauses, OS, "Clause", DirLang, DirLang.getClausePrefix());
|
2020-07-07 04:19:43 +02:00
|
|
|
|
[flang][openmp] Check clauses allowed semantic with tablegen generated map
Summary:
This patch is enabling the generation of clauses enum sets for semantics check in Flang through
tablegen. Enum sets and directive - sets map is generated by the new tablegen infrsatructure for OpenMP
and other directive languages.
The semantic checks for OpenMP are modified to use this newly generated map.
Reviewers: DavidTruby, sscalpone, kiranchandramohan, ichoyjx, jdoerfert
Reviewed By: DavidTruby, ichoyjx
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D83326
2020-07-11 18:42:05 +02:00
|
|
|
// isAllowedClauseForDirective(Directive D, Clause C, unsigned Version)
|
2020-07-29 02:45:21 +02:00
|
|
|
GenerateIsAllowedClause(Directives, OS, DirLang);
|
[openmp] Base of tablegen generated OpenMP common declaration
Summary:
As discussed previously when landing patch for OpenMP in Flang, the idea is
to share common part of the OpenMP declaration between the different Frontend.
While doing this it was thought that moving to tablegen instead of Macros will also
give a cleaner and more powerful way of generating these declaration.
This first part of a future series of patches is setting up the base .td file for
DirectiveLanguage as well as the OpenMP version of it. The base file is meant to
be used by other directive language such as OpenACC.
In this first patch, the Directive and Clause enums are generated with tablegen
instead of the macros on OMPConstants.h. The next pacth will extend this
to other enum and move the Flang frontend to use it.
Reviewers: jdoerfert, DavidTruby, fghanim, ABataev, jdenny, hfinkel, jhuber6, kiranchandramohan, kiranktp
Reviewed By: jdoerfert, jdenny
Subscribers: arphaman, martong, cfe-commits, mgorny, yaxunl, hiraditya, guansong, jfb, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm, #openmp, #clang
Differential Revision: https://reviews.llvm.org/D81736
2020-06-23 15:29:50 +02:00
|
|
|
}
|
[openmp] Move Directive and Clause helper function to tablegen
Summary:
Follow up to D81736. Move getOpenMPDirectiveKind, getOpenMPClauseKind, getOpenMPDirectiveName and
getOpenMPClauseName to the new tablegen code generation. The code is generated in a new file named OMP.cpp.inc
Reviewers: jdoerfert, jdenny, thakis
Reviewed By: jdoerfert, jdenny
Subscribers: mgorny, yaxunl, hiraditya, guansong, sstefan1, llvm-commits, thakis
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D82405
2020-06-30 20:36:37 +02:00
|
|
|
|
[openmp] Base of tablegen generated OpenMP common declaration
Summary:
As discussed previously when landing patch for OpenMP in Flang, the idea is
to share common part of the OpenMP declaration between the different Frontend.
While doing this it was thought that moving to tablegen instead of Macros will also
give a cleaner and more powerful way of generating these declaration.
This first part of a future series of patches is setting up the base .td file for
DirectiveLanguage as well as the OpenMP version of it. The base file is meant to
be used by other directive language such as OpenACC.
In this first patch, the Directive and Clause enums are generated with tablegen
instead of the macros on OMPConstants.h. The next pacth will extend this
to other enum and move the Flang frontend to use it.
Reviewers: jdoerfert, DavidTruby, fghanim, ABataev, jdenny, hfinkel, jhuber6, kiranchandramohan, kiranktp
Reviewed By: jdoerfert, jdenny
Subscribers: arphaman, martong, cfe-commits, mgorny, yaxunl, hiraditya, guansong, jfb, sstefan1, aaron.ballman, llvm-commits
Tags: #llvm, #openmp, #clang
Differential Revision: https://reviews.llvm.org/D81736
2020-06-23 15:29:50 +02:00
|
|
|
} // namespace llvm
|