1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
|
// SPDX-License-Identifier: GPL-3.0-or-later
#include "TableGenBackends.h"
#include <cstddef>
#include <cstdint>
#include <sstream>
#include <string>
#include <string_view>
namespace rcc::targetgen {
namespace {
void emitInstruction(std::ostream &Output, std::string_view Opcode, std::uint32_t OperandIndex = 0,
std::uint32_t Value = 0, std::uint32_t Auxiliary = 0,
std::int64_t Immediate = 0, std::string_view Symbol = {}) {
Output << " {GIMatchTableOpcode::" << Opcode << ", " << OperandIndex << ", " << Value << ", "
<< Auxiliary << ", " << Immediate << ", ";
appendQuoted(Output, Symbol);
Output << "},\n";
}
[[nodiscard]] std::size_t instructionCount(const NormalizedCombinerRule &Rule) noexcept {
std::size_t Count = 2U + (Rule.ResultType ? 1U : 0U) + Rule.OperandTypes.size() +
Rule.TargetPredicates.size() + Rule.InstructionFlags.size() +
(Rule.Action.ClearInstructionFlags != 0 ? 1U : 0U) +
Rule.EraseOperandDefinitions.size();
for (const NormalizedSelectionDefUsePredicate &DefUse : Rule.DefUsePredicates)
Count += 1U + DefUse.Captures.size() + DefUse.OperandDefConstants.size();
Count += Rule.Action.Kind == NormalizedCombinerActionKind::ReplaceRootWithCapturedOperand
? 1U
: 1U + Rule.Action.OperandRenderers.size();
return Count;
}
} // namespace
std::string emitGlobalISelCombiner(const NormalizedTargetModel &Model,
std::string_view SourceName) {
std::size_t InstructionCount = 0;
std::size_t ConstantRangeCount = 0;
for (const NormalizedCombinerRule &Rule : Model.CombinerRules) {
InstructionCount += instructionCount(Rule);
for (const NormalizedSelectionDefUsePredicate &DefUse : Rule.DefUsePredicates)
for (const NormalizedSelectionOperandDefConstantPredicate &Predicate :
DefUse.OperandDefConstants)
ConstantRangeCount += Predicate.Ranges.size();
}
std::ostringstream Output;
Output << "// SPDX-License-Identifier: GPL-3.0-or-later\n\n";
Output << "// This file is generated by rcc-tblgen from ";
appendQuoted(Output, SourceName);
Output << ". Do not edit it manually.\n\n";
Output << "#ifdef GET_GLOBALISEL_COMBINER_TABLE\n\n";
Output << "constexpr std::array<GIMatchTableConstantRange, " << ConstantRangeCount
<< "> GeneratedGlobalISelCombinerConstantRanges = {{\n";
for (const NormalizedCombinerRule &Rule : Model.CombinerRules) {
for (const NormalizedSelectionDefUsePredicate &DefUse : Rule.DefUsePredicates) {
for (const NormalizedSelectionOperandDefConstantPredicate &Predicate :
DefUse.OperandDefConstants) {
for (const NormalizedSelectionConstantRange &Range : Predicate.Ranges)
Output << " {" << Range.Minimum << ", " << Range.Maximum << "},\n";
}
}
}
Output << "}};\n\n";
Output << "constexpr std::array<GIMatchTableInstruction, " << InstructionCount
<< "> GeneratedGlobalISelCombinerInstructions = {{\n";
std::size_t FirstConstantRange = 0;
for (const NormalizedCombinerRule &Rule : Model.CombinerRules) {
emitInstruction(Output, "CheckOpcode", 0, Rule.MatchOpcode);
if (Rule.ResultType) {
const char *Kind = "Any";
if (Rule.ResultType->Kind == NormalizedSelectionTypeKind::Scalar)
Kind = "Scalar";
else if (Rule.ResultType->Kind == NormalizedSelectionTypeKind::Pointer)
Kind = "Pointer";
emitInstruction(Output, "CheckOperandType", 0, Rule.ResultType->Bits,
static_cast<std::uint32_t>(Rule.ResultType->Kind));
(void)Kind;
}
for (const NormalizedSelectionOperandTypePredicate &Predicate : Rule.OperandTypes) {
emitInstruction(Output, "CheckOperandType", Predicate.OperandIndex, Predicate.Type.Bits,
static_cast<std::uint32_t>(Predicate.Type.Kind));
}
for (const std::string &Predicate : Rule.TargetPredicates)
emitInstruction(Output, "CheckTargetPredicate", 0, 0, 0, 0, Predicate);
for (const std::uint32_t Flags : Rule.InstructionFlags)
emitInstruction(Output, "CheckInstructionFlag", 0, Flags);
for (const NormalizedSelectionDefUsePredicate &DefUse : Rule.DefUsePredicates) {
emitInstruction(Output, "CheckOperandDefOpcode", DefUse.RootOperandIndex, DefUse.Opcode);
for (const NormalizedSelectionOperandDefConstantPredicate &Predicate :
DefUse.OperandDefConstants) {
emitInstruction(Output, "CheckOperandDefOperandConstantRanges", DefUse.RootOperandIndex,
static_cast<std::uint32_t>(FirstConstantRange), Predicate.OperandIndex,
static_cast<std::int64_t>(Predicate.Ranges.size()));
FirstConstantRange += Predicate.Ranges.size();
}
for (const NormalizedSelectionDefUseCapture &Capture : DefUse.Captures)
emitInstruction(Output, "CaptureDefOperand", DefUse.RootOperandIndex, Capture.ID,
Capture.OperandIndex);
}
if (Rule.Action.Kind == NormalizedCombinerActionKind::ReplaceRootWithCapturedOperand) {
emitInstruction(Output, "ReplaceRootWithCapturedOperand", 0, Rule.Action.CapturedOperand);
} else {
emitInstruction(Output, "MutateOpcode", 0, Rule.Action.ResultOpcode);
for (const NormalizedCombinerOperandRenderer &Renderer : Rule.Action.OperandRenderers) {
switch (Renderer.SourceKind) {
case NormalizedCombinerOperandRenderer::Kind::RootOperand:
emitInstruction(Output, "RenderOperand", Renderer.Value);
break;
case NormalizedCombinerOperandRenderer::Kind::CapturedOperand:
emitInstruction(Output, "RenderCapturedOperand", 0, Renderer.Value);
break;
case NormalizedCombinerOperandRenderer::Kind::CapturedTypeBits:
emitInstruction(Output, "RenderCapturedTypeBits", 0, Renderer.Value);
break;
case NormalizedCombinerOperandRenderer::Kind::Immediate:
emitInstruction(Output, "RenderImmediate", 0, 0, 0, Renderer.Immediate);
break;
}
}
}
if (Rule.Action.ClearInstructionFlags != 0)
emitInstruction(Output, "ClearInstructionFlags", 0, Rule.Action.ClearInstructionFlags);
for (const std::uint32_t OperandIndex : Rule.EraseOperandDefinitions)
emitInstruction(Output, "EraseOperandDefinition", OperandIndex);
emitInstruction(Output, "Complete");
}
Output << "}};\n\n";
Output << "constexpr std::array<GIMatchTableRule, " << Model.CombinerRules.size()
<< "> GeneratedGlobalISelCombinerRules = {{\n";
std::size_t FirstInstruction = 0;
for (const NormalizedCombinerRule &Rule : Model.CombinerRules) {
const std::size_t Count = instructionCount(Rule);
Output << " {";
appendQuoted(Output, Rule.Symbol);
Output << ", " << Rule.Priority << ", " << FirstInstruction << ", " << Count << "},\n";
FirstInstruction += Count;
}
Output << "}};\n\n";
Output
<< "[[nodiscard]] constexpr GIMatchTable generatedGlobalISelCombinerMatchTable() noexcept {\n"
" return {GeneratedGlobalISelCombinerInstructions, GeneratedGlobalISelCombinerRules,\n"
" GeneratedGlobalISelCombinerConstantRanges, GIMatchTableKind::Combiner};\n"
"}\n\n";
Output << "#endif // GET_GLOBALISEL_COMBINER_TABLE\n";
return Output.str();
}
} // namespace rcc::targetgen
|
