blob: 90ca1bff53443f90529c44e27180ebf85edc1a2b [file] [log] [blame]
Chris Lattnerda272d12010-02-15 08:04:42 +00001//===- DAGISelMatcherEmitter.cpp - Matcher Emitter ------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Eric Christopher5759b9b2010-08-06 01:30:54 +000010// This file contains code to generate C++ code for a matcher.
Chris Lattnerda272d12010-02-15 08:04:42 +000011//
12//===----------------------------------------------------------------------===//
13
Chris Lattnerda272d12010-02-15 08:04:42 +000014#include "CodeGenDAGPatterns.h"
Aditya Nandakumar3ca56412017-02-14 18:32:41 +000015#include "DAGISelMatcher.h"
Chris Lattnere609a512010-02-17 00:31:50 +000016#include "llvm/ADT/DenseMap.h"
Aditya Nandakumar3ca56412017-02-14 18:32:41 +000017#include "llvm/ADT/StringMap.h"
18#include "llvm/ADT/MapVector.h"
Chris Lattnerda272d12010-02-15 08:04:42 +000019#include "llvm/ADT/SmallString.h"
Chris Lattner050a03d2010-02-16 07:21:10 +000020#include "llvm/ADT/StringMap.h"
Ahmed Bougachabfe0f692015-08-27 20:43:34 +000021#include "llvm/ADT/TinyPtrVector.h"
Torok Edwin5c7fc882010-03-01 18:49:10 +000022#include "llvm/Support/CommandLine.h"
Craig Toppercdcb6d12017-09-19 21:03:57 +000023#include "llvm/Support/Format.h"
Aditya Nandakumar3ca56412017-02-14 18:32:41 +000024#include "llvm/Support/SourceMgr.h"
25#include "llvm/TableGen/Error.h"
Chandler Carruth4ffd89f2012-12-04 10:37:14 +000026#include "llvm/TableGen/Record.h"
Chris Lattnerda272d12010-02-15 08:04:42 +000027using namespace llvm;
28
Chris Lattnerda272d12010-02-15 08:04:42 +000029enum {
Craig Toppercdcb6d12017-09-19 21:03:57 +000030 IndexWidth = 6,
31 FullIndexWidth = IndexWidth + 4,
32 HistOpcWidth = 40,
Chris Lattnerda272d12010-02-15 08:04:42 +000033};
Chris Lattnerda272d12010-02-15 08:04:42 +000034
Daniel Sandersd5d86072017-03-27 13:15:13 +000035cl::OptionCategory DAGISelCat("Options for -gen-dag-isel");
36
Torok Edwin5c7fc882010-03-01 18:49:10 +000037// To reduce generated source code size.
Daniel Sandersd5d86072017-03-27 13:15:13 +000038static cl::opt<bool> OmitComments("omit-comments",
39 cl::desc("Do not generate comments"),
40 cl::init(false), cl::cat(DAGISelCat));
Torok Edwin5c7fc882010-03-01 18:49:10 +000041
Aditya Nandakumar3ca56412017-02-14 18:32:41 +000042static cl::opt<bool> InstrumentCoverage(
43 "instrument-coverage",
44 cl::desc("Generates tables to help identify patterns matched"),
Daniel Sandersd5d86072017-03-27 13:15:13 +000045 cl::init(false), cl::cat(DAGISelCat));
Aditya Nandakumar3ca56412017-02-14 18:32:41 +000046
Chris Lattnere02ea542010-02-16 06:52:01 +000047namespace {
48class MatcherTableEmitter {
Chris Lattner48e86db2010-03-29 01:40:38 +000049 const CodeGenDAGPatterns &CGP;
Simon Pilgrim89f71162017-10-06 15:33:55 +000050
Chris Lattner54379062011-04-17 21:38:24 +000051 DenseMap<TreePattern *, unsigned> NodePredicateMap;
52 std::vector<TreePredicateFn> NodePredicates;
Nicolai Haehnle98272e42018-11-30 14:15:13 +000053 std::vector<TreePredicateFn> NodePredicatesWithOperands;
Ahmed Bougachabfe0f692015-08-27 20:43:34 +000054
55 // We de-duplicate the predicates by code string, and use this map to track
56 // all the patterns with "identical" predicates.
57 StringMap<TinyPtrVector<TreePattern *>> NodePredicatesByCodeToRun;
Simon Pilgrim89f71162017-10-06 15:33:55 +000058
Chris Lattner54379062011-04-17 21:38:24 +000059 StringMap<unsigned> PatternPredicateMap;
60 std::vector<std::string> PatternPredicates;
Chris Lattnere609a512010-02-17 00:31:50 +000061
62 DenseMap<const ComplexPattern*, unsigned> ComplexPatternMap;
63 std::vector<const ComplexPattern*> ComplexPatterns;
Chris Lattner8e946be2010-02-21 03:22:59 +000064
65
66 DenseMap<Record*, unsigned> NodeXFormMap;
Chris Lattner4d0c9312010-03-01 01:54:19 +000067 std::vector<Record*> NodeXForms;
Chris Lattner8e946be2010-02-21 03:22:59 +000068
Aditya Nandakumar3ca56412017-02-14 18:32:41 +000069 std::vector<std::string> VecIncludeStrings;
70 MapVector<std::string, unsigned, StringMap<unsigned> > VecPatterns;
71
72 unsigned getPatternIdxFromTable(std::string &&P, std::string &&include_loc) {
73 const auto It = VecPatterns.find(P);
74 if (It == VecPatterns.end()) {
75 VecPatterns.insert(make_pair(std::move(P), VecPatterns.size()));
76 VecIncludeStrings.push_back(std::move(include_loc));
77 return VecIncludeStrings.size() - 1;
78 }
79 return It->second;
80 }
81
Chris Lattnere02ea542010-02-16 06:52:01 +000082public:
Jim Grosbach4a6d7352011-03-11 02:19:02 +000083 MatcherTableEmitter(const CodeGenDAGPatterns &cgp)
84 : CGP(cgp) {}
Chris Lattnere02ea542010-02-16 06:52:01 +000085
Chris Lattnerb21ba712010-02-25 02:04:40 +000086 unsigned EmitMatcherList(const Matcher *N, unsigned Indent,
Craig Toppercdcb6d12017-09-19 21:03:57 +000087 unsigned StartIdx, raw_ostream &OS);
Jim Grosbach9d401932011-03-01 01:39:05 +000088
Craig Toppercdcb6d12017-09-19 21:03:57 +000089 void EmitPredicateFunctions(raw_ostream &OS);
Jim Grosbach9d401932011-03-01 01:39:05 +000090
Craig Toppercdcb6d12017-09-19 21:03:57 +000091 void EmitHistogram(const Matcher *N, raw_ostream &OS);
Aditya Nandakumar3ca56412017-02-14 18:32:41 +000092
93 void EmitPatternMatchTable(raw_ostream &OS);
94
Chris Lattnere02ea542010-02-16 06:52:01 +000095private:
Nicolai Haehnle98272e42018-11-30 14:15:13 +000096 void EmitNodePredicatesFunction(const std::vector<TreePredicateFn> &Preds,
97 StringRef Decl, raw_ostream &OS);
98
Chris Lattnerd6c84722010-02-25 19:00:39 +000099 unsigned EmitMatcher(const Matcher *N, unsigned Indent, unsigned CurrentIdx,
Craig Toppercdcb6d12017-09-19 21:03:57 +0000100 raw_ostream &OS);
Jim Grosbach9d401932011-03-01 01:39:05 +0000101
Chris Lattner54379062011-04-17 21:38:24 +0000102 unsigned getNodePredicate(TreePredicateFn Pred) {
Ahmed Bougachabfe0f692015-08-27 20:43:34 +0000103 TreePattern *TP = Pred.getOrigPatFragRecord();
104 unsigned &Entry = NodePredicateMap[TP];
Chris Lattner050a03d2010-02-16 07:21:10 +0000105 if (Entry == 0) {
Ahmed Bougachabfe0f692015-08-27 20:43:34 +0000106 TinyPtrVector<TreePattern *> &SameCodePreds =
107 NodePredicatesByCodeToRun[Pred.getCodeToRunOnSDNode()];
108 if (SameCodePreds.empty()) {
109 // We've never seen a predicate with the same code: allocate an entry.
Nicolai Haehnle98272e42018-11-30 14:15:13 +0000110 if (Pred.usesOperands()) {
111 NodePredicatesWithOperands.push_back(Pred);
112 Entry = NodePredicatesWithOperands.size();
113 } else {
114 NodePredicates.push_back(Pred);
115 Entry = NodePredicates.size();
116 }
Ahmed Bougachabfe0f692015-08-27 20:43:34 +0000117 } else {
118 // We did see an identical predicate: re-use it.
119 Entry = NodePredicateMap[SameCodePreds.front()];
120 assert(Entry != 0);
Nicolai Haehnle98272e42018-11-30 14:15:13 +0000121 assert(TreePredicateFn(SameCodePreds.front()).usesOperands() ==
122 Pred.usesOperands() &&
123 "PatFrags with some code must have same usesOperands setting");
Ahmed Bougachabfe0f692015-08-27 20:43:34 +0000124 }
125 // In both cases, we've never seen this particular predicate before, so
126 // mark it in the list of predicates sharing the same code.
127 SameCodePreds.push_back(TP);
Chris Lattner050a03d2010-02-16 07:21:10 +0000128 }
129 return Entry-1;
130 }
Simon Pilgrim89f71162017-10-06 15:33:55 +0000131
Chris Lattner050a03d2010-02-16 07:21:10 +0000132 unsigned getPatternPredicate(StringRef PredName) {
133 unsigned &Entry = PatternPredicateMap[PredName];
134 if (Entry == 0) {
135 PatternPredicates.push_back(PredName.str());
136 Entry = PatternPredicates.size();
137 }
138 return Entry-1;
139 }
Chris Lattnere609a512010-02-17 00:31:50 +0000140 unsigned getComplexPat(const ComplexPattern &P) {
141 unsigned &Entry = ComplexPatternMap[&P];
142 if (Entry == 0) {
143 ComplexPatterns.push_back(&P);
144 Entry = ComplexPatterns.size();
145 }
146 return Entry-1;
147 }
Jim Grosbach9d401932011-03-01 01:39:05 +0000148
Chris Lattner8e946be2010-02-21 03:22:59 +0000149 unsigned getNodeXFormID(Record *Rec) {
150 unsigned &Entry = NodeXFormMap[Rec];
151 if (Entry == 0) {
152 NodeXForms.push_back(Rec);
153 Entry = NodeXForms.size();
154 }
155 return Entry-1;
156 }
Jim Grosbach9d401932011-03-01 01:39:05 +0000157
Chris Lattnere02ea542010-02-16 06:52:01 +0000158};
159} // end anonymous namespace.
160
Aditya Nandakumar3ca56412017-02-14 18:32:41 +0000161static std::string GetPatFromTreePatternNode(const TreePatternNode *N) {
162 std::string str;
163 raw_string_ostream Stream(str);
164 Stream << *N;
165 Stream.str();
166 return str;
167}
168
Chris Lattnerd6c84722010-02-25 19:00:39 +0000169static unsigned GetVBRSize(unsigned Val) {
170 if (Val <= 127) return 1;
Jim Grosbach9d401932011-03-01 01:39:05 +0000171
Chris Lattnerd6c84722010-02-25 19:00:39 +0000172 unsigned NumBytes = 0;
173 while (Val >= 128) {
174 Val >>= 7;
175 ++NumBytes;
176 }
177 return NumBytes+1;
178}
179
Chris Lattner5007e1e2010-02-23 00:59:59 +0000180/// EmitVBRValue - Emit the specified value as a VBR, returning the number of
181/// bytes emitted.
Chris Lattner53106542010-02-28 22:14:32 +0000182static uint64_t EmitVBRValue(uint64_t Val, raw_ostream &OS) {
Chris Lattner5007e1e2010-02-23 00:59:59 +0000183 if (Val <= 127) {
184 OS << Val << ", ";
185 return 1;
186 }
Jim Grosbach9d401932011-03-01 01:39:05 +0000187
Chris Lattner53106542010-02-28 22:14:32 +0000188 uint64_t InVal = Val;
Chris Lattner5007e1e2010-02-23 00:59:59 +0000189 unsigned NumBytes = 0;
Chris Lattner860d4a72010-02-23 01:07:39 +0000190 while (Val >= 128) {
Chris Lattner5007e1e2010-02-23 00:59:59 +0000191 OS << (Val&127) << "|128,";
192 Val >>= 7;
193 ++NumBytes;
194 }
Torok Edwin5c7fc882010-03-01 18:49:10 +0000195 OS << Val;
196 if (!OmitComments)
197 OS << "/*" << InVal << "*/";
198 OS << ", ";
Chris Lattner5007e1e2010-02-23 00:59:59 +0000199 return NumBytes+1;
200}
201
Aditya Nandakumar3ca56412017-02-14 18:32:41 +0000202// This is expensive and slow.
203static std::string getIncludePath(const Record *R) {
204 std::string str;
205 raw_string_ostream Stream(str);
206 auto Locs = R->getLoc();
207 SMLoc L;
208 if (Locs.size() > 1) {
209 // Get where the pattern prototype was instantiated
210 L = Locs[1];
211 } else if (Locs.size() == 1) {
212 L = Locs[0];
213 }
214 unsigned CurBuf = SrcMgr.FindBufferContainingLoc(L);
215 assert(CurBuf && "Invalid or unspecified location!");
216
217 Stream << SrcMgr.getBufferInfo(CurBuf).Buffer->getBufferIdentifier() << ":"
218 << SrcMgr.FindLineNumber(L, CurBuf);
219 Stream.str();
220 return str;
221}
222
Krzysztof Parzyszek99119012017-11-10 18:36:04 +0000223static void BeginEmitFunction(raw_ostream &OS, StringRef RetType,
224 StringRef Decl, bool AddOverride) {
225 OS << "#ifdef GET_DAGISEL_DECL\n";
226 OS << RetType << ' ' << Decl;
227 if (AddOverride)
228 OS << " override";
229 OS << ";\n"
230 "#endif\n"
231 "#if defined(GET_DAGISEL_BODY) || DAGISEL_INLINE\n";
232 OS << RetType << " DAGISEL_CLASS_COLONCOLON " << Decl << "\n";
233 if (AddOverride) {
234 OS << "#if DAGISEL_INLINE\n"
235 " override\n"
236 "#endif\n";
237 }
238}
239
240static void EndEmitFunction(raw_ostream &OS) {
241 OS << "#endif // GET_DAGISEL_BODY\n\n";
242}
243
Aditya Nandakumar3ca56412017-02-14 18:32:41 +0000244void MatcherTableEmitter::EmitPatternMatchTable(raw_ostream &OS) {
245
246 assert(isUInt<16>(VecPatterns.size()) &&
247 "Using only 16 bits to encode offset into Pattern Table");
248 assert(VecPatterns.size() == VecIncludeStrings.size() &&
249 "The sizes of Pattern and include vectors should be the same");
Krzysztof Parzyszek99119012017-11-10 18:36:04 +0000250
251 BeginEmitFunction(OS, "StringRef", "getPatternForIndex(unsigned Index)",
252 true/*AddOverride*/);
253 OS << "{\n";
Aditya Nandakumar3ca56412017-02-14 18:32:41 +0000254 OS << "static const char * PATTERN_MATCH_TABLE[] = {\n";
255
256 for (const auto &It : VecPatterns) {
257 OS << "\"" << It.first << "\",\n";
258 }
259
260 OS << "\n};";
261 OS << "\nreturn StringRef(PATTERN_MATCH_TABLE[Index]);";
262 OS << "\n}";
Krzysztof Parzyszek99119012017-11-10 18:36:04 +0000263 EndEmitFunction(OS);
Aditya Nandakumar3ca56412017-02-14 18:32:41 +0000264
Krzysztof Parzyszek99119012017-11-10 18:36:04 +0000265 BeginEmitFunction(OS, "StringRef", "getIncludePathForIndex(unsigned Index)",
266 true/*AddOverride*/);
267 OS << "{\n";
Aditya Nandakumar3ca56412017-02-14 18:32:41 +0000268 OS << "static const char * INCLUDE_PATH_TABLE[] = {\n";
269
270 for (const auto &It : VecIncludeStrings) {
271 OS << "\"" << It << "\",\n";
272 }
273
274 OS << "\n};";
275 OS << "\nreturn StringRef(INCLUDE_PATH_TABLE[Index]);";
276 OS << "\n}";
Krzysztof Parzyszek99119012017-11-10 18:36:04 +0000277 EndEmitFunction(OS);
Aditya Nandakumar3ca56412017-02-14 18:32:41 +0000278}
279
Eli Benderskyd07c2a52013-02-05 16:53:11 +0000280/// EmitMatcher - Emit bytes for the specified matcher and return
Chris Lattnerda272d12010-02-15 08:04:42 +0000281/// the number of bytes emitted.
Chris Lattnere02ea542010-02-16 06:52:01 +0000282unsigned MatcherTableEmitter::
Chris Lattnerd6c84722010-02-25 19:00:39 +0000283EmitMatcher(const Matcher *N, unsigned Indent, unsigned CurrentIdx,
Craig Toppercdcb6d12017-09-19 21:03:57 +0000284 raw_ostream &OS) {
285 OS.indent(Indent*2);
Jim Grosbach9d401932011-03-01 01:39:05 +0000286
Chris Lattnerda272d12010-02-15 08:04:42 +0000287 switch (N->getKind()) {
Chris Lattnerd6c84722010-02-25 19:00:39 +0000288 case Matcher::Scope: {
289 const ScopeMatcher *SM = cast<ScopeMatcher>(N);
Craig Topper095734c2014-04-15 07:20:03 +0000290 assert(SM->getNext() == nullptr && "Shouldn't have next after scope");
Jim Grosbach9d401932011-03-01 01:39:05 +0000291
Chris Lattnerd6c84722010-02-25 19:00:39 +0000292 unsigned StartIdx = CurrentIdx;
Jim Grosbach9d401932011-03-01 01:39:05 +0000293
Chris Lattnerd6c84722010-02-25 19:00:39 +0000294 // Emit all of the children.
295 for (unsigned i = 0, e = SM->getNumChildren(); i != e; ++i) {
296 if (i == 0) {
297 OS << "OPC_Scope, ";
298 ++CurrentIdx;
Torok Edwin5c7fc882010-03-01 18:49:10 +0000299 } else {
300 if (!OmitComments) {
Craig Toppercdcb6d12017-09-19 21:03:57 +0000301 OS << "/*" << format_decimal(CurrentIdx, IndexWidth) << "*/";
302 OS.indent(Indent*2) << "/*Scope*/ ";
Torok Edwin5c7fc882010-03-01 18:49:10 +0000303 } else
Craig Toppercdcb6d12017-09-19 21:03:57 +0000304 OS.indent(Indent*2);
Chris Lattnerd6c84722010-02-25 19:00:39 +0000305 }
306
307 // We need to encode the child and the offset of the failure code before
308 // emitting either of them. Handle this by buffering the output into a
309 // string while we get the size. Unfortunately, the offset of the
310 // children depends on the VBR size of the child, so for large children we
311 // have to iterate a bit.
312 SmallString<128> TmpBuf;
313 unsigned ChildSize = 0;
314 unsigned VBRSize = 0;
315 do {
316 VBRSize = GetVBRSize(ChildSize);
Jim Grosbach9d401932011-03-01 01:39:05 +0000317
Chris Lattnerd6c84722010-02-25 19:00:39 +0000318 TmpBuf.clear();
319 raw_svector_ostream OS(TmpBuf);
Chris Lattnereb669212010-03-01 06:59:22 +0000320 ChildSize = EmitMatcherList(SM->getChild(i), Indent+1,
Craig Toppercdcb6d12017-09-19 21:03:57 +0000321 CurrentIdx+VBRSize, OS);
Chris Lattnerd6c84722010-02-25 19:00:39 +0000322 } while (GetVBRSize(ChildSize) != VBRSize);
Jim Grosbach9d401932011-03-01 01:39:05 +0000323
Chris Lattnerd6c84722010-02-25 19:00:39 +0000324 assert(ChildSize != 0 && "Should not have a zero-sized child!");
Jim Grosbach9d401932011-03-01 01:39:05 +0000325
Chris Lattnerd6c84722010-02-25 19:00:39 +0000326 CurrentIdx += EmitVBRValue(ChildSize, OS);
Torok Edwin5c7fc882010-03-01 18:49:10 +0000327 if (!OmitComments) {
328 OS << "/*->" << CurrentIdx+ChildSize << "*/";
Jim Grosbach9d401932011-03-01 01:39:05 +0000329
Torok Edwin5c7fc882010-03-01 18:49:10 +0000330 if (i == 0)
Craig Toppercdcb6d12017-09-19 21:03:57 +0000331 OS << " // " << SM->getNumChildren() << " children in Scope";
Torok Edwin5c7fc882010-03-01 18:49:10 +0000332 }
Jim Grosbach9d401932011-03-01 01:39:05 +0000333
Yaron Keren1132d0c2015-03-10 07:33:23 +0000334 OS << '\n' << TmpBuf;
Chris Lattnerd6c84722010-02-25 19:00:39 +0000335 CurrentIdx += ChildSize;
336 }
Jim Grosbach9d401932011-03-01 01:39:05 +0000337
Chris Lattnerd6c84722010-02-25 19:00:39 +0000338 // Emit a zero as a sentinel indicating end of 'Scope'.
Torok Edwin5c7fc882010-03-01 18:49:10 +0000339 if (!OmitComments)
Craig Toppercdcb6d12017-09-19 21:03:57 +0000340 OS << "/*" << format_decimal(CurrentIdx, IndexWidth) << "*/";
341 OS.indent(Indent*2) << "0, ";
Torok Edwin5c7fc882010-03-01 18:49:10 +0000342 if (!OmitComments)
343 OS << "/*End of Scope*/";
344 OS << '\n';
Chris Lattnerd6c84722010-02-25 19:00:39 +0000345 return CurrentIdx - StartIdx + 1;
346 }
Jim Grosbach9d401932011-03-01 01:39:05 +0000347
Chris Lattnerb21ba712010-02-25 02:04:40 +0000348 case Matcher::RecordNode:
Chris Lattner845c0422010-02-18 22:03:03 +0000349 OS << "OPC_RecordNode,";
Torok Edwin5c7fc882010-03-01 18:49:10 +0000350 if (!OmitComments)
Craig Toppercdcb6d12017-09-19 21:03:57 +0000351 OS << " // #"
352 << cast<RecordMatcher>(N)->getResultNo() << " = "
353 << cast<RecordMatcher>(N)->getWhatFor();
Torok Edwin5c7fc882010-03-01 18:49:10 +0000354 OS << '\n';
Chris Lattnerda272d12010-02-15 08:04:42 +0000355 return 1;
Chris Lattner19b5a752010-02-24 07:31:45 +0000356
Chris Lattnerb21ba712010-02-25 02:04:40 +0000357 case Matcher::RecordChild:
358 OS << "OPC_RecordChild" << cast<RecordChildMatcher>(N)->getChildNo()
Chris Lattner19b5a752010-02-24 07:31:45 +0000359 << ',';
Torok Edwin5c7fc882010-03-01 18:49:10 +0000360 if (!OmitComments)
Craig Toppercdcb6d12017-09-19 21:03:57 +0000361 OS << " // #"
362 << cast<RecordChildMatcher>(N)->getResultNo() << " = "
363 << cast<RecordChildMatcher>(N)->getWhatFor();
Torok Edwin5c7fc882010-03-01 18:49:10 +0000364 OS << '\n';
Chris Lattner19b5a752010-02-24 07:31:45 +0000365 return 1;
Jim Grosbach9d401932011-03-01 01:39:05 +0000366
Chris Lattnerb21ba712010-02-25 02:04:40 +0000367 case Matcher::RecordMemRef:
Chris Lattner8e946be2010-02-21 03:22:59 +0000368 OS << "OPC_RecordMemRef,\n";
369 return 1;
Jim Grosbach9d401932011-03-01 01:39:05 +0000370
Chris Lattner8950bca2010-12-23 17:03:20 +0000371 case Matcher::CaptureGlueInput:
Chris Lattner29d8f0c2010-12-23 17:24:32 +0000372 OS << "OPC_CaptureGlueInput,\n";
Chris Lattner8e946be2010-02-21 03:22:59 +0000373 return 1;
Jim Grosbach9d401932011-03-01 01:39:05 +0000374
Craig Topperb5bf8342016-05-02 01:53:30 +0000375 case Matcher::MoveChild: {
376 const auto *MCM = cast<MoveChildMatcher>(N);
377
378 OS << "OPC_MoveChild";
379 // Handle the specialized forms.
380 if (MCM->getChildNo() >= 8)
381 OS << ", ";
382 OS << MCM->getChildNo() << ",\n";
383 return (MCM->getChildNo() >= 8) ? 2 : 1;
384 }
Jim Grosbach9d401932011-03-01 01:39:05 +0000385
Chris Lattnerb21ba712010-02-25 02:04:40 +0000386 case Matcher::MoveParent:
Chris Lattnerda272d12010-02-15 08:04:42 +0000387 OS << "OPC_MoveParent,\n";
388 return 1;
Jim Grosbach9d401932011-03-01 01:39:05 +0000389
Chris Lattnerb21ba712010-02-25 02:04:40 +0000390 case Matcher::CheckSame:
Chris Lattnerda272d12010-02-15 08:04:42 +0000391 OS << "OPC_CheckSame, "
Chris Lattnerb21ba712010-02-25 02:04:40 +0000392 << cast<CheckSameMatcher>(N)->getMatchNumber() << ",\n";
Chris Lattnerda272d12010-02-15 08:04:42 +0000393 return 2;
394
Craig Topper936910d2013-10-05 05:38:16 +0000395 case Matcher::CheckChildSame:
396 OS << "OPC_CheckChild"
397 << cast<CheckChildSameMatcher>(N)->getChildNo() << "Same, "
398 << cast<CheckChildSameMatcher>(N)->getMatchNumber() << ",\n";
399 return 2;
400
Chris Lattnerb21ba712010-02-25 02:04:40 +0000401 case Matcher::CheckPatternPredicate: {
Chris Lattner54379062011-04-17 21:38:24 +0000402 StringRef Pred =cast<CheckPatternPredicateMatcher>(N)->getPredicate();
Chris Lattner050a03d2010-02-16 07:21:10 +0000403 OS << "OPC_CheckPatternPredicate, " << getPatternPredicate(Pred) << ',';
Torok Edwin5c7fc882010-03-01 18:49:10 +0000404 if (!OmitComments)
Craig Toppercdcb6d12017-09-19 21:03:57 +0000405 OS << " // " << Pred;
Torok Edwin5c7fc882010-03-01 18:49:10 +0000406 OS << '\n';
Chris Lattnerda272d12010-02-15 08:04:42 +0000407 return 2;
Chris Lattner050a03d2010-02-16 07:21:10 +0000408 }
Chris Lattnerb21ba712010-02-25 02:04:40 +0000409 case Matcher::CheckPredicate: {
Chris Lattner54379062011-04-17 21:38:24 +0000410 TreePredicateFn Pred = cast<CheckPredicateMatcher>(N)->getPredicate();
Nicolai Haehnle98272e42018-11-30 14:15:13 +0000411 unsigned OperandBytes = 0;
412
413 if (Pred.usesOperands()) {
414 unsigned NumOps = cast<CheckPredicateMatcher>(N)->getNumOperands();
415 OS << "OPC_CheckPredicateWithOperands, " << NumOps << "/*#Ops*/, ";
416 for (unsigned i = 0; i < NumOps; ++i)
417 OS << cast<CheckPredicateMatcher>(N)->getOperandNo(i) << ", ";
418 OperandBytes = 1 + NumOps;
419 } else {
420 OS << "OPC_CheckPredicate, ";
421 }
422
423 OS << getNodePredicate(Pred) << ',';
Torok Edwin5c7fc882010-03-01 18:49:10 +0000424 if (!OmitComments)
Craig Toppercdcb6d12017-09-19 21:03:57 +0000425 OS << " // " << Pred.getFnName();
Torok Edwin5c7fc882010-03-01 18:49:10 +0000426 OS << '\n';
Nicolai Haehnle98272e42018-11-30 14:15:13 +0000427 return 2 + OperandBytes;
Chris Lattner050a03d2010-02-16 07:21:10 +0000428 }
429
Chris Lattnerb21ba712010-02-25 02:04:40 +0000430 case Matcher::CheckOpcode:
Jim Grosbach2d76c842011-03-01 01:37:19 +0000431 OS << "OPC_CheckOpcode, TARGET_VAL("
Chris Lattnerd5d5a3d2010-03-25 06:33:05 +0000432 << cast<CheckOpcodeMatcher>(N)->getOpcode().getEnumName() << "),\n";
433 return 3;
Jim Grosbach9d401932011-03-01 01:39:05 +0000434
Chris Lattnercfe2eab2010-03-03 06:28:15 +0000435 case Matcher::SwitchOpcode:
436 case Matcher::SwitchType: {
Chris Lattnereb669212010-03-01 06:59:22 +0000437 unsigned StartIdx = CurrentIdx;
Jim Grosbach9d401932011-03-01 01:39:05 +0000438
Chris Lattnercfe2eab2010-03-03 06:28:15 +0000439 unsigned NumCases;
440 if (const SwitchOpcodeMatcher *SOM = dyn_cast<SwitchOpcodeMatcher>(N)) {
441 OS << "OPC_SwitchOpcode ";
442 NumCases = SOM->getNumCases();
443 } else {
444 OS << "OPC_SwitchType ";
445 NumCases = cast<SwitchTypeMatcher>(N)->getNumCases();
446 }
447
Torok Edwin5c7fc882010-03-01 18:49:10 +0000448 if (!OmitComments)
Chris Lattnercfe2eab2010-03-03 06:28:15 +0000449 OS << "/*" << NumCases << " cases */";
Torok Edwin5c7fc882010-03-01 18:49:10 +0000450 OS << ", ";
Chris Lattnereb669212010-03-01 06:59:22 +0000451 ++CurrentIdx;
Jim Grosbach9d401932011-03-01 01:39:05 +0000452
Chris Lattnereb669212010-03-01 06:59:22 +0000453 // For each case we emit the size, then the opcode, then the matcher.
Chris Lattnercfe2eab2010-03-03 06:28:15 +0000454 for (unsigned i = 0, e = NumCases; i != e; ++i) {
455 const Matcher *Child;
Chris Lattner5d3569e2010-03-27 18:49:33 +0000456 unsigned IdxSize;
457 if (const SwitchOpcodeMatcher *SOM = dyn_cast<SwitchOpcodeMatcher>(N)) {
Chris Lattnercfe2eab2010-03-03 06:28:15 +0000458 Child = SOM->getCaseMatcher(i);
Chris Lattner5d3569e2010-03-27 18:49:33 +0000459 IdxSize = 2; // size of opcode in table is 2 bytes.
460 } else {
Chris Lattnercfe2eab2010-03-03 06:28:15 +0000461 Child = cast<SwitchTypeMatcher>(N)->getCaseMatcher(i);
Chris Lattner5d3569e2010-03-27 18:49:33 +0000462 IdxSize = 1; // size of type in table is 1 byte.
463 }
Jim Grosbach9d401932011-03-01 01:39:05 +0000464
Chris Lattnereb669212010-03-01 06:59:22 +0000465 // We need to encode the opcode and the offset of the case code before
466 // emitting the case code. Handle this by buffering the output into a
467 // string while we get the size. Unfortunately, the offset of the
468 // children depends on the VBR size of the child, so for large children we
469 // have to iterate a bit.
470 SmallString<128> TmpBuf;
471 unsigned ChildSize = 0;
472 unsigned VBRSize = 0;
473 do {
474 VBRSize = GetVBRSize(ChildSize);
Jim Grosbach9d401932011-03-01 01:39:05 +0000475
Chris Lattnereb669212010-03-01 06:59:22 +0000476 TmpBuf.clear();
477 raw_svector_ostream OS(TmpBuf);
Chris Lattner5d3569e2010-03-27 18:49:33 +0000478 ChildSize = EmitMatcherList(Child, Indent+1, CurrentIdx+VBRSize+IdxSize,
Craig Toppercdcb6d12017-09-19 21:03:57 +0000479 OS);
Chris Lattnereb669212010-03-01 06:59:22 +0000480 } while (GetVBRSize(ChildSize) != VBRSize);
Jim Grosbach9d401932011-03-01 01:39:05 +0000481
Chris Lattnereb669212010-03-01 06:59:22 +0000482 assert(ChildSize != 0 && "Should not have a zero-sized child!");
Jim Grosbach9d401932011-03-01 01:39:05 +0000483
Torok Edwin5c7fc882010-03-01 18:49:10 +0000484 if (i != 0) {
Craig Toppercf458e92013-09-22 23:18:50 +0000485 if (!OmitComments)
Craig Toppercdcb6d12017-09-19 21:03:57 +0000486 OS << "/*" << format_decimal(CurrentIdx, IndexWidth) << "*/";
487 OS.indent(Indent*2);
Torok Edwin5c7fc882010-03-01 18:49:10 +0000488 if (!OmitComments)
Craig Toppercf458e92013-09-22 23:18:50 +0000489 OS << (isa<SwitchOpcodeMatcher>(N) ?
490 "/*SwitchOpcode*/ " : "/*SwitchType*/ ");
Torok Edwin5c7fc882010-03-01 18:49:10 +0000491 }
Jim Grosbach9d401932011-03-01 01:39:05 +0000492
Chris Lattnereb669212010-03-01 06:59:22 +0000493 // Emit the VBR.
494 CurrentIdx += EmitVBRValue(ChildSize, OS);
Jim Grosbach9d401932011-03-01 01:39:05 +0000495
Chris Lattner5d3569e2010-03-27 18:49:33 +0000496 if (const SwitchOpcodeMatcher *SOM = dyn_cast<SwitchOpcodeMatcher>(N))
Jim Grosbach2d76c842011-03-01 01:37:19 +0000497 OS << "TARGET_VAL(" << SOM->getCaseOpcode(i).getEnumName() << "),";
Chris Lattner5d3569e2010-03-27 18:49:33 +0000498 else
Chris Lattnerd5d5a3d2010-03-25 06:33:05 +0000499 OS << getEnumName(cast<SwitchTypeMatcher>(N)->getCaseType(i)) << ',';
Chris Lattner5d3569e2010-03-27 18:49:33 +0000500
501 CurrentIdx += IdxSize;
502
Torok Edwin5c7fc882010-03-01 18:49:10 +0000503 if (!OmitComments)
Chris Lattnerd5d5a3d2010-03-25 06:33:05 +0000504 OS << "// ->" << CurrentIdx+ChildSize;
Torok Edwin5c7fc882010-03-01 18:49:10 +0000505 OS << '\n';
Yaron Keren1132d0c2015-03-10 07:33:23 +0000506 OS << TmpBuf;
Chris Lattnereb669212010-03-01 06:59:22 +0000507 CurrentIdx += ChildSize;
508 }
509
510 // Emit the final zero to terminate the switch.
Craig Toppercf458e92013-09-22 23:18:50 +0000511 if (!OmitComments)
Craig Toppercdcb6d12017-09-19 21:03:57 +0000512 OS << "/*" << format_decimal(CurrentIdx, IndexWidth) << "*/";
513 OS.indent(Indent*2) << "0,";
Torok Edwin5c7fc882010-03-01 18:49:10 +0000514 if (!OmitComments)
Chris Lattnercfe2eab2010-03-03 06:28:15 +0000515 OS << (isa<SwitchOpcodeMatcher>(N) ?
Craig Toppercdcb6d12017-09-19 21:03:57 +0000516 " // EndSwitchOpcode" : " // EndSwitchType");
Chris Lattnercfe2eab2010-03-03 06:28:15 +0000517
Torok Edwin5520ad42010-03-01 19:00:55 +0000518 OS << '\n';
Chris Lattnereb669212010-03-01 06:59:22 +0000519 ++CurrentIdx;
520 return CurrentIdx-StartIdx;
521 }
522
Chris Lattnerfa342fa2010-03-01 07:17:40 +0000523 case Matcher::CheckType:
Craig Topper4b9371c2017-11-22 07:11:01 +0000524 if (cast<CheckTypeMatcher>(N)->getResNo() == 0) {
525 OS << "OPC_CheckType, "
526 << getEnumName(cast<CheckTypeMatcher>(N)->getType()) << ",\n";
527 return 2;
528 }
529 OS << "OPC_CheckTypeRes, " << cast<CheckTypeMatcher>(N)->getResNo()
530 << ", " << getEnumName(cast<CheckTypeMatcher>(N)->getType()) << ",\n";
531 return 3;
Jim Grosbach9d401932011-03-01 01:39:05 +0000532
Chris Lattnerb21ba712010-02-25 02:04:40 +0000533 case Matcher::CheckChildType:
Chris Lattner23cfda72010-02-24 20:15:25 +0000534 OS << "OPC_CheckChild"
Chris Lattnerb21ba712010-02-25 02:04:40 +0000535 << cast<CheckChildTypeMatcher>(N)->getChildNo() << "Type, "
536 << getEnumName(cast<CheckChildTypeMatcher>(N)->getType()) << ",\n";
Chris Lattner23cfda72010-02-24 20:15:25 +0000537 return 2;
Jim Grosbach9d401932011-03-01 01:39:05 +0000538
Chris Lattner38fd9672010-03-02 00:13:03 +0000539 case Matcher::CheckInteger: {
Chris Lattner53106542010-02-28 22:14:32 +0000540 OS << "OPC_CheckInteger, ";
Chris Lattner38fd9672010-03-02 00:13:03 +0000541 unsigned Bytes=1+EmitVBRValue(cast<CheckIntegerMatcher>(N)->getValue(), OS);
542 OS << '\n';
543 return Bytes;
544 }
Craig Topper3211c862014-02-05 05:44:28 +0000545 case Matcher::CheckChildInteger: {
546 OS << "OPC_CheckChild" << cast<CheckChildIntegerMatcher>(N)->getChildNo()
547 << "Integer, ";
548 unsigned Bytes=1+EmitVBRValue(cast<CheckChildIntegerMatcher>(N)->getValue(),
549 OS);
550 OS << '\n';
551 return Bytes;
552 }
Chris Lattnerb21ba712010-02-25 02:04:40 +0000553 case Matcher::CheckCondCode:
Chris Lattnerda272d12010-02-15 08:04:42 +0000554 OS << "OPC_CheckCondCode, ISD::"
Chris Lattnerb21ba712010-02-25 02:04:40 +0000555 << cast<CheckCondCodeMatcher>(N)->getCondCodeName() << ",\n";
Chris Lattnerda272d12010-02-15 08:04:42 +0000556 return 2;
Jim Grosbach9d401932011-03-01 01:39:05 +0000557
Chris Lattnerb21ba712010-02-25 02:04:40 +0000558 case Matcher::CheckValueType:
Chris Lattnerda272d12010-02-15 08:04:42 +0000559 OS << "OPC_CheckValueType, MVT::"
Chris Lattnerb21ba712010-02-25 02:04:40 +0000560 << cast<CheckValueTypeMatcher>(N)->getTypeName() << ",\n";
Chris Lattnerda272d12010-02-15 08:04:42 +0000561 return 2;
562
Chris Lattnerb21ba712010-02-25 02:04:40 +0000563 case Matcher::CheckComplexPat: {
Chris Lattner57bf8a42010-03-04 01:23:08 +0000564 const CheckComplexPatMatcher *CCPM = cast<CheckComplexPatMatcher>(N);
565 const ComplexPattern &Pattern = CCPM->getPattern();
566 OS << "OPC_CheckComplexPat, /*CP*/" << getComplexPat(Pattern) << ", /*#*/"
567 << CCPM->getMatchNumber() << ',';
Jim Grosbach9d401932011-03-01 01:39:05 +0000568
Torok Edwin5c7fc882010-03-01 18:49:10 +0000569 if (!OmitComments) {
Craig Toppercdcb6d12017-09-19 21:03:57 +0000570 OS << " // " << Pattern.getSelectFunc();
Chris Lattner57bf8a42010-03-04 01:23:08 +0000571 OS << ":$" << CCPM->getName();
Chris Lattnerd1aca7c2010-03-04 00:28:05 +0000572 for (unsigned i = 0, e = Pattern.getNumOperands(); i != e; ++i)
Chris Lattner57bf8a42010-03-04 01:23:08 +0000573 OS << " #" << CCPM->getFirstResult()+i;
Jim Grosbach9d401932011-03-01 01:39:05 +0000574
Torok Edwin5c7fc882010-03-01 18:49:10 +0000575 if (Pattern.hasProperty(SDNPHasChain))
Chris Lattnerd1aca7c2010-03-04 00:28:05 +0000576 OS << " + chain result";
Torok Edwin5c7fc882010-03-01 18:49:10 +0000577 }
Chris Lattner781f3592010-02-17 06:47:35 +0000578 OS << '\n';
Chris Lattner57bf8a42010-03-04 01:23:08 +0000579 return 3;
Chris Lattner5be6e592010-02-17 00:39:26 +0000580 }
Jim Grosbach9d401932011-03-01 01:39:05 +0000581
Chris Lattner38fd9672010-03-02 00:13:03 +0000582 case Matcher::CheckAndImm: {
Chris Lattner53106542010-02-28 22:14:32 +0000583 OS << "OPC_CheckAndImm, ";
Chris Lattner38fd9672010-03-02 00:13:03 +0000584 unsigned Bytes=1+EmitVBRValue(cast<CheckAndImmMatcher>(N)->getValue(), OS);
585 OS << '\n';
586 return Bytes;
587 }
Chris Lattnerda272d12010-02-15 08:04:42 +0000588
Chris Lattner38fd9672010-03-02 00:13:03 +0000589 case Matcher::CheckOrImm: {
Chris Lattner53106542010-02-28 22:14:32 +0000590 OS << "OPC_CheckOrImm, ";
Chris Lattner38fd9672010-03-02 00:13:03 +0000591 unsigned Bytes = 1+EmitVBRValue(cast<CheckOrImmMatcher>(N)->getValue(), OS);
592 OS << '\n';
593 return Bytes;
594 }
Jim Grosbach9d401932011-03-01 01:39:05 +0000595
Chris Lattnerb21ba712010-02-25 02:04:40 +0000596 case Matcher::CheckFoldableChainNode:
Chris Lattner21390d72010-02-16 19:15:55 +0000597 OS << "OPC_CheckFoldableChainNode,\n";
Chris Lattnere39650a2010-02-16 06:10:58 +0000598 return 1;
Jim Grosbach9d401932011-03-01 01:39:05 +0000599
Chris Lattnerb21ba712010-02-25 02:04:40 +0000600 case Matcher::EmitInteger: {
601 int64_t Val = cast<EmitIntegerMatcher>(N)->getValue();
Chris Lattner53106542010-02-28 22:14:32 +0000602 OS << "OPC_EmitInteger, "
Chris Lattnerb21ba712010-02-25 02:04:40 +0000603 << getEnumName(cast<EmitIntegerMatcher>(N)->getVT()) << ", ";
Chris Lattner38fd9672010-03-02 00:13:03 +0000604 unsigned Bytes = 2+EmitVBRValue(Val, OS);
605 OS << '\n';
606 return Bytes;
Chris Lattner906b4992010-02-19 07:49:56 +0000607 }
Chris Lattnerb21ba712010-02-25 02:04:40 +0000608 case Matcher::EmitStringInteger: {
609 const std::string &Val = cast<EmitStringIntegerMatcher>(N)->getValue();
Chris Lattner8e946be2010-02-21 03:22:59 +0000610 // These should always fit into one byte.
Chris Lattner53106542010-02-28 22:14:32 +0000611 OS << "OPC_EmitInteger, "
Chris Lattnerb21ba712010-02-25 02:04:40 +0000612 << getEnumName(cast<EmitStringIntegerMatcher>(N)->getVT()) << ", "
Chris Lattner8e946be2010-02-21 03:22:59 +0000613 << Val << ",\n";
614 return 3;
615 }
Jim Grosbach9d401932011-03-01 01:39:05 +0000616
Jim Grosbach4a6d7352011-03-11 02:19:02 +0000617 case Matcher::EmitRegister: {
618 const EmitRegisterMatcher *Matcher = cast<EmitRegisterMatcher>(N);
619 const CodeGenRegister *Reg = Matcher->getReg();
620 // If the enum value of the register is larger than one byte can handle,
621 // use EmitRegister2.
622 if (Reg && Reg->EnumValue > 255) {
623 OS << "OPC_EmitRegister2, " << getEnumName(Matcher->getVT()) << ", ";
624 OS << "TARGET_VAL(" << getQualifiedName(Reg->TheDef) << "),\n";
Jim Grosbach2d76c842011-03-01 01:37:19 +0000625 return 4;
626 } else {
Jim Grosbach4a6d7352011-03-11 02:19:02 +0000627 OS << "OPC_EmitRegister, " << getEnumName(Matcher->getVT()) << ", ";
628 if (Reg) {
629 OS << getQualifiedName(Reg->TheDef) << ",\n";
630 } else {
Jim Grosbach2d76c842011-03-01 01:37:19 +0000631 OS << "0 ";
632 if (!OmitComments)
633 OS << "/*zero_reg*/";
634 OS << ",\n";
635 }
636 return 3;
Torok Edwin5c7fc882010-03-01 18:49:10 +0000637 }
Jim Grosbach4a6d7352011-03-11 02:19:02 +0000638 }
Jim Grosbach9d401932011-03-01 01:39:05 +0000639
Chris Lattnerb21ba712010-02-25 02:04:40 +0000640 case Matcher::EmitConvertToTarget:
Chris Lattner8e946be2010-02-21 03:22:59 +0000641 OS << "OPC_EmitConvertToTarget, "
Chris Lattnerb21ba712010-02-25 02:04:40 +0000642 << cast<EmitConvertToTargetMatcher>(N)->getSlot() << ",\n";
Chris Lattner8e946be2010-02-21 03:22:59 +0000643 return 2;
Jim Grosbach9d401932011-03-01 01:39:05 +0000644
Chris Lattnerb21ba712010-02-25 02:04:40 +0000645 case Matcher::EmitMergeInputChains: {
646 const EmitMergeInputChainsMatcher *MN =
647 cast<EmitMergeInputChainsMatcher>(N);
Jim Grosbach9d401932011-03-01 01:39:05 +0000648
Craig Topper4016ad22016-03-07 07:29:12 +0000649 // Handle the specialized forms OPC_EmitMergeInputChains1_0, 1_1, and 1_2.
650 if (MN->getNumNodes() == 1 && MN->getNode(0) < 3) {
Chris Lattneraa4e3392010-03-28 05:50:16 +0000651 OS << "OPC_EmitMergeInputChains1_" << MN->getNode(0) << ",\n";
652 return 1;
653 }
Jim Grosbach9d401932011-03-01 01:39:05 +0000654
Chris Lattner8e946be2010-02-21 03:22:59 +0000655 OS << "OPC_EmitMergeInputChains, " << MN->getNumNodes() << ", ";
656 for (unsigned i = 0, e = MN->getNumNodes(); i != e; ++i)
657 OS << MN->getNode(i) << ", ";
658 OS << '\n';
659 return 2+MN->getNumNodes();
660 }
Chris Lattnerb21ba712010-02-25 02:04:40 +0000661 case Matcher::EmitCopyToReg:
Chris Lattner8e946be2010-02-21 03:22:59 +0000662 OS << "OPC_EmitCopyToReg, "
Chris Lattnerb21ba712010-02-25 02:04:40 +0000663 << cast<EmitCopyToRegMatcher>(N)->getSrcSlot() << ", "
664 << getQualifiedName(cast<EmitCopyToRegMatcher>(N)->getDestPhysReg())
Chris Lattner8e946be2010-02-21 03:22:59 +0000665 << ",\n";
666 return 3;
Chris Lattnerb21ba712010-02-25 02:04:40 +0000667 case Matcher::EmitNodeXForm: {
668 const EmitNodeXFormMatcher *XF = cast<EmitNodeXFormMatcher>(N);
Chris Lattner8e946be2010-02-21 03:22:59 +0000669 OS << "OPC_EmitNodeXForm, " << getNodeXFormID(XF->getNodeXForm()) << ", "
670 << XF->getSlot() << ',';
Torok Edwin5c7fc882010-03-01 18:49:10 +0000671 if (!OmitComments)
Craig Toppercdcb6d12017-09-19 21:03:57 +0000672 OS << " // "<<XF->getNodeXForm()->getName();
Torok Edwin5c7fc882010-03-01 18:49:10 +0000673 OS <<'\n';
Chris Lattner8e946be2010-02-21 03:22:59 +0000674 return 3;
675 }
Jim Grosbach9d401932011-03-01 01:39:05 +0000676
Chris Lattnere86097a2010-02-28 02:31:26 +0000677 case Matcher::EmitNode:
Chris Lattner9a215002010-02-28 20:55:18 +0000678 case Matcher::MorphNodeTo: {
Aditya Nandakumar3ca56412017-02-14 18:32:41 +0000679 auto NumCoveredBytes = 0;
680 if (InstrumentCoverage) {
681 if (const MorphNodeToMatcher *SNT = dyn_cast<MorphNodeToMatcher>(N)) {
682 NumCoveredBytes = 3;
683 OS << "OPC_Coverage, ";
684 std::string src =
685 GetPatFromTreePatternNode(SNT->getPattern().getSrcPattern());
686 std::string dst =
687 GetPatFromTreePatternNode(SNT->getPattern().getDstPattern());
688 Record *PatRecord = SNT->getPattern().getSrcRecord();
689 std::string include_src = getIncludePath(PatRecord);
690 unsigned Offset =
691 getPatternIdxFromTable(src + " -> " + dst, std::move(include_src));
692 OS << "TARGET_VAL(" << Offset << "),\n";
Craig Toppercdcb6d12017-09-19 21:03:57 +0000693 OS.indent(FullIndexWidth + Indent * 2);
Aditya Nandakumar3ca56412017-02-14 18:32:41 +0000694 }
695 }
Chris Lattnere86097a2010-02-28 02:31:26 +0000696 const EmitNodeMatcherCommon *EN = cast<EmitNodeMatcherCommon>(N);
Chris Lattner9a215002010-02-28 20:55:18 +0000697 OS << (isa<EmitNodeMatcher>(EN) ? "OPC_EmitNode" : "OPC_MorphNodeTo");
Craig Topper8d0e28c2016-05-03 05:54:13 +0000698 bool CompressVTs = EN->getNumVTs() < 3;
699 if (CompressVTs)
700 OS << EN->getNumVTs();
701
Jim Grosbach2d76c842011-03-01 01:37:19 +0000702 OS << ", TARGET_VAL(" << EN->getOpcodeName() << "), 0";
Jim Grosbach9d401932011-03-01 01:39:05 +0000703
Chris Lattner8e946be2010-02-21 03:22:59 +0000704 if (EN->hasChain()) OS << "|OPFL_Chain";
Chris Lattnera4359be2010-12-23 17:13:18 +0000705 if (EN->hasInFlag()) OS << "|OPFL_GlueInput";
706 if (EN->hasOutFlag()) OS << "|OPFL_GlueOutput";
Chris Lattner8e946be2010-02-21 03:22:59 +0000707 if (EN->hasMemRefs()) OS << "|OPFL_MemRefs";
708 if (EN->getNumFixedArityOperands() != -1)
709 OS << "|OPFL_Variadic" << EN->getNumFixedArityOperands();
710 OS << ",\n";
Jim Grosbach9d401932011-03-01 01:39:05 +0000711
Craig Toppercdcb6d12017-09-19 21:03:57 +0000712 OS.indent(FullIndexWidth + Indent*2+4);
Craig Topper8d0e28c2016-05-03 05:54:13 +0000713 if (!CompressVTs) {
714 OS << EN->getNumVTs();
715 if (!OmitComments)
716 OS << "/*#VTs*/";
717 OS << ", ";
718 }
Chris Lattner8e946be2010-02-21 03:22:59 +0000719 for (unsigned i = 0, e = EN->getNumVTs(); i != e; ++i)
720 OS << getEnumName(EN->getVT(i)) << ", ";
721
Torok Edwin5c7fc882010-03-01 18:49:10 +0000722 OS << EN->getNumOperands();
723 if (!OmitComments)
724 OS << "/*#Ops*/";
725 OS << ", ";
Chris Lattner5007e1e2010-02-23 00:59:59 +0000726 unsigned NumOperandBytes = 0;
Chris Lattner38fd9672010-03-02 00:13:03 +0000727 for (unsigned i = 0, e = EN->getNumOperands(); i != e; ++i)
Chris Lattner5007e1e2010-02-23 00:59:59 +0000728 NumOperandBytes += EmitVBRValue(EN->getOperand(i), OS);
Jim Grosbach9d401932011-03-01 01:39:05 +0000729
Torok Edwin5c7fc882010-03-01 18:49:10 +0000730 if (!OmitComments) {
731 // Print the result #'s for EmitNode.
732 if (const EmitNodeMatcher *E = dyn_cast<EmitNodeMatcher>(EN)) {
733 if (unsigned NumResults = EN->getNumVTs()) {
Craig Toppercdcb6d12017-09-19 21:03:57 +0000734 OS << " // Results =";
Torok Edwin5c7fc882010-03-01 18:49:10 +0000735 unsigned First = E->getFirstResultSlot();
736 for (unsigned i = 0; i != NumResults; ++i)
Jim Grosbachb8d17642012-07-18 22:41:03 +0000737 OS << " #" << First+i;
Torok Edwin5c7fc882010-03-01 18:49:10 +0000738 }
Chris Lattner6281cda2010-02-28 02:41:25 +0000739 }
Torok Edwin5c7fc882010-03-01 18:49:10 +0000740 OS << '\n';
741
742 if (const MorphNodeToMatcher *SNT = dyn_cast<MorphNodeToMatcher>(N)) {
Craig Toppercdcb6d12017-09-19 21:03:57 +0000743 OS.indent(FullIndexWidth + Indent*2) << "// Src: "
Jim Grosbach9d401932011-03-01 01:39:05 +0000744 << *SNT->getPattern().getSrcPattern() << " - Complexity = "
Chris Lattner48e86db2010-03-29 01:40:38 +0000745 << SNT->getPattern().getPatternComplexity(CGP) << '\n';
Craig Toppercdcb6d12017-09-19 21:03:57 +0000746 OS.indent(FullIndexWidth + Indent*2) << "// Dst: "
Torok Edwin5c7fc882010-03-01 18:49:10 +0000747 << *SNT->getPattern().getDstPattern() << '\n';
748 }
749 } else
750 OS << '\n';
Jim Grosbach9d401932011-03-01 01:39:05 +0000751
Aditya Nandakumar3ca56412017-02-14 18:32:41 +0000752 return 5 + !CompressVTs + EN->getNumVTs() + NumOperandBytes +
753 NumCoveredBytes;
Chris Lattner8e946be2010-02-21 03:22:59 +0000754 }
Chris Lattnerb21ba712010-02-25 02:04:40 +0000755 case Matcher::CompleteMatch: {
756 const CompleteMatchMatcher *CM = cast<CompleteMatchMatcher>(N);
Aditya Nandakumar3ca56412017-02-14 18:32:41 +0000757 auto NumCoveredBytes = 0;
758 if (InstrumentCoverage) {
759 NumCoveredBytes = 3;
760 OS << "OPC_Coverage, ";
761 std::string src =
762 GetPatFromTreePatternNode(CM->getPattern().getSrcPattern());
763 std::string dst =
764 GetPatFromTreePatternNode(CM->getPattern().getDstPattern());
765 Record *PatRecord = CM->getPattern().getSrcRecord();
766 std::string include_src = getIncludePath(PatRecord);
767 unsigned Offset =
768 getPatternIdxFromTable(src + " -> " + dst, std::move(include_src));
769 OS << "TARGET_VAL(" << Offset << "),\n";
Craig Toppercdcb6d12017-09-19 21:03:57 +0000770 OS.indent(FullIndexWidth + Indent * 2);
Aditya Nandakumar3ca56412017-02-14 18:32:41 +0000771 }
Chris Lattner77f2e272010-02-21 06:03:07 +0000772 OS << "OPC_CompleteMatch, " << CM->getNumResults() << ", ";
Chris Lattner5007e1e2010-02-23 00:59:59 +0000773 unsigned NumResultBytes = 0;
Chris Lattner77f2e272010-02-21 06:03:07 +0000774 for (unsigned i = 0, e = CM->getNumResults(); i != e; ++i)
Chris Lattner5007e1e2010-02-23 00:59:59 +0000775 NumResultBytes += EmitVBRValue(CM->getResult(i), OS);
Chris Lattner77f2e272010-02-21 06:03:07 +0000776 OS << '\n';
Torok Edwin5c7fc882010-03-01 18:49:10 +0000777 if (!OmitComments) {
Craig Toppercdcb6d12017-09-19 21:03:57 +0000778 OS.indent(FullIndexWidth + Indent*2) << " // Src: "
Jim Grosbach9d401932011-03-01 01:39:05 +0000779 << *CM->getPattern().getSrcPattern() << " - Complexity = "
Chris Lattner48e86db2010-03-29 01:40:38 +0000780 << CM->getPattern().getPatternComplexity(CGP) << '\n';
Craig Toppercdcb6d12017-09-19 21:03:57 +0000781 OS.indent(FullIndexWidth + Indent*2) << " // Dst: "
Torok Edwin5c7fc882010-03-01 18:49:10 +0000782 << *CM->getPattern().getDstPattern();
783 }
784 OS << '\n';
Aditya Nandakumar3ca56412017-02-14 18:32:41 +0000785 return 2 + NumResultBytes + NumCoveredBytes;
Chris Lattnerda272d12010-02-15 08:04:42 +0000786 }
Chris Lattner77f2e272010-02-21 06:03:07 +0000787 }
Craig Topper655b8de2012-02-05 07:21:30 +0000788 llvm_unreachable("Unreachable");
Chris Lattnerda272d12010-02-15 08:04:42 +0000789}
790
Chris Lattnerbd8227f2010-02-18 02:53:41 +0000791/// EmitMatcherList - Emit the bytes for the specified matcher subtree.
Chris Lattnere02ea542010-02-16 06:52:01 +0000792unsigned MatcherTableEmitter::
Chris Lattnerb21ba712010-02-25 02:04:40 +0000793EmitMatcherList(const Matcher *N, unsigned Indent, unsigned CurrentIdx,
Craig Toppercdcb6d12017-09-19 21:03:57 +0000794 raw_ostream &OS) {
Chris Lattnerda272d12010-02-15 08:04:42 +0000795 unsigned Size = 0;
Chris Lattner8ef9c792010-02-18 02:49:24 +0000796 while (N) {
Torok Edwin5c7fc882010-03-01 18:49:10 +0000797 if (!OmitComments)
Craig Toppercdcb6d12017-09-19 21:03:57 +0000798 OS << "/*" << format_decimal(CurrentIdx, IndexWidth) << "*/";
Chris Lattnerd6c84722010-02-25 19:00:39 +0000799 unsigned MatcherSize = EmitMatcher(N, Indent, CurrentIdx, OS);
Chris Lattner8fbad242010-02-21 07:16:41 +0000800 Size += MatcherSize;
801 CurrentIdx += MatcherSize;
Jim Grosbach9d401932011-03-01 01:39:05 +0000802
Chris Lattnerbd8227f2010-02-18 02:53:41 +0000803 // If there are other nodes in this list, iterate to them, otherwise we're
Chris Lattnerda272d12010-02-15 08:04:42 +0000804 // done.
Chris Lattnerbd8227f2010-02-18 02:53:41 +0000805 N = N->getNext();
Chris Lattnerda272d12010-02-15 08:04:42 +0000806 }
Chris Lattner8ef9c792010-02-18 02:49:24 +0000807 return Size;
Chris Lattnerda272d12010-02-15 08:04:42 +0000808}
809
Nicolai Haehnle98272e42018-11-30 14:15:13 +0000810void MatcherTableEmitter::EmitNodePredicatesFunction(
811 const std::vector<TreePredicateFn> &Preds, StringRef Decl,
812 raw_ostream &OS) {
813 if (Preds.empty())
814 return;
815
816 BeginEmitFunction(OS, "bool", Decl, true/*AddOverride*/);
817 OS << "{\n";
818 OS << " switch (PredNo) {\n";
819 OS << " default: llvm_unreachable(\"Invalid predicate in table?\");\n";
820 for (unsigned i = 0, e = Preds.size(); i != e; ++i) {
821 // Emit the predicate code corresponding to this pattern.
822 TreePredicateFn PredFn = Preds[i];
823
824 assert(!PredFn.isAlwaysTrue() && "No code in this predicate");
825 OS << " case " << i << ": { \n";
826 for (auto *SimilarPred :
827 NodePredicatesByCodeToRun[PredFn.getCodeToRunOnSDNode()])
828 OS << " // " << TreePredicateFn(SimilarPred).getFnName() <<'\n';
829
830 OS << PredFn.getCodeToRunOnSDNode() << "\n }\n";
831 }
832 OS << " }\n";
833 OS << "}\n";
834 EndEmitFunction(OS);
835}
836
Craig Toppercdcb6d12017-09-19 21:03:57 +0000837void MatcherTableEmitter::EmitPredicateFunctions(raw_ostream &OS) {
Chris Lattnere609a512010-02-17 00:31:50 +0000838 // Emit pattern predicates.
Chris Lattnerd20c0bc2010-02-28 22:57:03 +0000839 if (!PatternPredicates.empty()) {
Krzysztof Parzyszek99119012017-11-10 18:36:04 +0000840 BeginEmitFunction(OS, "bool",
841 "CheckPatternPredicate(unsigned PredNo) const", true/*AddOverride*/);
842 OS << "{\n";
Chris Lattnerd20c0bc2010-02-28 22:57:03 +0000843 OS << " switch (PredNo) {\n";
Craig Topper655b8de2012-02-05 07:21:30 +0000844 OS << " default: llvm_unreachable(\"Invalid predicate in table?\");\n";
Chris Lattnerd20c0bc2010-02-28 22:57:03 +0000845 for (unsigned i = 0, e = PatternPredicates.size(); i != e; ++i)
846 OS << " case " << i << ": return " << PatternPredicates[i] << ";\n";
847 OS << " }\n";
Krzysztof Parzyszek99119012017-11-10 18:36:04 +0000848 OS << "}\n";
849 EndEmitFunction(OS);
Chris Lattnerd20c0bc2010-02-28 22:57:03 +0000850 }
Jim Grosbach9d401932011-03-01 01:39:05 +0000851
Chris Lattnere609a512010-02-17 00:31:50 +0000852 // Emit Node predicates.
Nicolai Haehnle98272e42018-11-30 14:15:13 +0000853 EmitNodePredicatesFunction(
854 NodePredicates, "CheckNodePredicate(SDNode *Node, unsigned PredNo) const",
855 OS);
856 EmitNodePredicatesFunction(
857 NodePredicatesWithOperands,
858 "CheckNodePredicateWithOperands(SDNode *Node, unsigned PredNo, "
859 "const SmallVectorImpl<SDValue> &Operands) const",
860 OS);
Jim Grosbach9d401932011-03-01 01:39:05 +0000861
Chris Lattnere609a512010-02-17 00:31:50 +0000862 // Emit CompletePattern matchers.
Chris Lattner8e946be2010-02-21 03:22:59 +0000863 // FIXME: This should be const.
Chris Lattnerd20c0bc2010-02-28 22:57:03 +0000864 if (!ComplexPatterns.empty()) {
Krzysztof Parzyszek99119012017-11-10 18:36:04 +0000865 BeginEmitFunction(OS, "bool",
866 "CheckComplexPattern(SDNode *Root, SDNode *Parent,\n"
867 " SDValue N, unsigned PatternNo,\n"
868 " SmallVectorImpl<std::pair<SDValue, SDNode*>> &Result)",
869 true/*AddOverride*/);
870 OS << "{\n";
Chris Lattnerf6c4a302010-06-14 22:33:34 +0000871 OS << " unsigned NextRes = Result.size();\n";
Chris Lattnerd20c0bc2010-02-28 22:57:03 +0000872 OS << " switch (PatternNo) {\n";
Craig Topper655b8de2012-02-05 07:21:30 +0000873 OS << " default: llvm_unreachable(\"Invalid pattern # in table?\");\n";
Chris Lattnerd20c0bc2010-02-28 22:57:03 +0000874 for (unsigned i = 0, e = ComplexPatterns.size(); i != e; ++i) {
875 const ComplexPattern &P = *ComplexPatterns[i];
876 unsigned NumOps = P.getNumOperands();
Chris Lattner8e946be2010-02-21 03:22:59 +0000877
Chris Lattnerd20c0bc2010-02-28 22:57:03 +0000878 if (P.hasProperty(SDNPHasChain))
879 ++NumOps; // Get the chained node too.
Jim Grosbach9d401932011-03-01 01:39:05 +0000880
Chris Lattnerd20c0bc2010-02-28 22:57:03 +0000881 OS << " case " << i << ":\n";
Aditya Nandakumar3ca56412017-02-14 18:32:41 +0000882 if (InstrumentCoverage)
883 OS << " {\n";
Chris Lattnerf6c4a302010-06-14 22:33:34 +0000884 OS << " Result.resize(NextRes+" << NumOps << ");\n";
Aditya Nandakumar3ca56412017-02-14 18:32:41 +0000885 if (InstrumentCoverage)
886 OS << " bool Succeeded = " << P.getSelectFunc();
887 else
888 OS << " return " << P.getSelectFunc();
Chris Lattner8e946be2010-02-21 03:22:59 +0000889
Chris Lattner52a261b2010-09-21 20:31:19 +0000890 OS << "(";
891 // If the complex pattern wants the root of the match, pass it in as the
892 // first argument.
893 if (P.hasProperty(SDNPWantRoot))
894 OS << "Root, ";
Jim Grosbach9d401932011-03-01 01:39:05 +0000895
Chris Lattner78d3af42010-09-21 20:37:12 +0000896 // If the complex pattern wants the parent of the operand being matched,
897 // pass it in as the next argument.
898 if (P.hasProperty(SDNPWantParent))
899 OS << "Parent, ";
Jim Grosbach9d401932011-03-01 01:39:05 +0000900
Chris Lattner52a261b2010-09-21 20:31:19 +0000901 OS << "N";
Chris Lattnerd20c0bc2010-02-28 22:57:03 +0000902 for (unsigned i = 0; i != NumOps; ++i)
Chris Lattnerd847bc22010-09-21 22:00:25 +0000903 OS << ", Result[NextRes+" << i << "].first";
Chris Lattnerd20c0bc2010-02-28 22:57:03 +0000904 OS << ");\n";
Aditya Nandakumar3ca56412017-02-14 18:32:41 +0000905 if (InstrumentCoverage) {
906 OS << " if (Succeeded)\n";
907 OS << " dbgs() << \"\\nCOMPLEX_PATTERN: " << P.getSelectFunc()
908 << "\\n\" ;\n";
909 OS << " return Succeeded;\n";
910 OS << " }\n";
911 }
Chris Lattnerd20c0bc2010-02-28 22:57:03 +0000912 }
913 OS << " }\n";
Krzysztof Parzyszek99119012017-11-10 18:36:04 +0000914 OS << "}\n";
915 EndEmitFunction(OS);
Chris Lattnere609a512010-02-17 00:31:50 +0000916 }
Jim Grosbach9d401932011-03-01 01:39:05 +0000917
918
Chris Lattner8e946be2010-02-21 03:22:59 +0000919 // Emit SDNodeXForm handlers.
920 // FIXME: This should be const.
Chris Lattnerd20c0bc2010-02-28 22:57:03 +0000921 if (!NodeXForms.empty()) {
Krzysztof Parzyszek99119012017-11-10 18:36:04 +0000922 BeginEmitFunction(OS, "SDValue",
923 "RunSDNodeXForm(SDValue V, unsigned XFormNo)", true/*AddOverride*/);
924 OS << "{\n";
Chris Lattnerd20c0bc2010-02-28 22:57:03 +0000925 OS << " switch (XFormNo) {\n";
Craig Topper655b8de2012-02-05 07:21:30 +0000926 OS << " default: llvm_unreachable(\"Invalid xform # in table?\");\n";
Jim Grosbach9d401932011-03-01 01:39:05 +0000927
Chris Lattnerd20c0bc2010-02-28 22:57:03 +0000928 // FIXME: The node xform could take SDValue's instead of SDNode*'s.
Chris Lattner4d0c9312010-03-01 01:54:19 +0000929 for (unsigned i = 0, e = NodeXForms.size(); i != e; ++i) {
930 const CodeGenDAGPatterns::NodeXForm &Entry =
931 CGP.getSDNodeTransform(NodeXForms[i]);
Jim Grosbach9d401932011-03-01 01:39:05 +0000932
Chris Lattner4d0c9312010-03-01 01:54:19 +0000933 Record *SDNode = Entry.first;
934 const std::string &Code = Entry.second;
Jim Grosbach9d401932011-03-01 01:39:05 +0000935
Torok Edwin5c7fc882010-03-01 18:49:10 +0000936 OS << " case " << i << ": { ";
937 if (!OmitComments)
938 OS << "// " << NodeXForms[i]->getName();
939 OS << '\n';
Jim Grosbach9d401932011-03-01 01:39:05 +0000940
Chris Lattner4d0c9312010-03-01 01:54:19 +0000941 std::string ClassName = CGP.getSDNodeInfo(SDNode).getSDClassName();
942 if (ClassName == "SDNode")
943 OS << " SDNode *N = V.getNode();\n";
944 else
945 OS << " " << ClassName << " *N = cast<" << ClassName
946 << ">(V.getNode());\n";
947 OS << Code << "\n }\n";
948 }
Chris Lattnerd20c0bc2010-02-28 22:57:03 +0000949 OS << " }\n";
Krzysztof Parzyszek99119012017-11-10 18:36:04 +0000950 OS << "}\n";
951 EndEmitFunction(OS);
Chris Lattnerd20c0bc2010-02-28 22:57:03 +0000952 }
Chris Lattner050a03d2010-02-16 07:21:10 +0000953}
954
Chris Lattner57fcd032010-03-04 01:34:29 +0000955static void BuildHistogram(const Matcher *M, std::vector<unsigned> &OpcodeFreq){
Craig Topper095734c2014-04-15 07:20:03 +0000956 for (; M != nullptr; M = M->getNext()) {
Chris Lattner57fcd032010-03-04 01:34:29 +0000957 // Count this node.
958 if (unsigned(M->getKind()) >= OpcodeFreq.size())
959 OpcodeFreq.resize(M->getKind()+1);
960 OpcodeFreq[M->getKind()]++;
Jim Grosbach9d401932011-03-01 01:39:05 +0000961
Chris Lattner57fcd032010-03-04 01:34:29 +0000962 // Handle recursive nodes.
963 if (const ScopeMatcher *SM = dyn_cast<ScopeMatcher>(M)) {
964 for (unsigned i = 0, e = SM->getNumChildren(); i != e; ++i)
965 BuildHistogram(SM->getChild(i), OpcodeFreq);
Jim Grosbach9d401932011-03-01 01:39:05 +0000966 } else if (const SwitchOpcodeMatcher *SOM =
Chris Lattner57fcd032010-03-04 01:34:29 +0000967 dyn_cast<SwitchOpcodeMatcher>(M)) {
968 for (unsigned i = 0, e = SOM->getNumCases(); i != e; ++i)
969 BuildHistogram(SOM->getCaseMatcher(i), OpcodeFreq);
970 } else if (const SwitchTypeMatcher *STM = dyn_cast<SwitchTypeMatcher>(M)) {
971 for (unsigned i = 0, e = STM->getNumCases(); i != e; ++i)
972 BuildHistogram(STM->getCaseMatcher(i), OpcodeFreq);
973 }
974 }
975}
976
Craig Toppercdcb6d12017-09-19 21:03:57 +0000977static StringRef getOpcodeString(Matcher::KindTy Kind) {
978 switch (Kind) {
979 case Matcher::Scope: return "OPC_Scope"; break;
980 case Matcher::RecordNode: return "OPC_RecordNode"; break;
981 case Matcher::RecordChild: return "OPC_RecordChild"; break;
982 case Matcher::RecordMemRef: return "OPC_RecordMemRef"; break;
983 case Matcher::CaptureGlueInput: return "OPC_CaptureGlueInput"; break;
984 case Matcher::MoveChild: return "OPC_MoveChild"; break;
985 case Matcher::MoveParent: return "OPC_MoveParent"; break;
986 case Matcher::CheckSame: return "OPC_CheckSame"; break;
987 case Matcher::CheckChildSame: return "OPC_CheckChildSame"; break;
988 case Matcher::CheckPatternPredicate:
989 return "OPC_CheckPatternPredicate"; break;
990 case Matcher::CheckPredicate: return "OPC_CheckPredicate"; break;
991 case Matcher::CheckOpcode: return "OPC_CheckOpcode"; break;
992 case Matcher::SwitchOpcode: return "OPC_SwitchOpcode"; break;
993 case Matcher::CheckType: return "OPC_CheckType"; break;
994 case Matcher::SwitchType: return "OPC_SwitchType"; break;
995 case Matcher::CheckChildType: return "OPC_CheckChildType"; break;
996 case Matcher::CheckInteger: return "OPC_CheckInteger"; break;
997 case Matcher::CheckChildInteger: return "OPC_CheckChildInteger"; break;
998 case Matcher::CheckCondCode: return "OPC_CheckCondCode"; break;
999 case Matcher::CheckValueType: return "OPC_CheckValueType"; break;
1000 case Matcher::CheckComplexPat: return "OPC_CheckComplexPat"; break;
1001 case Matcher::CheckAndImm: return "OPC_CheckAndImm"; break;
1002 case Matcher::CheckOrImm: return "OPC_CheckOrImm"; break;
1003 case Matcher::CheckFoldableChainNode:
1004 return "OPC_CheckFoldableChainNode"; break;
1005 case Matcher::EmitInteger: return "OPC_EmitInteger"; break;
1006 case Matcher::EmitStringInteger: return "OPC_EmitStringInteger"; break;
1007 case Matcher::EmitRegister: return "OPC_EmitRegister"; break;
1008 case Matcher::EmitConvertToTarget: return "OPC_EmitConvertToTarget"; break;
1009 case Matcher::EmitMergeInputChains: return "OPC_EmitMergeInputChains"; break;
1010 case Matcher::EmitCopyToReg: return "OPC_EmitCopyToReg"; break;
1011 case Matcher::EmitNode: return "OPC_EmitNode"; break;
1012 case Matcher::MorphNodeTo: return "OPC_MorphNodeTo"; break;
1013 case Matcher::EmitNodeXForm: return "OPC_EmitNodeXForm"; break;
1014 case Matcher::CompleteMatch: return "OPC_CompleteMatch"; break;
1015 }
1016
1017 llvm_unreachable("Unhandled opcode?");
1018}
1019
Chris Lattner57fcd032010-03-04 01:34:29 +00001020void MatcherTableEmitter::EmitHistogram(const Matcher *M,
Craig Toppercdcb6d12017-09-19 21:03:57 +00001021 raw_ostream &OS) {
Torok Edwin5c7fc882010-03-01 18:49:10 +00001022 if (OmitComments)
1023 return;
Jim Grosbach9d401932011-03-01 01:39:05 +00001024
Chris Lattner57fcd032010-03-04 01:34:29 +00001025 std::vector<unsigned> OpcodeFreq;
1026 BuildHistogram(M, OpcodeFreq);
Jim Grosbach9d401932011-03-01 01:39:05 +00001027
Chris Lattner09b9f392010-02-24 19:17:12 +00001028 OS << " // Opcode Histogram:\n";
Chris Lattner57fcd032010-03-04 01:34:29 +00001029 for (unsigned i = 0, e = OpcodeFreq.size(); i != e; ++i) {
Craig Toppercdcb6d12017-09-19 21:03:57 +00001030 OS << " // #"
1031 << left_justify(getOpcodeString((Matcher::KindTy)i), HistOpcWidth)
1032 << " = " << OpcodeFreq[i] << '\n';
Chris Lattner09b9f392010-02-24 19:17:12 +00001033 }
1034 OS << '\n';
1035}
1036
Chris Lattner050a03d2010-02-16 07:21:10 +00001037
Chris Lattner4d0c9312010-03-01 01:54:19 +00001038void llvm::EmitMatcherTable(const Matcher *TheMatcher,
Jim Grosbach2d76c842011-03-01 01:37:19 +00001039 const CodeGenDAGPatterns &CGP,
Craig Toppercdcb6d12017-09-19 21:03:57 +00001040 raw_ostream &OS) {
Krzysztof Parzyszek99119012017-11-10 18:36:04 +00001041 OS << "#if defined(GET_DAGISEL_DECL) && defined(GET_DAGISEL_BODY)\n";
1042 OS << "#error GET_DAGISEL_DECL and GET_DAGISEL_BODY cannot be both defined, ";
1043 OS << "undef both for inline definitions\n";
1044 OS << "#endif\n\n";
Chris Lattnerda272d12010-02-15 08:04:42 +00001045
Krzysztof Parzyszek99119012017-11-10 18:36:04 +00001046 // Emit a check for omitted class name.
1047 OS << "#ifdef GET_DAGISEL_BODY\n";
1048 OS << "#define LOCAL_DAGISEL_STRINGIZE(X) LOCAL_DAGISEL_STRINGIZE_(X)\n";
1049 OS << "#define LOCAL_DAGISEL_STRINGIZE_(X) #X\n";
1050 OS << "static_assert(sizeof(LOCAL_DAGISEL_STRINGIZE(GET_DAGISEL_BODY)) > 1,"
1051 "\n";
1052 OS << " \"GET_DAGISEL_BODY is empty: it should be defined with the class "
1053 "name\");\n";
1054 OS << "#undef LOCAL_DAGISEL_STRINGIZE_\n";
1055 OS << "#undef LOCAL_DAGISEL_STRINGIZE\n";
1056 OS << "#endif\n\n";
1057
1058 OS << "#if !defined(GET_DAGISEL_DECL) && !defined(GET_DAGISEL_BODY)\n";
1059 OS << "#define DAGISEL_INLINE 1\n";
1060 OS << "#else\n";
1061 OS << "#define DAGISEL_INLINE 0\n";
1062 OS << "#endif\n\n";
1063
1064 OS << "#if !DAGISEL_INLINE\n";
1065 OS << "#define DAGISEL_CLASS_COLONCOLON GET_DAGISEL_BODY ::\n";
1066 OS << "#else\n";
1067 OS << "#define DAGISEL_CLASS_COLONCOLON\n";
1068 OS << "#endif\n\n";
1069
1070 BeginEmitFunction(OS, "void", "SelectCode(SDNode *N)", false/*AddOverride*/);
Jim Grosbach4a6d7352011-03-11 02:19:02 +00001071 MatcherTableEmitter MatcherEmitter(CGP);
Chris Lattnere02ea542010-02-16 06:52:01 +00001072
Krzysztof Parzyszek99119012017-11-10 18:36:04 +00001073 OS << "{\n";
Jim Grosbach2d76c842011-03-01 01:37:19 +00001074 OS << " // Some target values are emitted as 2 bytes, TARGET_VAL handles\n";
1075 OS << " // this.\n";
1076 OS << " #define TARGET_VAL(X) X & 255, unsigned(X) >> 8\n";
Chris Lattnerda272d12010-02-15 08:04:42 +00001077 OS << " static const unsigned char MatcherTable[] = {\n";
Craig Toppercdcb6d12017-09-19 21:03:57 +00001078 unsigned TotalSize = MatcherEmitter.EmitMatcherList(TheMatcher, 1, 0, OS);
Chris Lattnerda272d12010-02-15 08:04:42 +00001079 OS << " 0\n }; // Total Array size is " << (TotalSize+1) << " bytes\n\n";
Jim Grosbach9d401932011-03-01 01:39:05 +00001080
Chris Lattner57fcd032010-03-04 01:34:29 +00001081 MatcherEmitter.EmitHistogram(TheMatcher, OS);
Jim Grosbach9d401932011-03-01 01:39:05 +00001082
Jim Grosbach2d76c842011-03-01 01:37:19 +00001083 OS << " #undef TARGET_VAL\n";
Justin Bogner182dac02016-05-10 22:58:26 +00001084 OS << " SelectCodeCommon(N, MatcherTable,sizeof(MatcherTable));\n";
Krzysztof Parzyszek99119012017-11-10 18:36:04 +00001085 OS << "}\n";
1086 EndEmitFunction(OS);
Jim Grosbach9d401932011-03-01 01:39:05 +00001087
Chris Lattner050a03d2010-02-16 07:21:10 +00001088 // Next up, emit the function for node and pattern predicates:
Chris Lattner48e86db2010-03-29 01:40:38 +00001089 MatcherEmitter.EmitPredicateFunctions(OS);
Aditya Nandakumar3ca56412017-02-14 18:32:41 +00001090
1091 if (InstrumentCoverage)
1092 MatcherEmitter.EmitPatternMatchTable(OS);
Krzysztof Parzyszek99119012017-11-10 18:36:04 +00001093
1094 // Clean up the preprocessor macros.
1095 OS << "\n";
1096 OS << "#ifdef DAGISEL_INLINE\n";
1097 OS << "#undef DAGISEL_INLINE\n";
1098 OS << "#endif\n";
1099 OS << "#ifdef DAGISEL_CLASS_COLONCOLON\n";
1100 OS << "#undef DAGISEL_CLASS_COLONCOLON\n";
1101 OS << "#endif\n";
1102 OS << "#ifdef GET_DAGISEL_DECL\n";
1103 OS << "#undef GET_DAGISEL_DECL\n";
1104 OS << "#endif\n";
1105 OS << "#ifdef GET_DAGISEL_BODY\n";
1106 OS << "#undef GET_DAGISEL_BODY\n";
1107 OS << "#endif\n";
Chris Lattnerda272d12010-02-15 08:04:42 +00001108}