xref: /llvm-project/llvm/utils/TableGen/DAGISelMatcherEmitter.cpp (revision 6b2232606d01a029f640b61b4f985d9dea79d4b6)
1 //===- DAGISelMatcherEmitter.cpp - Matcher Emitter ------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // This file contains code to generate C++ code for a matcher.
10 //
11 //===----------------------------------------------------------------------===//
12 
13 #include "Basic/SDNodeProperties.h"
14 #include "Common/CodeGenDAGPatterns.h"
15 #include "Common/CodeGenInstruction.h"
16 #include "Common/CodeGenRegisters.h"
17 #include "Common/CodeGenTarget.h"
18 #include "Common/DAGISelMatcher.h"
19 #include "llvm/ADT/DenseMap.h"
20 #include "llvm/ADT/MapVector.h"
21 #include "llvm/ADT/StringMap.h"
22 #include "llvm/ADT/TinyPtrVector.h"
23 #include "llvm/Support/CommandLine.h"
24 #include "llvm/Support/Format.h"
25 #include "llvm/Support/SourceMgr.h"
26 #include "llvm/TableGen/Error.h"
27 #include "llvm/TableGen/Record.h"
28 
29 using namespace llvm;
30 
31 enum {
32   IndexWidth = 6,
33   FullIndexWidth = IndexWidth + 4,
34   HistOpcWidth = 40,
35 };
36 
37 cl::OptionCategory DAGISelCat("Options for -gen-dag-isel");
38 
39 // To reduce generated source code size.
40 static cl::opt<bool> OmitComments("omit-comments",
41                                   cl::desc("Do not generate comments"),
42                                   cl::init(false), cl::cat(DAGISelCat));
43 
44 static cl::opt<bool> InstrumentCoverage(
45     "instrument-coverage",
46     cl::desc("Generates tables to help identify patterns matched"),
47     cl::init(false), cl::cat(DAGISelCat));
48 
49 namespace {
50 class MatcherTableEmitter {
51   const CodeGenDAGPatterns &CGP;
52 
53   SmallVector<unsigned, Matcher::HighestKind + 1> OpcodeCounts;
54 
55   std::vector<TreePattern *> NodePredicates;
56   std::vector<TreePattern *> NodePredicatesWithOperands;
57 
58   // We de-duplicate the predicates by code string, and use this map to track
59   // all the patterns with "identical" predicates.
60   MapVector<std::string, TinyPtrVector<TreePattern *>, StringMap<unsigned>>
61       NodePredicatesByCodeToRun;
62 
63   std::vector<std::string> PatternPredicates;
64 
65   std::vector<const ComplexPattern *> ComplexPatterns;
66 
67   DenseMap<const Record *, unsigned> NodeXFormMap;
68   std::vector<const Record *> NodeXForms;
69 
70   std::vector<std::string> VecIncludeStrings;
71   MapVector<std::string, unsigned, StringMap<unsigned>> VecPatterns;
72 
73   unsigned getPatternIdxFromTable(std::string &&P, std::string &&include_loc) {
74     const auto [It, Inserted] =
75         VecPatterns.try_emplace(std::move(P), VecPatterns.size());
76     if (Inserted) {
77       VecIncludeStrings.push_back(std::move(include_loc));
78       return VecIncludeStrings.size() - 1;
79     }
80     return It->second;
81   }
82 
83 public:
84   MatcherTableEmitter(const Matcher *TheMatcher, const CodeGenDAGPatterns &cgp)
85       : CGP(cgp), OpcodeCounts(Matcher::HighestKind + 1, 0) {
86     // Record the usage of ComplexPattern.
87     MapVector<const ComplexPattern *, unsigned> ComplexPatternUsage;
88     // Record the usage of PatternPredicate.
89     MapVector<StringRef, unsigned> PatternPredicateUsage;
90     // Record the usage of Predicate.
91     MapVector<TreePattern *, unsigned> PredicateUsage;
92 
93     // Iterate the whole MatcherTable once and do some statistics.
94     std::function<void(const Matcher *)> Statistic = [&](const Matcher *N) {
95       while (N) {
96         if (auto *SM = dyn_cast<ScopeMatcher>(N))
97           for (unsigned I = 0; I < SM->getNumChildren(); I++)
98             Statistic(SM->getChild(I));
99         else if (auto *SOM = dyn_cast<SwitchOpcodeMatcher>(N))
100           for (unsigned I = 0; I < SOM->getNumCases(); I++)
101             Statistic(SOM->getCaseMatcher(I));
102         else if (auto *STM = dyn_cast<SwitchTypeMatcher>(N))
103           for (unsigned I = 0; I < STM->getNumCases(); I++)
104             Statistic(STM->getCaseMatcher(I));
105         else if (auto *CPM = dyn_cast<CheckComplexPatMatcher>(N))
106           ++ComplexPatternUsage[&CPM->getPattern()];
107         else if (auto *CPPM = dyn_cast<CheckPatternPredicateMatcher>(N))
108           ++PatternPredicateUsage[CPPM->getPredicate()];
109         else if (auto *PM = dyn_cast<CheckPredicateMatcher>(N))
110           ++PredicateUsage[PM->getPredicate().getOrigPatFragRecord()];
111         N = N->getNext();
112       }
113     };
114     Statistic(TheMatcher);
115 
116     // Sort ComplexPatterns by usage.
117     std::vector<std::pair<const ComplexPattern *, unsigned>> ComplexPatternList(
118         ComplexPatternUsage.begin(), ComplexPatternUsage.end());
119     stable_sort(ComplexPatternList, [](const auto &A, const auto &B) {
120       return A.second > B.second;
121     });
122     for (const auto &ComplexPattern : ComplexPatternList)
123       ComplexPatterns.push_back(ComplexPattern.first);
124 
125     // Sort PatternPredicates by usage.
126     std::vector<std::pair<std::string, unsigned>> PatternPredicateList(
127         PatternPredicateUsage.begin(), PatternPredicateUsage.end());
128     stable_sort(PatternPredicateList, [](const auto &A, const auto &B) {
129       return A.second > B.second;
130     });
131     for (const auto &PatternPredicate : PatternPredicateList)
132       PatternPredicates.push_back(PatternPredicate.first);
133 
134     // Sort Predicates by usage.
135     // Merge predicates with same code.
136     for (const auto &Usage : PredicateUsage) {
137       TreePattern *TP = Usage.first;
138       TreePredicateFn Pred(TP);
139       NodePredicatesByCodeToRun[Pred.getCodeToRunOnSDNode()].push_back(TP);
140     }
141 
142     std::vector<std::pair<TreePattern *, unsigned>> PredicateList;
143     // Sum the usage.
144     for (auto &Predicate : NodePredicatesByCodeToRun) {
145       TinyPtrVector<TreePattern *> &TPs = Predicate.second;
146       stable_sort(TPs, [](const auto *A, const auto *B) {
147         return A->getRecord()->getName() < B->getRecord()->getName();
148       });
149       unsigned Uses = 0;
150       for (TreePattern *TP : TPs)
151         Uses += PredicateUsage[TP];
152 
153       // We only add the first predicate here since they are with the same code.
154       PredicateList.push_back({TPs[0], Uses});
155     }
156 
157     stable_sort(PredicateList, [](const auto &A, const auto &B) {
158       return A.second > B.second;
159     });
160     for (const auto &Predicate : PredicateList) {
161       TreePattern *TP = Predicate.first;
162       if (TreePredicateFn(TP).usesOperands())
163         NodePredicatesWithOperands.push_back(TP);
164       else
165         NodePredicates.push_back(TP);
166     }
167   }
168 
169   unsigned EmitMatcherList(const Matcher *N, const unsigned Indent,
170                            unsigned StartIdx, raw_ostream &OS);
171 
172   unsigned SizeMatcherList(Matcher *N, raw_ostream &OS);
173 
174   void EmitPredicateFunctions(raw_ostream &OS);
175 
176   void EmitHistogram(const Matcher *N, raw_ostream &OS);
177 
178   void EmitPatternMatchTable(raw_ostream &OS);
179 
180 private:
181   void EmitNodePredicatesFunction(const std::vector<TreePattern *> &Preds,
182                                   StringRef Decl, raw_ostream &OS);
183 
184   unsigned SizeMatcher(Matcher *N, raw_ostream &OS);
185 
186   unsigned EmitMatcher(const Matcher *N, const unsigned Indent,
187                        unsigned CurrentIdx, raw_ostream &OS);
188 
189   unsigned getNodePredicate(TreePredicateFn Pred) {
190     // We use the first predicate.
191     TreePattern *PredPat =
192         NodePredicatesByCodeToRun[Pred.getCodeToRunOnSDNode()][0];
193     return Pred.usesOperands()
194                ? llvm::find(NodePredicatesWithOperands, PredPat) -
195                      NodePredicatesWithOperands.begin()
196                : llvm::find(NodePredicates, PredPat) - NodePredicates.begin();
197   }
198 
199   unsigned getPatternPredicate(StringRef PredName) {
200     return llvm::find(PatternPredicates, PredName) - PatternPredicates.begin();
201   }
202   unsigned getComplexPat(const ComplexPattern &P) {
203     return llvm::find(ComplexPatterns, &P) - ComplexPatterns.begin();
204   }
205 
206   unsigned getNodeXFormID(const Record *Rec) {
207     unsigned &Entry = NodeXFormMap[Rec];
208     if (Entry == 0) {
209       NodeXForms.push_back(Rec);
210       Entry = NodeXForms.size();
211     }
212     return Entry - 1;
213   }
214 };
215 } // end anonymous namespace.
216 
217 static std::string GetPatFromTreePatternNode(const TreePatternNode &N) {
218   std::string str;
219   raw_string_ostream Stream(str);
220   Stream << N;
221   return str;
222 }
223 
224 static unsigned GetVBRSize(unsigned Val) {
225   if (Val <= 127)
226     return 1;
227 
228   unsigned NumBytes = 0;
229   while (Val >= 128) {
230     Val >>= 7;
231     ++NumBytes;
232   }
233   return NumBytes + 1;
234 }
235 
236 /// EmitVBRValue - Emit the specified value as a VBR, returning the number of
237 /// bytes emitted.
238 static unsigned EmitVBRValue(uint64_t Val, raw_ostream &OS) {
239   if (Val <= 127) {
240     OS << Val << ", ";
241     return 1;
242   }
243 
244   uint64_t InVal = Val;
245   unsigned NumBytes = 0;
246   while (Val >= 128) {
247     OS << (Val & 127) << "|128,";
248     Val >>= 7;
249     ++NumBytes;
250   }
251   OS << Val;
252   if (!OmitComments)
253     OS << "/*" << InVal << "*/";
254   OS << ", ";
255   return NumBytes + 1;
256 }
257 
258 /// Emit the specified signed value as a VBR. To improve compression we encode
259 /// positive numbers shifted left by 1 and negative numbers negated and shifted
260 /// left by 1 with bit 0 set.
261 static unsigned EmitSignedVBRValue(uint64_t Val, raw_ostream &OS) {
262   if ((int64_t)Val >= 0)
263     Val = Val << 1;
264   else
265     Val = (-Val << 1) | 1;
266 
267   return EmitVBRValue(Val, OS);
268 }
269 
270 // This is expensive and slow.
271 static std::string getIncludePath(const Record *R) {
272   std::string str;
273   raw_string_ostream Stream(str);
274   auto Locs = R->getLoc();
275   SMLoc L;
276   if (Locs.size() > 1) {
277     // Get where the pattern prototype was instantiated
278     L = Locs[1];
279   } else if (Locs.size() == 1) {
280     L = Locs[0];
281   }
282   unsigned CurBuf = SrcMgr.FindBufferContainingLoc(L);
283   assert(CurBuf && "Invalid or unspecified location!");
284 
285   Stream << SrcMgr.getBufferInfo(CurBuf).Buffer->getBufferIdentifier() << ":"
286          << SrcMgr.FindLineNumber(L, CurBuf);
287   return str;
288 }
289 
290 /// This function traverses the matcher tree and sizes all the nodes
291 /// that are children of the three kinds of nodes that have them.
292 unsigned MatcherTableEmitter::SizeMatcherList(Matcher *N, raw_ostream &OS) {
293   unsigned Size = 0;
294   while (N) {
295     Size += SizeMatcher(N, OS);
296     N = N->getNext();
297   }
298   return Size;
299 }
300 
301 /// This function sizes the children of the three kinds of nodes that
302 /// have them. It does so by using special cases for those three
303 /// nodes, but sharing the code in EmitMatcher() for the other kinds.
304 unsigned MatcherTableEmitter::SizeMatcher(Matcher *N, raw_ostream &OS) {
305   unsigned Idx = 0;
306 
307   ++OpcodeCounts[N->getKind()];
308   switch (N->getKind()) {
309   // The Scope matcher has its kind, a series of child size + child,
310   // and a trailing zero.
311   case Matcher::Scope: {
312     ScopeMatcher *SM = cast<ScopeMatcher>(N);
313     assert(SM->getNext() == nullptr && "Scope matcher should not have next");
314     unsigned Size = 1; // Count the kind.
315     for (unsigned i = 0, e = SM->getNumChildren(); i != e; ++i) {
316       const unsigned ChildSize = SizeMatcherList(SM->getChild(i), OS);
317       assert(ChildSize != 0 && "Matcher cannot have child of size 0");
318       SM->getChild(i)->setSize(ChildSize);
319       Size += GetVBRSize(ChildSize) + ChildSize; // Count VBR and child size.
320     }
321     ++Size; // Count the zero sentinel.
322     return Size;
323   }
324 
325   // SwitchOpcode and SwitchType have their kind, a series of child size +
326   // opcode/type + child, and a trailing zero.
327   case Matcher::SwitchOpcode:
328   case Matcher::SwitchType: {
329     unsigned Size = 1; // Count the kind.
330     unsigned NumCases;
331     if (const SwitchOpcodeMatcher *SOM = dyn_cast<SwitchOpcodeMatcher>(N))
332       NumCases = SOM->getNumCases();
333     else
334       NumCases = cast<SwitchTypeMatcher>(N)->getNumCases();
335     for (unsigned i = 0, e = NumCases; i != e; ++i) {
336       Matcher *Child;
337       if (SwitchOpcodeMatcher *SOM = dyn_cast<SwitchOpcodeMatcher>(N)) {
338         Child = SOM->getCaseMatcher(i);
339         Size += 2; // Count the child's opcode.
340       } else {
341         Child = cast<SwitchTypeMatcher>(N)->getCaseMatcher(i);
342         Size += GetVBRSize(cast<SwitchTypeMatcher>(N)->getCaseType(
343             i)); // Count the child's type.
344       }
345       const unsigned ChildSize = SizeMatcherList(Child, OS);
346       assert(ChildSize != 0 && "Matcher cannot have child of size 0");
347       Child->setSize(ChildSize);
348       Size += GetVBRSize(ChildSize) + ChildSize; // Count VBR and child size.
349     }
350     ++Size; // Count the zero sentinel.
351     return Size;
352   }
353 
354   default:
355     // Employ the matcher emitter to size other matchers.
356     return EmitMatcher(N, 0, Idx, OS);
357   }
358   llvm_unreachable("Unreachable");
359 }
360 
361 static void BeginEmitFunction(raw_ostream &OS, StringRef RetType,
362                               StringRef Decl, bool AddOverride) {
363   OS << "#ifdef GET_DAGISEL_DECL\n";
364   OS << RetType << ' ' << Decl;
365   if (AddOverride)
366     OS << " override";
367   OS << ";\n"
368         "#endif\n"
369         "#if defined(GET_DAGISEL_BODY) || DAGISEL_INLINE\n";
370   OS << RetType << " DAGISEL_CLASS_COLONCOLON " << Decl << "\n";
371   if (AddOverride) {
372     OS << "#if DAGISEL_INLINE\n"
373           "  override\n"
374           "#endif\n";
375   }
376 }
377 
378 static void EndEmitFunction(raw_ostream &OS) {
379   OS << "#endif // GET_DAGISEL_BODY\n\n";
380 }
381 
382 void MatcherTableEmitter::EmitPatternMatchTable(raw_ostream &OS) {
383 
384   if (!isUInt<32>(VecPatterns.size()))
385     report_fatal_error("More patterns defined that can fit into 32-bit Pattern "
386                        "Table index encoding");
387 
388   assert(VecPatterns.size() == VecIncludeStrings.size() &&
389          "The sizes of Pattern and include vectors should be the same");
390 
391   BeginEmitFunction(OS, "StringRef", "getPatternForIndex(unsigned Index)",
392                     true /*AddOverride*/);
393   OS << "{\n";
394   OS << "static const char *PATTERN_MATCH_TABLE[] = {\n";
395 
396   for (const auto &It : VecPatterns) {
397     OS << "\"" << It.first << "\",\n";
398   }
399 
400   OS << "\n};";
401   OS << "\nreturn StringRef(PATTERN_MATCH_TABLE[Index]);";
402   OS << "\n}\n";
403   EndEmitFunction(OS);
404 
405   BeginEmitFunction(OS, "StringRef", "getIncludePathForIndex(unsigned Index)",
406                     true /*AddOverride*/);
407   OS << "{\n";
408   OS << "static const char *INCLUDE_PATH_TABLE[] = {\n";
409 
410   for (const auto &It : VecIncludeStrings) {
411     OS << "\"" << It << "\",\n";
412   }
413 
414   OS << "\n};";
415   OS << "\nreturn StringRef(INCLUDE_PATH_TABLE[Index]);";
416   OS << "\n}\n";
417   EndEmitFunction(OS);
418 }
419 
420 /// EmitMatcher - Emit bytes for the specified matcher and return
421 /// the number of bytes emitted.
422 unsigned MatcherTableEmitter::EmitMatcher(const Matcher *N,
423                                           const unsigned Indent,
424                                           unsigned CurrentIdx,
425                                           raw_ostream &OS) {
426   OS.indent(Indent);
427 
428   switch (N->getKind()) {
429   case Matcher::Scope: {
430     const ScopeMatcher *SM = cast<ScopeMatcher>(N);
431     unsigned StartIdx = CurrentIdx;
432 
433     // Emit all of the children.
434     for (unsigned i = 0, e = SM->getNumChildren(); i != e; ++i) {
435       if (i == 0) {
436         OS << "OPC_Scope, ";
437         ++CurrentIdx;
438       } else {
439         if (!OmitComments) {
440           OS << "/*" << format_decimal(CurrentIdx, IndexWidth) << "*/";
441           OS.indent(Indent) << "/*Scope*/ ";
442         } else
443           OS.indent(Indent);
444       }
445 
446       unsigned ChildSize = SM->getChild(i)->getSize();
447       unsigned VBRSize = EmitVBRValue(ChildSize, OS);
448       if (!OmitComments) {
449         OS << "/*->" << CurrentIdx + VBRSize + ChildSize << "*/";
450         if (i == 0)
451           OS << " // " << SM->getNumChildren() << " children in Scope";
452       }
453       OS << '\n';
454 
455       ChildSize = EmitMatcherList(SM->getChild(i), Indent + 1,
456                                   CurrentIdx + VBRSize, OS);
457       assert(ChildSize == SM->getChild(i)->getSize() &&
458              "Emitted child size does not match calculated size");
459       CurrentIdx += VBRSize + ChildSize;
460     }
461 
462     // Emit a zero as a sentinel indicating end of 'Scope'.
463     if (!OmitComments)
464       OS << "/*" << format_decimal(CurrentIdx, IndexWidth) << "*/";
465     OS.indent(Indent) << "0, ";
466     if (!OmitComments)
467       OS << "/*End of Scope*/";
468     OS << '\n';
469     return CurrentIdx - StartIdx + 1;
470   }
471 
472   case Matcher::RecordNode:
473     OS << "OPC_RecordNode,";
474     if (!OmitComments)
475       OS << " // #" << cast<RecordMatcher>(N)->getResultNo() << " = "
476          << cast<RecordMatcher>(N)->getWhatFor();
477     OS << '\n';
478     return 1;
479 
480   case Matcher::RecordChild:
481     OS << "OPC_RecordChild" << cast<RecordChildMatcher>(N)->getChildNo() << ',';
482     if (!OmitComments)
483       OS << " // #" << cast<RecordChildMatcher>(N)->getResultNo() << " = "
484          << cast<RecordChildMatcher>(N)->getWhatFor();
485     OS << '\n';
486     return 1;
487 
488   case Matcher::RecordMemRef:
489     OS << "OPC_RecordMemRef,\n";
490     return 1;
491 
492   case Matcher::CaptureGlueInput:
493     OS << "OPC_CaptureGlueInput,\n";
494     return 1;
495 
496   case Matcher::MoveChild: {
497     const auto *MCM = cast<MoveChildMatcher>(N);
498 
499     OS << "OPC_MoveChild";
500     // Handle the specialized forms.
501     if (MCM->getChildNo() >= 8)
502       OS << ", ";
503     OS << MCM->getChildNo() << ",\n";
504     return (MCM->getChildNo() >= 8) ? 2 : 1;
505   }
506 
507   case Matcher::MoveSibling: {
508     const auto *MSM = cast<MoveSiblingMatcher>(N);
509 
510     OS << "OPC_MoveSibling";
511     // Handle the specialized forms.
512     if (MSM->getSiblingNo() >= 8)
513       OS << ", ";
514     OS << MSM->getSiblingNo() << ",\n";
515     return (MSM->getSiblingNo() >= 8) ? 2 : 1;
516   }
517 
518   case Matcher::MoveParent:
519     OS << "OPC_MoveParent,\n";
520     return 1;
521 
522   case Matcher::CheckSame:
523     OS << "OPC_CheckSame, " << cast<CheckSameMatcher>(N)->getMatchNumber()
524        << ",\n";
525     return 2;
526 
527   case Matcher::CheckChildSame:
528     OS << "OPC_CheckChild" << cast<CheckChildSameMatcher>(N)->getChildNo()
529        << "Same, " << cast<CheckChildSameMatcher>(N)->getMatchNumber() << ",\n";
530     return 2;
531 
532   case Matcher::CheckPatternPredicate: {
533     StringRef Pred = cast<CheckPatternPredicateMatcher>(N)->getPredicate();
534     unsigned PredNo = getPatternPredicate(Pred);
535     if (PredNo > 255)
536       OS << "OPC_CheckPatternPredicateTwoByte, TARGET_VAL(" << PredNo << "),";
537     else if (PredNo < 8)
538       OS << "OPC_CheckPatternPredicate" << PredNo << ',';
539     else
540       OS << "OPC_CheckPatternPredicate, " << PredNo << ',';
541     if (!OmitComments)
542       OS << " // " << Pred;
543     OS << '\n';
544     return 2 + (PredNo > 255) - (PredNo < 8);
545   }
546   case Matcher::CheckPredicate: {
547     TreePredicateFn Pred = cast<CheckPredicateMatcher>(N)->getPredicate();
548     unsigned OperandBytes = 0;
549     unsigned PredNo = getNodePredicate(Pred);
550 
551     if (Pred.usesOperands()) {
552       unsigned NumOps = cast<CheckPredicateMatcher>(N)->getNumOperands();
553       OS << "OPC_CheckPredicateWithOperands, " << NumOps << "/*#Ops*/, ";
554       for (unsigned i = 0; i < NumOps; ++i)
555         OS << cast<CheckPredicateMatcher>(N)->getOperandNo(i) << ", ";
556       OperandBytes = 1 + NumOps;
557     } else {
558       if (PredNo < 8) {
559         OperandBytes = -1;
560         OS << "OPC_CheckPredicate" << PredNo << ", ";
561       } else
562         OS << "OPC_CheckPredicate, ";
563     }
564 
565     if (PredNo >= 8 || Pred.usesOperands())
566       OS << PredNo << ',';
567     if (!OmitComments)
568       OS << " // " << Pred.getFnName();
569     OS << '\n';
570     return 2 + OperandBytes;
571   }
572 
573   case Matcher::CheckOpcode:
574     OS << "OPC_CheckOpcode, TARGET_VAL("
575        << cast<CheckOpcodeMatcher>(N)->getOpcode().getEnumName() << "),\n";
576     return 3;
577 
578   case Matcher::SwitchOpcode:
579   case Matcher::SwitchType: {
580     unsigned StartIdx = CurrentIdx;
581 
582     unsigned NumCases;
583     if (const SwitchOpcodeMatcher *SOM = dyn_cast<SwitchOpcodeMatcher>(N)) {
584       OS << "OPC_SwitchOpcode ";
585       NumCases = SOM->getNumCases();
586     } else {
587       OS << "OPC_SwitchType ";
588       NumCases = cast<SwitchTypeMatcher>(N)->getNumCases();
589     }
590 
591     if (!OmitComments)
592       OS << "/*" << NumCases << " cases */";
593     OS << ", ";
594     ++CurrentIdx;
595 
596     // For each case we emit the size, then the opcode, then the matcher.
597     for (unsigned i = 0, e = NumCases; i != e; ++i) {
598       const Matcher *Child;
599       unsigned IdxSize;
600       if (const SwitchOpcodeMatcher *SOM = dyn_cast<SwitchOpcodeMatcher>(N)) {
601         Child = SOM->getCaseMatcher(i);
602         IdxSize = 2; // size of opcode in table is 2 bytes.
603       } else {
604         Child = cast<SwitchTypeMatcher>(N)->getCaseMatcher(i);
605         IdxSize = GetVBRSize(cast<SwitchTypeMatcher>(N)->getCaseType(
606             i)); // size of type in table is sizeof(VBR(MVT)) byte.
607       }
608 
609       if (i != 0) {
610         if (!OmitComments)
611           OS << "/*" << format_decimal(CurrentIdx, IndexWidth) << "*/";
612         OS.indent(Indent);
613         if (!OmitComments)
614           OS << (isa<SwitchOpcodeMatcher>(N) ? "/*SwitchOpcode*/ "
615                                              : "/*SwitchType*/ ");
616       }
617 
618       unsigned ChildSize = Child->getSize();
619       CurrentIdx += EmitVBRValue(ChildSize, OS) + IdxSize;
620       if (const SwitchOpcodeMatcher *SOM = dyn_cast<SwitchOpcodeMatcher>(N))
621         OS << "TARGET_VAL(" << SOM->getCaseOpcode(i).getEnumName() << "),";
622       else {
623         if (!OmitComments)
624           OS << "/*" << getEnumName(cast<SwitchTypeMatcher>(N)->getCaseType(i))
625              << "*/";
626         EmitVBRValue(cast<SwitchTypeMatcher>(N)->getCaseType(i),
627                      OS);
628       }
629       if (!OmitComments)
630         OS << "// ->" << CurrentIdx + ChildSize;
631       OS << '\n';
632 
633       ChildSize = EmitMatcherList(Child, Indent + 1, CurrentIdx, OS);
634       assert(ChildSize == Child->getSize() &&
635              "Emitted child size does not match calculated size");
636       CurrentIdx += ChildSize;
637     }
638 
639     // Emit the final zero to terminate the switch.
640     if (!OmitComments)
641       OS << "/*" << format_decimal(CurrentIdx, IndexWidth) << "*/";
642     OS.indent(Indent) << "0,";
643     if (!OmitComments)
644       OS << (isa<SwitchOpcodeMatcher>(N) ? " // EndSwitchOpcode"
645                                          : " // EndSwitchType");
646 
647     OS << '\n';
648     return CurrentIdx - StartIdx + 1;
649   }
650 
651   case Matcher::CheckType: {
652     if (cast<CheckTypeMatcher>(N)->getResNo() == 0) {
653       MVT::SimpleValueType VT = cast<CheckTypeMatcher>(N)->getType();
654       switch (VT) {
655       case MVT::i32:
656       case MVT::i64:
657         OS << "OPC_CheckTypeI" << MVT(VT).getSizeInBits() << ",\n";
658         return 1;
659       default:
660         OS << "OPC_CheckType, ";
661         if (!OmitComments)
662           OS << "/*" << getEnumName(VT) << "*/";
663         unsigned NumBytes = EmitVBRValue(VT, OS);
664         OS << "\n";
665         return NumBytes + 1;
666       }
667     }
668     OS << "OPC_CheckTypeRes, " << cast<CheckTypeMatcher>(N)->getResNo() << ", ";
669     if (!OmitComments)
670       OS << "/*" << getEnumName(cast<CheckTypeMatcher>(N)->getType()) << "*/";
671     unsigned NumBytes = EmitVBRValue(cast<CheckTypeMatcher>(N)->getType(), OS);
672     OS << "\n";
673     return NumBytes + 2;
674   }
675 
676   case Matcher::CheckChildType: {
677     MVT::SimpleValueType VT = cast<CheckChildTypeMatcher>(N)->getType();
678     switch (VT) {
679     case MVT::i32:
680     case MVT::i64:
681       OS << "OPC_CheckChild" << cast<CheckChildTypeMatcher>(N)->getChildNo()
682          << "TypeI" << MVT(VT).getSizeInBits() << ",\n";
683       return 1;
684     default:
685       OS << "OPC_CheckChild" << cast<CheckChildTypeMatcher>(N)->getChildNo()
686          << "Type, ";
687       if (!OmitComments)
688         OS << "/*" << getEnumName(VT) << "*/";
689       unsigned NumBytes = EmitVBRValue(VT, OS);
690       OS << "\n";
691       return NumBytes + 1;
692     }
693   }
694 
695   case Matcher::CheckInteger: {
696     OS << "OPC_CheckInteger, ";
697     unsigned Bytes =
698         1 + EmitSignedVBRValue(cast<CheckIntegerMatcher>(N)->getValue(), OS);
699     OS << '\n';
700     return Bytes;
701   }
702   case Matcher::CheckChildInteger: {
703     OS << "OPC_CheckChild" << cast<CheckChildIntegerMatcher>(N)->getChildNo()
704        << "Integer, ";
705     unsigned Bytes = 1 + EmitSignedVBRValue(
706                              cast<CheckChildIntegerMatcher>(N)->getValue(), OS);
707     OS << '\n';
708     return Bytes;
709   }
710   case Matcher::CheckCondCode:
711     OS << "OPC_CheckCondCode, ISD::"
712        << cast<CheckCondCodeMatcher>(N)->getCondCodeName() << ",\n";
713     return 2;
714 
715   case Matcher::CheckChild2CondCode:
716     OS << "OPC_CheckChild2CondCode, ISD::"
717        << cast<CheckChild2CondCodeMatcher>(N)->getCondCodeName() << ",\n";
718     return 2;
719 
720   case Matcher::CheckValueType: {
721     OS << "OPC_CheckValueType, ";
722     if (!OmitComments)
723       OS << "/*" << getEnumName(cast<CheckValueTypeMatcher>(N)->getVT())
724          << "*/";
725     unsigned NumBytes =
726         EmitVBRValue(cast<CheckValueTypeMatcher>(N)->getVT(), OS);
727     OS << "\n";
728     return NumBytes + 1;
729   }
730 
731   case Matcher::CheckComplexPat: {
732     const CheckComplexPatMatcher *CCPM = cast<CheckComplexPatMatcher>(N);
733     const ComplexPattern &Pattern = CCPM->getPattern();
734     unsigned PatternNo = getComplexPat(Pattern);
735     if (PatternNo < 8)
736       OS << "OPC_CheckComplexPat" << PatternNo << ", /*#*/"
737          << CCPM->getMatchNumber() << ',';
738     else
739       OS << "OPC_CheckComplexPat, /*CP*/" << PatternNo << ", /*#*/"
740          << CCPM->getMatchNumber() << ',';
741 
742     if (!OmitComments) {
743       OS << " // " << Pattern.getSelectFunc();
744       OS << ":$" << CCPM->getName();
745       for (unsigned i = 0, e = Pattern.getNumOperands(); i != e; ++i)
746         OS << " #" << CCPM->getFirstResult() + i;
747 
748       if (Pattern.hasProperty(SDNPHasChain))
749         OS << " + chain result";
750     }
751     OS << '\n';
752     return PatternNo < 8 ? 2 : 3;
753   }
754 
755   case Matcher::CheckAndImm: {
756     OS << "OPC_CheckAndImm, ";
757     unsigned Bytes =
758         1 + EmitVBRValue(cast<CheckAndImmMatcher>(N)->getValue(), OS);
759     OS << '\n';
760     return Bytes;
761   }
762 
763   case Matcher::CheckOrImm: {
764     OS << "OPC_CheckOrImm, ";
765     unsigned Bytes =
766         1 + EmitVBRValue(cast<CheckOrImmMatcher>(N)->getValue(), OS);
767     OS << '\n';
768     return Bytes;
769   }
770 
771   case Matcher::CheckFoldableChainNode:
772     OS << "OPC_CheckFoldableChainNode,\n";
773     return 1;
774 
775   case Matcher::CheckImmAllOnesV:
776     OS << "OPC_CheckImmAllOnesV,\n";
777     return 1;
778 
779   case Matcher::CheckImmAllZerosV:
780     OS << "OPC_CheckImmAllZerosV,\n";
781     return 1;
782 
783   case Matcher::EmitInteger: {
784     int64_t Val = cast<EmitIntegerMatcher>(N)->getValue();
785     MVT::SimpleValueType VT = cast<EmitIntegerMatcher>(N)->getVT();
786     unsigned OpBytes;
787     switch (VT) {
788     case MVT::i8:
789     case MVT::i16:
790     case MVT::i32:
791     case MVT::i64:
792       OpBytes = 1;
793       OS << "OPC_EmitInteger" << MVT(VT).getSizeInBits() << ", ";
794       break;
795     default:
796       OS << "OPC_EmitInteger, ";
797       if (!OmitComments)
798         OS << "/*" << getEnumName(VT) << "*/";
799       OpBytes = EmitVBRValue(VT, OS) + 1;
800       break;
801     }
802     unsigned Bytes = OpBytes + EmitSignedVBRValue(Val, OS);
803     if (!OmitComments)
804       OS << " // " << Val << " #" << cast<EmitIntegerMatcher>(N)->getResultNo();
805     OS << '\n';
806     return Bytes;
807   }
808   case Matcher::EmitStringInteger: {
809     const std::string &Val = cast<EmitStringIntegerMatcher>(N)->getValue();
810     MVT::SimpleValueType VT = cast<EmitStringIntegerMatcher>(N)->getVT();
811     // These should always fit into 7 bits.
812     unsigned OpBytes;
813     switch (VT) {
814     case MVT::i32:
815       OpBytes = 1;
816       OS << "OPC_EmitStringInteger" << MVT(VT).getSizeInBits() << ", ";
817       break;
818     default:
819       OS << "OPC_EmitStringInteger, ";
820       if (!OmitComments)
821         OS << "/*" << getEnumName(VT) << "*/";
822       OpBytes = EmitVBRValue(VT, OS) + 1;
823       break;
824     }
825     OS << Val << ',';
826     if (!OmitComments)
827       OS << " // #" << cast<EmitStringIntegerMatcher>(N)->getResultNo();
828     OS << '\n';
829     return OpBytes + 1;
830   }
831 
832   case Matcher::EmitRegister: {
833     const EmitRegisterMatcher *Matcher = cast<EmitRegisterMatcher>(N);
834     const CodeGenRegister *Reg = Matcher->getReg();
835     MVT::SimpleValueType VT = Matcher->getVT();
836     unsigned OpBytes;
837     // If the enum value of the register is larger than one byte can handle,
838     // use EmitRegister2.
839     if (Reg && Reg->EnumValue > 255) {
840       OS << "OPC_EmitRegister2, ";
841       if (!OmitComments)
842         OS << "/*" << getEnumName(VT) << "*/";
843       OpBytes = EmitVBRValue(VT, OS);
844       OS << "TARGET_VAL(" << getQualifiedName(Reg->TheDef) << "),\n";
845       return OpBytes + 3;
846     }
847     switch (VT) {
848     case MVT::i32:
849     case MVT::i64:
850       OpBytes = 1;
851       OS << "OPC_EmitRegisterI" << MVT(VT).getSizeInBits() << ", ";
852       break;
853     default:
854       OS << "OPC_EmitRegister, ";
855       if (!OmitComments)
856         OS << "/*" << getEnumName(VT) << "*/";
857       OpBytes = EmitVBRValue(VT, OS) + 1;
858       break;
859     }
860     if (Reg) {
861       OS << getQualifiedName(Reg->TheDef);
862     } else {
863       OS << "0 ";
864       if (!OmitComments)
865         OS << "/*zero_reg*/";
866     }
867 
868     OS << ',';
869     if (!OmitComments)
870       OS << " // #" << Matcher->getResultNo();
871     OS << '\n';
872     return OpBytes + 1;
873   }
874 
875   case Matcher::EmitConvertToTarget: {
876     const auto *CTTM = cast<EmitConvertToTargetMatcher>(N);
877     unsigned Slot = CTTM->getSlot();
878     OS << "OPC_EmitConvertToTarget";
879     if (Slot >= 8)
880       OS << ", ";
881     OS << Slot << ',';
882     if (!OmitComments)
883       OS << " // #" << CTTM->getResultNo();
884     OS << '\n';
885     return 1 + (Slot >= 8);
886   }
887 
888   case Matcher::EmitMergeInputChains: {
889     const EmitMergeInputChainsMatcher *MN =
890         cast<EmitMergeInputChainsMatcher>(N);
891 
892     // Handle the specialized forms OPC_EmitMergeInputChains1_0, 1_1, and 1_2.
893     if (MN->getNumNodes() == 1 && MN->getNode(0) < 3) {
894       OS << "OPC_EmitMergeInputChains1_" << MN->getNode(0) << ",\n";
895       return 1;
896     }
897 
898     OS << "OPC_EmitMergeInputChains, " << MN->getNumNodes() << ", ";
899     for (unsigned i = 0, e = MN->getNumNodes(); i != e; ++i)
900       OS << MN->getNode(i) << ", ";
901     OS << '\n';
902     return 2 + MN->getNumNodes();
903   }
904   case Matcher::EmitCopyToReg: {
905     const auto *C2RMatcher = cast<EmitCopyToRegMatcher>(N);
906     int Bytes = 3;
907     const CodeGenRegister *Reg = C2RMatcher->getDestPhysReg();
908     unsigned Slot = C2RMatcher->getSrcSlot();
909     if (Reg->EnumValue > 255) {
910       assert(isUInt<16>(Reg->EnumValue) && "not handled");
911       OS << "OPC_EmitCopyToRegTwoByte, " << Slot << ", "
912          << "TARGET_VAL(" << getQualifiedName(Reg->TheDef) << "),\n";
913       ++Bytes;
914     } else {
915       if (Slot < 8) {
916         OS << "OPC_EmitCopyToReg" << Slot << ", "
917            << getQualifiedName(Reg->TheDef) << ",\n";
918         --Bytes;
919       } else
920         OS << "OPC_EmitCopyToReg, " << Slot << ", "
921            << getQualifiedName(Reg->TheDef) << ",\n";
922     }
923 
924     return Bytes;
925   }
926   case Matcher::EmitNodeXForm: {
927     const EmitNodeXFormMatcher *XF = cast<EmitNodeXFormMatcher>(N);
928     OS << "OPC_EmitNodeXForm, " << getNodeXFormID(XF->getNodeXForm()) << ", "
929        << XF->getSlot() << ',';
930     if (!OmitComments)
931       OS << " // " << XF->getNodeXForm()->getName() << " #"
932          << XF->getResultNo();
933     OS << '\n';
934     return 3;
935   }
936 
937   case Matcher::EmitNode:
938   case Matcher::MorphNodeTo: {
939     auto NumCoveredBytes = 0;
940     if (InstrumentCoverage) {
941       if (const MorphNodeToMatcher *SNT = dyn_cast<MorphNodeToMatcher>(N)) {
942         NumCoveredBytes = 3;
943         OS << "OPC_Coverage, ";
944         std::string src =
945             GetPatFromTreePatternNode(SNT->getPattern().getSrcPattern());
946         std::string dst =
947             GetPatFromTreePatternNode(SNT->getPattern().getDstPattern());
948         const Record *PatRecord = SNT->getPattern().getSrcRecord();
949         std::string include_src = getIncludePath(PatRecord);
950         unsigned Offset =
951             getPatternIdxFromTable(src + " -> " + dst, std::move(include_src));
952         OS << "COVERAGE_IDX_VAL(" << Offset << "),\n";
953         OS.indent(FullIndexWidth + Indent);
954       }
955     }
956     const EmitNodeMatcherCommon *EN = cast<EmitNodeMatcherCommon>(N);
957     bool IsEmitNode = isa<EmitNodeMatcher>(EN);
958     OS << (IsEmitNode ? "OPC_EmitNode" : "OPC_MorphNodeTo");
959     bool CompressVTs = EN->getNumVTs() < 3;
960     bool CompressNodeInfo = false;
961     if (CompressVTs) {
962       OS << EN->getNumVTs();
963       if (!EN->hasChain() && !EN->hasInGlue() && !EN->hasOutGlue() &&
964           !EN->hasMemRefs() && EN->getNumFixedArityOperands() == -1) {
965         CompressNodeInfo = true;
966         OS << "None";
967       } else if (EN->hasChain() && !EN->hasInGlue() && !EN->hasOutGlue() &&
968                  !EN->hasMemRefs() && EN->getNumFixedArityOperands() == -1) {
969         CompressNodeInfo = true;
970         OS << "Chain";
971       } else if (!IsEmitNode && !EN->hasChain() && EN->hasInGlue() &&
972                  !EN->hasOutGlue() && !EN->hasMemRefs() &&
973                  EN->getNumFixedArityOperands() == -1) {
974         CompressNodeInfo = true;
975         OS << "GlueInput";
976       } else if (!IsEmitNode && !EN->hasChain() && !EN->hasInGlue() &&
977                  EN->hasOutGlue() && !EN->hasMemRefs() &&
978                  EN->getNumFixedArityOperands() == -1) {
979         CompressNodeInfo = true;
980         OS << "GlueOutput";
981       }
982     }
983 
984     const CodeGenInstruction &CGI = EN->getInstruction();
985     OS << ", TARGET_VAL(" << CGI.Namespace << "::" << CGI.TheDef->getName()
986        << ")";
987 
988     if (!CompressNodeInfo) {
989       OS << ", 0";
990       if (EN->hasChain())
991         OS << "|OPFL_Chain";
992       if (EN->hasInGlue())
993         OS << "|OPFL_GlueInput";
994       if (EN->hasOutGlue())
995         OS << "|OPFL_GlueOutput";
996       if (EN->hasMemRefs())
997         OS << "|OPFL_MemRefs";
998       if (EN->getNumFixedArityOperands() != -1)
999         OS << "|OPFL_Variadic" << EN->getNumFixedArityOperands();
1000     }
1001     OS << ",\n";
1002 
1003     OS.indent(FullIndexWidth + Indent + 4);
1004     if (!CompressVTs) {
1005       OS << EN->getNumVTs();
1006       if (!OmitComments)
1007         OS << "/*#VTs*/";
1008       OS << ", ";
1009     }
1010     unsigned NumTypeBytes = 0;
1011     for (unsigned i = 0, e = EN->getNumVTs(); i != e; ++i) {
1012       if (!OmitComments)
1013         OS << "/*" << getEnumName(EN->getVT(i)) << "*/";
1014       NumTypeBytes += EmitVBRValue(EN->getVT(i), OS);
1015     }
1016 
1017     OS << EN->getNumOperands();
1018     if (!OmitComments)
1019       OS << "/*#Ops*/";
1020     OS << ", ";
1021     unsigned NumOperandBytes = 0;
1022     for (unsigned i = 0, e = EN->getNumOperands(); i != e; ++i)
1023       NumOperandBytes += EmitVBRValue(EN->getOperand(i), OS);
1024 
1025     if (!OmitComments) {
1026       // Print the result #'s for EmitNode.
1027       if (const EmitNodeMatcher *E = dyn_cast<EmitNodeMatcher>(EN)) {
1028         if (unsigned NumResults = EN->getNumVTs()) {
1029           OS << " // Results =";
1030           unsigned First = E->getFirstResultSlot();
1031           for (unsigned i = 0; i != NumResults; ++i)
1032             OS << " #" << First + i;
1033         }
1034       }
1035       OS << '\n';
1036 
1037       if (const MorphNodeToMatcher *SNT = dyn_cast<MorphNodeToMatcher>(N)) {
1038         OS.indent(FullIndexWidth + Indent)
1039             << "// Src: " << SNT->getPattern().getSrcPattern()
1040             << " - Complexity = " << SNT->getPattern().getPatternComplexity(CGP)
1041             << '\n';
1042         OS.indent(FullIndexWidth + Indent)
1043             << "// Dst: " << SNT->getPattern().getDstPattern() << '\n';
1044       }
1045     } else
1046       OS << '\n';
1047 
1048     return 4 + !CompressVTs + !CompressNodeInfo + NumTypeBytes +
1049            NumOperandBytes + NumCoveredBytes;
1050   }
1051   case Matcher::CompleteMatch: {
1052     const CompleteMatchMatcher *CM = cast<CompleteMatchMatcher>(N);
1053     auto NumCoveredBytes = 0;
1054     if (InstrumentCoverage) {
1055       NumCoveredBytes = 3;
1056       OS << "OPC_Coverage, ";
1057       std::string src =
1058           GetPatFromTreePatternNode(CM->getPattern().getSrcPattern());
1059       std::string dst =
1060           GetPatFromTreePatternNode(CM->getPattern().getDstPattern());
1061       const Record *PatRecord = CM->getPattern().getSrcRecord();
1062       std::string include_src = getIncludePath(PatRecord);
1063       unsigned Offset =
1064           getPatternIdxFromTable(src + " -> " + dst, std::move(include_src));
1065       OS << "COVERAGE_IDX_VAL(" << Offset << "),\n";
1066       OS.indent(FullIndexWidth + Indent);
1067     }
1068     OS << "OPC_CompleteMatch, " << CM->getNumResults() << ", ";
1069     unsigned NumResultBytes = 0;
1070     for (unsigned i = 0, e = CM->getNumResults(); i != e; ++i)
1071       NumResultBytes += EmitVBRValue(CM->getResult(i), OS);
1072     OS << '\n';
1073     if (!OmitComments) {
1074       OS.indent(FullIndexWidth + Indent)
1075           << " // Src: " << CM->getPattern().getSrcPattern()
1076           << " - Complexity = " << CM->getPattern().getPatternComplexity(CGP)
1077           << '\n';
1078       OS.indent(FullIndexWidth + Indent)
1079           << " // Dst: " << CM->getPattern().getDstPattern();
1080     }
1081     OS << '\n';
1082     return 2 + NumResultBytes + NumCoveredBytes;
1083   }
1084   }
1085   llvm_unreachable("Unreachable");
1086 }
1087 
1088 /// This function traverses the matcher tree and emits all the nodes.
1089 /// The nodes have already been sized.
1090 unsigned MatcherTableEmitter::EmitMatcherList(const Matcher *N,
1091                                               const unsigned Indent,
1092                                               unsigned CurrentIdx,
1093                                               raw_ostream &OS) {
1094   unsigned Size = 0;
1095   while (N) {
1096     if (!OmitComments)
1097       OS << "/*" << format_decimal(CurrentIdx, IndexWidth) << "*/";
1098     unsigned MatcherSize = EmitMatcher(N, Indent, CurrentIdx, OS);
1099     Size += MatcherSize;
1100     CurrentIdx += MatcherSize;
1101 
1102     // If there are other nodes in this list, iterate to them, otherwise we're
1103     // done.
1104     N = N->getNext();
1105   }
1106   return Size;
1107 }
1108 
1109 void MatcherTableEmitter::EmitNodePredicatesFunction(
1110     const std::vector<TreePattern *> &Preds, StringRef Decl, raw_ostream &OS) {
1111   if (Preds.empty())
1112     return;
1113 
1114   BeginEmitFunction(OS, "bool", Decl, true /*AddOverride*/);
1115   OS << "{\n";
1116   OS << "  switch (PredNo) {\n";
1117   OS << "  default: llvm_unreachable(\"Invalid predicate in table?\");\n";
1118   for (unsigned i = 0, e = Preds.size(); i != e; ++i) {
1119     // Emit the predicate code corresponding to this pattern.
1120     TreePredicateFn PredFn(Preds[i]);
1121     assert(!PredFn.isAlwaysTrue() && "No code in this predicate");
1122     std::string PredFnCodeStr = PredFn.getCodeToRunOnSDNode();
1123 
1124     OS << "  case " << i << ": {\n";
1125     for (auto *SimilarPred : NodePredicatesByCodeToRun[PredFnCodeStr])
1126       OS << "    // " << TreePredicateFn(SimilarPred).getFnName() << '\n';
1127     OS << PredFnCodeStr << "\n  }\n";
1128   }
1129   OS << "  }\n";
1130   OS << "}\n";
1131   EndEmitFunction(OS);
1132 }
1133 
1134 void MatcherTableEmitter::EmitPredicateFunctions(raw_ostream &OS) {
1135   // Emit pattern predicates.
1136   if (!PatternPredicates.empty()) {
1137     BeginEmitFunction(OS, "bool",
1138                       "CheckPatternPredicate(unsigned PredNo) const",
1139                       true /*AddOverride*/);
1140     OS << "{\n";
1141     OS << "  switch (PredNo) {\n";
1142     OS << "  default: llvm_unreachable(\"Invalid predicate in table?\");\n";
1143     for (unsigned i = 0, e = PatternPredicates.size(); i != e; ++i)
1144       OS << "  case " << i << ": return " << PatternPredicates[i] << ";\n";
1145     OS << "  }\n";
1146     OS << "}\n";
1147     EndEmitFunction(OS);
1148   }
1149 
1150   // Emit Node predicates.
1151   EmitNodePredicatesFunction(
1152       NodePredicates, "CheckNodePredicate(SDNode *Node, unsigned PredNo) const",
1153       OS);
1154   EmitNodePredicatesFunction(
1155       NodePredicatesWithOperands,
1156       "CheckNodePredicateWithOperands(SDNode *Node, unsigned PredNo, "
1157       "const SmallVectorImpl<SDValue> &Operands) const",
1158       OS);
1159 
1160   // Emit CompletePattern matchers.
1161   // FIXME: This should be const.
1162   if (!ComplexPatterns.empty()) {
1163     BeginEmitFunction(
1164         OS, "bool",
1165         "CheckComplexPattern(SDNode *Root, SDNode *Parent,\n"
1166         "      SDValue N, unsigned PatternNo,\n"
1167         "      SmallVectorImpl<std::pair<SDValue, SDNode *>> &Result)",
1168         true /*AddOverride*/);
1169     OS << "{\n";
1170     OS << "  unsigned NextRes = Result.size();\n";
1171     OS << "  switch (PatternNo) {\n";
1172     OS << "  default: llvm_unreachable(\"Invalid pattern # in table?\");\n";
1173     for (unsigned i = 0, e = ComplexPatterns.size(); i != e; ++i) {
1174       const ComplexPattern &P = *ComplexPatterns[i];
1175       unsigned NumOps = P.getNumOperands();
1176 
1177       if (P.hasProperty(SDNPHasChain))
1178         ++NumOps; // Get the chained node too.
1179 
1180       OS << "  case " << i << ":\n";
1181       if (InstrumentCoverage)
1182         OS << "  {\n";
1183       OS << "    Result.resize(NextRes+" << NumOps << ");\n";
1184       if (InstrumentCoverage)
1185         OS << "    bool Succeeded = " << P.getSelectFunc();
1186       else
1187         OS << "  return " << P.getSelectFunc();
1188 
1189       OS << "(";
1190       // If the complex pattern wants the root of the match, pass it in as the
1191       // first argument.
1192       if (P.wantsRoot())
1193         OS << "Root, ";
1194 
1195       // If the complex pattern wants the parent of the operand being matched,
1196       // pass it in as the next argument.
1197       if (P.wantsParent())
1198         OS << "Parent, ";
1199 
1200       OS << "N";
1201       for (unsigned i = 0; i != NumOps; ++i)
1202         OS << ", Result[NextRes+" << i << "].first";
1203       OS << ");\n";
1204       if (InstrumentCoverage) {
1205         OS << "    if (Succeeded)\n";
1206         OS << "       dbgs() << \"\\nCOMPLEX_PATTERN: " << P.getSelectFunc()
1207            << "\\n\" ;\n";
1208         OS << "    return Succeeded;\n";
1209         OS << "    }\n";
1210       }
1211     }
1212     OS << "  }\n";
1213     OS << "}\n";
1214     EndEmitFunction(OS);
1215   }
1216 
1217   // Emit SDNodeXForm handlers.
1218   // FIXME: This should be const.
1219   if (!NodeXForms.empty()) {
1220     BeginEmitFunction(OS, "SDValue",
1221                       "RunSDNodeXForm(SDValue V, unsigned XFormNo)",
1222                       true /*AddOverride*/);
1223     OS << "{\n";
1224     OS << "  switch (XFormNo) {\n";
1225     OS << "  default: llvm_unreachable(\"Invalid xform # in table?\");\n";
1226 
1227     // FIXME: The node xform could take SDValue's instead of SDNode*'s.
1228     for (unsigned i = 0, e = NodeXForms.size(); i != e; ++i) {
1229       const CodeGenDAGPatterns::NodeXForm &Entry =
1230           CGP.getSDNodeTransform(NodeXForms[i]);
1231 
1232       const Record *SDNode = Entry.first;
1233       const std::string &Code = Entry.second;
1234 
1235       OS << "  case " << i << ": {  ";
1236       if (!OmitComments)
1237         OS << "// " << NodeXForms[i]->getName();
1238       OS << '\n';
1239 
1240       std::string ClassName =
1241           std::string(CGP.getSDNodeInfo(SDNode).getSDClassName());
1242       if (ClassName == "SDNode")
1243         OS << "    SDNode *N = V.getNode();\n";
1244       else
1245         OS << "    " << ClassName << " *N = cast<" << ClassName
1246            << ">(V.getNode());\n";
1247       OS << Code << "\n  }\n";
1248     }
1249     OS << "  }\n";
1250     OS << "}\n";
1251     EndEmitFunction(OS);
1252   }
1253 }
1254 
1255 static StringRef getOpcodeString(Matcher::KindTy Kind) {
1256   switch (Kind) {
1257   case Matcher::Scope:
1258     return "OPC_Scope";
1259   case Matcher::RecordNode:
1260     return "OPC_RecordNode";
1261   case Matcher::RecordChild:
1262     return "OPC_RecordChild";
1263   case Matcher::RecordMemRef:
1264     return "OPC_RecordMemRef";
1265   case Matcher::CaptureGlueInput:
1266     return "OPC_CaptureGlueInput";
1267   case Matcher::MoveChild:
1268     return "OPC_MoveChild";
1269   case Matcher::MoveSibling:
1270     return "OPC_MoveSibling";
1271   case Matcher::MoveParent:
1272     return "OPC_MoveParent";
1273   case Matcher::CheckSame:
1274     return "OPC_CheckSame";
1275   case Matcher::CheckChildSame:
1276     return "OPC_CheckChildSame";
1277   case Matcher::CheckPatternPredicate:
1278     return "OPC_CheckPatternPredicate";
1279   case Matcher::CheckPredicate:
1280     return "OPC_CheckPredicate";
1281   case Matcher::CheckOpcode:
1282     return "OPC_CheckOpcode";
1283   case Matcher::SwitchOpcode:
1284     return "OPC_SwitchOpcode";
1285   case Matcher::CheckType:
1286     return "OPC_CheckType";
1287   case Matcher::SwitchType:
1288     return "OPC_SwitchType";
1289   case Matcher::CheckChildType:
1290     return "OPC_CheckChildType";
1291   case Matcher::CheckInteger:
1292     return "OPC_CheckInteger";
1293   case Matcher::CheckChildInteger:
1294     return "OPC_CheckChildInteger";
1295   case Matcher::CheckCondCode:
1296     return "OPC_CheckCondCode";
1297   case Matcher::CheckChild2CondCode:
1298     return "OPC_CheckChild2CondCode";
1299   case Matcher::CheckValueType:
1300     return "OPC_CheckValueType";
1301   case Matcher::CheckComplexPat:
1302     return "OPC_CheckComplexPat";
1303   case Matcher::CheckAndImm:
1304     return "OPC_CheckAndImm";
1305   case Matcher::CheckOrImm:
1306     return "OPC_CheckOrImm";
1307   case Matcher::CheckFoldableChainNode:
1308     return "OPC_CheckFoldableChainNode";
1309   case Matcher::CheckImmAllOnesV:
1310     return "OPC_CheckImmAllOnesV";
1311   case Matcher::CheckImmAllZerosV:
1312     return "OPC_CheckImmAllZerosV";
1313   case Matcher::EmitInteger:
1314     return "OPC_EmitInteger";
1315   case Matcher::EmitStringInteger:
1316     return "OPC_EmitStringInteger";
1317   case Matcher::EmitRegister:
1318     return "OPC_EmitRegister";
1319   case Matcher::EmitConvertToTarget:
1320     return "OPC_EmitConvertToTarget";
1321   case Matcher::EmitMergeInputChains:
1322     return "OPC_EmitMergeInputChains";
1323   case Matcher::EmitCopyToReg:
1324     return "OPC_EmitCopyToReg";
1325   case Matcher::EmitNode:
1326     return "OPC_EmitNode";
1327   case Matcher::MorphNodeTo:
1328     return "OPC_MorphNodeTo";
1329   case Matcher::EmitNodeXForm:
1330     return "OPC_EmitNodeXForm";
1331   case Matcher::CompleteMatch:
1332     return "OPC_CompleteMatch";
1333   }
1334 
1335   llvm_unreachable("Unhandled opcode?");
1336 }
1337 
1338 void MatcherTableEmitter::EmitHistogram(const Matcher *M, raw_ostream &OS) {
1339   if (OmitComments)
1340     return;
1341 
1342   OS << "  // Opcode Histogram:\n";
1343   for (unsigned i = 0, e = OpcodeCounts.size(); i != e; ++i) {
1344     OS << "  // #"
1345        << left_justify(getOpcodeString((Matcher::KindTy)i), HistOpcWidth)
1346        << " = " << OpcodeCounts[i] << '\n';
1347   }
1348   OS << '\n';
1349 }
1350 
1351 void llvm::EmitMatcherTable(Matcher *TheMatcher, const CodeGenDAGPatterns &CGP,
1352                             raw_ostream &OS) {
1353   OS << "#if defined(GET_DAGISEL_DECL) && defined(GET_DAGISEL_BODY)\n";
1354   OS << "#error GET_DAGISEL_DECL and GET_DAGISEL_BODY cannot be both defined, ";
1355   OS << "undef both for inline definitions\n";
1356   OS << "#endif\n\n";
1357 
1358   // Emit a check for omitted class name.
1359   OS << "#ifdef GET_DAGISEL_BODY\n";
1360   OS << "#define LOCAL_DAGISEL_STRINGIZE(X) LOCAL_DAGISEL_STRINGIZE_(X)\n";
1361   OS << "#define LOCAL_DAGISEL_STRINGIZE_(X) #X\n";
1362   OS << "static_assert(sizeof(LOCAL_DAGISEL_STRINGIZE(GET_DAGISEL_BODY)) > 1,"
1363         "\n";
1364   OS << "   \"GET_DAGISEL_BODY is empty: it should be defined with the class "
1365         "name\");\n";
1366   OS << "#undef LOCAL_DAGISEL_STRINGIZE_\n";
1367   OS << "#undef LOCAL_DAGISEL_STRINGIZE\n";
1368   OS << "#endif\n\n";
1369 
1370   OS << "#if !defined(GET_DAGISEL_DECL) && !defined(GET_DAGISEL_BODY)\n";
1371   OS << "#define DAGISEL_INLINE 1\n";
1372   OS << "#else\n";
1373   OS << "#define DAGISEL_INLINE 0\n";
1374   OS << "#endif\n\n";
1375 
1376   OS << "#if !DAGISEL_INLINE\n";
1377   OS << "#define DAGISEL_CLASS_COLONCOLON GET_DAGISEL_BODY ::\n";
1378   OS << "#else\n";
1379   OS << "#define DAGISEL_CLASS_COLONCOLON\n";
1380   OS << "#endif\n\n";
1381 
1382   BeginEmitFunction(OS, "void", "SelectCode(SDNode *N)", false /*AddOverride*/);
1383   MatcherTableEmitter MatcherEmitter(TheMatcher, CGP);
1384 
1385   // First we size all the children of the three kinds of matchers that have
1386   // them. This is done by sharing the code in EmitMatcher(). but we don't
1387   // want to emit anything, so we turn off comments and use a null stream.
1388   bool SaveOmitComments = OmitComments;
1389   OmitComments = true;
1390   raw_null_ostream NullOS;
1391   unsigned TotalSize = MatcherEmitter.SizeMatcherList(TheMatcher, NullOS);
1392   OmitComments = SaveOmitComments;
1393 
1394   // Now that the matchers are sized, we can emit the code for them to the
1395   // final stream.
1396   OS << "{\n";
1397   OS << "  // Some target values are emitted as 2 bytes, TARGET_VAL handles\n";
1398   OS << "  // this. Coverage indexes are emitted as 4 bytes,\n";
1399   OS << "  // COVERAGE_IDX_VAL handles this.\n";
1400   OS << "  #define TARGET_VAL(X) X & 255, unsigned(X) >> 8\n";
1401   OS << "  #define COVERAGE_IDX_VAL(X) X & 255, (unsigned(X) >> 8) & 255, ";
1402   OS << "(unsigned(X) >> 16) & 255, (unsigned(X) >> 24) & 255\n";
1403   OS << "  static const unsigned char MatcherTable[] = {\n";
1404   TotalSize = MatcherEmitter.EmitMatcherList(TheMatcher, 1, 0, OS);
1405   OS << "    0\n  }; // Total Array size is " << (TotalSize + 1)
1406      << " bytes\n\n";
1407 
1408   MatcherEmitter.EmitHistogram(TheMatcher, OS);
1409 
1410   OS << "  #undef COVERAGE_IDX_VAL\n";
1411   OS << "  #undef TARGET_VAL\n";
1412   OS << "  SelectCodeCommon(N, MatcherTable, sizeof(MatcherTable));\n";
1413   OS << "}\n";
1414   EndEmitFunction(OS);
1415 
1416   // Next up, emit the function for node and pattern predicates:
1417   MatcherEmitter.EmitPredicateFunctions(OS);
1418 
1419   if (InstrumentCoverage)
1420     MatcherEmitter.EmitPatternMatchTable(OS);
1421 
1422   // Clean up the preprocessor macros.
1423   OS << "\n";
1424   OS << "#ifdef DAGISEL_INLINE\n";
1425   OS << "#undef DAGISEL_INLINE\n";
1426   OS << "#endif\n";
1427   OS << "#ifdef DAGISEL_CLASS_COLONCOLON\n";
1428   OS << "#undef DAGISEL_CLASS_COLONCOLON\n";
1429   OS << "#endif\n";
1430   OS << "#ifdef GET_DAGISEL_DECL\n";
1431   OS << "#undef GET_DAGISEL_DECL\n";
1432   OS << "#endif\n";
1433   OS << "#ifdef GET_DAGISEL_BODY\n";
1434   OS << "#undef GET_DAGISEL_BODY\n";
1435   OS << "#endif\n";
1436 }
1437