| Chris Lattner | 1c4ae85 | 2004-08-01 05:59:33 +0000 | [diff] [blame] | 1 | //===- AsmWriterEmitter.cpp - Generate an assembly writer -----------------===// |
| Misha Brukman | 650ba8e | 2005-04-22 00:00:37 +0000 | [diff] [blame] | 2 | // |
| Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 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 |
| Misha Brukman | 650ba8e | 2005-04-22 00:00:37 +0000 | [diff] [blame] | 6 | // |
| Chris Lattner | 1c4ae85 | 2004-08-01 05:59:33 +0000 | [diff] [blame] | 7 | //===----------------------------------------------------------------------===// |
| 8 | // |
| Xinliang David Li | b439c7a | 2016-02-23 19:18:21 +0000 | [diff] [blame] | 9 | // This tablegen backend emits an assembly printer for the current target. |
| Chris Lattner | 1c4ae85 | 2004-08-01 05:59:33 +0000 | [diff] [blame] | 10 | // Note that this is currently fairly skeletal, but will grow over time. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| Sean Callanan | b7e8f4a | 2010-02-09 21:50:41 +0000 | [diff] [blame] | 14 | #include "AsmWriterInst.h" |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 15 | #include "CodeGenInstruction.h" |
| 16 | #include "CodeGenRegisters.h" |
| Chris Lattner | 1c4ae85 | 2004-08-01 05:59:33 +0000 | [diff] [blame] | 17 | #include "CodeGenTarget.h" |
| Jakob Stoklund Olesen | 892f480 | 2012-03-30 21:12:52 +0000 | [diff] [blame] | 18 | #include "SequenceToOffsetTable.h" |
| Daniel Sanders | ca89f3a | 2016-11-19 12:21:34 +0000 | [diff] [blame] | 19 | #include "Types.h" |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 20 | #include "llvm/ADT/ArrayRef.h" |
| 21 | #include "llvm/ADT/DenseMap.h" |
| Benjamin Kramer | d59664f | 2014-04-29 23:26:49 +0000 | [diff] [blame] | 22 | #include "llvm/ADT/SmallString.h" |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 23 | #include "llvm/ADT/SmallVector.h" |
| 24 | #include "llvm/ADT/STLExtras.h" |
| Craig Topper | b635013 | 2012-07-27 06:44:02 +0000 | [diff] [blame] | 25 | #include "llvm/ADT/StringExtras.h" |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 26 | #include "llvm/ADT/StringRef.h" |
| Owen Anderson | a84be6c | 2011-06-27 21:06:21 +0000 | [diff] [blame] | 27 | #include "llvm/ADT/Twine.h" |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 28 | #include "llvm/Support/Casting.h" |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 29 | #include "llvm/Support/Debug.h" |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 30 | #include "llvm/Support/ErrorHandling.h" |
| Benjamin Kramer | 17c17bc | 2013-09-11 15:42:16 +0000 | [diff] [blame] | 31 | #include "llvm/Support/Format.h" |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 32 | #include "llvm/Support/FormatVariadic.h" |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 33 | #include "llvm/Support/MathExtras.h" |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 34 | #include "llvm/Support/raw_ostream.h" |
| Peter Collingbourne | 84c287e | 2011-10-01 16:41:13 +0000 | [diff] [blame] | 35 | #include "llvm/TableGen/Error.h" |
| 36 | #include "llvm/TableGen/Record.h" |
| Jakob Stoklund Olesen | e6aed13 | 2012-06-11 15:37:55 +0000 | [diff] [blame] | 37 | #include "llvm/TableGen/TableGenBackend.h" |
| Jeff Cohen | da636b3 | 2005-01-22 18:50:10 +0000 | [diff] [blame] | 38 | #include <algorithm> |
| Jakob Stoklund Olesen | e6aed13 | 2012-06-11 15:37:55 +0000 | [diff] [blame] | 39 | #include <cassert> |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 40 | #include <cstddef> |
| 41 | #include <cstdint> |
| 42 | #include <deque> |
| 43 | #include <iterator> |
| Jakob Stoklund Olesen | e6aed13 | 2012-06-11 15:37:55 +0000 | [diff] [blame] | 44 | #include <map> |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 45 | #include <set> |
| 46 | #include <string> |
| 47 | #include <tuple> |
| Benjamin Kramer | 82de7d3 | 2016-05-27 14:27:24 +0000 | [diff] [blame] | 48 | #include <utility> |
| Jakob Stoklund Olesen | e6aed13 | 2012-06-11 15:37:55 +0000 | [diff] [blame] | 49 | #include <vector> |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 50 | |
| Chris Lattner | 1c4ae85 | 2004-08-01 05:59:33 +0000 | [diff] [blame] | 51 | using namespace llvm; |
| 52 | |
| Chandler Carruth | e96dd89 | 2014-04-21 22:55:11 +0000 | [diff] [blame] | 53 | #define DEBUG_TYPE "asm-writer-emitter" |
| 54 | |
| Jakob Stoklund Olesen | e6aed13 | 2012-06-11 15:37:55 +0000 | [diff] [blame] | 55 | namespace { |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 56 | |
| Jakob Stoklund Olesen | e6aed13 | 2012-06-11 15:37:55 +0000 | [diff] [blame] | 57 | class AsmWriterEmitter { |
| 58 | RecordKeeper &Records; |
| Ahmed Bougacha | bd21400 | 2013-10-28 18:07:17 +0000 | [diff] [blame] | 59 | CodeGenTarget Target; |
| Craig Topper | f926532 | 2016-01-17 20:38:14 +0000 | [diff] [blame] | 60 | ArrayRef<const CodeGenInstruction *> NumberedInstructions; |
| Ahmed Bougacha | bd21400 | 2013-10-28 18:07:17 +0000 | [diff] [blame] | 61 | std::vector<AsmWriterInst> Instructions; |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 62 | |
| Jakob Stoklund Olesen | e6aed13 | 2012-06-11 15:37:55 +0000 | [diff] [blame] | 63 | public: |
| Ahmed Bougacha | bd21400 | 2013-10-28 18:07:17 +0000 | [diff] [blame] | 64 | AsmWriterEmitter(RecordKeeper &R); |
| Jakob Stoklund Olesen | e6aed13 | 2012-06-11 15:37:55 +0000 | [diff] [blame] | 65 | |
| 66 | void run(raw_ostream &o); |
| 67 | |
| 68 | private: |
| 69 | void EmitPrintInstruction(raw_ostream &o); |
| 70 | void EmitGetRegisterName(raw_ostream &o); |
| 71 | void EmitPrintAliasInstruction(raw_ostream &O); |
| 72 | |
| Jakob Stoklund Olesen | e6aed13 | 2012-06-11 15:37:55 +0000 | [diff] [blame] | 73 | void FindUniqueOperandCommands(std::vector<std::string> &UOC, |
| Craig Topper | 5dd7a2c | 2016-01-24 07:13:28 +0000 | [diff] [blame] | 74 | std::vector<std::vector<unsigned>> &InstIdxs, |
| Craig Topper | c24a401 | 2016-01-14 06:15:07 +0000 | [diff] [blame] | 75 | std::vector<unsigned> &InstOpsUsed, |
| 76 | bool PassSubtarget) const; |
| Jakob Stoklund Olesen | e6aed13 | 2012-06-11 15:37:55 +0000 | [diff] [blame] | 77 | }; |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 78 | |
| Jakob Stoklund Olesen | e6aed13 | 2012-06-11 15:37:55 +0000 | [diff] [blame] | 79 | } // end anonymous namespace |
| 80 | |
| Chris Lattner | 59a7f5c | 2005-01-22 20:31:17 +0000 | [diff] [blame] | 81 | static void PrintCases(std::vector<std::pair<std::string, |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 82 | AsmWriterOperand>> &OpsToPrint, raw_ostream &O, |
| Craig Topper | c24a401 | 2016-01-14 06:15:07 +0000 | [diff] [blame] | 83 | bool PassSubtarget) { |
| Craig Topper | 0b271ad | 2016-01-13 07:20:13 +0000 | [diff] [blame] | 84 | O << " case " << OpsToPrint.back().first << ":"; |
| Chris Lattner | 59a7f5c | 2005-01-22 20:31:17 +0000 | [diff] [blame] | 85 | AsmWriterOperand TheOp = OpsToPrint.back().second; |
| 86 | OpsToPrint.pop_back(); |
| 87 | |
| 88 | // Check to see if any other operands are identical in this list, and if so, |
| 89 | // emit a case label for them. |
| 90 | for (unsigned i = OpsToPrint.size(); i != 0; --i) |
| 91 | if (OpsToPrint[i-1].second == TheOp) { |
| Craig Topper | 0b271ad | 2016-01-13 07:20:13 +0000 | [diff] [blame] | 92 | O << "\n case " << OpsToPrint[i-1].first << ":"; |
| Chris Lattner | 59a7f5c | 2005-01-22 20:31:17 +0000 | [diff] [blame] | 93 | OpsToPrint.erase(OpsToPrint.begin()+i-1); |
| 94 | } |
| 95 | |
| 96 | // Finally, emit the code. |
| Craig Topper | c24a401 | 2016-01-14 06:15:07 +0000 | [diff] [blame] | 97 | O << "\n " << TheOp.getCode(PassSubtarget); |
| Craig Topper | 0b271ad | 2016-01-13 07:20:13 +0000 | [diff] [blame] | 98 | O << "\n break;\n"; |
| Chris Lattner | 59a7f5c | 2005-01-22 20:31:17 +0000 | [diff] [blame] | 99 | } |
| 100 | |
| Chris Lattner | 9ceb7c8 | 2005-01-22 18:38:13 +0000 | [diff] [blame] | 101 | /// EmitInstructions - Emit the last instruction in the vector and any other |
| 102 | /// instructions that are suitably similar to it. |
| 103 | static void EmitInstructions(std::vector<AsmWriterInst> &Insts, |
| Craig Topper | c24a401 | 2016-01-14 06:15:07 +0000 | [diff] [blame] | 104 | raw_ostream &O, bool PassSubtarget) { |
| Chris Lattner | 9ceb7c8 | 2005-01-22 18:38:13 +0000 | [diff] [blame] | 105 | AsmWriterInst FirstInst = Insts.back(); |
| 106 | Insts.pop_back(); |
| 107 | |
| 108 | std::vector<AsmWriterInst> SimilarInsts; |
| 109 | unsigned DifferingOperand = ~0; |
| 110 | for (unsigned i = Insts.size(); i != 0; --i) { |
| Chris Lattner | 92275bb | 2005-01-22 19:22:23 +0000 | [diff] [blame] | 111 | unsigned DiffOp = Insts[i-1].MatchesAllButOneOp(FirstInst); |
| 112 | if (DiffOp != ~1U) { |
| Chris Lattner | 9ceb7c8 | 2005-01-22 18:38:13 +0000 | [diff] [blame] | 113 | if (DifferingOperand == ~0U) // First match! |
| 114 | DifferingOperand = DiffOp; |
| 115 | |
| 116 | // If this differs in the same operand as the rest of the instructions in |
| 117 | // this class, move it to the SimilarInsts list. |
| Chris Lattner | 92275bb | 2005-01-22 19:22:23 +0000 | [diff] [blame] | 118 | if (DifferingOperand == DiffOp || DiffOp == ~0U) { |
| Chris Lattner | 9ceb7c8 | 2005-01-22 18:38:13 +0000 | [diff] [blame] | 119 | SimilarInsts.push_back(Insts[i-1]); |
| 120 | Insts.erase(Insts.begin()+i-1); |
| 121 | } |
| 122 | } |
| 123 | } |
| 124 | |
| Chris Lattner | 017b93d | 2006-05-01 17:01:17 +0000 | [diff] [blame] | 125 | O << " case " << FirstInst.CGI->Namespace << "::" |
| Chris Lattner | 9ceb7c8 | 2005-01-22 18:38:13 +0000 | [diff] [blame] | 126 | << FirstInst.CGI->TheDef->getName() << ":\n"; |
| Craig Topper | 190ecd5 | 2016-01-08 07:06:32 +0000 | [diff] [blame] | 127 | for (const AsmWriterInst &AWI : SimilarInsts) |
| 128 | O << " case " << AWI.CGI->Namespace << "::" |
| 129 | << AWI.CGI->TheDef->getName() << ":\n"; |
| Chris Lattner | 9ceb7c8 | 2005-01-22 18:38:13 +0000 | [diff] [blame] | 130 | for (unsigned i = 0, e = FirstInst.Operands.size(); i != e; ++i) { |
| 131 | if (i != DifferingOperand) { |
| 132 | // If the operand is the same for all instructions, just print it. |
| Craig Topper | c24a401 | 2016-01-14 06:15:07 +0000 | [diff] [blame] | 133 | O << " " << FirstInst.Operands[i].getCode(PassSubtarget); |
| Chris Lattner | 9ceb7c8 | 2005-01-22 18:38:13 +0000 | [diff] [blame] | 134 | } else { |
| 135 | // If this is the operand that varies between all of the instructions, |
| 136 | // emit a switch for just this operand now. |
| 137 | O << " switch (MI->getOpcode()) {\n"; |
| Craig Topper | 0b271ad | 2016-01-13 07:20:13 +0000 | [diff] [blame] | 138 | O << " default: llvm_unreachable(\"Unexpected opcode.\");\n"; |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 139 | std::vector<std::pair<std::string, AsmWriterOperand>> OpsToPrint; |
| Craig Topper | 86a9aee | 2017-07-07 06:22:35 +0000 | [diff] [blame] | 140 | OpsToPrint.push_back(std::make_pair(FirstInst.CGI->Namespace.str() + "::" + |
| Matthias Braun | 4a86d45 | 2016-12-04 05:48:16 +0000 | [diff] [blame] | 141 | FirstInst.CGI->TheDef->getName().str(), |
| Chris Lattner | 59a7f5c | 2005-01-22 20:31:17 +0000 | [diff] [blame] | 142 | FirstInst.Operands[i])); |
| Misha Brukman | 650ba8e | 2005-04-22 00:00:37 +0000 | [diff] [blame] | 143 | |
| Craig Topper | 190ecd5 | 2016-01-08 07:06:32 +0000 | [diff] [blame] | 144 | for (const AsmWriterInst &AWI : SimilarInsts) { |
| Craig Topper | 86a9aee | 2017-07-07 06:22:35 +0000 | [diff] [blame] | 145 | OpsToPrint.push_back(std::make_pair(AWI.CGI->Namespace.str()+"::" + |
| Matthias Braun | 4a86d45 | 2016-12-04 05:48:16 +0000 | [diff] [blame] | 146 | AWI.CGI->TheDef->getName().str(), |
| Chris Lattner | 59a7f5c | 2005-01-22 20:31:17 +0000 | [diff] [blame] | 147 | AWI.Operands[i])); |
| Chris Lattner | 9ceb7c8 | 2005-01-22 18:38:13 +0000 | [diff] [blame] | 148 | } |
| Chris Lattner | 59a7f5c | 2005-01-22 20:31:17 +0000 | [diff] [blame] | 149 | std::reverse(OpsToPrint.begin(), OpsToPrint.end()); |
| 150 | while (!OpsToPrint.empty()) |
| Craig Topper | c24a401 | 2016-01-14 06:15:07 +0000 | [diff] [blame] | 151 | PrintCases(OpsToPrint, O, PassSubtarget); |
| Chris Lattner | 9ceb7c8 | 2005-01-22 18:38:13 +0000 | [diff] [blame] | 152 | O << " }"; |
| 153 | } |
| 154 | O << "\n"; |
| 155 | } |
| Chris Lattner | 9ceb7c8 | 2005-01-22 18:38:13 +0000 | [diff] [blame] | 156 | O << " break;\n"; |
| 157 | } |
| Chris Lattner | 0c23ba5 | 2005-01-22 17:32:42 +0000 | [diff] [blame] | 158 | |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 159 | void AsmWriterEmitter:: |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 160 | FindUniqueOperandCommands(std::vector<std::string> &UniqueOperandCommands, |
| Craig Topper | 5dd7a2c | 2016-01-24 07:13:28 +0000 | [diff] [blame] | 161 | std::vector<std::vector<unsigned>> &InstIdxs, |
| Craig Topper | c24a401 | 2016-01-14 06:15:07 +0000 | [diff] [blame] | 162 | std::vector<unsigned> &InstOpsUsed, |
| 163 | bool PassSubtarget) const { |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 164 | // This vector parallels UniqueOperandCommands, keeping track of which |
| 165 | // instructions each case are used for. It is a comma separated string of |
| 166 | // enums. |
| 167 | std::vector<std::string> InstrsForCase; |
| 168 | InstrsForCase.resize(UniqueOperandCommands.size()); |
| Chris Lattner | edee525 | 2006-07-18 18:28:27 +0000 | [diff] [blame] | 169 | InstOpsUsed.assign(UniqueOperandCommands.size(), 0); |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 170 | |
| Craig Topper | 9e9ae60 | 2016-01-17 08:05:33 +0000 | [diff] [blame] | 171 | for (size_t i = 0, e = Instructions.size(); i != e; ++i) { |
| 172 | const AsmWriterInst &Inst = Instructions[i]; |
| 173 | if (Inst.Operands.empty()) |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 174 | continue; // Instruction already done. |
| Chris Lattner | 9d25069 | 2006-07-18 17:50:22 +0000 | [diff] [blame] | 175 | |
| Craig Topper | 9e9ae60 | 2016-01-17 08:05:33 +0000 | [diff] [blame] | 176 | std::string Command = " "+Inst.Operands[0].getCode(PassSubtarget)+"\n"; |
| Chris Lattner | 9d25069 | 2006-07-18 17:50:22 +0000 | [diff] [blame] | 177 | |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 178 | // Check to see if we already have 'Command' in UniqueOperandCommands. |
| 179 | // If not, add it. |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 180 | auto I = llvm::find(UniqueOperandCommands, Command); |
| Craig Topper | a99859d | 2016-01-17 08:05:30 +0000 | [diff] [blame] | 181 | if (I != UniqueOperandCommands.end()) { |
| 182 | size_t idx = I - UniqueOperandCommands.begin(); |
| Craig Topper | a99859d | 2016-01-17 08:05:30 +0000 | [diff] [blame] | 183 | InstrsForCase[idx] += ", "; |
| Craig Topper | 9e9ae60 | 2016-01-17 08:05:33 +0000 | [diff] [blame] | 184 | InstrsForCase[idx] += Inst.CGI->TheDef->getName(); |
| Craig Topper | 5dd7a2c | 2016-01-24 07:13:28 +0000 | [diff] [blame] | 185 | InstIdxs[idx].push_back(i); |
| Craig Topper | a99859d | 2016-01-17 08:05:30 +0000 | [diff] [blame] | 186 | } else { |
| Craig Topper | 1993e3b | 2016-01-08 07:06:29 +0000 | [diff] [blame] | 187 | UniqueOperandCommands.push_back(std::move(Command)); |
| Benjamin Kramer | adcd026 | 2020-01-28 20:23:46 +0100 | [diff] [blame] | 188 | InstrsForCase.push_back(std::string(Inst.CGI->TheDef->getName())); |
| Craig Topper | 5dd7a2c | 2016-01-24 07:13:28 +0000 | [diff] [blame] | 189 | InstIdxs.emplace_back(); |
| 190 | InstIdxs.back().push_back(i); |
| Chris Lattner | edee525 | 2006-07-18 18:28:27 +0000 | [diff] [blame] | 191 | |
| 192 | // This command matches one operand so far. |
| 193 | InstOpsUsed.push_back(1); |
| 194 | } |
| 195 | } |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 196 | |
| Chris Lattner | edee525 | 2006-07-18 18:28:27 +0000 | [diff] [blame] | 197 | // For each entry of UniqueOperandCommands, there is a set of instructions |
| 198 | // that uses it. If the next command of all instructions in the set are |
| 199 | // identical, fold it into the command. |
| Craig Topper | 5dd7a2c | 2016-01-24 07:13:28 +0000 | [diff] [blame] | 200 | for (size_t CommandIdx = 0, e = UniqueOperandCommands.size(); |
| Chris Lattner | edee525 | 2006-07-18 18:28:27 +0000 | [diff] [blame] | 201 | CommandIdx != e; ++CommandIdx) { |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 202 | |
| Craig Topper | 5dd7a2c | 2016-01-24 07:13:28 +0000 | [diff] [blame] | 203 | const auto &Idxs = InstIdxs[CommandIdx]; |
| Chris Lattner | edee525 | 2006-07-18 18:28:27 +0000 | [diff] [blame] | 204 | |
| Craig Topper | 5dd7a2c | 2016-01-24 07:13:28 +0000 | [diff] [blame] | 205 | for (unsigned Op = 1; ; ++Op) { |
| 206 | // Find the first instruction in the set. |
| 207 | const AsmWriterInst &FirstInst = Instructions[Idxs.front()]; |
| Chris Lattner | edee525 | 2006-07-18 18:28:27 +0000 | [diff] [blame] | 208 | // If this instruction has no more operands, we isn't anything to merge |
| 209 | // into this command. |
| Craig Topper | 9e9ae60 | 2016-01-17 08:05:33 +0000 | [diff] [blame] | 210 | if (FirstInst.Operands.size() == Op) |
| Chris Lattner | edee525 | 2006-07-18 18:28:27 +0000 | [diff] [blame] | 211 | break; |
| 212 | |
| 213 | // Otherwise, scan to see if all of the other instructions in this command |
| 214 | // set share the operand. |
| Craig Topper | 5dd7a2c | 2016-01-24 07:13:28 +0000 | [diff] [blame] | 215 | if (std::any_of(Idxs.begin()+1, Idxs.end(), |
| 216 | [&](unsigned Idx) { |
| 217 | const AsmWriterInst &OtherInst = Instructions[Idx]; |
| 218 | return OtherInst.Operands.size() == Op || |
| 219 | OtherInst.Operands[Op] != FirstInst.Operands[Op]; |
| 220 | })) |
| 221 | break; |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 222 | |
| Chris Lattner | edee525 | 2006-07-18 18:28:27 +0000 | [diff] [blame] | 223 | // Okay, everything in this command set has the same next operand. Add it |
| 224 | // to UniqueOperandCommands and remember that it was consumed. |
| Craig Topper | c24a401 | 2016-01-14 06:15:07 +0000 | [diff] [blame] | 225 | std::string Command = " " + |
| Craig Topper | 9e9ae60 | 2016-01-17 08:05:33 +0000 | [diff] [blame] | 226 | FirstInst.Operands[Op].getCode(PassSubtarget) + "\n"; |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 227 | |
| Chris Lattner | edee525 | 2006-07-18 18:28:27 +0000 | [diff] [blame] | 228 | UniqueOperandCommands[CommandIdx] += Command; |
| 229 | InstOpsUsed[CommandIdx]++; |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 230 | } |
| 231 | } |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 232 | |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 233 | // Prepend some of the instructions each case is used for onto the case val. |
| 234 | for (unsigned i = 0, e = InstrsForCase.size(); i != e; ++i) { |
| 235 | std::string Instrs = InstrsForCase[i]; |
| 236 | if (Instrs.size() > 70) { |
| 237 | Instrs.erase(Instrs.begin()+70, Instrs.end()); |
| 238 | Instrs += "..."; |
| 239 | } |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 240 | |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 241 | if (!Instrs.empty()) |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 242 | UniqueOperandCommands[i] = " // " + Instrs + "\n" + |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 243 | UniqueOperandCommands[i]; |
| 244 | } |
| 245 | } |
| 246 | |
| Daniel Dunbar | 04f049f | 2009-10-17 20:43:42 +0000 | [diff] [blame] | 247 | static void UnescapeString(std::string &Str) { |
| 248 | for (unsigned i = 0; i != Str.size(); ++i) { |
| 249 | if (Str[i] == '\\' && i != Str.size()-1) { |
| 250 | switch (Str[i+1]) { |
| 251 | default: continue; // Don't execute the code after the switch. |
| 252 | case 'a': Str[i] = '\a'; break; |
| 253 | case 'b': Str[i] = '\b'; break; |
| 254 | case 'e': Str[i] = 27; break; |
| 255 | case 'f': Str[i] = '\f'; break; |
| 256 | case 'n': Str[i] = '\n'; break; |
| 257 | case 'r': Str[i] = '\r'; break; |
| 258 | case 't': Str[i] = '\t'; break; |
| 259 | case 'v': Str[i] = '\v'; break; |
| 260 | case '"': Str[i] = '\"'; break; |
| 261 | case '\'': Str[i] = '\''; break; |
| 262 | case '\\': Str[i] = '\\'; break; |
| 263 | } |
| 264 | // Nuke the second character. |
| 265 | Str.erase(Str.begin()+i+1); |
| 266 | } |
| 267 | } |
| 268 | } |
| 269 | |
| Chris Lattner | 06c5eed | 2009-09-13 20:08:00 +0000 | [diff] [blame] | 270 | /// EmitPrintInstruction - Generate the code for the "printInstruction" method |
| Ahmed Bougacha | bd21400 | 2013-10-28 18:07:17 +0000 | [diff] [blame] | 271 | /// implementation. Destroys all instances of AsmWriterInst information, by |
| 272 | /// clearing the Instructions vector. |
| Chris Lattner | 06c5eed | 2009-09-13 20:08:00 +0000 | [diff] [blame] | 273 | void AsmWriterEmitter::EmitPrintInstruction(raw_ostream &O) { |
| Chris Lattner | 6ffa501 | 2004-08-14 22:50:53 +0000 | [diff] [blame] | 274 | Record *AsmWriter = Target.getAsmWriter(); |
| Craig Topper | bcd3c37 | 2017-05-31 21:12:46 +0000 | [diff] [blame] | 275 | StringRef ClassName = AsmWriter->getValueAsString("AsmWriterClassName"); |
| Craig Topper | c24a401 | 2016-01-14 06:15:07 +0000 | [diff] [blame] | 276 | bool PassSubtarget = AsmWriter->getValueAsInt("PassSubtarget"); |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 277 | |
| Fangrui Song | 3d87d0b | 2020-01-03 12:02:46 -0800 | [diff] [blame] | 278 | O << "/// printInstruction - This method is automatically generated by " |
| 279 | "tablegen\n" |
| 280 | "/// from the instruction set description.\n" |
| 281 | "void " |
| 282 | << Target.getName() << ClassName |
| 283 | << "::printInstruction(const MCInst *MI, uint64_t Address, " |
| 284 | << (PassSubtarget ? "const MCSubtargetInfo &STI, " : "") |
| 285 | << "raw_ostream &O) {\n"; |
| Chris Lattner | 1c4ae85 | 2004-08-01 05:59:33 +0000 | [diff] [blame] | 286 | |
| Chris Lattner | e32982c | 2006-07-14 22:59:11 +0000 | [diff] [blame] | 287 | // Build an aggregate string, and build a table of offsets into it. |
| Benjamin Kramer | 22d093e | 2012-04-02 09:13:46 +0000 | [diff] [blame] | 288 | SequenceToOffsetTable<std::string> StringTable; |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 289 | |
| Chris Lattner | 5d751b4 | 2006-09-27 16:44:09 +0000 | [diff] [blame] | 290 | /// OpcodeInfo - This encodes the index of the string to use for the first |
| Chris Lattner | 1ac0eb7 | 2006-07-18 17:32:27 +0000 | [diff] [blame] | 291 | /// chunk of the output as well as indices used for operand printing. |
| Craig Topper | f926532 | 2016-01-17 20:38:14 +0000 | [diff] [blame] | 292 | std::vector<uint64_t> OpcodeInfo(NumberedInstructions.size()); |
| Craig Topper | d4f87a3 | 2016-01-13 07:20:12 +0000 | [diff] [blame] | 293 | const unsigned OpcodeInfoBits = 64; |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 294 | |
| Benjamin Kramer | 22d093e | 2012-04-02 09:13:46 +0000 | [diff] [blame] | 295 | // Add all strings to the string table upfront so it can generate an optimized |
| 296 | // representation. |
| Craig Topper | 9e9ae60 | 2016-01-17 08:05:33 +0000 | [diff] [blame] | 297 | for (AsmWriterInst &AWI : Instructions) { |
| 298 | if (AWI.Operands[0].OperandType == |
| Jim Grosbach | f4e6708 | 2012-04-18 18:56:33 +0000 | [diff] [blame] | 299 | AsmWriterOperand::isLiteralTextOperand && |
| Craig Topper | 9e9ae60 | 2016-01-17 08:05:33 +0000 | [diff] [blame] | 300 | !AWI.Operands[0].Str.empty()) { |
| 301 | std::string Str = AWI.Operands[0].Str; |
| Benjamin Kramer | 22d093e | 2012-04-02 09:13:46 +0000 | [diff] [blame] | 302 | UnescapeString(Str); |
| 303 | StringTable.add(Str); |
| 304 | } |
| 305 | } |
| 306 | |
| 307 | StringTable.layout(); |
| 308 | |
| Chris Lattner | 1ac0eb7 | 2006-07-18 17:32:27 +0000 | [diff] [blame] | 309 | unsigned MaxStringIdx = 0; |
| Craig Topper | 9e9ae60 | 2016-01-17 08:05:33 +0000 | [diff] [blame] | 310 | for (AsmWriterInst &AWI : Instructions) { |
| Chris Lattner | e32982c | 2006-07-14 22:59:11 +0000 | [diff] [blame] | 311 | unsigned Idx; |
| Craig Topper | 9e9ae60 | 2016-01-17 08:05:33 +0000 | [diff] [blame] | 312 | if (AWI.Operands[0].OperandType != AsmWriterOperand::isLiteralTextOperand || |
| 313 | AWI.Operands[0].Str.empty()) { |
| Chris Lattner | 3650465 | 2006-07-19 01:39:06 +0000 | [diff] [blame] | 314 | // Something handled by the asmwriter printer, but with no leading string. |
| Benjamin Kramer | 22d093e | 2012-04-02 09:13:46 +0000 | [diff] [blame] | 315 | Idx = StringTable.get(""); |
| Chris Lattner | e32982c | 2006-07-14 22:59:11 +0000 | [diff] [blame] | 316 | } else { |
| Craig Topper | 9e9ae60 | 2016-01-17 08:05:33 +0000 | [diff] [blame] | 317 | std::string Str = AWI.Operands[0].Str; |
| Chris Lattner | b47ed61 | 2009-09-14 01:16:36 +0000 | [diff] [blame] | 318 | UnescapeString(Str); |
| Benjamin Kramer | 22d093e | 2012-04-02 09:13:46 +0000 | [diff] [blame] | 319 | Idx = StringTable.get(Str); |
| Chris Lattner | b47ed61 | 2009-09-14 01:16:36 +0000 | [diff] [blame] | 320 | MaxStringIdx = std::max(MaxStringIdx, Idx); |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 321 | |
| Chris Lattner | e32982c | 2006-07-14 22:59:11 +0000 | [diff] [blame] | 322 | // Nuke the string from the operand list. It is now handled! |
| Craig Topper | 9e9ae60 | 2016-01-17 08:05:33 +0000 | [diff] [blame] | 323 | AWI.Operands.erase(AWI.Operands.begin()); |
| Chris Lattner | 92275bb | 2005-01-22 19:22:23 +0000 | [diff] [blame] | 324 | } |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 325 | |
| Chris Lattner | b47ed61 | 2009-09-14 01:16:36 +0000 | [diff] [blame] | 326 | // Bias offset by one since we want 0 as a sentinel. |
| Craig Topper | 9e9ae60 | 2016-01-17 08:05:33 +0000 | [diff] [blame] | 327 | OpcodeInfo[AWI.CGIIndex] = Idx+1; |
| Chris Lattner | 92275bb | 2005-01-22 19:22:23 +0000 | [diff] [blame] | 328 | } |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 329 | |
| Chris Lattner | 1ac0eb7 | 2006-07-18 17:32:27 +0000 | [diff] [blame] | 330 | // Figure out how many bits we used for the string index. |
| Chris Lattner | b47ed61 | 2009-09-14 01:16:36 +0000 | [diff] [blame] | 331 | unsigned AsmStrBits = Log2_32_Ceil(MaxStringIdx+2); |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 332 | |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 333 | // To reduce code size, we compactify common instructions into a few bits |
| 334 | // in the opcode-indexed table. |
| Craig Topper | d4f87a3 | 2016-01-13 07:20:12 +0000 | [diff] [blame] | 335 | unsigned BitsLeft = OpcodeInfoBits-AsmStrBits; |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 336 | |
| Craig Topper | 1f38736 | 2014-11-25 20:11:25 +0000 | [diff] [blame] | 337 | std::vector<std::vector<std::string>> TableDrivenOperandPrinters; |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 338 | |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 339 | while (true) { |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 340 | std::vector<std::string> UniqueOperandCommands; |
| Craig Topper | 5dd7a2c | 2016-01-24 07:13:28 +0000 | [diff] [blame] | 341 | std::vector<std::vector<unsigned>> InstIdxs; |
| Chris Lattner | edee525 | 2006-07-18 18:28:27 +0000 | [diff] [blame] | 342 | std::vector<unsigned> NumInstOpsHandled; |
| 343 | FindUniqueOperandCommands(UniqueOperandCommands, InstIdxs, |
| Craig Topper | c24a401 | 2016-01-14 06:15:07 +0000 | [diff] [blame] | 344 | NumInstOpsHandled, PassSubtarget); |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 345 | |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 346 | // If we ran out of operands to print, we're done. |
| 347 | if (UniqueOperandCommands.empty()) break; |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 348 | |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 349 | // Compute the number of bits we need to represent these cases, this is |
| 350 | // ceil(log2(numentries)). |
| 351 | unsigned NumBits = Log2_32_Ceil(UniqueOperandCommands.size()); |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 352 | |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 353 | // If we don't have enough bits for this operand, don't include it. |
| 354 | if (NumBits > BitsLeft) { |
| Nicola Zaghen | d34e60c | 2018-05-14 12:53:11 +0000 | [diff] [blame] | 355 | LLVM_DEBUG(errs() << "Not enough bits to densely encode " << NumBits |
| 356 | << " more bits\n"); |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 357 | break; |
| 358 | } |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 359 | |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 360 | // Otherwise, we can include this in the initial lookup table. Add it in. |
| Craig Topper | 5dd7a2c | 2016-01-24 07:13:28 +0000 | [diff] [blame] | 361 | for (size_t i = 0, e = InstIdxs.size(); i != e; ++i) { |
| 362 | unsigned NumOps = NumInstOpsHandled[i]; |
| 363 | for (unsigned Idx : InstIdxs[i]) { |
| 364 | OpcodeInfo[Instructions[Idx].CGIIndex] |= |
| 365 | (uint64_t)i << (OpcodeInfoBits-BitsLeft); |
| 366 | // Remove the info about this operand from the instruction. |
| 367 | AsmWriterInst &Inst = Instructions[Idx]; |
| 368 | if (!Inst.Operands.empty()) { |
| 369 | assert(NumOps <= Inst.Operands.size() && |
| 370 | "Can't remove this many ops!"); |
| 371 | Inst.Operands.erase(Inst.Operands.begin(), |
| 372 | Inst.Operands.begin()+NumOps); |
| 373 | } |
| Craig Topper | 9e9ae60 | 2016-01-17 08:05:33 +0000 | [diff] [blame] | 374 | } |
| Chris Lattner | cb0c848 | 2006-07-18 17:56:07 +0000 | [diff] [blame] | 375 | } |
| Craig Topper | 5dd7a2c | 2016-01-24 07:13:28 +0000 | [diff] [blame] | 376 | BitsLeft -= NumBits; |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 377 | |
| Chris Lattner | cb0c848 | 2006-07-18 17:56:07 +0000 | [diff] [blame] | 378 | // Remember the handlers for this set of operands. |
| Craig Topper | 1f38736 | 2014-11-25 20:11:25 +0000 | [diff] [blame] | 379 | TableDrivenOperandPrinters.push_back(std::move(UniqueOperandCommands)); |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 380 | } |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 381 | |
| Craig Topper | 14d9173 | 2016-01-11 05:13:41 +0000 | [diff] [blame] | 382 | // Emit the string table itself. |
| Luke Drummond | 482e890 | 2020-01-15 14:14:01 +0000 | [diff] [blame] | 383 | StringTable.emitStringLiteralDef(O, " static const char AsmStrs[]"); |
| Chris Lattner | e32982c | 2006-07-14 22:59:11 +0000 | [diff] [blame] | 384 | |
| Craig Topper | 14d9173 | 2016-01-11 05:13:41 +0000 | [diff] [blame] | 385 | // Emit the lookup tables in pieces to minimize wasted bytes. |
| Craig Topper | d4f87a3 | 2016-01-13 07:20:12 +0000 | [diff] [blame] | 386 | unsigned BytesNeeded = ((OpcodeInfoBits - BitsLeft) + 7) / 8; |
| Craig Topper | 14d9173 | 2016-01-11 05:13:41 +0000 | [diff] [blame] | 387 | unsigned Table = 0, Shift = 0; |
| 388 | SmallString<128> BitsString; |
| 389 | raw_svector_ostream BitsOS(BitsString); |
| 390 | // If the total bits is more than 32-bits we need to use a 64-bit type. |
| Craig Topper | d4f87a3 | 2016-01-13 07:20:12 +0000 | [diff] [blame] | 391 | BitsOS << " uint" << ((BitsLeft < (OpcodeInfoBits - 32)) ? 64 : 32) |
| 392 | << "_t Bits = 0;\n"; |
| Craig Topper | 14d9173 | 2016-01-11 05:13:41 +0000 | [diff] [blame] | 393 | while (BytesNeeded != 0) { |
| 394 | // Figure out how big this table section needs to be, but no bigger than 4. |
| 395 | unsigned TableSize = std::min(1 << Log2_32(BytesNeeded), 4); |
| 396 | BytesNeeded -= TableSize; |
| 397 | TableSize *= 8; // Convert to bits; |
| 398 | uint64_t Mask = (1ULL << TableSize) - 1; |
| 399 | O << " static const uint" << TableSize << "_t OpInfo" << Table |
| 400 | << "[] = {\n"; |
| Craig Topper | f926532 | 2016-01-17 20:38:14 +0000 | [diff] [blame] | 401 | for (unsigned i = 0, e = NumberedInstructions.size(); i != e; ++i) { |
| Craig Topper | 14d9173 | 2016-01-11 05:13:41 +0000 | [diff] [blame] | 402 | O << " " << ((OpcodeInfo[i] >> Shift) & Mask) << "U,\t// " |
| Craig Topper | f926532 | 2016-01-17 20:38:14 +0000 | [diff] [blame] | 403 | << NumberedInstructions[i]->TheDef->getName() << "\n"; |
| Craig Topper | 14d9173 | 2016-01-11 05:13:41 +0000 | [diff] [blame] | 404 | } |
| 405 | O << " };\n\n"; |
| 406 | // Emit string to combine the individual table lookups. |
| 407 | BitsOS << " Bits |= "; |
| 408 | // If the total bits is more than 32-bits we need to use a 64-bit type. |
| Craig Topper | d4f87a3 | 2016-01-13 07:20:12 +0000 | [diff] [blame] | 409 | if (BitsLeft < (OpcodeInfoBits - 32)) |
| Craig Topper | 14d9173 | 2016-01-11 05:13:41 +0000 | [diff] [blame] | 410 | BitsOS << "(uint64_t)"; |
| 411 | BitsOS << "OpInfo" << Table << "[MI->getOpcode()] << " << Shift << ";\n"; |
| 412 | // Prepare the shift for the next iteration and increment the table count. |
| 413 | Shift += TableSize; |
| 414 | ++Table; |
| 415 | } |
| 416 | |
| 417 | // Emit the initial tab character. |
| Evan Cheng | 32e5347 | 2008-02-02 08:39:46 +0000 | [diff] [blame] | 418 | O << " O << \"\\t\";\n\n"; |
| 419 | |
| Craig Topper | 06cec4c | 2012-09-14 08:33:11 +0000 | [diff] [blame] | 420 | O << " // Emit the opcode for the instruction.\n"; |
| Craig Topper | 14d9173 | 2016-01-11 05:13:41 +0000 | [diff] [blame] | 421 | O << BitsString; |
| 422 | |
| 423 | // Emit the starting string. |
| Manman Ren | 68cf9fc | 2012-09-13 17:43:46 +0000 | [diff] [blame] | 424 | O << " assert(Bits != 0 && \"Cannot print this instruction.\");\n" |
| Chris Lattner | b47ed61 | 2009-09-14 01:16:36 +0000 | [diff] [blame] | 425 | << " O << AsmStrs+(Bits & " << (1 << AsmStrBits)-1 << ")-1;\n\n"; |
| David Greene | fdd2519 | 2009-08-05 21:00:52 +0000 | [diff] [blame] | 426 | |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 427 | // Output the table driven operand information. |
| Craig Topper | d4f87a3 | 2016-01-13 07:20:12 +0000 | [diff] [blame] | 428 | BitsLeft = OpcodeInfoBits-AsmStrBits; |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 429 | for (unsigned i = 0, e = TableDrivenOperandPrinters.size(); i != e; ++i) { |
| 430 | std::vector<std::string> &Commands = TableDrivenOperandPrinters[i]; |
| 431 | |
| 432 | // Compute the number of bits we need to represent these cases, this is |
| 433 | // ceil(log2(numentries)). |
| 434 | unsigned NumBits = Log2_32_Ceil(Commands.size()); |
| 435 | assert(NumBits <= BitsLeft && "consistency error"); |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 436 | |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 437 | // Emit code to extract this field from Bits. |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 438 | O << "\n // Fragment " << i << " encoded into " << NumBits |
| Chris Lattner | 75dcf6c | 2006-07-18 17:43:54 +0000 | [diff] [blame] | 439 | << " bits for " << Commands.size() << " unique commands.\n"; |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 440 | |
| Chris Lattner | edee525 | 2006-07-18 18:28:27 +0000 | [diff] [blame] | 441 | if (Commands.size() == 2) { |
| Chris Lattner | 75dcf6c | 2006-07-18 17:43:54 +0000 | [diff] [blame] | 442 | // Emit two possibilitys with if/else. |
| Craig Topper | 06cec4c | 2012-09-14 08:33:11 +0000 | [diff] [blame] | 443 | O << " if ((Bits >> " |
| Craig Topper | d4f87a3 | 2016-01-13 07:20:12 +0000 | [diff] [blame] | 444 | << (OpcodeInfoBits-BitsLeft) << ") & " |
| Chris Lattner | 75dcf6c | 2006-07-18 17:43:54 +0000 | [diff] [blame] | 445 | << ((1 << NumBits)-1) << ") {\n" |
| 446 | << Commands[1] |
| 447 | << " } else {\n" |
| 448 | << Commands[0] |
| 449 | << " }\n\n"; |
| Eric Christopher | a573d19 | 2010-09-18 18:50:27 +0000 | [diff] [blame] | 450 | } else if (Commands.size() == 1) { |
| 451 | // Emit a single possibility. |
| 452 | O << Commands[0] << "\n\n"; |
| Chris Lattner | 75dcf6c | 2006-07-18 17:43:54 +0000 | [diff] [blame] | 453 | } else { |
| Craig Topper | 06cec4c | 2012-09-14 08:33:11 +0000 | [diff] [blame] | 454 | O << " switch ((Bits >> " |
| Craig Topper | d4f87a3 | 2016-01-13 07:20:12 +0000 | [diff] [blame] | 455 | << (OpcodeInfoBits-BitsLeft) << ") & " |
| Chris Lattner | 75dcf6c | 2006-07-18 17:43:54 +0000 | [diff] [blame] | 456 | << ((1 << NumBits)-1) << ") {\n" |
| Craig Topper | a4ff6ae | 2014-11-24 14:09:52 +0000 | [diff] [blame] | 457 | << " default: llvm_unreachable(\"Invalid command number.\");\n"; |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 458 | |
| Chris Lattner | 75dcf6c | 2006-07-18 17:43:54 +0000 | [diff] [blame] | 459 | // Print out all the cases. |
| Craig Topper | 190ecd5 | 2016-01-08 07:06:32 +0000 | [diff] [blame] | 460 | for (unsigned j = 0, e = Commands.size(); j != e; ++j) { |
| 461 | O << " case " << j << ":\n"; |
| 462 | O << Commands[j]; |
| Chris Lattner | 75dcf6c | 2006-07-18 17:43:54 +0000 | [diff] [blame] | 463 | O << " break;\n"; |
| 464 | } |
| 465 | O << " }\n\n"; |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 466 | } |
| Craig Topper | 06cec4c | 2012-09-14 08:33:11 +0000 | [diff] [blame] | 467 | BitsLeft -= NumBits; |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 468 | } |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 469 | |
| Chris Lattner | cb0c848 | 2006-07-18 17:56:07 +0000 | [diff] [blame] | 470 | // Okay, delete instructions with no operand info left. |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 471 | auto I = llvm::remove_if(Instructions, |
| David Majnemer | c700490 | 2016-08-12 04:32:37 +0000 | [diff] [blame] | 472 | [](AsmWriterInst &Inst) { return Inst.Operands.empty(); }); |
| Craig Topper | 4f1f115 | 2016-01-13 07:20:10 +0000 | [diff] [blame] | 473 | Instructions.erase(I, Instructions.end()); |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 474 | |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 475 | |
| Chris Lattner | 692374c | 2006-07-18 17:18:03 +0000 | [diff] [blame] | 476 | // Because this is a vector, we want to emit from the end. Reverse all of the |
| Chris Lattner | 9ceb7c8 | 2005-01-22 18:38:13 +0000 | [diff] [blame] | 477 | // elements in the vector. |
| 478 | std::reverse(Instructions.begin(), Instructions.end()); |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 479 | |
| 480 | |
| Craig Topper | df39060 | 2016-01-13 07:20:07 +0000 | [diff] [blame] | 481 | // Now that we've emitted all of the operand info that fit into 64 bits, emit |
| Chris Lattner | bf1a769 | 2009-09-18 18:10:19 +0000 | [diff] [blame] | 482 | // information for those instructions that are left. This is a less dense |
| Craig Topper | df39060 | 2016-01-13 07:20:07 +0000 | [diff] [blame] | 483 | // encoding, but we expect the main 64-bit table to handle the majority of |
| Chris Lattner | bf1a769 | 2009-09-18 18:10:19 +0000 | [diff] [blame] | 484 | // instructions. |
| Chris Lattner | 66e288b | 2006-07-18 17:38:46 +0000 | [diff] [blame] | 485 | if (!Instructions.empty()) { |
| 486 | // Find the opcode # of inline asm. |
| 487 | O << " switch (MI->getOpcode()) {\n"; |
| Craig Topper | 0b271ad | 2016-01-13 07:20:13 +0000 | [diff] [blame] | 488 | O << " default: llvm_unreachable(\"Unexpected opcode.\");\n"; |
| Chris Lattner | 66e288b | 2006-07-18 17:38:46 +0000 | [diff] [blame] | 489 | while (!Instructions.empty()) |
| Craig Topper | c24a401 | 2016-01-14 06:15:07 +0000 | [diff] [blame] | 490 | EmitInstructions(Instructions, O, PassSubtarget); |
| Chris Lattner | 9ceb7c8 | 2005-01-22 18:38:13 +0000 | [diff] [blame] | 491 | |
| Chris Lattner | 66e288b | 2006-07-18 17:38:46 +0000 | [diff] [blame] | 492 | O << " }\n"; |
| 493 | } |
| David Greene | 5b4bc26 | 2009-07-29 20:10:24 +0000 | [diff] [blame] | 494 | |
| Chris Lattner | 6e17208 | 2006-07-18 19:06:01 +0000 | [diff] [blame] | 495 | O << "}\n"; |
| Chris Lattner | 1c4ae85 | 2004-08-01 05:59:33 +0000 | [diff] [blame] | 496 | } |
| Chris Lattner | 06c5eed | 2009-09-13 20:08:00 +0000 | [diff] [blame] | 497 | |
| Owen Anderson | a84be6c | 2011-06-27 21:06:21 +0000 | [diff] [blame] | 498 | static void |
| 499 | emitRegisterNameString(raw_ostream &O, StringRef AltName, |
| David Blaikie | 9b613db | 2014-11-29 18:13:39 +0000 | [diff] [blame] | 500 | const std::deque<CodeGenRegister> &Registers) { |
| Jakob Stoklund Olesen | 892f480 | 2012-03-30 21:12:52 +0000 | [diff] [blame] | 501 | SequenceToOffsetTable<std::string> StringTable; |
| 502 | SmallVector<std::string, 4> AsmNames(Registers.size()); |
| David Blaikie | 9b613db | 2014-11-29 18:13:39 +0000 | [diff] [blame] | 503 | unsigned i = 0; |
| 504 | for (const auto &Reg : Registers) { |
| 505 | std::string &AsmName = AsmNames[i++]; |
| Owen Anderson | a84be6c | 2011-06-27 21:06:21 +0000 | [diff] [blame] | 506 | |
| Owen Anderson | a84be6c | 2011-06-27 21:06:21 +0000 | [diff] [blame] | 507 | // "NoRegAltName" is special. We don't need to do a lookup for that, |
| 508 | // as it's just a reference to the default register name. |
| 509 | if (AltName == "" || AltName == "NoRegAltName") { |
| Benjamin Kramer | adcd026 | 2020-01-28 20:23:46 +0100 | [diff] [blame] | 510 | AsmName = std::string(Reg.TheDef->getValueAsString("AsmName")); |
| Owen Anderson | a84be6c | 2011-06-27 21:06:21 +0000 | [diff] [blame] | 511 | if (AsmName.empty()) |
| Benjamin Kramer | adcd026 | 2020-01-28 20:23:46 +0100 | [diff] [blame] | 512 | AsmName = std::string(Reg.getName()); |
| Owen Anderson | a84be6c | 2011-06-27 21:06:21 +0000 | [diff] [blame] | 513 | } else { |
| 514 | // Make sure the register has an alternate name for this index. |
| 515 | std::vector<Record*> AltNameList = |
| 516 | Reg.TheDef->getValueAsListOfDefs("RegAltNameIndices"); |
| 517 | unsigned Idx = 0, e; |
| 518 | for (e = AltNameList.size(); |
| 519 | Idx < e && (AltNameList[Idx]->getName() != AltName); |
| 520 | ++Idx) |
| 521 | ; |
| 522 | // If the register has an alternate name for this index, use it. |
| 523 | // Otherwise, leave it empty as an error flag. |
| 524 | if (Idx < e) { |
| Craig Topper | 2b8419a | 2017-05-31 19:01:11 +0000 | [diff] [blame] | 525 | std::vector<StringRef> AltNames = |
| Owen Anderson | a84be6c | 2011-06-27 21:06:21 +0000 | [diff] [blame] | 526 | Reg.TheDef->getValueAsListOfStrings("AltNames"); |
| 527 | if (AltNames.size() <= Idx) |
| Joerg Sonnenberger | 635debe | 2012-10-25 20:33:17 +0000 | [diff] [blame] | 528 | PrintFatalError(Reg.TheDef->getLoc(), |
| Benjamin Kramer | 48e7e85 | 2014-03-29 17:17:15 +0000 | [diff] [blame] | 529 | "Register definition missing alt name for '" + |
| 530 | AltName + "'."); |
| Benjamin Kramer | adcd026 | 2020-01-28 20:23:46 +0100 | [diff] [blame] | 531 | AsmName = std::string(AltNames[Idx]); |
| Owen Anderson | a84be6c | 2011-06-27 21:06:21 +0000 | [diff] [blame] | 532 | } |
| 533 | } |
| Jakob Stoklund Olesen | 892f480 | 2012-03-30 21:12:52 +0000 | [diff] [blame] | 534 | StringTable.add(AsmName); |
| 535 | } |
| Owen Anderson | a84be6c | 2011-06-27 21:06:21 +0000 | [diff] [blame] | 536 | |
| Craig Topper | f8f0a23 | 2012-09-15 01:22:42 +0000 | [diff] [blame] | 537 | StringTable.layout(); |
| Luke Drummond | 482e890 | 2020-01-15 14:14:01 +0000 | [diff] [blame] | 538 | StringTable.emitStringLiteralDef(O, Twine(" static const char AsmStrs") + |
| 539 | AltName + "[]"); |
| Jakob Stoklund Olesen | 892f480 | 2012-03-30 21:12:52 +0000 | [diff] [blame] | 540 | |
| Daniel Sanders | ca89f3a | 2016-11-19 12:21:34 +0000 | [diff] [blame] | 541 | O << " static const " << getMinimalTypeForRange(StringTable.size() - 1, 32) |
| Craig Topper | ba6d83e | 2014-11-24 02:08:35 +0000 | [diff] [blame] | 542 | << " RegAsmOffset" << AltName << "[] = {"; |
| Jakob Stoklund Olesen | 892f480 | 2012-03-30 21:12:52 +0000 | [diff] [blame] | 543 | for (unsigned i = 0, e = Registers.size(); i != e; ++i) { |
| Craig Topper | 7a2cea1 | 2012-04-02 00:47:39 +0000 | [diff] [blame] | 544 | if ((i % 14) == 0) |
| 545 | O << "\n "; |
| 546 | O << StringTable.get(AsmNames[i]) << ", "; |
| Owen Anderson | a84be6c | 2011-06-27 21:06:21 +0000 | [diff] [blame] | 547 | } |
| Craig Topper | 9c252eb | 2012-04-03 06:52:47 +0000 | [diff] [blame] | 548 | O << "\n };\n" |
| Owen Anderson | a84be6c | 2011-06-27 21:06:21 +0000 | [diff] [blame] | 549 | << "\n"; |
| Owen Anderson | a84be6c | 2011-06-27 21:06:21 +0000 | [diff] [blame] | 550 | } |
| Chris Lattner | 06c5eed | 2009-09-13 20:08:00 +0000 | [diff] [blame] | 551 | |
| 552 | void AsmWriterEmitter::EmitGetRegisterName(raw_ostream &O) { |
| Chris Lattner | 06c5eed | 2009-09-13 20:08:00 +0000 | [diff] [blame] | 553 | Record *AsmWriter = Target.getAsmWriter(); |
| Craig Topper | bcd3c37 | 2017-05-31 21:12:46 +0000 | [diff] [blame] | 554 | StringRef ClassName = AsmWriter->getValueAsString("AsmWriterClassName"); |
| David Blaikie | 9b613db | 2014-11-29 18:13:39 +0000 | [diff] [blame] | 555 | const auto &Registers = Target.getRegBank().getRegisters(); |
| Craig Topper | 83421ec | 2016-01-17 20:38:21 +0000 | [diff] [blame] | 556 | const std::vector<Record*> &AltNameIndices = Target.getRegAltNameIndices(); |
| Owen Anderson | a84be6c | 2011-06-27 21:06:21 +0000 | [diff] [blame] | 557 | bool hasAltNames = AltNameIndices.size() > 1; |
| Craig Topper | bcd3c37 | 2017-05-31 21:12:46 +0000 | [diff] [blame] | 558 | StringRef Namespace = Registers.front().TheDef->getValueAsString("Namespace"); |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 559 | |
| Chris Lattner | 06c5eed | 2009-09-13 20:08:00 +0000 | [diff] [blame] | 560 | O << |
| 561 | "\n\n/// getRegisterName - This method is automatically generated by tblgen\n" |
| 562 | "/// from the register set description. This returns the assembler name\n" |
| 563 | "/// for the specified register.\n" |
| Owen Anderson | a84be6c | 2011-06-27 21:06:21 +0000 | [diff] [blame] | 564 | "const char *" << Target.getName() << ClassName << "::"; |
| 565 | if (hasAltNames) |
| 566 | O << "\ngetRegisterName(unsigned RegNo, unsigned AltIdx) {\n"; |
| 567 | else |
| 568 | O << "getRegisterName(unsigned RegNo) {\n"; |
| 569 | O << " assert(RegNo && RegNo < " << (Registers.size()+1) |
| 570 | << " && \"Invalid register number!\");\n" |
| Chris Lattner | a7e8ae4 | 2009-09-14 01:26:18 +0000 | [diff] [blame] | 571 | << "\n"; |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 572 | |
| Owen Anderson | a84be6c | 2011-06-27 21:06:21 +0000 | [diff] [blame] | 573 | if (hasAltNames) { |
| Craig Topper | 190ecd5 | 2016-01-08 07:06:32 +0000 | [diff] [blame] | 574 | for (const Record *R : AltNameIndices) |
| 575 | emitRegisterNameString(O, R->getName(), Registers); |
| Owen Anderson | a84be6c | 2011-06-27 21:06:21 +0000 | [diff] [blame] | 576 | } else |
| 577 | emitRegisterNameString(O, "", Registers); |
| Jim Grosbach | a549734 | 2010-09-29 22:32:50 +0000 | [diff] [blame] | 578 | |
| Owen Anderson | a84be6c | 2011-06-27 21:06:21 +0000 | [diff] [blame] | 579 | if (hasAltNames) { |
| Craig Topper | ba6d83e | 2014-11-24 02:08:35 +0000 | [diff] [blame] | 580 | O << " switch(AltIdx) {\n" |
| Craig Topper | c4965bc | 2012-02-05 07:21:30 +0000 | [diff] [blame] | 581 | << " default: llvm_unreachable(\"Invalid register alt name index!\");\n"; |
| Craig Topper | 190ecd5 | 2016-01-08 07:06:32 +0000 | [diff] [blame] | 582 | for (const Record *R : AltNameIndices) { |
| Craig Topper | bcd3c37 | 2017-05-31 21:12:46 +0000 | [diff] [blame] | 583 | StringRef AltName = R->getName(); |
| 584 | O << " case "; |
| 585 | if (!Namespace.empty()) |
| 586 | O << Namespace << "::"; |
| Igor Kudrin | 2d3faad | 2019-02-26 12:15:14 +0000 | [diff] [blame] | 587 | O << AltName << ":\n"; |
| 588 | if (R->isValueUnset("FallbackRegAltNameIndex")) |
| 589 | O << " assert(*(AsmStrs" << AltName << "+RegAsmOffset" << AltName |
| 590 | << "[RegNo-1]) &&\n" |
| 591 | << " \"Invalid alt name index for register!\");\n"; |
| 592 | else { |
| 593 | O << " if (!*(AsmStrs" << AltName << "+RegAsmOffset" << AltName |
| 594 | << "[RegNo-1]))\n" |
| 595 | << " return getRegisterName(RegNo, "; |
| 596 | if (!Namespace.empty()) |
| 597 | O << Namespace << "::"; |
| 598 | O << R->getValueAsDef("FallbackRegAltNameIndex")->getName() << ");\n"; |
| 599 | } |
| 600 | O << " return AsmStrs" << AltName << "+RegAsmOffset" << AltName |
| Craig Topper | bcd3c37 | 2017-05-31 21:12:46 +0000 | [diff] [blame] | 601 | << "[RegNo-1];\n"; |
| Owen Anderson | a84be6c | 2011-06-27 21:06:21 +0000 | [diff] [blame] | 602 | } |
| Craig Topper | ba6d83e | 2014-11-24 02:08:35 +0000 | [diff] [blame] | 603 | O << " }\n"; |
| 604 | } else { |
| 605 | O << " assert (*(AsmStrs+RegAsmOffset[RegNo-1]) &&\n" |
| 606 | << " \"Invalid alt name index for register!\");\n" |
| 607 | << " return AsmStrs+RegAsmOffset[RegNo-1];\n"; |
| Owen Anderson | a84be6c | 2011-06-27 21:06:21 +0000 | [diff] [blame] | 608 | } |
| Craig Topper | ba6d83e | 2014-11-24 02:08:35 +0000 | [diff] [blame] | 609 | O << "}\n"; |
| Chris Lattner | 06c5eed | 2009-09-13 20:08:00 +0000 | [diff] [blame] | 610 | } |
| 611 | |
| Bill Wendling | 7e5771d | 2011-03-21 08:31:53 +0000 | [diff] [blame] | 612 | namespace { |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 613 | |
| Bill Wendling | 5d3174c | 2011-03-21 08:40:31 +0000 | [diff] [blame] | 614 | // IAPrinter - Holds information about an InstAlias. Two InstAliases match if |
| 615 | // they both have the same conditionals. In which case, we cannot print out the |
| 616 | // alias for that pattern. |
| 617 | class IAPrinter { |
| Tim Northover | ee20caa | 2014-05-12 18:04:06 +0000 | [diff] [blame] | 618 | std::map<StringRef, std::pair<int, int>> OpMap; |
| Tim Northover | ee20caa | 2014-05-12 18:04:06 +0000 | [diff] [blame] | 619 | |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 620 | std::vector<std::string> Conds; |
| 621 | |
| Bill Wendling | 5d3174c | 2011-03-21 08:40:31 +0000 | [diff] [blame] | 622 | std::string Result; |
| 623 | std::string AsmString; |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 624 | |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 625 | unsigned NumMIOps; |
| Bill Wendling | 5d3174c | 2011-03-21 08:40:31 +0000 | [diff] [blame] | 626 | |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 627 | public: |
| 628 | IAPrinter(std::string R, std::string AS, unsigned NumMIOps) |
| 629 | : Result(std::move(R)), AsmString(std::move(AS)), NumMIOps(NumMIOps) {} |
| 630 | |
| 631 | void addCond(std::string C) { Conds.push_back(std::move(C)); } |
| 632 | ArrayRef<std::string> getConds() const { return Conds; } |
| 633 | size_t getCondCount() const { return Conds.size(); } |
| Bill Wendling | 5d3174c | 2011-03-21 08:40:31 +0000 | [diff] [blame] | 634 | |
| Tim Northover | ee20caa | 2014-05-12 18:04:06 +0000 | [diff] [blame] | 635 | void addOperand(StringRef Op, int OpIdx, int PrintMethodIdx = -1) { |
| 636 | assert(OpIdx >= 0 && OpIdx < 0xFE && "Idx out of range"); |
| Tim Northover | 0ee9e7e | 2014-05-13 09:37:41 +0000 | [diff] [blame] | 637 | assert(PrintMethodIdx >= -1 && PrintMethodIdx < 0xFF && |
| Jay Foad | b359051 | 2014-05-13 08:26:53 +0000 | [diff] [blame] | 638 | "Idx out of range"); |
| Tim Northover | ee20caa | 2014-05-12 18:04:06 +0000 | [diff] [blame] | 639 | OpMap[Op] = std::make_pair(OpIdx, PrintMethodIdx); |
| Benjamin Kramer | 17c17bc | 2013-09-11 15:42:16 +0000 | [diff] [blame] | 640 | } |
| Tim Northover | ee20caa | 2014-05-12 18:04:06 +0000 | [diff] [blame] | 641 | |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 642 | unsigned getNumMIOps() { return NumMIOps; } |
| 643 | |
| 644 | StringRef getResult() { return Result; } |
| 645 | |
| Bill Wendling | 5d3174c | 2011-03-21 08:40:31 +0000 | [diff] [blame] | 646 | bool isOpMapped(StringRef Op) { return OpMap.find(Op) != OpMap.end(); } |
| Tim Northover | ee20caa | 2014-05-12 18:04:06 +0000 | [diff] [blame] | 647 | int getOpIndex(StringRef Op) { return OpMap[Op].first; } |
| 648 | std::pair<int, int> &getOpData(StringRef Op) { return OpMap[Op]; } |
| Bill Wendling | 5d3174c | 2011-03-21 08:40:31 +0000 | [diff] [blame] | 649 | |
| Tim Northover | d8d65a6 | 2014-05-15 11:16:32 +0000 | [diff] [blame] | 650 | std::pair<StringRef, StringRef::iterator> parseName(StringRef::iterator Start, |
| 651 | StringRef::iterator End) { |
| 652 | StringRef::iterator I = Start; |
| Evgeny Astigeevich | b42003d | 2014-12-16 18:16:17 +0000 | [diff] [blame] | 653 | StringRef::iterator Next; |
| Tim Northover | d8d65a6 | 2014-05-15 11:16:32 +0000 | [diff] [blame] | 654 | if (*I == '{') { |
| 655 | // ${some_name} |
| 656 | Start = ++I; |
| 657 | while (I != End && *I != '}') |
| 658 | ++I; |
| Evgeny Astigeevich | b42003d | 2014-12-16 18:16:17 +0000 | [diff] [blame] | 659 | Next = I; |
| 660 | // eat the final '}' |
| 661 | if (Next != End) |
| 662 | ++Next; |
| Tim Northover | d8d65a6 | 2014-05-15 11:16:32 +0000 | [diff] [blame] | 663 | } else { |
| 664 | // $name, just eat the usual suspects. |
| 665 | while (I != End && |
| 666 | ((*I >= 'a' && *I <= 'z') || (*I >= 'A' && *I <= 'Z') || |
| 667 | (*I >= '0' && *I <= '9') || *I == '_')) |
| 668 | ++I; |
| Evgeny Astigeevich | b42003d | 2014-12-16 18:16:17 +0000 | [diff] [blame] | 669 | Next = I; |
| Tim Northover | d8d65a6 | 2014-05-15 11:16:32 +0000 | [diff] [blame] | 670 | } |
| 671 | |
| Evgeny Astigeevich | b42003d | 2014-12-16 18:16:17 +0000 | [diff] [blame] | 672 | return std::make_pair(StringRef(Start, I - Start), Next); |
| Tim Northover | d8d65a6 | 2014-05-15 11:16:32 +0000 | [diff] [blame] | 673 | } |
| 674 | |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 675 | std::string formatAliasString(uint32_t &UnescapedSize) { |
| Benjamin Kramer | 17c17bc | 2013-09-11 15:42:16 +0000 | [diff] [blame] | 676 | // Directly mangle mapped operands into the string. Each operand is |
| 677 | // identified by a '$' sign followed by a byte identifying the number of the |
| 678 | // operand. We add one to the index to avoid zero bytes. |
| Tim Northover | d8d65a6 | 2014-05-15 11:16:32 +0000 | [diff] [blame] | 679 | StringRef ASM(AsmString); |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 680 | std::string OutString; |
| 681 | raw_string_ostream OS(OutString); |
| Tim Northover | d8d65a6 | 2014-05-15 11:16:32 +0000 | [diff] [blame] | 682 | for (StringRef::iterator I = ASM.begin(), E = ASM.end(); I != E;) { |
| 683 | OS << *I; |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 684 | ++UnescapedSize; |
| Tim Northover | d8d65a6 | 2014-05-15 11:16:32 +0000 | [diff] [blame] | 685 | if (*I == '$') { |
| 686 | StringRef Name; |
| 687 | std::tie(Name, I) = parseName(++I, E); |
| 688 | assert(isOpMapped(Name) && "Unmapped operand!"); |
| Tim Northover | ee20caa | 2014-05-12 18:04:06 +0000 | [diff] [blame] | 689 | |
| Tim Northover | d8d65a6 | 2014-05-15 11:16:32 +0000 | [diff] [blame] | 690 | int OpIndex, PrintIndex; |
| 691 | std::tie(OpIndex, PrintIndex) = getOpData(Name); |
| 692 | if (PrintIndex == -1) { |
| 693 | // Can use the default printOperand route. |
| 694 | OS << format("\\x%02X", (unsigned char)OpIndex + 1); |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 695 | ++UnescapedSize; |
| 696 | } else { |
| Tim Northover | d8d65a6 | 2014-05-15 11:16:32 +0000 | [diff] [blame] | 697 | // 3 bytes if a PrintMethod is needed: 0xFF, the MCInst operand |
| 698 | // number, and which of our pre-detected Methods to call. |
| 699 | OS << format("\\xFF\\x%02X\\x%02X", OpIndex + 1, PrintIndex + 1); |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 700 | UnescapedSize += 3; |
| 701 | } |
| Tim Northover | d8d65a6 | 2014-05-15 11:16:32 +0000 | [diff] [blame] | 702 | } else { |
| 703 | ++I; |
| Benjamin Kramer | 17c17bc | 2013-09-11 15:42:16 +0000 | [diff] [blame] | 704 | } |
| 705 | } |
| 706 | |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 707 | OS.flush(); |
| 708 | return OutString; |
| Bill Wendling | 5d3174c | 2011-03-21 08:40:31 +0000 | [diff] [blame] | 709 | } |
| 710 | |
| David Blaikie | 4ab57cd | 2015-08-06 19:23:33 +0000 | [diff] [blame] | 711 | bool operator==(const IAPrinter &RHS) const { |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 712 | if (NumMIOps != RHS.NumMIOps) |
| 713 | return false; |
| Bill Wendling | 5d3174c | 2011-03-21 08:40:31 +0000 | [diff] [blame] | 714 | if (Conds.size() != RHS.Conds.size()) |
| 715 | return false; |
| 716 | |
| 717 | unsigned Idx = 0; |
| David Blaikie | 4ab57cd | 2015-08-06 19:23:33 +0000 | [diff] [blame] | 718 | for (const auto &str : Conds) |
| 719 | if (str != RHS.Conds[Idx++]) |
| Bill Wendling | 5d3174c | 2011-03-21 08:40:31 +0000 | [diff] [blame] | 720 | return false; |
| 721 | |
| 722 | return true; |
| 723 | } |
| Bill Wendling | 5d3174c | 2011-03-21 08:40:31 +0000 | [diff] [blame] | 724 | }; |
| 725 | |
| Bill Wendling | 7e5771d | 2011-03-21 08:31:53 +0000 | [diff] [blame] | 726 | } // end anonymous namespace |
| 727 | |
| Tim Northover | 5896b06 | 2014-05-16 09:42:04 +0000 | [diff] [blame] | 728 | static unsigned CountNumOperands(StringRef AsmString, unsigned Variant) { |
| Tim Northover | 5896b06 | 2014-05-16 09:42:04 +0000 | [diff] [blame] | 729 | return AsmString.count(' ') + AsmString.count('\t'); |
| Bill Wendling | 36c0c6d | 2011-06-15 04:31:19 +0000 | [diff] [blame] | 730 | } |
| Bill Wendling | e712449 | 2011-06-14 03:17:20 +0000 | [diff] [blame] | 731 | |
| Tim Northover | 9a24f88 | 2014-05-20 09:17:16 +0000 | [diff] [blame] | 732 | namespace { |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 733 | |
| Tim Northover | 9a24f88 | 2014-05-20 09:17:16 +0000 | [diff] [blame] | 734 | struct AliasPriorityComparator { |
| David Blaikie | 4ab57cd | 2015-08-06 19:23:33 +0000 | [diff] [blame] | 735 | typedef std::pair<CodeGenInstAlias, int> ValueType; |
| Eric Fiselier | aa54e50 | 2016-12-27 23:15:58 +0000 | [diff] [blame] | 736 | bool operator()(const ValueType &LHS, const ValueType &RHS) const { |
| Tim Northover | 9a24f88 | 2014-05-20 09:17:16 +0000 | [diff] [blame] | 737 | if (LHS.second == RHS.second) { |
| 738 | // We don't actually care about the order, but for consistency it |
| 739 | // shouldn't depend on pointer comparisons. |
| Quentin Colombet | 21136c0 | 2017-02-10 02:43:09 +0000 | [diff] [blame] | 740 | return LessRecordByID()(LHS.first.TheDef, RHS.first.TheDef); |
| Tim Northover | 9a24f88 | 2014-05-20 09:17:16 +0000 | [diff] [blame] | 741 | } |
| 742 | |
| 743 | // Aliases with larger priorities should be considered first. |
| 744 | return LHS.second > RHS.second; |
| 745 | } |
| 746 | }; |
| Tim Northover | 9a24f88 | 2014-05-20 09:17:16 +0000 | [diff] [blame] | 747 | |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 748 | } // end anonymous namespace |
| Tim Northover | 9a24f88 | 2014-05-20 09:17:16 +0000 | [diff] [blame] | 749 | |
| Bill Wendling | 7e5771d | 2011-03-21 08:31:53 +0000 | [diff] [blame] | 750 | void AsmWriterEmitter::EmitPrintAliasInstruction(raw_ostream &O) { |
| Bill Wendling | 7e5771d | 2011-03-21 08:31:53 +0000 | [diff] [blame] | 751 | Record *AsmWriter = Target.getAsmWriter(); |
| 752 | |
| 753 | O << "\n#ifdef PRINT_ALIAS_INSTR\n"; |
| 754 | O << "#undef PRINT_ALIAS_INSTR\n\n"; |
| 755 | |
| Tim Northover | ee20caa | 2014-05-12 18:04:06 +0000 | [diff] [blame] | 756 | ////////////////////////////// |
| 757 | // Gather information about aliases we need to print |
| 758 | ////////////////////////////// |
| 759 | |
| Bill Wendling | 31ca7ef | 2011-02-26 03:09:12 +0000 | [diff] [blame] | 760 | // Emit the method that prints the alias instruction. |
| Craig Topper | bcd3c37 | 2017-05-31 21:12:46 +0000 | [diff] [blame] | 761 | StringRef ClassName = AsmWriter->getValueAsString("AsmWriterClassName"); |
| Tim Northover | 9a24f88 | 2014-05-20 09:17:16 +0000 | [diff] [blame] | 762 | unsigned Variant = AsmWriter->getValueAsInt("Variant"); |
| Craig Topper | c24a401 | 2016-01-14 06:15:07 +0000 | [diff] [blame] | 763 | bool PassSubtarget = AsmWriter->getValueAsInt("PassSubtarget"); |
| Bill Wendling | 31ca7ef | 2011-02-26 03:09:12 +0000 | [diff] [blame] | 764 | |
| Bill Wendling | 31ca7ef | 2011-02-26 03:09:12 +0000 | [diff] [blame] | 765 | std::vector<Record*> AllInstAliases = |
| 766 | Records.getAllDerivedDefinitions("InstAlias"); |
| 767 | |
| 768 | // Create a map from the qualified name to a list of potential matches. |
| David Blaikie | 4ab57cd | 2015-08-06 19:23:33 +0000 | [diff] [blame] | 769 | typedef std::set<std::pair<CodeGenInstAlias, int>, AliasPriorityComparator> |
| Tim Northover | 9a24f88 | 2014-05-20 09:17:16 +0000 | [diff] [blame] | 770 | AliasWithPriority; |
| 771 | std::map<std::string, AliasWithPriority> AliasMap; |
| Craig Topper | 190ecd5 | 2016-01-08 07:06:32 +0000 | [diff] [blame] | 772 | for (Record *R : AllInstAliases) { |
| Tim Northover | 9a24f88 | 2014-05-20 09:17:16 +0000 | [diff] [blame] | 773 | int Priority = R->getValueAsInt("EmitPriority"); |
| 774 | if (Priority < 1) |
| 775 | continue; // Aliases with priority 0 are never emitted. |
| 776 | |
| Bill Wendling | 31ca7ef | 2011-02-26 03:09:12 +0000 | [diff] [blame] | 777 | const DagInit *DI = R->getValueAsDag("ResultInst"); |
| Daniel Sanders | 4b7cabf | 2019-10-08 18:41:32 +0000 | [diff] [blame] | 778 | AliasMap[getQualifiedName(DI->getOperatorAsDef(R->getLoc()))].insert( |
| Craig Topper | 2be7439 | 2018-06-18 01:28:01 +0000 | [diff] [blame] | 779 | std::make_pair(CodeGenInstAlias(R, Target), Priority)); |
| Bill Wendling | 31ca7ef | 2011-02-26 03:09:12 +0000 | [diff] [blame] | 780 | } |
| 781 | |
| Bill Wendling | 7e570b5 | 2011-03-21 08:59:17 +0000 | [diff] [blame] | 782 | // A map of which conditions need to be met for each instruction operand |
| 783 | // before it can be matched to the mnemonic. |
| David Blaikie | 4ab57cd | 2015-08-06 19:23:33 +0000 | [diff] [blame] | 784 | std::map<std::string, std::vector<IAPrinter>> IAPrinterMap; |
| Bill Wendling | 7e570b5 | 2011-03-21 08:59:17 +0000 | [diff] [blame] | 785 | |
| Craig Topper | 674d238 | 2016-01-22 05:59:43 +0000 | [diff] [blame] | 786 | std::vector<std::string> PrintMethods; |
| 787 | |
| Artyom Skrobov | 6c8682e | 2014-06-10 13:11:35 +0000 | [diff] [blame] | 788 | // A list of MCOperandPredicates for all operands in use, and the reverse map |
| 789 | std::vector<const Record*> MCOpPredicates; |
| 790 | DenseMap<const Record*, unsigned> MCOpPredicateMap; |
| 791 | |
| Tim Northover | 9a24f88 | 2014-05-20 09:17:16 +0000 | [diff] [blame] | 792 | for (auto &Aliases : AliasMap) { |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 793 | // Collection of instruction alias rules. May contain ambiguous rules. |
| 794 | std::vector<IAPrinter> IAPs; |
| 795 | |
| Tim Northover | 9a24f88 | 2014-05-20 09:17:16 +0000 | [diff] [blame] | 796 | for (auto &Alias : Aliases.second) { |
| David Blaikie | 4ab57cd | 2015-08-06 19:23:33 +0000 | [diff] [blame] | 797 | const CodeGenInstAlias &CGA = Alias.first; |
| 798 | unsigned LastOpNo = CGA.ResultInstOperandIndex.size(); |
| Craig Topper | 2be7439 | 2018-06-18 01:28:01 +0000 | [diff] [blame] | 799 | std::string FlatInstAsmString = |
| 800 | CodeGenInstruction::FlattenAsmStringVariants(CGA.ResultInst->AsmString, |
| 801 | Variant); |
| 802 | unsigned NumResultOps = CountNumOperands(FlatInstAsmString, Variant); |
| 803 | |
| 804 | std::string FlatAliasAsmString = |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 805 | CodeGenInstruction::FlattenAsmStringVariants(CGA.AsmString, Variant); |
| Bill Wendling | e712449 | 2011-06-14 03:17:20 +0000 | [diff] [blame] | 806 | |
| 807 | // Don't emit the alias if it has more operands than what it's aliasing. |
| Craig Topper | 2be7439 | 2018-06-18 01:28:01 +0000 | [diff] [blame] | 808 | if (NumResultOps < CountNumOperands(FlatAliasAsmString, Variant)) |
| Bill Wendling | e712449 | 2011-06-14 03:17:20 +0000 | [diff] [blame] | 809 | continue; |
| 810 | |
| Craig Topper | bcd3c37 | 2017-05-31 21:12:46 +0000 | [diff] [blame] | 811 | StringRef Namespace = Target.getName(); |
| Tim Northover | 60091cf | 2014-05-15 13:36:01 +0000 | [diff] [blame] | 812 | unsigned NumMIOps = 0; |
| Sander de Smalen | 0c5a29b | 2017-11-20 14:36:40 +0000 | [diff] [blame] | 813 | for (auto &ResultInstOpnd : CGA.ResultInst->Operands) |
| 814 | NumMIOps += ResultInstOpnd.MINumOperands; |
| Tim Northover | 60091cf | 2014-05-15 13:36:01 +0000 | [diff] [blame] | 815 | |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 816 | IAPrinter IAP(CGA.Result->getAsString(), FlatAliasAsmString, NumMIOps); |
| Bill Wendling | 7e570b5 | 2011-03-21 08:59:17 +0000 | [diff] [blame] | 817 | |
| Bill Wendling | 7e570b5 | 2011-03-21 08:59:17 +0000 | [diff] [blame] | 818 | bool CantHandle = false; |
| 819 | |
| Tim Northover | 60091cf | 2014-05-15 13:36:01 +0000 | [diff] [blame] | 820 | unsigned MIOpNum = 0; |
| Bill Wendling | 7e570b5 | 2011-03-21 08:59:17 +0000 | [diff] [blame] | 821 | for (unsigned i = 0, e = LastOpNo; i != e; ++i) { |
| Sander de Smalen | 0c5a29b | 2017-11-20 14:36:40 +0000 | [diff] [blame] | 822 | // Skip over tied operands as they're not part of an alias declaration. |
| 823 | auto &Operands = CGA.ResultInst->Operands; |
| Simon Tatham | 80391d6 | 2018-12-14 11:39:55 +0000 | [diff] [blame] | 824 | while (true) { |
| 825 | unsigned OpNum = Operands.getSubOperandNumber(MIOpNum).first; |
| 826 | if (Operands[OpNum].MINumOperands == 1 && |
| 827 | Operands[OpNum].getTiedRegister() != -1) { |
| 828 | // Tied operands of different RegisterClass should be explicit within |
| 829 | // an instruction's syntax and so cannot be skipped. |
| 830 | int TiedOpNum = Operands[OpNum].getTiedRegister(); |
| 831 | if (Operands[OpNum].Rec->getName() == |
| 832 | Operands[TiedOpNum].Rec->getName()) { |
| 833 | ++MIOpNum; |
| 834 | continue; |
| 835 | } |
| 836 | } |
| 837 | break; |
| Sander de Smalen | 0c5a29b | 2017-11-20 14:36:40 +0000 | [diff] [blame] | 838 | } |
| 839 | |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 840 | // Ignore unchecked result operands. |
| 841 | while (IAP.getCondCount() < MIOpNum) |
| 842 | IAP.addCond("AliasPatternCond::K_Ignore, 0"); |
| Artyom Skrobov | af3c20f | 2014-06-10 12:47:23 +0000 | [diff] [blame] | 843 | |
| David Blaikie | 4ab57cd | 2015-08-06 19:23:33 +0000 | [diff] [blame] | 844 | const CodeGenInstAlias::ResultOperand &RO = CGA.ResultOperands[i]; |
| Bill Wendling | 7e570b5 | 2011-03-21 08:59:17 +0000 | [diff] [blame] | 845 | |
| 846 | switch (RO.Kind) { |
| Bill Wendling | 7e570b5 | 2011-03-21 08:59:17 +0000 | [diff] [blame] | 847 | case CodeGenInstAlias::ResultOperand::K_Record: { |
| 848 | const Record *Rec = RO.getRecord(); |
| 849 | StringRef ROName = RO.getName(); |
| Tim Northover | ee20caa | 2014-05-12 18:04:06 +0000 | [diff] [blame] | 850 | int PrintMethodIdx = -1; |
| Bill Wendling | 7e570b5 | 2011-03-21 08:59:17 +0000 | [diff] [blame] | 851 | |
| Tim Northover | ee20caa | 2014-05-12 18:04:06 +0000 | [diff] [blame] | 852 | // These two may have a PrintMethod, which we want to record (if it's |
| 853 | // the first time we've seen it) and provide an index for the aliasing |
| 854 | // code to use. |
| 855 | if (Rec->isSubClassOf("RegisterOperand") || |
| 856 | Rec->isSubClassOf("Operand")) { |
| Craig Topper | bcd3c37 | 2017-05-31 21:12:46 +0000 | [diff] [blame] | 857 | StringRef PrintMethod = Rec->getValueAsString("PrintMethod"); |
| Tim Northover | ee20caa | 2014-05-12 18:04:06 +0000 | [diff] [blame] | 858 | if (PrintMethod != "" && PrintMethod != "printOperand") { |
| David Majnemer | 4253126 | 2016-08-12 03:55:06 +0000 | [diff] [blame] | 859 | PrintMethodIdx = |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 860 | llvm::find(PrintMethods, PrintMethod) - PrintMethods.begin(); |
| Tim Northover | ee20caa | 2014-05-12 18:04:06 +0000 | [diff] [blame] | 861 | if (static_cast<unsigned>(PrintMethodIdx) == PrintMethods.size()) |
| Benjamin Kramer | adcd026 | 2020-01-28 20:23:46 +0100 | [diff] [blame] | 862 | PrintMethods.push_back(std::string(PrintMethod)); |
| Tim Northover | ee20caa | 2014-05-12 18:04:06 +0000 | [diff] [blame] | 863 | } |
| 864 | } |
| Owen Anderson | a84be6c | 2011-06-27 21:06:21 +0000 | [diff] [blame] | 865 | |
| 866 | if (Rec->isSubClassOf("RegisterOperand")) |
| 867 | Rec = Rec->getValueAsDef("RegClass"); |
| Bill Wendling | 7e570b5 | 2011-03-21 08:59:17 +0000 | [diff] [blame] | 868 | if (Rec->isSubClassOf("RegisterClass")) { |
| David Blaikie | 4ab57cd | 2015-08-06 19:23:33 +0000 | [diff] [blame] | 869 | if (!IAP.isOpMapped(ROName)) { |
| 870 | IAP.addOperand(ROName, MIOpNum, PrintMethodIdx); |
| 871 | Record *R = CGA.ResultOperands[i].getRecord(); |
| Jack Carter | 9c1a027 | 2013-02-05 08:32:10 +0000 | [diff] [blame] | 872 | if (R->isSubClassOf("RegisterOperand")) |
| 873 | R = R->getValueAsDef("RegClass"); |
| Benjamin Kramer | adcd026 | 2020-01-28 20:23:46 +0100 | [diff] [blame] | 874 | IAP.addCond(std::string( |
| 875 | formatv("AliasPatternCond::K_RegClass, {0}::{1}RegClassID", |
| 876 | Namespace, R->getName()))); |
| Bill Wendling | 7e570b5 | 2011-03-21 08:59:17 +0000 | [diff] [blame] | 877 | } else { |
| Benjamin Kramer | adcd026 | 2020-01-28 20:23:46 +0100 | [diff] [blame] | 878 | IAP.addCond(std::string(formatv( |
| 879 | "AliasPatternCond::K_TiedReg, {0}", IAP.getOpIndex(ROName)))); |
| Bill Wendling | 7e570b5 | 2011-03-21 08:59:17 +0000 | [diff] [blame] | 880 | } |
| 881 | } else { |
| Tim Northover | ee20caa | 2014-05-12 18:04:06 +0000 | [diff] [blame] | 882 | // Assume all printable operands are desired for now. This can be |
| Alp Toker | beaca19 | 2014-05-15 01:52:21 +0000 | [diff] [blame] | 883 | // overridden in the InstAlias instantiation if necessary. |
| David Blaikie | 4ab57cd | 2015-08-06 19:23:33 +0000 | [diff] [blame] | 884 | IAP.addOperand(ROName, MIOpNum, PrintMethodIdx); |
| Bill Wendling | 7e570b5 | 2011-03-21 08:59:17 +0000 | [diff] [blame] | 885 | |
| Artyom Skrobov | 6c8682e | 2014-06-10 13:11:35 +0000 | [diff] [blame] | 886 | // There might be an additional predicate on the MCOperand |
| 887 | unsigned Entry = MCOpPredicateMap[Rec]; |
| 888 | if (!Entry) { |
| 889 | if (!Rec->isValueUnset("MCOperandPredicate")) { |
| 890 | MCOpPredicates.push_back(Rec); |
| 891 | Entry = MCOpPredicates.size(); |
| 892 | MCOpPredicateMap[Rec] = Entry; |
| 893 | } else |
| 894 | break; // No conditions on this operand at all |
| 895 | } |
| Benjamin Kramer | adcd026 | 2020-01-28 20:23:46 +0100 | [diff] [blame] | 896 | IAP.addCond( |
| 897 | std::string(formatv("AliasPatternCond::K_Custom, {0}", Entry))); |
| Artyom Skrobov | 6c8682e | 2014-06-10 13:11:35 +0000 | [diff] [blame] | 898 | } |
| Bill Wendling | 7e570b5 | 2011-03-21 08:59:17 +0000 | [diff] [blame] | 899 | break; |
| 900 | } |
| Tim Northover | ab7689e | 2013-01-09 13:32:04 +0000 | [diff] [blame] | 901 | case CodeGenInstAlias::ResultOperand::K_Imm: { |
| Tim Northover | ab7689e | 2013-01-09 13:32:04 +0000 | [diff] [blame] | 902 | // Just because the alias has an immediate result, doesn't mean the |
| 903 | // MCInst will. An MCExpr could be present, for example. |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 904 | auto Imm = CGA.ResultOperands[i].getImm(); |
| 905 | int32_t Imm32 = int32_t(Imm); |
| 906 | if (Imm != Imm32) |
| 907 | PrintFatalError("Matching an alias with an immediate out of the " |
| 908 | "range of int32_t is not supported"); |
| Benjamin Kramer | adcd026 | 2020-01-28 20:23:46 +0100 | [diff] [blame] | 909 | IAP.addCond(std::string( |
| 910 | formatv("AliasPatternCond::K_Imm, uint32_t({0})", Imm32))); |
| Bill Wendling | 7e570b5 | 2011-03-21 08:59:17 +0000 | [diff] [blame] | 911 | break; |
| Tim Northover | ab7689e | 2013-01-09 13:32:04 +0000 | [diff] [blame] | 912 | } |
| Bill Wendling | 7e570b5 | 2011-03-21 08:59:17 +0000 | [diff] [blame] | 913 | case CodeGenInstAlias::ResultOperand::K_Reg: |
| Jim Grosbach | 29cdcda | 2011-11-15 01:46:57 +0000 | [diff] [blame] | 914 | // If this is zero_reg, something's playing tricks we're not |
| 915 | // equipped to handle. |
| David Blaikie | 4ab57cd | 2015-08-06 19:23:33 +0000 | [diff] [blame] | 916 | if (!CGA.ResultOperands[i].getRegister()) { |
| Jim Grosbach | 29cdcda | 2011-11-15 01:46:57 +0000 | [diff] [blame] | 917 | CantHandle = true; |
| 918 | break; |
| 919 | } |
| 920 | |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 921 | StringRef Reg = CGA.ResultOperands[i].getRegister()->getName(); |
| Benjamin Kramer | adcd026 | 2020-01-28 20:23:46 +0100 | [diff] [blame] | 922 | IAP.addCond(std::string( |
| 923 | formatv("AliasPatternCond::K_Reg, {0}::{1}", Namespace, Reg))); |
| Bill Wendling | 7e570b5 | 2011-03-21 08:59:17 +0000 | [diff] [blame] | 924 | break; |
| 925 | } |
| 926 | |
| Tim Northover | 60091cf | 2014-05-15 13:36:01 +0000 | [diff] [blame] | 927 | MIOpNum += RO.getMINumOperands(); |
| Bill Wendling | 7e570b5 | 2011-03-21 08:59:17 +0000 | [diff] [blame] | 928 | } |
| 929 | |
| 930 | if (CantHandle) continue; |
| Sjoerd Meijer | 84e2f69 | 2016-06-03 13:14:19 +0000 | [diff] [blame] | 931 | |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 932 | std::vector<Record *> ReqFeatures; |
| 933 | if (PassSubtarget) { |
| 934 | // We only consider ReqFeatures predicates if PassSubtarget |
| 935 | std::vector<Record *> RF = |
| 936 | CGA.TheDef->getValueAsListOfDefs("Predicates"); |
| 937 | copy_if(RF, std::back_inserter(ReqFeatures), [](Record *R) { |
| 938 | return R->getValueAsBit("AssemblerMatcherPredicate"); |
| 939 | }); |
| 940 | } |
| 941 | |
| Sjoerd Meijer | 84e2f69 | 2016-06-03 13:14:19 +0000 | [diff] [blame] | 942 | for (auto I = ReqFeatures.cbegin(); I != ReqFeatures.cend(); I++) { |
| 943 | Record *R = *I; |
| Simon Cook | a26bd4e | 2020-03-13 17:13:51 +0000 | [diff] [blame] | 944 | const DagInit *D = R->getValueAsDag("AssemblerCondDag"); |
| 945 | std::string CombineType = D->getOperator()->getAsString(); |
| 946 | if (CombineType != "any_of" && CombineType != "all_of") |
| 947 | PrintFatalError(R->getLoc(), "Invalid AssemblerCondDag!"); |
| 948 | if (D->getNumArgs() == 0) |
| 949 | PrintFatalError(R->getLoc(), "Invalid AssemblerCondDag!"); |
| 950 | bool IsOr = CombineType == "any_of"; |
| Sjoerd Meijer | 84e2f69 | 2016-06-03 13:14:19 +0000 | [diff] [blame] | 951 | |
| Simon Cook | a26bd4e | 2020-03-13 17:13:51 +0000 | [diff] [blame] | 952 | for (auto *Arg : D->getArgs()) { |
| 953 | bool IsNeg = false; |
| 954 | if (auto *NotArg = dyn_cast<DagInit>(Arg)) { |
| 955 | if (NotArg->getOperator()->getAsString() != "not" || |
| 956 | NotArg->getNumArgs() != 1) |
| 957 | PrintFatalError(R->getLoc(), "Invalid AssemblerCondDag!"); |
| 958 | Arg = NotArg->getArg(0); |
| 959 | IsNeg = true; |
| 960 | } |
| 961 | if (!isa<DefInit>(Arg) || |
| 962 | !cast<DefInit>(Arg)->getDef()->isSubClassOf("SubtargetFeature")) |
| 963 | PrintFatalError(R->getLoc(), "Invalid AssemblerCondDag!"); |
| Sjoerd Meijer | 84e2f69 | 2016-06-03 13:14:19 +0000 | [diff] [blame] | 964 | |
| Simon Cook | a26bd4e | 2020-03-13 17:13:51 +0000 | [diff] [blame] | 965 | IAP.addCond(std::string(formatv( |
| 966 | "AliasPatternCond::K_{0}{1}Feature, {2}::{3}", IsOr ? "Or" : "", |
| 967 | IsNeg ? "Neg" : "", Namespace, Arg->getAsString()))); |
| Sjoerd Meijer | 84e2f69 | 2016-06-03 13:14:19 +0000 | [diff] [blame] | 968 | } |
| Simon Cook | a26bd4e | 2020-03-13 17:13:51 +0000 | [diff] [blame] | 969 | // If an AssemblerPredicate with ors is used, note end of list should |
| 970 | // these be combined. |
| 971 | if (IsOr) |
| 972 | IAP.addCond("AliasPatternCond::K_EndOrFeatures, 0"); |
| Sjoerd Meijer | 84e2f69 | 2016-06-03 13:14:19 +0000 | [diff] [blame] | 973 | } |
| 974 | |
| David Blaikie | 4ab57cd | 2015-08-06 19:23:33 +0000 | [diff] [blame] | 975 | IAPrinterMap[Aliases.first].push_back(std::move(IAP)); |
| Bill Wendling | 7e570b5 | 2011-03-21 08:59:17 +0000 | [diff] [blame] | 976 | } |
| 977 | } |
| 978 | |
| Tim Northover | ee20caa | 2014-05-12 18:04:06 +0000 | [diff] [blame] | 979 | ////////////////////////////// |
| 980 | // Write out the printAliasInstr function |
| 981 | ////////////////////////////// |
| 982 | |
| Bill Wendling | f5199de | 2011-05-23 00:18:33 +0000 | [diff] [blame] | 983 | std::string Header; |
| 984 | raw_string_ostream HeaderO(Header); |
| 985 | |
| 986 | HeaderO << "bool " << Target.getName() << ClassName |
| Bill Wendling | e712449 | 2011-06-14 03:17:20 +0000 | [diff] [blame] | 987 | << "::printAliasInstr(const MCInst" |
| Fangrui Song | b3cc5dc | 2020-03-26 23:55:43 -0700 | [diff] [blame^] | 988 | << " *MI, uint64_t Address, " |
| 989 | << (PassSubtarget ? "const MCSubtargetInfo &STI, " : "") |
| Akira Hatanaka | b46d023 | 2015-03-27 20:36:02 +0000 | [diff] [blame] | 990 | << "raw_ostream &OS) {\n"; |
| Bill Wendling | 7e570b5 | 2011-03-21 08:59:17 +0000 | [diff] [blame] | 991 | |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 992 | std::string PatternsForOpcode; |
| 993 | raw_string_ostream OpcodeO(PatternsForOpcode); |
| Bill Wendling | bc3f790 | 2011-04-07 21:20:06 +0000 | [diff] [blame] | 994 | |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 995 | unsigned PatternCount = 0; |
| 996 | std::string Patterns; |
| 997 | raw_string_ostream PatternO(Patterns); |
| 998 | |
| 999 | unsigned CondCount = 0; |
| 1000 | std::string Conds; |
| 1001 | raw_string_ostream CondO(Conds); |
| 1002 | |
| 1003 | // All flattened alias strings. |
| 1004 | std::map<std::string, uint32_t> AsmStringOffsets; |
| 1005 | std::vector<std::pair<uint32_t, std::string>> AsmStrings; |
| 1006 | size_t AsmStringsSize = 0; |
| 1007 | |
| 1008 | // Iterate over the opcodes in enum order so they are sorted by opcode for |
| 1009 | // binary search. |
| 1010 | for (const CodeGenInstruction *Inst : NumberedInstructions) { |
| 1011 | auto It = IAPrinterMap.find(getQualifiedName(Inst->TheDef)); |
| 1012 | if (It == IAPrinterMap.end()) |
| 1013 | continue; |
| 1014 | std::vector<IAPrinter> &IAPs = It->second; |
| Bill Wendling | bc3f790 | 2011-04-07 21:20:06 +0000 | [diff] [blame] | 1015 | std::vector<IAPrinter*> UniqueIAPs; |
| 1016 | |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 1017 | // Remove any ambiguous alias rules. |
| David Blaikie | 4ab57cd | 2015-08-06 19:23:33 +0000 | [diff] [blame] | 1018 | for (auto &LHS : IAPs) { |
| Bill Wendling | bc3f790 | 2011-04-07 21:20:06 +0000 | [diff] [blame] | 1019 | bool IsDup = false; |
| David Blaikie | 4ab57cd | 2015-08-06 19:23:33 +0000 | [diff] [blame] | 1020 | for (const auto &RHS : IAPs) { |
| 1021 | if (&LHS != &RHS && LHS == RHS) { |
| Bill Wendling | bc3f790 | 2011-04-07 21:20:06 +0000 | [diff] [blame] | 1022 | IsDup = true; |
| 1023 | break; |
| 1024 | } |
| 1025 | } |
| 1026 | |
| David Blaikie | 4ab57cd | 2015-08-06 19:23:33 +0000 | [diff] [blame] | 1027 | if (!IsDup) |
| 1028 | UniqueIAPs.push_back(&LHS); |
| Bill Wendling | bc3f790 | 2011-04-07 21:20:06 +0000 | [diff] [blame] | 1029 | } |
| 1030 | |
| 1031 | if (UniqueIAPs.empty()) continue; |
| 1032 | |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 1033 | unsigned PatternStart = PatternCount; |
| 1034 | |
| 1035 | // Insert the pattern start and opcode in the pattern list for debugging. |
| 1036 | PatternO << formatv(" // {0} - {1}\n", It->first, PatternStart); |
| Bill Wendling | bc3f790 | 2011-04-07 21:20:06 +0000 | [diff] [blame] | 1037 | |
| Craig Topper | 190ecd5 | 2016-01-08 07:06:32 +0000 | [diff] [blame] | 1038 | for (IAPrinter *IAP : UniqueIAPs) { |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 1039 | // Start each condition list with a comment of the resulting pattern that |
| 1040 | // we're trying to match. |
| 1041 | unsigned CondStart = CondCount; |
| 1042 | CondO << formatv(" // {0} - {1}\n", IAP->getResult(), CondStart); |
| 1043 | for (const auto &Cond : IAP->getConds()) |
| 1044 | CondO << " {" << Cond << "},\n"; |
| 1045 | CondCount += IAP->getCondCount(); |
| 1046 | |
| 1047 | // After operands have been examined, re-encode the alias string with |
| 1048 | // escapes indicating how operands should be printed. |
| 1049 | uint32_t UnescapedSize = 0; |
| 1050 | std::string EncodedAsmString = IAP->formatAliasString(UnescapedSize); |
| 1051 | auto Insertion = |
| 1052 | AsmStringOffsets.insert({EncodedAsmString, AsmStringsSize}); |
| 1053 | if (Insertion.second) { |
| 1054 | // If the string is new, add it to the vector. |
| 1055 | AsmStrings.push_back({AsmStringsSize, EncodedAsmString}); |
| 1056 | AsmStringsSize += UnescapedSize + 1; |
| 1057 | } |
| 1058 | unsigned AsmStrOffset = Insertion.first->second; |
| 1059 | |
| 1060 | PatternO << formatv(" {{{0}, {1}, {2}, {3} },\n", AsmStrOffset, |
| 1061 | CondStart, IAP->getNumMIOps(), IAP->getCondCount()); |
| 1062 | ++PatternCount; |
| Bill Wendling | bc3f790 | 2011-04-07 21:20:06 +0000 | [diff] [blame] | 1063 | } |
| 1064 | |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 1065 | OpcodeO << formatv(" {{{0}, {1}, {2} },\n", It->first, PatternStart, |
| 1066 | PatternCount - PatternStart); |
| Bill Wendling | bc3f790 | 2011-04-07 21:20:06 +0000 | [diff] [blame] | 1067 | } |
| 1068 | |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 1069 | if (OpcodeO.str().empty()) { |
| Bill Wendling | f5199de | 2011-05-23 00:18:33 +0000 | [diff] [blame] | 1070 | O << HeaderO.str(); |
| Eric Christopher | 2e3fbaa | 2011-04-18 21:28:11 +0000 | [diff] [blame] | 1071 | O << " return false;\n"; |
| Bill Wendling | 31ca7ef | 2011-02-26 03:09:12 +0000 | [diff] [blame] | 1072 | O << "}\n\n"; |
| 1073 | O << "#endif // PRINT_ALIAS_INSTR\n"; |
| 1074 | return; |
| 1075 | } |
| 1076 | |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 1077 | // Forward declare the validation method if needed. |
| Alexander Kornienko | 8c0809c | 2015-01-15 11:41:30 +0000 | [diff] [blame] | 1078 | if (!MCOpPredicates.empty()) |
| Artyom Skrobov | 6c8682e | 2014-06-10 13:11:35 +0000 | [diff] [blame] | 1079 | O << "static bool " << Target.getName() << ClassName |
| Oliver Stannard | a34e470 | 2015-12-01 10:48:51 +0000 | [diff] [blame] | 1080 | << "ValidateMCOperand(const MCOperand &MCOp,\n" |
| 1081 | << " const MCSubtargetInfo &STI,\n" |
| 1082 | << " unsigned PredicateIndex);\n"; |
| Artyom Skrobov | 6c8682e | 2014-06-10 13:11:35 +0000 | [diff] [blame] | 1083 | |
| Bill Wendling | f5199de | 2011-05-23 00:18:33 +0000 | [diff] [blame] | 1084 | O << HeaderO.str(); |
| Reid Kleckner | 1d9291c | 2019-11-23 11:28:54 -0800 | [diff] [blame] | 1085 | O.indent(2) << "static const PatternsForOpcode OpToPatterns[] = {\n"; |
| 1086 | O << OpcodeO.str(); |
| 1087 | O.indent(2) << "};\n\n"; |
| 1088 | O.indent(2) << "static const AliasPattern Patterns[] = {\n"; |
| 1089 | O << PatternO.str(); |
| 1090 | O.indent(2) << "};\n\n"; |
| 1091 | O.indent(2) << "static const AliasPatternCond Conds[] = {\n"; |
| 1092 | O << CondO.str(); |
| 1093 | O.indent(2) << "};\n\n"; |
| 1094 | O.indent(2) << "static const char AsmStrings[] =\n"; |
| 1095 | for (const auto &P : AsmStrings) { |
| 1096 | O.indent(4) << "/* " << P.first << " */ \"" << P.second << "\\0\"\n"; |
| 1097 | } |
| 1098 | |
| 1099 | O.indent(2) << ";\n\n"; |
| 1100 | |
| 1101 | // Assert that the opcode table is sorted. Use a static local constructor to |
| 1102 | // ensure that the check only happens once on first run. |
| 1103 | O << "#ifndef NDEBUG\n"; |
| 1104 | O.indent(2) << "static struct SortCheck {\n"; |
| 1105 | O.indent(2) << " SortCheck(ArrayRef<PatternsForOpcode> OpToPatterns) {\n"; |
| 1106 | O.indent(2) << " assert(std::is_sorted(\n"; |
| 1107 | O.indent(2) << " OpToPatterns.begin(), OpToPatterns.end(),\n"; |
| 1108 | O.indent(2) << " [](const PatternsForOpcode &L, const " |
| 1109 | "PatternsForOpcode &R) {\n"; |
| 1110 | O.indent(2) << " return L.Opcode < R.Opcode;\n"; |
| 1111 | O.indent(2) << " }) &&\n"; |
| 1112 | O.indent(2) << " \"tablegen failed to sort opcode patterns\");\n"; |
| 1113 | O.indent(2) << " }\n"; |
| 1114 | O.indent(2) << "} sortCheckVar(OpToPatterns);\n"; |
| 1115 | O << "#endif\n\n"; |
| 1116 | |
| 1117 | O.indent(2) << "AliasMatchingData M {\n"; |
| 1118 | O.indent(2) << " makeArrayRef(OpToPatterns),\n"; |
| 1119 | O.indent(2) << " makeArrayRef(Patterns),\n"; |
| 1120 | O.indent(2) << " makeArrayRef(Conds),\n"; |
| 1121 | O.indent(2) << " StringRef(AsmStrings, array_lengthof(AsmStrings)),\n"; |
| 1122 | if (MCOpPredicates.empty()) |
| 1123 | O.indent(2) << " nullptr,\n"; |
| 1124 | else |
| 1125 | O.indent(2) << " &" << Target.getName() << ClassName << "ValidateMCOperand,\n"; |
| 1126 | O.indent(2) << "};\n"; |
| 1127 | |
| 1128 | O.indent(2) << "const char *AsmString = matchAliasPatterns(MI, " |
| 1129 | << (PassSubtarget ? "&STI" : "nullptr") << ", M);\n"; |
| 1130 | O.indent(2) << "if (!AsmString) return false;\n\n"; |
| Bill Wendling | 31ca7ef | 2011-02-26 03:09:12 +0000 | [diff] [blame] | 1131 | |
| 1132 | // Code that prints the alias, replacing the operands with the ones from the |
| 1133 | // MCInst. |
| Benjamin Kramer | 17c17bc | 2013-09-11 15:42:16 +0000 | [diff] [blame] | 1134 | O << " unsigned I = 0;\n"; |
| Sjoerd Meijer | 3c2f785 | 2016-06-03 13:17:37 +0000 | [diff] [blame] | 1135 | O << " while (AsmString[I] != ' ' && AsmString[I] != '\\t' &&\n"; |
| 1136 | O << " AsmString[I] != '$' && AsmString[I] != '\\0')\n"; |
| Benjamin Kramer | 17c17bc | 2013-09-11 15:42:16 +0000 | [diff] [blame] | 1137 | O << " ++I;\n"; |
| 1138 | O << " OS << '\\t' << StringRef(AsmString, I);\n"; |
| Bill Wendling | 31ca7ef | 2011-02-26 03:09:12 +0000 | [diff] [blame] | 1139 | |
| Benjamin Kramer | 17c17bc | 2013-09-11 15:42:16 +0000 | [diff] [blame] | 1140 | O << " if (AsmString[I] != '\\0') {\n"; |
| Petar Jovanovic | bd57b8b | 2017-11-13 18:00:24 +0000 | [diff] [blame] | 1141 | O << " if (AsmString[I] == ' ' || AsmString[I] == '\\t') {\n"; |
| Sjoerd Meijer | 3c2f785 | 2016-06-03 13:17:37 +0000 | [diff] [blame] | 1142 | O << " OS << '\\t';\n"; |
| Petar Jovanovic | bd57b8b | 2017-11-13 18:00:24 +0000 | [diff] [blame] | 1143 | O << " ++I;\n"; |
| 1144 | O << " }\n"; |
| Benjamin Kramer | 17c17bc | 2013-09-11 15:42:16 +0000 | [diff] [blame] | 1145 | O << " do {\n"; |
| 1146 | O << " if (AsmString[I] == '$') {\n"; |
| 1147 | O << " ++I;\n"; |
| Tim Northover | ee20caa | 2014-05-12 18:04:06 +0000 | [diff] [blame] | 1148 | O << " if (AsmString[I] == (char)0xff) {\n"; |
| 1149 | O << " ++I;\n"; |
| 1150 | O << " int OpIdx = AsmString[I++] - 1;\n"; |
| 1151 | O << " int PrintMethodIdx = AsmString[I++] - 1;\n"; |
| Akira Hatanaka | b46d023 | 2015-03-27 20:36:02 +0000 | [diff] [blame] | 1152 | O << " printCustomAliasOperand(MI, OpIdx, PrintMethodIdx, "; |
| 1153 | O << (PassSubtarget ? "STI, " : ""); |
| 1154 | O << "OS);\n"; |
| Tim Northover | ee20caa | 2014-05-12 18:04:06 +0000 | [diff] [blame] | 1155 | O << " } else\n"; |
| Akira Hatanaka | b46d023 | 2015-03-27 20:36:02 +0000 | [diff] [blame] | 1156 | O << " printOperand(MI, unsigned(AsmString[I++]) - 1, "; |
| 1157 | O << (PassSubtarget ? "STI, " : ""); |
| 1158 | O << "OS);\n"; |
| Bill Wendling | 31ca7ef | 2011-02-26 03:09:12 +0000 | [diff] [blame] | 1159 | O << " } else {\n"; |
| Benjamin Kramer | 17c17bc | 2013-09-11 15:42:16 +0000 | [diff] [blame] | 1160 | O << " OS << AsmString[I++];\n"; |
| Bill Wendling | 31ca7ef | 2011-02-26 03:09:12 +0000 | [diff] [blame] | 1161 | O << " }\n"; |
| Benjamin Kramer | 17c17bc | 2013-09-11 15:42:16 +0000 | [diff] [blame] | 1162 | O << " } while (AsmString[I] != '\\0');\n"; |
| Bill Wendling | 31ca7ef | 2011-02-26 03:09:12 +0000 | [diff] [blame] | 1163 | O << " }\n\n"; |
| Jim Grosbach | f4e6708 | 2012-04-18 18:56:33 +0000 | [diff] [blame] | 1164 | |
| Eric Christopher | 2e3fbaa | 2011-04-18 21:28:11 +0000 | [diff] [blame] | 1165 | O << " return true;\n"; |
| Bill Wendling | 31ca7ef | 2011-02-26 03:09:12 +0000 | [diff] [blame] | 1166 | O << "}\n\n"; |
| 1167 | |
| Tim Northover | ee20caa | 2014-05-12 18:04:06 +0000 | [diff] [blame] | 1168 | ////////////////////////////// |
| 1169 | // Write out the printCustomAliasOperand function |
| 1170 | ////////////////////////////// |
| 1171 | |
| 1172 | O << "void " << Target.getName() << ClassName << "::" |
| 1173 | << "printCustomAliasOperand(\n" |
| 1174 | << " const MCInst *MI, unsigned OpIdx,\n" |
| Akira Hatanaka | b46d023 | 2015-03-27 20:36:02 +0000 | [diff] [blame] | 1175 | << " unsigned PrintMethodIdx,\n" |
| 1176 | << (PassSubtarget ? " const MCSubtargetInfo &STI,\n" : "") |
| 1177 | << " raw_ostream &OS) {\n"; |
| Aaron Ballman | e58a570 | 2014-05-13 12:52:35 +0000 | [diff] [blame] | 1178 | if (PrintMethods.empty()) |
| 1179 | O << " llvm_unreachable(\"Unknown PrintMethod kind\");\n"; |
| 1180 | else { |
| 1181 | O << " switch (PrintMethodIdx) {\n" |
| 1182 | << " default:\n" |
| 1183 | << " llvm_unreachable(\"Unknown PrintMethod kind\");\n" |
| Tim Northover | ee20caa | 2014-05-12 18:04:06 +0000 | [diff] [blame] | 1184 | << " break;\n"; |
| Tim Northover | ee20caa | 2014-05-12 18:04:06 +0000 | [diff] [blame] | 1185 | |
| Aaron Ballman | e58a570 | 2014-05-13 12:52:35 +0000 | [diff] [blame] | 1186 | for (unsigned i = 0; i < PrintMethods.size(); ++i) { |
| 1187 | O << " case " << i << ":\n" |
| Akira Hatanaka | b46d023 | 2015-03-27 20:36:02 +0000 | [diff] [blame] | 1188 | << " " << PrintMethods[i] << "(MI, OpIdx, " |
| 1189 | << (PassSubtarget ? "STI, " : "") << "OS);\n" |
| Aaron Ballman | e58a570 | 2014-05-13 12:52:35 +0000 | [diff] [blame] | 1190 | << " break;\n"; |
| 1191 | } |
| 1192 | O << " }\n"; |
| 1193 | } |
| 1194 | O << "}\n\n"; |
| Tim Northover | ee20caa | 2014-05-12 18:04:06 +0000 | [diff] [blame] | 1195 | |
| Alexander Kornienko | 8c0809c | 2015-01-15 11:41:30 +0000 | [diff] [blame] | 1196 | if (!MCOpPredicates.empty()) { |
| Artyom Skrobov | 6c8682e | 2014-06-10 13:11:35 +0000 | [diff] [blame] | 1197 | O << "static bool " << Target.getName() << ClassName |
| Oliver Stannard | a34e470 | 2015-12-01 10:48:51 +0000 | [diff] [blame] | 1198 | << "ValidateMCOperand(const MCOperand &MCOp,\n" |
| 1199 | << " const MCSubtargetInfo &STI,\n" |
| 1200 | << " unsigned PredicateIndex) {\n" |
| Artyom Skrobov | 6c8682e | 2014-06-10 13:11:35 +0000 | [diff] [blame] | 1201 | << " switch (PredicateIndex) {\n" |
| 1202 | << " default:\n" |
| 1203 | << " llvm_unreachable(\"Unknown MCOperandPredicate kind\");\n" |
| 1204 | << " break;\n"; |
| 1205 | |
| 1206 | for (unsigned i = 0; i < MCOpPredicates.size(); ++i) { |
| 1207 | Init *MCOpPred = MCOpPredicates[i]->getValueInit("MCOperandPredicate"); |
| Tim Northover | 88403d7 | 2016-07-05 21:22:55 +0000 | [diff] [blame] | 1208 | if (CodeInit *SI = dyn_cast<CodeInit>(MCOpPred)) { |
| Artyom Skrobov | 6c8682e | 2014-06-10 13:11:35 +0000 | [diff] [blame] | 1209 | O << " case " << i + 1 << ": {\n" |
| 1210 | << SI->getValue() << "\n" |
| 1211 | << " }\n"; |
| 1212 | } else |
| 1213 | llvm_unreachable("Unexpected MCOperandPredicate field!"); |
| 1214 | } |
| 1215 | O << " }\n" |
| 1216 | << "}\n\n"; |
| 1217 | } |
| 1218 | |
| Bill Wendling | 31ca7ef | 2011-02-26 03:09:12 +0000 | [diff] [blame] | 1219 | O << "#endif // PRINT_ALIAS_INSTR\n"; |
| 1220 | } |
| Chris Lattner | 06c5eed | 2009-09-13 20:08:00 +0000 | [diff] [blame] | 1221 | |
| Ahmed Bougacha | bd21400 | 2013-10-28 18:07:17 +0000 | [diff] [blame] | 1222 | AsmWriterEmitter::AsmWriterEmitter(RecordKeeper &R) : Records(R), Target(R) { |
| 1223 | Record *AsmWriter = Target.getAsmWriter(); |
| Craig Topper | 0bd5874 | 2016-01-13 07:20:05 +0000 | [diff] [blame] | 1224 | unsigned Variant = AsmWriter->getValueAsInt("Variant"); |
| Ahmed Bougacha | bd21400 | 2013-10-28 18:07:17 +0000 | [diff] [blame] | 1225 | |
| 1226 | // Get the instruction numbering. |
| Craig Topper | f926532 | 2016-01-17 20:38:14 +0000 | [diff] [blame] | 1227 | NumberedInstructions = Target.getInstructionsByEnumValue(); |
| Ahmed Bougacha | bd21400 | 2013-10-28 18:07:17 +0000 | [diff] [blame] | 1228 | |
| Craig Topper | f926532 | 2016-01-17 20:38:14 +0000 | [diff] [blame] | 1229 | for (unsigned i = 0, e = NumberedInstructions.size(); i != e; ++i) { |
| 1230 | const CodeGenInstruction *I = NumberedInstructions[i]; |
| Craig Topper | 9e9ae60 | 2016-01-17 08:05:33 +0000 | [diff] [blame] | 1231 | if (!I->AsmString.empty() && I->TheDef->getName() != "PHI") |
| 1232 | Instructions.emplace_back(*I, i, Variant); |
| 1233 | } |
| Ahmed Bougacha | bd21400 | 2013-10-28 18:07:17 +0000 | [diff] [blame] | 1234 | } |
| 1235 | |
| Chris Lattner | 06c5eed | 2009-09-13 20:08:00 +0000 | [diff] [blame] | 1236 | void AsmWriterEmitter::run(raw_ostream &O) { |
| Chris Lattner | 06c5eed | 2009-09-13 20:08:00 +0000 | [diff] [blame] | 1237 | EmitPrintInstruction(O); |
| 1238 | EmitGetRegisterName(O); |
| Bill Wendling | 31ca7ef | 2011-02-26 03:09:12 +0000 | [diff] [blame] | 1239 | EmitPrintAliasInstruction(O); |
| Chris Lattner | 06c5eed | 2009-09-13 20:08:00 +0000 | [diff] [blame] | 1240 | } |
| 1241 | |
| Jakob Stoklund Olesen | e6aed13 | 2012-06-11 15:37:55 +0000 | [diff] [blame] | 1242 | namespace llvm { |
| 1243 | |
| 1244 | void EmitAsmWriter(RecordKeeper &RK, raw_ostream &OS) { |
| 1245 | emitSourceFileHeader("Assembly Writer Source Fragment", OS); |
| 1246 | AsmWriterEmitter(RK).run(OS); |
| 1247 | } |
| 1248 | |
| Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 1249 | } // end namespace llvm |