Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 1 | //===- 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 | // |
| 10 | // This file contains code to generate C++ code a matcher. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #include "DAGISelMatcher.h" |
| 15 | #include "CodeGenDAGPatterns.h" |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 16 | #include "Record.h" |
Chris Lattner | e609a51 | 2010-02-17 00:31:50 +0000 | [diff] [blame] | 17 | #include "llvm/ADT/DenseMap.h" |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 18 | #include "llvm/ADT/SmallString.h" |
Chris Lattner | 050a03d | 2010-02-16 07:21:10 +0000 | [diff] [blame] | 19 | #include "llvm/ADT/StringMap.h" |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 20 | #include "llvm/Support/FormattedStream.h" |
| 21 | using namespace llvm; |
| 22 | |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 23 | enum { |
Chris Lattner | 5be6e59 | 2010-02-17 00:39:26 +0000 | [diff] [blame] | 24 | CommentIndent = 30 |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 25 | }; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 26 | |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 27 | /// ClassifyInt - Classify an integer by size, return '1','2','4','8' if this |
| 28 | /// fits in 1, 2, 4, or 8 sign extended bytes. |
| 29 | static char ClassifyInt(int64_t Val) { |
| 30 | if (Val == int8_t(Val)) return '1'; |
| 31 | if (Val == int16_t(Val)) return '2'; |
| 32 | if (Val == int32_t(Val)) return '4'; |
| 33 | return '8'; |
| 34 | } |
| 35 | |
| 36 | /// EmitInt - Emit the specified integer, returning the number of bytes emitted. |
| 37 | static unsigned EmitInt(int64_t Val, formatted_raw_ostream &OS) { |
| 38 | unsigned BytesEmitted = 1; |
| 39 | OS << (int)(unsigned char)Val << ", "; |
| 40 | if (Val == int8_t(Val)) { |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 41 | OS << '\n'; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 42 | return BytesEmitted; |
| 43 | } |
| 44 | |
| 45 | OS << (int)(unsigned char)(Val >> 8) << ", "; |
| 46 | ++BytesEmitted; |
| 47 | |
| 48 | if (Val != int16_t(Val)) { |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 49 | OS << (int)(unsigned char)(Val >> 16) << ", " |
| 50 | << (int)(unsigned char)(Val >> 24) << ", "; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 51 | BytesEmitted += 2; |
| 52 | |
| 53 | if (Val != int32_t(Val)) { |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 54 | OS << (int)(unsigned char)(Val >> 32) << ", " |
| 55 | << (int)(unsigned char)(Val >> 40) << ", " |
| 56 | << (int)(unsigned char)(Val >> 48) << ", " |
| 57 | << (int)(unsigned char)(Val >> 56) << ", "; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 58 | BytesEmitted += 4; |
| 59 | } |
| 60 | } |
| 61 | |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 62 | OS.PadToColumn(CommentIndent) << "// " << Val << " aka 0x"; |
| 63 | OS.write_hex(Val) << '\n'; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 64 | return BytesEmitted; |
| 65 | } |
| 66 | |
Chris Lattner | e02ea54 | 2010-02-16 06:52:01 +0000 | [diff] [blame] | 67 | namespace { |
| 68 | class MatcherTableEmitter { |
Chris Lattner | 050a03d | 2010-02-16 07:21:10 +0000 | [diff] [blame] | 69 | StringMap<unsigned> NodePredicateMap, PatternPredicateMap; |
| 70 | std::vector<std::string> NodePredicates, PatternPredicates; |
Chris Lattner | e609a51 | 2010-02-17 00:31:50 +0000 | [diff] [blame] | 71 | |
| 72 | DenseMap<const ComplexPattern*, unsigned> ComplexPatternMap; |
| 73 | std::vector<const ComplexPattern*> ComplexPatterns; |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 74 | |
| 75 | |
| 76 | DenseMap<Record*, unsigned> NodeXFormMap; |
| 77 | std::vector<const Record*> NodeXForms; |
| 78 | |
Chris Lattner | 09b9f39 | 2010-02-24 19:17:12 +0000 | [diff] [blame] | 79 | // Per opcode frequence count. |
| 80 | std::vector<unsigned> Histogram; |
Chris Lattner | e02ea54 | 2010-02-16 06:52:01 +0000 | [diff] [blame] | 81 | public: |
Chris Lattner | 984e188 | 2010-02-21 06:30:04 +0000 | [diff] [blame] | 82 | MatcherTableEmitter() {} |
Chris Lattner | e02ea54 | 2010-02-16 06:52:01 +0000 | [diff] [blame] | 83 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 84 | unsigned EmitMatcherList(const Matcher *N, unsigned Indent, |
Chris Lattner | 8fbad24 | 2010-02-21 07:16:41 +0000 | [diff] [blame] | 85 | unsigned StartIdx, formatted_raw_ostream &OS); |
Chris Lattner | 050a03d | 2010-02-16 07:21:10 +0000 | [diff] [blame] | 86 | |
Chris Lattner | 984e188 | 2010-02-21 06:30:04 +0000 | [diff] [blame] | 87 | void EmitPredicateFunctions(formatted_raw_ostream &OS); |
Chris Lattner | 09b9f39 | 2010-02-24 19:17:12 +0000 | [diff] [blame] | 88 | |
| 89 | void EmitHistogram(formatted_raw_ostream &OS); |
Chris Lattner | e02ea54 | 2010-02-16 06:52:01 +0000 | [diff] [blame] | 90 | private: |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 91 | unsigned EmitMatcher(const Matcher *N, unsigned Indent, |
Chris Lattner | 984e188 | 2010-02-21 06:30:04 +0000 | [diff] [blame] | 92 | formatted_raw_ostream &OS); |
Chris Lattner | 050a03d | 2010-02-16 07:21:10 +0000 | [diff] [blame] | 93 | |
| 94 | unsigned getNodePredicate(StringRef PredName) { |
| 95 | unsigned &Entry = NodePredicateMap[PredName]; |
| 96 | if (Entry == 0) { |
| 97 | NodePredicates.push_back(PredName.str()); |
| 98 | Entry = NodePredicates.size(); |
| 99 | } |
| 100 | return Entry-1; |
| 101 | } |
| 102 | unsigned getPatternPredicate(StringRef PredName) { |
| 103 | unsigned &Entry = PatternPredicateMap[PredName]; |
| 104 | if (Entry == 0) { |
| 105 | PatternPredicates.push_back(PredName.str()); |
| 106 | Entry = PatternPredicates.size(); |
| 107 | } |
| 108 | return Entry-1; |
| 109 | } |
Chris Lattner | e609a51 | 2010-02-17 00:31:50 +0000 | [diff] [blame] | 110 | |
| 111 | unsigned getComplexPat(const ComplexPattern &P) { |
| 112 | unsigned &Entry = ComplexPatternMap[&P]; |
| 113 | if (Entry == 0) { |
| 114 | ComplexPatterns.push_back(&P); |
| 115 | Entry = ComplexPatterns.size(); |
| 116 | } |
| 117 | return Entry-1; |
| 118 | } |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 119 | |
| 120 | unsigned getNodeXFormID(Record *Rec) { |
| 121 | unsigned &Entry = NodeXFormMap[Rec]; |
| 122 | if (Entry == 0) { |
| 123 | NodeXForms.push_back(Rec); |
| 124 | Entry = NodeXForms.size(); |
| 125 | } |
| 126 | return Entry-1; |
| 127 | } |
| 128 | |
Chris Lattner | e02ea54 | 2010-02-16 06:52:01 +0000 | [diff] [blame] | 129 | }; |
| 130 | } // end anonymous namespace. |
| 131 | |
Chris Lattner | 5007e1e | 2010-02-23 00:59:59 +0000 | [diff] [blame] | 132 | /// EmitVBRValue - Emit the specified value as a VBR, returning the number of |
| 133 | /// bytes emitted. |
| 134 | static unsigned EmitVBRValue(unsigned Val, raw_ostream &OS) { |
| 135 | if (Val <= 127) { |
| 136 | OS << Val << ", "; |
| 137 | return 1; |
| 138 | } |
| 139 | |
| 140 | unsigned InVal = Val; |
| 141 | unsigned NumBytes = 0; |
Chris Lattner | 860d4a7 | 2010-02-23 01:07:39 +0000 | [diff] [blame] | 142 | while (Val >= 128) { |
Chris Lattner | 5007e1e | 2010-02-23 00:59:59 +0000 | [diff] [blame] | 143 | OS << (Val&127) << "|128,"; |
| 144 | Val >>= 7; |
| 145 | ++NumBytes; |
| 146 | } |
| 147 | OS << Val << "/*" << InVal << "*/, "; |
| 148 | return NumBytes+1; |
| 149 | } |
| 150 | |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 151 | /// EmitMatcherOpcodes - Emit bytes for the specified matcher and return |
| 152 | /// the number of bytes emitted. |
Chris Lattner | e02ea54 | 2010-02-16 06:52:01 +0000 | [diff] [blame] | 153 | unsigned MatcherTableEmitter:: |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 154 | EmitMatcher(const Matcher *N, unsigned Indent, formatted_raw_ostream &OS) { |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 155 | OS.PadToColumn(Indent*2); |
| 156 | |
| 157 | switch (N->getKind()) { |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 158 | case Matcher::Scope: assert(0 && "Should be handled by caller"); |
| 159 | case Matcher::RecordNode: |
Chris Lattner | 845c042 | 2010-02-18 22:03:03 +0000 | [diff] [blame] | 160 | OS << "OPC_RecordNode,"; |
Chris Lattner | c96087b | 2010-02-17 01:03:09 +0000 | [diff] [blame] | 161 | OS.PadToColumn(CommentIndent) << "// " |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 162 | << cast<RecordMatcher>(N)->getWhatFor() << '\n'; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 163 | return 1; |
Chris Lattner | 19b5a75 | 2010-02-24 07:31:45 +0000 | [diff] [blame] | 164 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 165 | case Matcher::RecordChild: |
| 166 | OS << "OPC_RecordChild" << cast<RecordChildMatcher>(N)->getChildNo() |
Chris Lattner | 19b5a75 | 2010-02-24 07:31:45 +0000 | [diff] [blame] | 167 | << ','; |
| 168 | OS.PadToColumn(CommentIndent) << "// " |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 169 | << cast<RecordChildMatcher>(N)->getWhatFor() << '\n'; |
Chris Lattner | 19b5a75 | 2010-02-24 07:31:45 +0000 | [diff] [blame] | 170 | return 1; |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 171 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 172 | case Matcher::RecordMemRef: |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 173 | OS << "OPC_RecordMemRef,\n"; |
| 174 | return 1; |
| 175 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 176 | case Matcher::CaptureFlagInput: |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 177 | OS << "OPC_CaptureFlagInput,\n"; |
| 178 | return 1; |
| 179 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 180 | case Matcher::MoveChild: |
| 181 | OS << "OPC_MoveChild, " << cast<MoveChildMatcher>(N)->getChildNo() << ",\n"; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 182 | return 2; |
| 183 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 184 | case Matcher::MoveParent: |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 185 | OS << "OPC_MoveParent,\n"; |
| 186 | return 1; |
| 187 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 188 | case Matcher::CheckSame: |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 189 | OS << "OPC_CheckSame, " |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 190 | << cast<CheckSameMatcher>(N)->getMatchNumber() << ",\n"; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 191 | return 2; |
| 192 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 193 | case Matcher::CheckPatternPredicate: { |
| 194 | StringRef Pred = cast<CheckPatternPredicateMatcher>(N)->getPredicate(); |
Chris Lattner | 050a03d | 2010-02-16 07:21:10 +0000 | [diff] [blame] | 195 | OS << "OPC_CheckPatternPredicate, " << getPatternPredicate(Pred) << ','; |
| 196 | OS.PadToColumn(CommentIndent) << "// " << Pred << '\n'; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 197 | return 2; |
Chris Lattner | 050a03d | 2010-02-16 07:21:10 +0000 | [diff] [blame] | 198 | } |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 199 | case Matcher::CheckPredicate: { |
| 200 | StringRef Pred = cast<CheckPredicateMatcher>(N)->getPredicateName(); |
Chris Lattner | 050a03d | 2010-02-16 07:21:10 +0000 | [diff] [blame] | 201 | OS << "OPC_CheckPredicate, " << getNodePredicate(Pred) << ','; |
| 202 | OS.PadToColumn(CommentIndent) << "// " << Pred << '\n'; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 203 | return 2; |
Chris Lattner | 050a03d | 2010-02-16 07:21:10 +0000 | [diff] [blame] | 204 | } |
| 205 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 206 | case Matcher::CheckOpcode: |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 207 | OS << "OPC_CheckOpcode, " |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 208 | << cast<CheckOpcodeMatcher>(N)->getOpcodeName() << ",\n"; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 209 | return 2; |
| 210 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 211 | case Matcher::CheckMultiOpcode: { |
| 212 | const CheckMultiOpcodeMatcher *CMO = cast<CheckMultiOpcodeMatcher>(N); |
Chris Lattner | 12a667c | 2010-02-22 22:30:37 +0000 | [diff] [blame] | 213 | OS << "OPC_CheckMultiOpcode, " << CMO->getNumOpcodeNames() << ", "; |
| 214 | for (unsigned i = 0, e = CMO->getNumOpcodeNames(); i != e; ++i) |
| 215 | OS << CMO->getOpcodeName(i) << ", "; |
| 216 | OS << '\n'; |
| 217 | return 2 + CMO->getNumOpcodeNames(); |
| 218 | } |
| 219 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 220 | case Matcher::CheckType: |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 221 | OS << "OPC_CheckType, " |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 222 | << getEnumName(cast<CheckTypeMatcher>(N)->getType()) << ",\n"; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 223 | return 2; |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 224 | case Matcher::CheckChildType: |
Chris Lattner | 23cfda7 | 2010-02-24 20:15:25 +0000 | [diff] [blame] | 225 | OS << "OPC_CheckChild" |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 226 | << cast<CheckChildTypeMatcher>(N)->getChildNo() << "Type, " |
| 227 | << getEnumName(cast<CheckChildTypeMatcher>(N)->getType()) << ",\n"; |
Chris Lattner | 23cfda7 | 2010-02-24 20:15:25 +0000 | [diff] [blame] | 228 | return 2; |
| 229 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 230 | case Matcher::CheckInteger: { |
| 231 | int64_t Val = cast<CheckIntegerMatcher>(N)->getValue(); |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 232 | OS << "OPC_CheckInteger" << ClassifyInt(Val) << ", "; |
| 233 | return EmitInt(Val, OS)+1; |
| 234 | } |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 235 | case Matcher::CheckCondCode: |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 236 | OS << "OPC_CheckCondCode, ISD::" |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 237 | << cast<CheckCondCodeMatcher>(N)->getCondCodeName() << ",\n"; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 238 | return 2; |
| 239 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 240 | case Matcher::CheckValueType: |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 241 | OS << "OPC_CheckValueType, MVT::" |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 242 | << cast<CheckValueTypeMatcher>(N)->getTypeName() << ",\n"; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 243 | return 2; |
| 244 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 245 | case Matcher::CheckComplexPat: { |
Chris Lattner | 5be6e59 | 2010-02-17 00:39:26 +0000 | [diff] [blame] | 246 | const ComplexPattern &Pattern = |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 247 | cast<CheckComplexPatMatcher>(N)->getPattern(); |
Chris Lattner | 5be6e59 | 2010-02-17 00:39:26 +0000 | [diff] [blame] | 248 | OS << "OPC_CheckComplexPat, " << getComplexPat(Pattern) << ','; |
Chris Lattner | 781f359 | 2010-02-17 06:47:35 +0000 | [diff] [blame] | 249 | OS.PadToColumn(CommentIndent) << "// " << Pattern.getSelectFunc(); |
| 250 | OS << ": " << Pattern.getNumOperands() << " operands"; |
| 251 | if (Pattern.hasProperty(SDNPHasChain)) |
| 252 | OS << " + chain result and input"; |
| 253 | OS << '\n'; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 254 | return 2; |
Chris Lattner | 5be6e59 | 2010-02-17 00:39:26 +0000 | [diff] [blame] | 255 | } |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 256 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 257 | case Matcher::CheckAndImm: { |
| 258 | int64_t Val = cast<CheckAndImmMatcher>(N)->getValue(); |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 259 | OS << "OPC_CheckAndImm" << ClassifyInt(Val) << ", "; |
| 260 | return EmitInt(Val, OS)+1; |
| 261 | } |
| 262 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 263 | case Matcher::CheckOrImm: { |
| 264 | int64_t Val = cast<CheckOrImmMatcher>(N)->getValue(); |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 265 | OS << "OPC_CheckOrImm" << ClassifyInt(Val) << ", "; |
| 266 | return EmitInt(Val, OS)+1; |
| 267 | } |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 268 | case Matcher::CheckFoldableChainNode: |
Chris Lattner | 21390d7 | 2010-02-16 19:15:55 +0000 | [diff] [blame] | 269 | OS << "OPC_CheckFoldableChainNode,\n"; |
Chris Lattner | e39650a | 2010-02-16 06:10:58 +0000 | [diff] [blame] | 270 | return 1; |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 271 | case Matcher::CheckChainCompatible: |
Chris Lattner | 9a747f1 | 2010-02-17 06:23:39 +0000 | [diff] [blame] | 272 | OS << "OPC_CheckChainCompatible, " |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 273 | << cast<CheckChainCompatibleMatcher>(N)->getPreviousOp() << ",\n"; |
Chris Lattner | 9a747f1 | 2010-02-17 06:23:39 +0000 | [diff] [blame] | 274 | return 2; |
Chris Lattner | 845c042 | 2010-02-18 22:03:03 +0000 | [diff] [blame] | 275 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 276 | case Matcher::EmitInteger: { |
| 277 | int64_t Val = cast<EmitIntegerMatcher>(N)->getValue(); |
Chris Lattner | 906b499 | 2010-02-19 07:49:56 +0000 | [diff] [blame] | 278 | OS << "OPC_EmitInteger" << ClassifyInt(Val) << ", " |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 279 | << getEnumName(cast<EmitIntegerMatcher>(N)->getVT()) << ", "; |
Chris Lattner | 906b499 | 2010-02-19 07:49:56 +0000 | [diff] [blame] | 280 | return EmitInt(Val, OS)+2; |
| 281 | } |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 282 | case Matcher::EmitStringInteger: { |
| 283 | const std::string &Val = cast<EmitStringIntegerMatcher>(N)->getValue(); |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 284 | // These should always fit into one byte. |
| 285 | OS << "OPC_EmitInteger1, " |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 286 | << getEnumName(cast<EmitStringIntegerMatcher>(N)->getVT()) << ", " |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 287 | << Val << ",\n"; |
| 288 | return 3; |
| 289 | } |
Chris Lattner | 906b499 | 2010-02-19 07:49:56 +0000 | [diff] [blame] | 290 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 291 | case Matcher::EmitRegister: |
Chris Lattner | 906b499 | 2010-02-19 07:49:56 +0000 | [diff] [blame] | 292 | OS << "OPC_EmitRegister, " |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 293 | << getEnumName(cast<EmitRegisterMatcher>(N)->getVT()) << ", "; |
| 294 | if (Record *R = cast<EmitRegisterMatcher>(N)->getReg()) |
Chris Lattner | 906b499 | 2010-02-19 07:49:56 +0000 | [diff] [blame] | 295 | OS << getQualifiedName(R) << ",\n"; |
| 296 | else |
| 297 | OS << "0 /*zero_reg*/,\n"; |
| 298 | return 3; |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 299 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 300 | case Matcher::EmitConvertToTarget: |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 301 | OS << "OPC_EmitConvertToTarget, " |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 302 | << cast<EmitConvertToTargetMatcher>(N)->getSlot() << ",\n"; |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 303 | return 2; |
| 304 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 305 | case Matcher::EmitMergeInputChains: { |
| 306 | const EmitMergeInputChainsMatcher *MN = |
| 307 | cast<EmitMergeInputChainsMatcher>(N); |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 308 | OS << "OPC_EmitMergeInputChains, " << MN->getNumNodes() << ", "; |
| 309 | for (unsigned i = 0, e = MN->getNumNodes(); i != e; ++i) |
| 310 | OS << MN->getNode(i) << ", "; |
| 311 | OS << '\n'; |
| 312 | return 2+MN->getNumNodes(); |
| 313 | } |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 314 | case Matcher::EmitCopyToReg: |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 315 | OS << "OPC_EmitCopyToReg, " |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 316 | << cast<EmitCopyToRegMatcher>(N)->getSrcSlot() << ", " |
| 317 | << getQualifiedName(cast<EmitCopyToRegMatcher>(N)->getDestPhysReg()) |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 318 | << ",\n"; |
| 319 | return 3; |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 320 | case Matcher::EmitNodeXForm: { |
| 321 | const EmitNodeXFormMatcher *XF = cast<EmitNodeXFormMatcher>(N); |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 322 | OS << "OPC_EmitNodeXForm, " << getNodeXFormID(XF->getNodeXForm()) << ", " |
| 323 | << XF->getSlot() << ','; |
| 324 | OS.PadToColumn(CommentIndent) << "// "<<XF->getNodeXForm()->getName()<<'\n'; |
| 325 | return 3; |
| 326 | } |
| 327 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 328 | case Matcher::EmitNode: { |
| 329 | const EmitNodeMatcher *EN = cast<EmitNodeMatcher>(N); |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 330 | OS << "OPC_EmitNode, TARGET_OPCODE(" << EN->getOpcodeName() << "), 0"; |
| 331 | |
| 332 | if (EN->hasChain()) OS << "|OPFL_Chain"; |
| 333 | if (EN->hasFlag()) OS << "|OPFL_Flag"; |
| 334 | if (EN->hasMemRefs()) OS << "|OPFL_MemRefs"; |
| 335 | if (EN->getNumFixedArityOperands() != -1) |
| 336 | OS << "|OPFL_Variadic" << EN->getNumFixedArityOperands(); |
| 337 | OS << ",\n"; |
| 338 | |
| 339 | OS.PadToColumn(Indent*2+4) << EN->getNumVTs() << "/*#VTs*/, "; |
| 340 | for (unsigned i = 0, e = EN->getNumVTs(); i != e; ++i) |
| 341 | OS << getEnumName(EN->getVT(i)) << ", "; |
| 342 | |
| 343 | OS << EN->getNumOperands() << "/*#Ops*/, "; |
Chris Lattner | 5007e1e | 2010-02-23 00:59:59 +0000 | [diff] [blame] | 344 | unsigned NumOperandBytes = 0; |
| 345 | for (unsigned i = 0, e = EN->getNumOperands(); i != e; ++i) { |
| 346 | // We emit the operand numbers in VBR encoded format, in case the number |
| 347 | // is too large to represent with a byte. |
| 348 | NumOperandBytes += EmitVBRValue(EN->getOperand(i), OS); |
| 349 | } |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 350 | OS << '\n'; |
Chris Lattner | 5007e1e | 2010-02-23 00:59:59 +0000 | [diff] [blame] | 351 | return 6+EN->getNumVTs()+NumOperandBytes; |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 352 | } |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 353 | case Matcher::MarkFlagResults: { |
| 354 | const MarkFlagResultsMatcher *CFR = cast<MarkFlagResultsMatcher>(N); |
Chris Lattner | 02f7358 | 2010-02-24 05:33:42 +0000 | [diff] [blame] | 355 | OS << "OPC_MarkFlagResults, " << CFR->getNumNodes() << ", "; |
| 356 | unsigned NumOperandBytes = 0; |
| 357 | for (unsigned i = 0, e = CFR->getNumNodes(); i != e; ++i) |
| 358 | NumOperandBytes += EmitVBRValue(CFR->getNode(i), OS); |
| 359 | OS << '\n'; |
| 360 | return 2+NumOperandBytes; |
| 361 | } |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 362 | case Matcher::CompleteMatch: { |
| 363 | const CompleteMatchMatcher *CM = cast<CompleteMatchMatcher>(N); |
Chris Lattner | 77f2e27 | 2010-02-21 06:03:07 +0000 | [diff] [blame] | 364 | OS << "OPC_CompleteMatch, " << CM->getNumResults() << ", "; |
Chris Lattner | 5007e1e | 2010-02-23 00:59:59 +0000 | [diff] [blame] | 365 | unsigned NumResultBytes = 0; |
Chris Lattner | 77f2e27 | 2010-02-21 06:03:07 +0000 | [diff] [blame] | 366 | for (unsigned i = 0, e = CM->getNumResults(); i != e; ++i) |
Chris Lattner | 5007e1e | 2010-02-23 00:59:59 +0000 | [diff] [blame] | 367 | NumResultBytes += EmitVBRValue(CM->getResult(i), OS); |
Chris Lattner | 77f2e27 | 2010-02-21 06:03:07 +0000 | [diff] [blame] | 368 | OS << '\n'; |
| 369 | OS.PadToColumn(Indent*2) << "// Src: " |
| 370 | << *CM->getPattern().getSrcPattern() << '\n'; |
| 371 | OS.PadToColumn(Indent*2) << "// Dst: " |
| 372 | << *CM->getPattern().getDstPattern() << '\n'; |
Chris Lattner | 5007e1e | 2010-02-23 00:59:59 +0000 | [diff] [blame] | 373 | return 2 + NumResultBytes; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 374 | } |
Chris Lattner | 77f2e27 | 2010-02-21 06:03:07 +0000 | [diff] [blame] | 375 | } |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 376 | assert(0 && "Unreachable"); |
| 377 | return 0; |
| 378 | } |
| 379 | |
Chris Lattner | bd8227f | 2010-02-18 02:53:41 +0000 | [diff] [blame] | 380 | /// EmitMatcherList - Emit the bytes for the specified matcher subtree. |
Chris Lattner | e02ea54 | 2010-02-16 06:52:01 +0000 | [diff] [blame] | 381 | unsigned MatcherTableEmitter:: |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 382 | EmitMatcherList(const Matcher *N, unsigned Indent, unsigned CurrentIdx, |
Chris Lattner | 984e188 | 2010-02-21 06:30:04 +0000 | [diff] [blame] | 383 | formatted_raw_ostream &OS) { |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 384 | unsigned Size = 0; |
Chris Lattner | 8ef9c79 | 2010-02-18 02:49:24 +0000 | [diff] [blame] | 385 | while (N) { |
Chris Lattner | 09b9f39 | 2010-02-24 19:17:12 +0000 | [diff] [blame] | 386 | if (unsigned(N->getKind()) >= Histogram.size()) |
| 387 | Histogram.resize(N->getKind()+1); |
| 388 | Histogram[N->getKind()]++; |
| 389 | |
Chris Lattner | 60df53e | 2010-02-25 01:56:48 +0000 | [diff] [blame] | 390 | // Scope is a special case since it is binary. |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 391 | if (const ScopeMatcher *SMN = dyn_cast<ScopeMatcher>(N)) { |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 392 | // We need to encode the child and the offset of the failure code before |
| 393 | // emitting either of them. Handle this by buffering the output into a |
| 394 | // string while we get the size. |
| 395 | SmallString<128> TmpBuf; |
Chris Lattner | bd8227f | 2010-02-18 02:53:41 +0000 | [diff] [blame] | 396 | unsigned NextSize; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 397 | { |
| 398 | raw_svector_ostream OS(TmpBuf); |
| 399 | formatted_raw_ostream FOS(OS); |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 400 | NextSize = EmitMatcherList(cast<ScopeMatcher>(N)->getCheck(), |
Chris Lattner | 8fbad24 | 2010-02-21 07:16:41 +0000 | [diff] [blame] | 401 | Indent+1, CurrentIdx+2, FOS); |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 402 | } |
Chris Lattner | 3e22f2d | 2010-02-22 23:55:39 +0000 | [diff] [blame] | 403 | |
| 404 | // In the unlikely event that we have something too big to emit with a |
| 405 | // one byte offset, regenerate it with a two-byte one. |
Chris Lattner | bd8227f | 2010-02-18 02:53:41 +0000 | [diff] [blame] | 406 | if (NextSize > 255) { |
Chris Lattner | 3e22f2d | 2010-02-22 23:55:39 +0000 | [diff] [blame] | 407 | TmpBuf.clear(); |
| 408 | raw_svector_ostream OS(TmpBuf); |
| 409 | formatted_raw_ostream FOS(OS); |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 410 | NextSize = EmitMatcherList(cast<ScopeMatcher>(N)->getCheck(), |
Chris Lattner | 3e22f2d | 2010-02-22 23:55:39 +0000 | [diff] [blame] | 411 | Indent+1, CurrentIdx+3, FOS); |
| 412 | if (NextSize > 65535) { |
| 413 | errs() << |
| 414 | "Tblgen internal error: can't handle pattern this complex yet\n"; |
| 415 | exit(1); |
| 416 | } |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 417 | } |
| 418 | |
Chris Lattner | 8fbad24 | 2010-02-21 07:16:41 +0000 | [diff] [blame] | 419 | OS << "/*" << CurrentIdx << "*/"; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 420 | OS.PadToColumn(Indent*2); |
Chris Lattner | 3e22f2d | 2010-02-22 23:55:39 +0000 | [diff] [blame] | 421 | |
| 422 | if (NextSize < 256) |
Chris Lattner | 60df53e | 2010-02-25 01:56:48 +0000 | [diff] [blame] | 423 | OS << "OPC_Scope, " << NextSize << ",\n"; |
Chris Lattner | 3e22f2d | 2010-02-22 23:55:39 +0000 | [diff] [blame] | 424 | else |
Chris Lattner | 60df53e | 2010-02-25 01:56:48 +0000 | [diff] [blame] | 425 | OS << "OPC_Scope2, " << (NextSize&255) << ", " << (NextSize>>8) <<",\n"; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 426 | OS << TmpBuf.str(); |
| 427 | |
Chris Lattner | 8fbad24 | 2010-02-21 07:16:41 +0000 | [diff] [blame] | 428 | Size += 2+NextSize; |
| 429 | CurrentIdx += 2+NextSize; |
Chris Lattner | 60df53e | 2010-02-25 01:56:48 +0000 | [diff] [blame] | 430 | N = SMN->getNext(); |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 431 | continue; |
| 432 | } |
| 433 | |
Chris Lattner | 8fbad24 | 2010-02-21 07:16:41 +0000 | [diff] [blame] | 434 | OS << "/*" << CurrentIdx << "*/"; |
| 435 | unsigned MatcherSize = EmitMatcher(N, Indent, OS); |
| 436 | Size += MatcherSize; |
| 437 | CurrentIdx += MatcherSize; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 438 | |
Chris Lattner | bd8227f | 2010-02-18 02:53:41 +0000 | [diff] [blame] | 439 | // If there are other nodes in this list, iterate to them, otherwise we're |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 440 | // done. |
Chris Lattner | bd8227f | 2010-02-18 02:53:41 +0000 | [diff] [blame] | 441 | N = N->getNext(); |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 442 | } |
Chris Lattner | 8ef9c79 | 2010-02-18 02:49:24 +0000 | [diff] [blame] | 443 | return Size; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 444 | } |
| 445 | |
Chris Lattner | 984e188 | 2010-02-21 06:30:04 +0000 | [diff] [blame] | 446 | void MatcherTableEmitter::EmitPredicateFunctions(formatted_raw_ostream &OS) { |
Chris Lattner | b49985a | 2010-02-18 06:47:49 +0000 | [diff] [blame] | 447 | // FIXME: Don't build off the DAGISelEmitter's predicates, emit them directly |
| 448 | // here into the case stmts. |
| 449 | |
Chris Lattner | e609a51 | 2010-02-17 00:31:50 +0000 | [diff] [blame] | 450 | // Emit pattern predicates. |
Chris Lattner | 050a03d | 2010-02-16 07:21:10 +0000 | [diff] [blame] | 451 | OS << "bool CheckPatternPredicate(unsigned PredNo) const {\n"; |
| 452 | OS << " switch (PredNo) {\n"; |
| 453 | OS << " default: assert(0 && \"Invalid predicate in table?\");\n"; |
| 454 | for (unsigned i = 0, e = PatternPredicates.size(); i != e; ++i) |
| 455 | OS << " case " << i << ": return " << PatternPredicates[i] << ";\n"; |
| 456 | OS << " }\n"; |
| 457 | OS << "}\n\n"; |
| 458 | |
Chris Lattner | e609a51 | 2010-02-17 00:31:50 +0000 | [diff] [blame] | 459 | // Emit Node predicates. |
Chris Lattner | 050a03d | 2010-02-16 07:21:10 +0000 | [diff] [blame] | 460 | OS << "bool CheckNodePredicate(SDNode *N, unsigned PredNo) const {\n"; |
| 461 | OS << " switch (PredNo) {\n"; |
| 462 | OS << " default: assert(0 && \"Invalid predicate in table?\");\n"; |
| 463 | for (unsigned i = 0, e = NodePredicates.size(); i != e; ++i) |
| 464 | OS << " case " << i << ": return " << NodePredicates[i] << "(N);\n"; |
| 465 | OS << " }\n"; |
| 466 | OS << "}\n\n"; |
Chris Lattner | e609a51 | 2010-02-17 00:31:50 +0000 | [diff] [blame] | 467 | |
| 468 | // Emit CompletePattern matchers. |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 469 | // FIXME: This should be const. |
Chris Lattner | e609a51 | 2010-02-17 00:31:50 +0000 | [diff] [blame] | 470 | OS << "bool CheckComplexPattern(SDNode *Root, SDValue N,\n"; |
| 471 | OS << " unsigned PatternNo, SmallVectorImpl<SDValue> &Result) {\n"; |
| 472 | OS << " switch (PatternNo) {\n"; |
| 473 | OS << " default: assert(0 && \"Invalid pattern # in table?\");\n"; |
| 474 | for (unsigned i = 0, e = ComplexPatterns.size(); i != e; ++i) { |
| 475 | const ComplexPattern &P = *ComplexPatterns[i]; |
| 476 | unsigned NumOps = P.getNumOperands(); |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 477 | |
Chris Lattner | e609a51 | 2010-02-17 00:31:50 +0000 | [diff] [blame] | 478 | if (P.hasProperty(SDNPHasChain)) |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 479 | ++NumOps; // Get the chained node too. |
| 480 | |
Chris Lattner | e609a51 | 2010-02-17 00:31:50 +0000 | [diff] [blame] | 481 | OS << " case " << i << ":\n"; |
| 482 | OS << " Result.resize(Result.size()+" << NumOps << ");\n"; |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 483 | OS << " return " << P.getSelectFunc(); |
| 484 | |
| 485 | // FIXME: Temporary hack until old isel dies. |
| 486 | if (P.hasProperty(SDNPHasChain)) |
| 487 | OS << "XXX"; |
| 488 | |
| 489 | OS << "(Root, N"; |
Chris Lattner | e609a51 | 2010-02-17 00:31:50 +0000 | [diff] [blame] | 490 | for (unsigned i = 0; i != NumOps; ++i) |
| 491 | OS << ", Result[Result.size()-" << (NumOps-i) << ']'; |
| 492 | OS << ");\n"; |
| 493 | } |
| 494 | OS << " }\n"; |
| 495 | OS << "}\n\n"; |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 496 | |
| 497 | // Emit SDNodeXForm handlers. |
| 498 | // FIXME: This should be const. |
| 499 | OS << "SDValue RunSDNodeXForm(SDValue V, unsigned XFormNo) {\n"; |
| 500 | OS << " switch (XFormNo) {\n"; |
| 501 | OS << " default: assert(0 && \"Invalid xform # in table?\");\n"; |
| 502 | |
| 503 | // FIXME: The node xform could take SDValue's instead of SDNode*'s. |
| 504 | for (unsigned i = 0, e = NodeXForms.size(); i != e; ++i) |
| 505 | OS << " case " << i << ": return Transform_" << NodeXForms[i]->getName() |
| 506 | << "(V.getNode());\n"; |
| 507 | OS << " }\n"; |
| 508 | OS << "}\n\n"; |
Chris Lattner | 050a03d | 2010-02-16 07:21:10 +0000 | [diff] [blame] | 509 | } |
| 510 | |
Chris Lattner | 09b9f39 | 2010-02-24 19:17:12 +0000 | [diff] [blame] | 511 | void MatcherTableEmitter::EmitHistogram(formatted_raw_ostream &OS) { |
| 512 | OS << " // Opcode Histogram:\n"; |
| 513 | for (unsigned i = 0, e = Histogram.size(); i != e; ++i) { |
| 514 | OS << " // #"; |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 515 | switch ((Matcher::KindTy)i) { |
| 516 | case Matcher::Scope: OS << "OPC_Scope"; break; |
| 517 | case Matcher::RecordNode: OS << "OPC_RecordNode"; break; |
| 518 | case Matcher::RecordChild: OS << "OPC_RecordChild"; break; |
| 519 | case Matcher::RecordMemRef: OS << "OPC_RecordMemRef"; break; |
| 520 | case Matcher::CaptureFlagInput: OS << "OPC_CaptureFlagInput"; break; |
| 521 | case Matcher::MoveChild: OS << "OPC_MoveChild"; break; |
| 522 | case Matcher::MoveParent: OS << "OPC_MoveParent"; break; |
| 523 | case Matcher::CheckSame: OS << "OPC_CheckSame"; break; |
| 524 | case Matcher::CheckPatternPredicate: |
Chris Lattner | 09b9f39 | 2010-02-24 19:17:12 +0000 | [diff] [blame] | 525 | OS << "OPC_CheckPatternPredicate"; break; |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 526 | case Matcher::CheckPredicate: OS << "OPC_CheckPredicate"; break; |
| 527 | case Matcher::CheckOpcode: OS << "OPC_CheckOpcode"; break; |
| 528 | case Matcher::CheckMultiOpcode: OS << "OPC_CheckMultiOpcode"; break; |
| 529 | case Matcher::CheckType: OS << "OPC_CheckType"; break; |
| 530 | case Matcher::CheckChildType: OS << "OPC_CheckChildType"; break; |
| 531 | case Matcher::CheckInteger: OS << "OPC_CheckInteger"; break; |
| 532 | case Matcher::CheckCondCode: OS << "OPC_CheckCondCode"; break; |
| 533 | case Matcher::CheckValueType: OS << "OPC_CheckValueType"; break; |
| 534 | case Matcher::CheckComplexPat: OS << "OPC_CheckComplexPat"; break; |
| 535 | case Matcher::CheckAndImm: OS << "OPC_CheckAndImm"; break; |
| 536 | case Matcher::CheckOrImm: OS << "OPC_CheckOrImm"; break; |
| 537 | case Matcher::CheckFoldableChainNode: |
Chris Lattner | 09b9f39 | 2010-02-24 19:17:12 +0000 | [diff] [blame] | 538 | OS << "OPC_CheckFoldableChainNode"; break; |
Chris Lattner | 499622b | 2010-02-25 02:09:00 +0000 | [diff] [blame] | 539 | case Matcher::CheckChainCompatible: OS << "OPC_CheckChainCompatible"; break; |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 540 | case Matcher::EmitInteger: OS << "OPC_EmitInteger"; break; |
| 541 | case Matcher::EmitStringInteger: OS << "OPC_EmitStringInteger"; break; |
| 542 | case Matcher::EmitRegister: OS << "OPC_EmitRegister"; break; |
Chris Lattner | 499622b | 2010-02-25 02:09:00 +0000 | [diff] [blame] | 543 | case Matcher::EmitConvertToTarget: OS << "OPC_EmitConvertToTarget"; break; |
| 544 | case Matcher::EmitMergeInputChains: OS << "OPC_EmitMergeInputChains"; break; |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 545 | case Matcher::EmitCopyToReg: OS << "OPC_EmitCopyToReg"; break; |
| 546 | case Matcher::EmitNode: OS << "OPC_EmitNode"; break; |
| 547 | case Matcher::EmitNodeXForm: OS << "OPC_EmitNodeXForm"; break; |
| 548 | case Matcher::MarkFlagResults: OS << "OPC_MarkFlagResults"; break; |
| 549 | case Matcher::CompleteMatch: OS << "OPC_CompleteMatch"; break; |
Chris Lattner | 09b9f39 | 2010-02-24 19:17:12 +0000 | [diff] [blame] | 550 | } |
| 551 | |
| 552 | OS.PadToColumn(40) << " = " << Histogram[i] << '\n'; |
| 553 | } |
| 554 | OS << '\n'; |
| 555 | } |
| 556 | |
Chris Lattner | 050a03d | 2010-02-16 07:21:10 +0000 | [diff] [blame] | 557 | |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 558 | void llvm::EmitMatcherTable(const Matcher *TheMatcher, raw_ostream &O) { |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 559 | formatted_raw_ostream OS(O); |
| 560 | |
| 561 | OS << "// The main instruction selector code.\n"; |
Chris Lattner | c84edb7 | 2010-02-24 07:35:09 +0000 | [diff] [blame] | 562 | OS << "SDNode *SelectCode(SDNode *N) {\n"; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 563 | |
Chris Lattner | 984e188 | 2010-02-21 06:30:04 +0000 | [diff] [blame] | 564 | MatcherTableEmitter MatcherEmitter; |
Chris Lattner | e02ea54 | 2010-02-16 06:52:01 +0000 | [diff] [blame] | 565 | |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 566 | OS << " // Opcodes are emitted as 2 bytes, TARGET_OPCODE handles this.\n"; |
| 567 | OS << " #define TARGET_OPCODE(X) X & 255, unsigned(X) >> 8\n"; |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 568 | OS << " static const unsigned char MatcherTable[] = {\n"; |
Chris Lattner | b21ba71 | 2010-02-25 02:04:40 +0000 | [diff] [blame] | 569 | unsigned TotalSize = MatcherEmitter.EmitMatcherList(TheMatcher, 5, 0, OS); |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 570 | OS << " 0\n }; // Total Array size is " << (TotalSize+1) << " bytes\n\n"; |
Chris Lattner | 09b9f39 | 2010-02-24 19:17:12 +0000 | [diff] [blame] | 571 | |
| 572 | MatcherEmitter.EmitHistogram(OS); |
| 573 | |
Chris Lattner | 8e946be | 2010-02-21 03:22:59 +0000 | [diff] [blame] | 574 | OS << " #undef TARGET_OPCODE\n"; |
Chris Lattner | e02ea54 | 2010-02-16 06:52:01 +0000 | [diff] [blame] | 575 | OS << " return SelectCodeCommon(N, MatcherTable,sizeof(MatcherTable));\n}\n"; |
Chris Lattner | 050a03d | 2010-02-16 07:21:10 +0000 | [diff] [blame] | 576 | OS << "\n"; |
| 577 | |
| 578 | // Next up, emit the function for node and pattern predicates: |
Chris Lattner | 984e188 | 2010-02-21 06:30:04 +0000 | [diff] [blame] | 579 | MatcherEmitter.EmitPredicateFunctions(OS); |
Chris Lattner | da272d1 | 2010-02-15 08:04:42 +0000 | [diff] [blame] | 580 | } |