[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
//=== ClangOpcodesEmitter.cpp - constexpr interpreter opcodes ---*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// These tablegen backends emit Clang AST node tables
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2019-10-01 23:12:57 +00:00
|
|
|
#include "TableGenBackends.h"
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
#include "llvm/TableGen/Error.h"
|
|
|
|
#include "llvm/TableGen/Record.h"
|
|
|
|
#include "llvm/TableGen/StringMatcher.h"
|
|
|
|
#include "llvm/TableGen/TableGenBackend.h"
|
|
|
|
|
|
|
|
using namespace llvm;
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
class ClangOpcodesEmitter {
|
|
|
|
RecordKeeper &Records;
|
|
|
|
Record Root;
|
|
|
|
unsigned NumTypes;
|
|
|
|
|
|
|
|
public:
|
|
|
|
ClangOpcodesEmitter(RecordKeeper &R)
|
|
|
|
: Records(R), Root("Opcode", SMLoc(), R),
|
|
|
|
NumTypes(Records.getAllDerivedDefinitions("Type").size()) {}
|
|
|
|
|
|
|
|
void run(raw_ostream &OS);
|
|
|
|
|
|
|
|
private:
|
|
|
|
/// Emits the opcode name for the opcode enum.
|
|
|
|
/// The name is obtained by concatenating the name with the list of types.
|
|
|
|
void EmitEnum(raw_ostream &OS, StringRef N, Record *R);
|
|
|
|
|
|
|
|
/// Emits the switch case and the invocation in the interpreter.
|
|
|
|
void EmitInterp(raw_ostream &OS, StringRef N, Record *R);
|
|
|
|
|
|
|
|
/// Emits the disassembler.
|
|
|
|
void EmitDisasm(raw_ostream &OS, StringRef N, Record *R);
|
|
|
|
|
|
|
|
/// Emits the byte code emitter method.
|
|
|
|
void EmitEmitter(raw_ostream &OS, StringRef N, Record *R);
|
|
|
|
|
|
|
|
/// Emits the prototype.
|
|
|
|
void EmitProto(raw_ostream &OS, StringRef N, Record *R);
|
|
|
|
|
|
|
|
/// Emits the prototype to dispatch from a type.
|
|
|
|
void EmitGroup(raw_ostream &OS, StringRef N, Record *R);
|
|
|
|
|
|
|
|
/// Emits the evaluator method.
|
|
|
|
void EmitEval(raw_ostream &OS, StringRef N, Record *R);
|
|
|
|
|
|
|
|
void PrintTypes(raw_ostream &OS, ArrayRef<Record *> Types);
|
|
|
|
};
|
|
|
|
|
|
|
|
void Enumerate(const Record *R,
|
|
|
|
StringRef N,
|
|
|
|
std::function<void(ArrayRef<Record *>, Twine)> &&F) {
|
|
|
|
llvm::SmallVector<Record *, 2> TypePath;
|
|
|
|
auto *Types = R->getValueAsListInit("Types");
|
|
|
|
|
|
|
|
std::function<void(size_t, const Twine &)> Rec;
|
|
|
|
Rec = [&TypePath, Types, &Rec, &F](size_t I, const Twine &ID) {
|
|
|
|
if (I >= Types->size()) {
|
|
|
|
F(TypePath, ID);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (auto *TypeClass = dyn_cast<DefInit>(Types->getElement(I))) {
|
|
|
|
for (auto *Type : TypeClass->getDef()->getValueAsListOfDefs("Types")) {
|
|
|
|
TypePath.push_back(Type);
|
|
|
|
Rec(I + 1, ID + Type->getName());
|
|
|
|
TypePath.pop_back();
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
PrintFatalError("Expected a type class");
|
|
|
|
}
|
|
|
|
};
|
|
|
|
Rec(0, N);
|
|
|
|
}
|
|
|
|
|
|
|
|
} // namespace
|
|
|
|
|
|
|
|
void ClangOpcodesEmitter::run(raw_ostream &OS) {
|
|
|
|
for (auto *Opcode : Records.getAllDerivedDefinitions(Root.getName())) {
|
|
|
|
// The name is the record name, unless overriden.
|
|
|
|
StringRef N = Opcode->getValueAsString("Name");
|
|
|
|
if (N.empty())
|
|
|
|
N = Opcode->getName();
|
|
|
|
|
|
|
|
EmitEnum(OS, N, Opcode);
|
|
|
|
EmitInterp(OS, N, Opcode);
|
|
|
|
EmitDisasm(OS, N, Opcode);
|
|
|
|
EmitProto(OS, N, Opcode);
|
|
|
|
EmitGroup(OS, N, Opcode);
|
|
|
|
EmitEmitter(OS, N, Opcode);
|
|
|
|
EmitEval(OS, N, Opcode);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void ClangOpcodesEmitter::EmitEnum(raw_ostream &OS, StringRef N, Record *R) {
|
|
|
|
OS << "#ifdef GET_OPCODE_NAMES\n";
|
|
|
|
Enumerate(R, N, [&OS](ArrayRef<Record *>, const Twine &ID) {
|
|
|
|
OS << "OP_" << ID << ",\n";
|
|
|
|
});
|
|
|
|
OS << "#endif\n";
|
|
|
|
}
|
|
|
|
|
|
|
|
void ClangOpcodesEmitter::EmitInterp(raw_ostream &OS, StringRef N, Record *R) {
|
|
|
|
OS << "#ifdef GET_INTERP\n";
|
|
|
|
|
|
|
|
Enumerate(R, N, [this, R, &OS, &N](ArrayRef<Record *> TS, const Twine &ID) {
|
|
|
|
bool CanReturn = R->getValueAsBit("CanReturn");
|
|
|
|
bool ChangesPC = R->getValueAsBit("ChangesPC");
|
|
|
|
auto Args = R->getValueAsListOfDefs("Args");
|
|
|
|
|
|
|
|
OS << "case OP_" << ID << ": {\n";
|
|
|
|
|
|
|
|
// Emit calls to read arguments.
|
|
|
|
for (size_t I = 0, N = Args.size(); I < N; ++I) {
|
2021-02-27 01:26:26 +00:00
|
|
|
OS << " auto V" << I;
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
OS << " = ";
|
[Clang interpreter] Avoid storing pointers at unaligned locations
The Clang interpreter's bytecode uses a packed stream of bytes
representation, but also wants to have some opcodes take pointers as
arguments, which are currently embedded in the bytecode directly.
However, CHERI, and thus Arm's upcoming experimental Morello prototype,
provide spatial memory safety for C/C++ by implementing language-level
(and sub-language-level) pointers as capabilities, which track bounds,
permissions and validity in hardware. This uses tagged memory with a
single tag bit at every capability-aligned address, and so storing
pointers to unaligned addresses results in the tag being stripped,
leading to a tag fault when the pointer is ultimately dereferenced at a
later point.
In order to support a stricter C/C++ implementation like CHERI, we no
longer store pointers directly in the bytecode, instead storing them in
a table and embedding the index in the bytecode.
Reviewed By: nand
Differential Revision: https://reviews.llvm.org/D97606
2021-07-28 14:49:37 +01:00
|
|
|
OS << "ReadArg<" << Args[I]->getValueAsString("Name") << ">(S, PC);\n";
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Emit a call to the template method and pass arguments.
|
2021-02-27 01:26:26 +00:00
|
|
|
OS << " if (!" << N;
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
PrintTypes(OS, TS);
|
|
|
|
OS << "(S";
|
|
|
|
if (ChangesPC)
|
|
|
|
OS << ", PC";
|
|
|
|
else
|
|
|
|
OS << ", OpPC";
|
|
|
|
if (CanReturn)
|
|
|
|
OS << ", Result";
|
|
|
|
for (size_t I = 0, N = Args.size(); I < N; ++I)
|
|
|
|
OS << ", V" << I;
|
|
|
|
OS << "))\n";
|
2021-02-27 01:26:26 +00:00
|
|
|
OS << " return false;\n";
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
|
|
|
|
// Bail out if interpreter returned.
|
|
|
|
if (CanReturn) {
|
2021-02-27 01:26:26 +00:00
|
|
|
OS << " if (!S.Current || S.Current->isRoot())\n";
|
|
|
|
OS << " return true;\n";
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
}
|
|
|
|
|
2021-02-27 01:26:26 +00:00
|
|
|
OS << " continue;\n";
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
OS << "}\n";
|
|
|
|
});
|
|
|
|
OS << "#endif\n";
|
|
|
|
}
|
|
|
|
|
|
|
|
void ClangOpcodesEmitter::EmitDisasm(raw_ostream &OS, StringRef N, Record *R) {
|
|
|
|
OS << "#ifdef GET_DISASM\n";
|
|
|
|
Enumerate(R, N, [R, &OS](ArrayRef<Record *>, const Twine &ID) {
|
|
|
|
OS << "case OP_" << ID << ":\n";
|
2021-02-27 01:26:26 +00:00
|
|
|
OS << " PrintName(\"" << ID << "\");\n";
|
|
|
|
OS << " OS << \"\\t\"";
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
|
[Clang interpreter] Avoid storing pointers at unaligned locations
The Clang interpreter's bytecode uses a packed stream of bytes
representation, but also wants to have some opcodes take pointers as
arguments, which are currently embedded in the bytecode directly.
However, CHERI, and thus Arm's upcoming experimental Morello prototype,
provide spatial memory safety for C/C++ by implementing language-level
(and sub-language-level) pointers as capabilities, which track bounds,
permissions and validity in hardware. This uses tagged memory with a
single tag bit at every capability-aligned address, and so storing
pointers to unaligned addresses results in the tag being stripped,
leading to a tag fault when the pointer is ultimately dereferenced at a
later point.
In order to support a stricter C/C++ implementation like CHERI, we no
longer store pointers directly in the bytecode, instead storing them in
a table and embedding the index in the bytecode.
Reviewed By: nand
Differential Revision: https://reviews.llvm.org/D97606
2021-07-28 14:49:37 +01:00
|
|
|
for (auto *Arg : R->getValueAsListOfDefs("Args")) {
|
|
|
|
OS << " << ReadArg<" << Arg->getValueAsString("Name") << ">(P, PC)";
|
|
|
|
OS << " << \" \"";
|
|
|
|
}
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
|
2021-02-27 01:26:26 +00:00
|
|
|
OS << " << \"\\n\";\n";
|
|
|
|
OS << " continue;\n";
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
});
|
|
|
|
OS << "#endif\n";
|
|
|
|
}
|
|
|
|
|
|
|
|
void ClangOpcodesEmitter::EmitEmitter(raw_ostream &OS, StringRef N, Record *R) {
|
|
|
|
if (R->getValueAsBit("HasCustomLink"))
|
|
|
|
return;
|
|
|
|
|
|
|
|
OS << "#ifdef GET_LINK_IMPL\n";
|
|
|
|
Enumerate(R, N, [R, &OS](ArrayRef<Record *>, const Twine &ID) {
|
|
|
|
auto Args = R->getValueAsListOfDefs("Args");
|
|
|
|
|
|
|
|
// Emit the list of arguments.
|
|
|
|
OS << "bool ByteCodeEmitter::emit" << ID << "(";
|
|
|
|
for (size_t I = 0, N = Args.size(); I < N; ++I)
|
2021-02-27 01:26:26 +00:00
|
|
|
OS << Args[I]->getValueAsString("Name") << " A" << I << ", ";
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
OS << "const SourceInfo &L) {\n";
|
|
|
|
|
|
|
|
// Emit a call to write the opcodes.
|
2021-02-27 01:26:26 +00:00
|
|
|
OS << " return emitOp<";
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
for (size_t I = 0, N = Args.size(); I < N; ++I) {
|
|
|
|
if (I != 0)
|
|
|
|
OS << ", ";
|
|
|
|
OS << Args[I]->getValueAsString("Name");
|
|
|
|
}
|
|
|
|
OS << ">(OP_" << ID;
|
|
|
|
for (size_t I = 0, N = Args.size(); I < N; ++I)
|
|
|
|
OS << ", A" << I;
|
|
|
|
OS << ", L);\n";
|
|
|
|
OS << "}\n";
|
|
|
|
});
|
|
|
|
OS << "#endif\n";
|
|
|
|
}
|
|
|
|
|
|
|
|
void ClangOpcodesEmitter::EmitProto(raw_ostream &OS, StringRef N, Record *R) {
|
|
|
|
OS << "#if defined(GET_EVAL_PROTO) || defined(GET_LINK_PROTO)\n";
|
|
|
|
auto Args = R->getValueAsListOfDefs("Args");
|
|
|
|
Enumerate(R, N, [&OS, &Args](ArrayRef<Record *> TS, const Twine &ID) {
|
|
|
|
OS << "bool emit" << ID << "(";
|
|
|
|
for (auto *Arg : Args)
|
|
|
|
OS << Arg->getValueAsString("Name") << ", ";
|
|
|
|
OS << "const SourceInfo &);\n";
|
|
|
|
});
|
|
|
|
|
|
|
|
// Emit a template method for custom emitters to have less to implement.
|
|
|
|
auto TypeCount = R->getValueAsListInit("Types")->size();
|
|
|
|
if (R->getValueAsBit("HasCustomEval") && TypeCount) {
|
|
|
|
OS << "#if defined(GET_EVAL_PROTO)\n";
|
|
|
|
OS << "template<";
|
|
|
|
for (size_t I = 0; I < TypeCount; ++I) {
|
|
|
|
if (I != 0)
|
|
|
|
OS << ", ";
|
|
|
|
OS << "PrimType";
|
|
|
|
}
|
|
|
|
OS << ">\n";
|
|
|
|
OS << "bool emit" << N << "(";
|
|
|
|
for (auto *Arg : Args)
|
|
|
|
OS << Arg->getValueAsString("Name") << ", ";
|
|
|
|
OS << "const SourceInfo &);\n";
|
|
|
|
OS << "#endif\n";
|
|
|
|
}
|
|
|
|
|
|
|
|
OS << "#endif\n";
|
|
|
|
}
|
|
|
|
|
|
|
|
void ClangOpcodesEmitter::EmitGroup(raw_ostream &OS, StringRef N, Record *R) {
|
|
|
|
if (!R->getValueAsBit("HasGroup"))
|
|
|
|
return;
|
|
|
|
|
|
|
|
auto *Types = R->getValueAsListInit("Types");
|
|
|
|
auto Args = R->getValueAsListOfDefs("Args");
|
|
|
|
|
|
|
|
// Emit the prototype of the group emitter in the header.
|
|
|
|
OS << "#if defined(GET_EVAL_PROTO) || defined(GET_LINK_PROTO)\n";
|
|
|
|
OS << "bool emit" << N << "(";
|
|
|
|
for (size_t I = 0, N = Types->size(); I < N; ++I)
|
|
|
|
OS << "PrimType, ";
|
|
|
|
for (auto *Arg : Args)
|
|
|
|
OS << Arg->getValueAsString("Name") << ", ";
|
|
|
|
OS << "const SourceInfo &I);\n";
|
|
|
|
OS << "#endif\n";
|
|
|
|
|
|
|
|
// Emit the dispatch implementation in the source.
|
|
|
|
OS << "#if defined(GET_EVAL_IMPL) || defined(GET_LINK_IMPL)\n";
|
2021-02-27 01:26:26 +00:00
|
|
|
OS << "bool\n";
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
OS << "#if defined(GET_EVAL_IMPL)\n";
|
|
|
|
OS << "EvalEmitter\n";
|
|
|
|
OS << "#else\n";
|
|
|
|
OS << "ByteCodeEmitter\n";
|
|
|
|
OS << "#endif\n";
|
|
|
|
OS << "::emit" << N << "(";
|
|
|
|
for (size_t I = 0, N = Types->size(); I < N; ++I)
|
|
|
|
OS << "PrimType T" << I << ", ";
|
|
|
|
for (size_t I = 0, N = Args.size(); I < N; ++I)
|
|
|
|
OS << Args[I]->getValueAsString("Name") << " A" << I << ", ";
|
|
|
|
OS << "const SourceInfo &I) {\n";
|
|
|
|
|
|
|
|
std::function<void(size_t, const Twine &)> Rec;
|
|
|
|
llvm::SmallVector<Record *, 2> TS;
|
|
|
|
Rec = [this, &Rec, &OS, Types, &Args, R, &TS, N](size_t I, const Twine &ID) {
|
|
|
|
if (I >= Types->size()) {
|
|
|
|
// Print a call to the emitter method.
|
|
|
|
// Custom evaluator methods dispatch to template methods.
|
|
|
|
if (R->getValueAsBit("HasCustomEval")) {
|
|
|
|
OS << "#ifdef GET_LINK_IMPL\n";
|
2021-02-27 01:26:26 +00:00
|
|
|
OS << " return emit" << ID << "\n";
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
OS << "#else\n";
|
2021-02-27 01:26:26 +00:00
|
|
|
OS << " return emit" << N;
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
PrintTypes(OS, TS);
|
|
|
|
OS << "\n#endif\n";
|
2021-02-27 01:26:26 +00:00
|
|
|
OS << " ";
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
} else {
|
2021-02-27 01:26:26 +00:00
|
|
|
OS << " return emit" << ID;
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
OS << "(";
|
|
|
|
for (size_t I = 0; I < Args.size(); ++I) {
|
|
|
|
OS << "A" << I << ", ";
|
|
|
|
}
|
|
|
|
OS << "I);\n";
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Print a switch statement selecting T.
|
|
|
|
if (auto *TypeClass = dyn_cast<DefInit>(Types->getElement(I))) {
|
2021-02-27 01:26:26 +00:00
|
|
|
OS << " switch (T" << I << ") {\n";
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
auto Cases = TypeClass->getDef()->getValueAsListOfDefs("Types");
|
|
|
|
for (auto *Case : Cases) {
|
2021-02-27 01:26:26 +00:00
|
|
|
OS << " case PT_" << Case->getName() << ":\n";
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
TS.push_back(Case);
|
|
|
|
Rec(I + 1, ID + Case->getName());
|
|
|
|
TS.pop_back();
|
|
|
|
}
|
|
|
|
// Emit a default case if not all types are present.
|
|
|
|
if (Cases.size() < NumTypes)
|
2021-02-27 01:26:26 +00:00
|
|
|
OS << " default: llvm_unreachable(\"invalid type\");\n";
|
|
|
|
OS << " }\n";
|
|
|
|
OS << " llvm_unreachable(\"invalid enum value\");\n";
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
} else {
|
|
|
|
PrintFatalError("Expected a type class");
|
|
|
|
}
|
|
|
|
};
|
|
|
|
Rec(0, N);
|
|
|
|
|
|
|
|
OS << "}\n";
|
|
|
|
OS << "#endif\n";
|
|
|
|
}
|
|
|
|
|
|
|
|
void ClangOpcodesEmitter::EmitEval(raw_ostream &OS, StringRef N, Record *R) {
|
|
|
|
if (R->getValueAsBit("HasCustomEval"))
|
|
|
|
return;
|
|
|
|
|
|
|
|
OS << "#ifdef GET_EVAL_IMPL\n";
|
|
|
|
Enumerate(R, N, [this, R, &N, &OS](ArrayRef<Record *> TS, const Twine &ID) {
|
|
|
|
auto Args = R->getValueAsListOfDefs("Args");
|
|
|
|
|
|
|
|
OS << "bool EvalEmitter::emit" << ID << "(";
|
|
|
|
for (size_t I = 0, N = Args.size(); I < N; ++I)
|
2021-02-27 01:26:26 +00:00
|
|
|
OS << Args[I]->getValueAsString("Name") << " A" << I << ", ";
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
OS << "const SourceInfo &L) {\n";
|
2021-02-27 01:26:26 +00:00
|
|
|
OS << " if (!isActive()) return true;\n";
|
|
|
|
OS << " CurrentSource = L;\n";
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
|
2021-02-27 01:26:26 +00:00
|
|
|
OS << " return " << N;
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
PrintTypes(OS, TS);
|
|
|
|
OS << "(S, OpPC";
|
|
|
|
for (size_t I = 0, N = Args.size(); I < N; ++I)
|
|
|
|
OS << ", A" << I;
|
|
|
|
OS << ");\n";
|
|
|
|
OS << "}\n";
|
|
|
|
});
|
|
|
|
|
|
|
|
OS << "#endif\n";
|
|
|
|
}
|
|
|
|
|
|
|
|
void ClangOpcodesEmitter::PrintTypes(raw_ostream &OS, ArrayRef<Record *> Types) {
|
|
|
|
if (Types.empty())
|
|
|
|
return;
|
|
|
|
OS << "<";
|
|
|
|
for (size_t I = 0, N = Types.size(); I < N; ++I) {
|
|
|
|
if (I != 0)
|
|
|
|
OS << ", ";
|
|
|
|
OS << "PT_" << Types[I]->getName();
|
|
|
|
}
|
|
|
|
OS << ">";
|
|
|
|
}
|
|
|
|
|
2019-10-01 23:12:57 +00:00
|
|
|
void clang::EmitClangOpcodes(RecordKeeper &Records, raw_ostream &OS) {
|
[Clang Interpreter] Initial patch for the constexpr interpreter
Summary:
This patch introduces the skeleton of the constexpr interpreter,
capable of evaluating a simple constexpr functions consisting of
if statements. The interpreter is described in more detail in the
RFC. Further patches will add more features.
Reviewers: Bigcheese, jfb, rsmith
Subscribers: bruno, uenoku, ldionne, Tyker, thegameg, tschuett, dexonsmith, mgorny, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D64146
llvm-svn: 371834
2019-09-13 09:46:16 +00:00
|
|
|
ClangOpcodesEmitter(Records).run(OS);
|
|
|
|
}
|