10b57cec5SDimitry Andric //===- CodeGenInstruction.cpp - CodeGen Instruction Class Wrapper ---------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // This file implements the CodeGenInstruction class.
100b57cec5SDimitry Andric //
110b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
120b57cec5SDimitry Andric 
130b57cec5SDimitry Andric #include "CodeGenInstruction.h"
140b57cec5SDimitry Andric #include "CodeGenTarget.h"
150b57cec5SDimitry Andric #include "llvm/ADT/StringExtras.h"
160b57cec5SDimitry Andric #include "llvm/TableGen/Error.h"
170b57cec5SDimitry Andric #include "llvm/TableGen/Record.h"
180b57cec5SDimitry Andric #include <set>
190b57cec5SDimitry Andric using namespace llvm;
200b57cec5SDimitry Andric 
210b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
220b57cec5SDimitry Andric // CGIOperandList Implementation
230b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
240b57cec5SDimitry Andric 
CGIOperandList(Record * R)250b57cec5SDimitry Andric CGIOperandList::CGIOperandList(Record *R) : TheDef(R) {
260b57cec5SDimitry Andric   isPredicable = false;
270b57cec5SDimitry Andric   hasOptionalDef = false;
280b57cec5SDimitry Andric   isVariadic = false;
290b57cec5SDimitry Andric 
300b57cec5SDimitry Andric   DagInit *OutDI = R->getValueAsDag("OutOperandList");
310b57cec5SDimitry Andric 
320b57cec5SDimitry Andric   if (DefInit *Init = dyn_cast<DefInit>(OutDI->getOperator())) {
330b57cec5SDimitry Andric     if (Init->getDef()->getName() != "outs")
340b57cec5SDimitry Andric       PrintFatalError(R->getLoc(),
350b57cec5SDimitry Andric                       R->getName() +
360b57cec5SDimitry Andric                           ": invalid def name for output list: use 'outs'");
370b57cec5SDimitry Andric   } else
380b57cec5SDimitry Andric     PrintFatalError(R->getLoc(),
390b57cec5SDimitry Andric                     R->getName() + ": invalid output list: use 'outs'");
400b57cec5SDimitry Andric 
410b57cec5SDimitry Andric   NumDefs = OutDI->getNumArgs();
420b57cec5SDimitry Andric 
430b57cec5SDimitry Andric   DagInit *InDI = R->getValueAsDag("InOperandList");
440b57cec5SDimitry Andric   if (DefInit *Init = dyn_cast<DefInit>(InDI->getOperator())) {
450b57cec5SDimitry Andric     if (Init->getDef()->getName() != "ins")
460b57cec5SDimitry Andric       PrintFatalError(R->getLoc(),
470b57cec5SDimitry Andric                       R->getName() +
480b57cec5SDimitry Andric                           ": invalid def name for input list: use 'ins'");
490b57cec5SDimitry Andric   } else
500b57cec5SDimitry Andric     PrintFatalError(R->getLoc(),
510b57cec5SDimitry Andric                     R->getName() + ": invalid input list: use 'ins'");
520b57cec5SDimitry Andric 
530b57cec5SDimitry Andric   unsigned MIOperandNo = 0;
540b57cec5SDimitry Andric   std::set<std::string> OperandNames;
550b57cec5SDimitry Andric   unsigned e = InDI->getNumArgs() + OutDI->getNumArgs();
560b57cec5SDimitry Andric   OperandList.reserve(e);
575ffd83dbSDimitry Andric   bool VariadicOuts = false;
580b57cec5SDimitry Andric   for (unsigned i = 0; i != e; ++i){
590b57cec5SDimitry Andric     Init *ArgInit;
600b57cec5SDimitry Andric     StringRef ArgName;
610b57cec5SDimitry Andric     if (i < NumDefs) {
620b57cec5SDimitry Andric       ArgInit = OutDI->getArg(i);
630b57cec5SDimitry Andric       ArgName = OutDI->getArgNameStr(i);
640b57cec5SDimitry Andric     } else {
650b57cec5SDimitry Andric       ArgInit = InDI->getArg(i-NumDefs);
660b57cec5SDimitry Andric       ArgName = InDI->getArgNameStr(i-NumDefs);
670b57cec5SDimitry Andric     }
680b57cec5SDimitry Andric 
69bdd1243dSDimitry Andric     DagInit *SubArgDag = dyn_cast<DagInit>(ArgInit);
70bdd1243dSDimitry Andric     if (SubArgDag)
71bdd1243dSDimitry Andric       ArgInit = SubArgDag->getOperator();
72bdd1243dSDimitry Andric 
730b57cec5SDimitry Andric     DefInit *Arg = dyn_cast<DefInit>(ArgInit);
740b57cec5SDimitry Andric     if (!Arg)
750b57cec5SDimitry Andric       PrintFatalError(R->getLoc(), "Illegal operand for the '" + R->getName() +
760b57cec5SDimitry Andric                                        "' instruction!");
770b57cec5SDimitry Andric 
780b57cec5SDimitry Andric     Record *Rec = Arg->getDef();
790b57cec5SDimitry Andric     std::string PrintMethod = "printOperand";
800b57cec5SDimitry Andric     std::string EncoderMethod;
810b57cec5SDimitry Andric     std::string OperandType = "OPERAND_UNKNOWN";
820b57cec5SDimitry Andric     std::string OperandNamespace = "MCOI";
830b57cec5SDimitry Andric     unsigned NumOps = 1;
840b57cec5SDimitry Andric     DagInit *MIOpInfo = nullptr;
850b57cec5SDimitry Andric     if (Rec->isSubClassOf("RegisterOperand")) {
865ffd83dbSDimitry Andric       PrintMethod = std::string(Rec->getValueAsString("PrintMethod"));
875ffd83dbSDimitry Andric       OperandType = std::string(Rec->getValueAsString("OperandType"));
885ffd83dbSDimitry Andric       OperandNamespace = std::string(Rec->getValueAsString("OperandNamespace"));
895ffd83dbSDimitry Andric       EncoderMethod = std::string(Rec->getValueAsString("EncoderMethod"));
900b57cec5SDimitry Andric     } else if (Rec->isSubClassOf("Operand")) {
915ffd83dbSDimitry Andric       PrintMethod = std::string(Rec->getValueAsString("PrintMethod"));
925ffd83dbSDimitry Andric       OperandType = std::string(Rec->getValueAsString("OperandType"));
935ffd83dbSDimitry Andric       OperandNamespace = std::string(Rec->getValueAsString("OperandNamespace"));
940b57cec5SDimitry Andric       // If there is an explicit encoder method, use it.
955ffd83dbSDimitry Andric       EncoderMethod = std::string(Rec->getValueAsString("EncoderMethod"));
960b57cec5SDimitry Andric       MIOpInfo = Rec->getValueAsDag("MIOperandInfo");
970b57cec5SDimitry Andric 
980b57cec5SDimitry Andric       // Verify that MIOpInfo has an 'ops' root value.
990b57cec5SDimitry Andric       if (!isa<DefInit>(MIOpInfo->getOperator()) ||
1000b57cec5SDimitry Andric           cast<DefInit>(MIOpInfo->getOperator())->getDef()->getName() != "ops")
1010b57cec5SDimitry Andric         PrintFatalError(R->getLoc(),
1020b57cec5SDimitry Andric                         "Bad value for MIOperandInfo in operand '" +
1030b57cec5SDimitry Andric                             Rec->getName() + "'\n");
1040b57cec5SDimitry Andric 
1050b57cec5SDimitry Andric       // If we have MIOpInfo, then we have #operands equal to number of entries
1060b57cec5SDimitry Andric       // in MIOperandInfo.
1070b57cec5SDimitry Andric       if (unsigned NumArgs = MIOpInfo->getNumArgs())
1080b57cec5SDimitry Andric         NumOps = NumArgs;
1090b57cec5SDimitry Andric 
1100b57cec5SDimitry Andric       if (Rec->isSubClassOf("PredicateOp"))
1110b57cec5SDimitry Andric         isPredicable = true;
1120b57cec5SDimitry Andric       else if (Rec->isSubClassOf("OptionalDefOperand"))
1130b57cec5SDimitry Andric         hasOptionalDef = true;
1140b57cec5SDimitry Andric     } else if (Rec->getName() == "variable_ops") {
1155ffd83dbSDimitry Andric       if (i < NumDefs)
1165ffd83dbSDimitry Andric         VariadicOuts = true;
1170b57cec5SDimitry Andric       isVariadic = true;
1180b57cec5SDimitry Andric       continue;
1190b57cec5SDimitry Andric     } else if (Rec->isSubClassOf("RegisterClass")) {
1200b57cec5SDimitry Andric       OperandType = "OPERAND_REGISTER";
1210b57cec5SDimitry Andric     } else if (!Rec->isSubClassOf("PointerLikeRegClass") &&
122bdd1243dSDimitry Andric                !Rec->isSubClassOf("unknown_class")) {
1230b57cec5SDimitry Andric       PrintFatalError(R->getLoc(), "Unknown operand class '" + Rec->getName() +
1240b57cec5SDimitry Andric                                        "' in '" + R->getName() +
1250b57cec5SDimitry Andric                                        "' instruction!");
126bdd1243dSDimitry Andric     }
1270b57cec5SDimitry Andric 
1280b57cec5SDimitry Andric     // Check that the operand has a name and that it's unique.
1290b57cec5SDimitry Andric     if (ArgName.empty())
1300b57cec5SDimitry Andric       PrintFatalError(R->getLoc(), "In instruction '" + R->getName() +
1310b57cec5SDimitry Andric                                        "', operand #" + Twine(i) +
1320b57cec5SDimitry Andric                                        " has no name!");
1335ffd83dbSDimitry Andric     if (!OperandNames.insert(std::string(ArgName)).second)
1340b57cec5SDimitry Andric       PrintFatalError(R->getLoc(),
1350b57cec5SDimitry Andric                       "In instruction '" + R->getName() + "', operand #" +
1360b57cec5SDimitry Andric                           Twine(i) +
1370b57cec5SDimitry Andric                           " has the same name as a previous operand!");
1380b57cec5SDimitry Andric 
139bdd1243dSDimitry Andric     OperandInfo &OpInfo = OperandList.emplace_back(
1405ffd83dbSDimitry Andric         Rec, std::string(ArgName), std::string(PrintMethod),
141bdd1243dSDimitry Andric         OperandNamespace + "::" + OperandType, MIOperandNo, NumOps, MIOpInfo);
142bdd1243dSDimitry Andric 
143bdd1243dSDimitry Andric     if (SubArgDag) {
144bdd1243dSDimitry Andric       if (SubArgDag->getNumArgs() != NumOps) {
145bdd1243dSDimitry Andric         PrintFatalError(R->getLoc(), "In instruction '" + R->getName() +
146bdd1243dSDimitry Andric                                          "', operand #" + Twine(i) + " has " +
147bdd1243dSDimitry Andric                                          Twine(SubArgDag->getNumArgs()) +
148bdd1243dSDimitry Andric                                          " sub-arg names, expected " +
149bdd1243dSDimitry Andric                                          Twine(NumOps) + ".");
150bdd1243dSDimitry Andric       }
151bdd1243dSDimitry Andric 
152bdd1243dSDimitry Andric       for (unsigned j = 0; j < NumOps; ++j) {
153bdd1243dSDimitry Andric         if (!isa<UnsetInit>(SubArgDag->getArg(j)))
154bdd1243dSDimitry Andric           PrintFatalError(R->getLoc(),
155bdd1243dSDimitry Andric                           "In instruction '" + R->getName() + "', operand #" +
156bdd1243dSDimitry Andric                               Twine(i) + " sub-arg #" + Twine(j) +
157bdd1243dSDimitry Andric                               " has unexpected operand (expected only $name).");
158bdd1243dSDimitry Andric 
159bdd1243dSDimitry Andric         StringRef SubArgName = SubArgDag->getArgNameStr(j);
160bdd1243dSDimitry Andric         if (SubArgName.empty())
161bdd1243dSDimitry Andric           PrintFatalError(R->getLoc(), "In instruction '" + R->getName() +
162bdd1243dSDimitry Andric                                            "', operand #" + Twine(i) +
163bdd1243dSDimitry Andric                                            " has no name!");
164bdd1243dSDimitry Andric         if (!OperandNames.insert(std::string(SubArgName)).second)
165bdd1243dSDimitry Andric           PrintFatalError(R->getLoc(),
166bdd1243dSDimitry Andric                           "In instruction '" + R->getName() + "', operand #" +
167bdd1243dSDimitry Andric                               Twine(i) + " sub-arg #" + Twine(j) +
168bdd1243dSDimitry Andric                               " has the same name as a previous operand!");
169bdd1243dSDimitry Andric 
170bdd1243dSDimitry Andric         if (auto MaybeEncoderMethod =
171bdd1243dSDimitry Andric                 cast<DefInit>(MIOpInfo->getArg(j))
172bdd1243dSDimitry Andric                     ->getDef()
173bdd1243dSDimitry Andric                     ->getValueAsOptionalString("EncoderMethod")) {
174bdd1243dSDimitry Andric           OpInfo.EncoderMethodNames[j] = *MaybeEncoderMethod;
175bdd1243dSDimitry Andric         }
176bdd1243dSDimitry Andric 
177bdd1243dSDimitry Andric         OpInfo.SubOpNames[j] = SubArgName;
178*fe013be4SDimitry Andric         SubOpAliases[SubArgName] = std::make_pair(i, j);
179bdd1243dSDimitry Andric       }
180bdd1243dSDimitry Andric     } else if (!EncoderMethod.empty()) {
181bdd1243dSDimitry Andric       // If we have no explicit sub-op dag, but have an top-level encoder
182bdd1243dSDimitry Andric       // method, the single encoder will multiple sub-ops, itself.
183bdd1243dSDimitry Andric       OpInfo.EncoderMethodNames[0] = EncoderMethod;
184bdd1243dSDimitry Andric       for (unsigned j = 1; j < NumOps; ++j)
185bdd1243dSDimitry Andric         OpInfo.DoNotEncode[j] = true;
186bdd1243dSDimitry Andric     }
187bdd1243dSDimitry Andric 
1880b57cec5SDimitry Andric     MIOperandNo += NumOps;
1890b57cec5SDimitry Andric   }
1900b57cec5SDimitry Andric 
1915ffd83dbSDimitry Andric   if (VariadicOuts)
1925ffd83dbSDimitry Andric     --NumDefs;
1930b57cec5SDimitry Andric }
1940b57cec5SDimitry Andric 
1950b57cec5SDimitry Andric 
1960b57cec5SDimitry Andric /// getOperandNamed - Return the index of the operand with the specified
1970b57cec5SDimitry Andric /// non-empty name.  If the instruction does not have an operand with the
1980b57cec5SDimitry Andric /// specified name, abort.
1990b57cec5SDimitry Andric ///
getOperandNamed(StringRef Name) const2000b57cec5SDimitry Andric unsigned CGIOperandList::getOperandNamed(StringRef Name) const {
2010b57cec5SDimitry Andric   unsigned OpIdx;
2020b57cec5SDimitry Andric   if (hasOperandNamed(Name, OpIdx))
2030b57cec5SDimitry Andric     return OpIdx;
2040b57cec5SDimitry Andric   PrintFatalError(TheDef->getLoc(), "'" + TheDef->getName() +
2050b57cec5SDimitry Andric                                         "' does not have an operand named '$" +
2060b57cec5SDimitry Andric                                         Name + "'!");
2070b57cec5SDimitry Andric }
2080b57cec5SDimitry Andric 
2090b57cec5SDimitry Andric /// hasOperandNamed - Query whether the instruction has an operand of the
2100b57cec5SDimitry Andric /// given name. If so, return true and set OpIdx to the index of the
2110b57cec5SDimitry Andric /// operand. Otherwise, return false.
hasOperandNamed(StringRef Name,unsigned & OpIdx) const2120b57cec5SDimitry Andric bool CGIOperandList::hasOperandNamed(StringRef Name, unsigned &OpIdx) const {
2130b57cec5SDimitry Andric   assert(!Name.empty() && "Cannot search for operand with no name!");
2140b57cec5SDimitry Andric   for (unsigned i = 0, e = OperandList.size(); i != e; ++i)
2150b57cec5SDimitry Andric     if (OperandList[i].Name == Name) {
2160b57cec5SDimitry Andric       OpIdx = i;
2170b57cec5SDimitry Andric       return true;
2180b57cec5SDimitry Andric     }
2190b57cec5SDimitry Andric   return false;
2200b57cec5SDimitry Andric }
2210b57cec5SDimitry Andric 
hasSubOperandAlias(StringRef Name,std::pair<unsigned,unsigned> & SubOp) const222bdd1243dSDimitry Andric bool CGIOperandList::hasSubOperandAlias(
223bdd1243dSDimitry Andric     StringRef Name, std::pair<unsigned, unsigned> &SubOp) const {
224bdd1243dSDimitry Andric   assert(!Name.empty() && "Cannot search for operand with no name!");
225bdd1243dSDimitry Andric   auto SubOpIter = SubOpAliases.find(Name);
226bdd1243dSDimitry Andric   if (SubOpIter != SubOpAliases.end()) {
227bdd1243dSDimitry Andric     SubOp = SubOpIter->second;
228bdd1243dSDimitry Andric     return true;
229bdd1243dSDimitry Andric   }
230bdd1243dSDimitry Andric   return false;
231bdd1243dSDimitry Andric }
232bdd1243dSDimitry Andric 
2330b57cec5SDimitry Andric std::pair<unsigned,unsigned>
ParseOperandName(StringRef Op,bool AllowWholeOp)234fe6060f1SDimitry Andric CGIOperandList::ParseOperandName(StringRef Op, bool AllowWholeOp) {
2350b57cec5SDimitry Andric   if (Op.empty() || Op[0] != '$')
2360b57cec5SDimitry Andric     PrintFatalError(TheDef->getLoc(),
2370b57cec5SDimitry Andric                     TheDef->getName() + ": Illegal operand name: '" + Op + "'");
2380b57cec5SDimitry Andric 
239fe6060f1SDimitry Andric   StringRef OpName = Op.substr(1);
240fe6060f1SDimitry Andric   StringRef SubOpName;
2410b57cec5SDimitry Andric 
2420b57cec5SDimitry Andric   // Check to see if this is $foo.bar.
243fe6060f1SDimitry Andric   StringRef::size_type DotIdx = OpName.find_first_of('.');
244fe6060f1SDimitry Andric   if (DotIdx != StringRef::npos) {
2450b57cec5SDimitry Andric     SubOpName = OpName.substr(DotIdx+1);
2460b57cec5SDimitry Andric     if (SubOpName.empty())
2470b57cec5SDimitry Andric       PrintFatalError(TheDef->getLoc(),
2480b57cec5SDimitry Andric                       TheDef->getName() +
2490b57cec5SDimitry Andric                           ": illegal empty suboperand name in '" + Op + "'");
2500b57cec5SDimitry Andric     OpName = OpName.substr(0, DotIdx);
2510b57cec5SDimitry Andric   }
2520b57cec5SDimitry Andric 
253bdd1243dSDimitry Andric   unsigned OpIdx;
254bdd1243dSDimitry Andric 
255bdd1243dSDimitry Andric   if (std::pair<unsigned, unsigned> SubOp; hasSubOperandAlias(OpName, SubOp)) {
256bdd1243dSDimitry Andric     // Found a name for a piece of an operand, just return it directly.
257bdd1243dSDimitry Andric     if (!SubOpName.empty()) {
258bdd1243dSDimitry Andric       PrintFatalError(
259bdd1243dSDimitry Andric           TheDef->getLoc(),
260bdd1243dSDimitry Andric           TheDef->getName() +
261bdd1243dSDimitry Andric               ": Cannot use dotted suboperand name within suboperand '" +
262bdd1243dSDimitry Andric               OpName + "'");
263bdd1243dSDimitry Andric     }
264bdd1243dSDimitry Andric     return SubOp;
265bdd1243dSDimitry Andric   }
266bdd1243dSDimitry Andric 
267bdd1243dSDimitry Andric   OpIdx = getOperandNamed(OpName);
2680b57cec5SDimitry Andric 
2690b57cec5SDimitry Andric   if (SubOpName.empty()) {  // If no suboperand name was specified:
2700b57cec5SDimitry Andric     // If one was needed, throw.
2710b57cec5SDimitry Andric     if (OperandList[OpIdx].MINumOperands > 1 && !AllowWholeOp &&
2720b57cec5SDimitry Andric         SubOpName.empty())
2730b57cec5SDimitry Andric       PrintFatalError(TheDef->getLoc(),
2740b57cec5SDimitry Andric                       TheDef->getName() +
2750b57cec5SDimitry Andric                           ": Illegal to refer to"
2760b57cec5SDimitry Andric                           " whole operand part of complex operand '" +
2770b57cec5SDimitry Andric                           Op + "'");
2780b57cec5SDimitry Andric 
2790b57cec5SDimitry Andric     // Otherwise, return the operand.
2800b57cec5SDimitry Andric     return std::make_pair(OpIdx, 0U);
2810b57cec5SDimitry Andric   }
2820b57cec5SDimitry Andric 
2830b57cec5SDimitry Andric   // Find the suboperand number involved.
2840b57cec5SDimitry Andric   DagInit *MIOpInfo = OperandList[OpIdx].MIOperandInfo;
2850b57cec5SDimitry Andric   if (!MIOpInfo)
2860b57cec5SDimitry Andric     PrintFatalError(TheDef->getLoc(), TheDef->getName() +
2870b57cec5SDimitry Andric                                           ": unknown suboperand name in '" +
2880b57cec5SDimitry Andric                                           Op + "'");
2890b57cec5SDimitry Andric 
2900b57cec5SDimitry Andric   // Find the operand with the right name.
2910b57cec5SDimitry Andric   for (unsigned i = 0, e = MIOpInfo->getNumArgs(); i != e; ++i)
2920b57cec5SDimitry Andric     if (MIOpInfo->getArgNameStr(i) == SubOpName)
2930b57cec5SDimitry Andric       return std::make_pair(OpIdx, i);
2940b57cec5SDimitry Andric 
2950b57cec5SDimitry Andric   // Otherwise, didn't find it!
2960b57cec5SDimitry Andric   PrintFatalError(TheDef->getLoc(), TheDef->getName() +
2970b57cec5SDimitry Andric                                         ": unknown suboperand name in '" + Op +
2980b57cec5SDimitry Andric                                         "'");
2990b57cec5SDimitry Andric   return std::make_pair(0U, 0U);
3000b57cec5SDimitry Andric }
3010b57cec5SDimitry Andric 
ParseConstraint(StringRef CStr,CGIOperandList & Ops,Record * Rec)302fe6060f1SDimitry Andric static void ParseConstraint(StringRef CStr, CGIOperandList &Ops,
3030b57cec5SDimitry Andric                             Record *Rec) {
3040b57cec5SDimitry Andric   // EARLY_CLOBBER: @early $reg
305fe6060f1SDimitry Andric   StringRef::size_type wpos = CStr.find_first_of(" \t");
306fe6060f1SDimitry Andric   StringRef::size_type start = CStr.find_first_not_of(" \t");
307fe6060f1SDimitry Andric   StringRef Tok = CStr.substr(start, wpos - start);
3080b57cec5SDimitry Andric   if (Tok == "@earlyclobber") {
309fe6060f1SDimitry Andric     StringRef Name = CStr.substr(wpos+1);
3100b57cec5SDimitry Andric     wpos = Name.find_first_not_of(" \t");
311fe6060f1SDimitry Andric     if (wpos == StringRef::npos)
3120b57cec5SDimitry Andric       PrintFatalError(
3130b57cec5SDimitry Andric         Rec->getLoc(), "Illegal format for @earlyclobber constraint in '" +
3140b57cec5SDimitry Andric         Rec->getName() + "': '" + CStr + "'");
3150b57cec5SDimitry Andric     Name = Name.substr(wpos);
3160b57cec5SDimitry Andric     std::pair<unsigned,unsigned> Op = Ops.ParseOperandName(Name, false);
3170b57cec5SDimitry Andric 
3180b57cec5SDimitry Andric     // Build the string for the operand
3190b57cec5SDimitry Andric     if (!Ops[Op.first].Constraints[Op.second].isNone())
3200b57cec5SDimitry Andric       PrintFatalError(
3210b57cec5SDimitry Andric         Rec->getLoc(), "Operand '" + Name + "' of '" + Rec->getName() +
3220b57cec5SDimitry Andric         "' cannot have multiple constraints!");
3230b57cec5SDimitry Andric     Ops[Op.first].Constraints[Op.second] =
3240b57cec5SDimitry Andric     CGIOperandList::ConstraintInfo::getEarlyClobber();
3250b57cec5SDimitry Andric     return;
3260b57cec5SDimitry Andric   }
3270b57cec5SDimitry Andric 
3280b57cec5SDimitry Andric   // Only other constraint is "TIED_TO" for now.
329fe6060f1SDimitry Andric   StringRef::size_type pos = CStr.find_first_of('=');
330fe6060f1SDimitry Andric   if (pos == StringRef::npos)
3310b57cec5SDimitry Andric     PrintFatalError(
3320b57cec5SDimitry Andric       Rec->getLoc(), "Unrecognized constraint '" + CStr +
3330b57cec5SDimitry Andric       "' in '" + Rec->getName() + "'");
3340b57cec5SDimitry Andric   start = CStr.find_first_not_of(" \t");
3350b57cec5SDimitry Andric 
3360b57cec5SDimitry Andric   // TIED_TO: $src1 = $dst
3370b57cec5SDimitry Andric   wpos = CStr.find_first_of(" \t", start);
338fe6060f1SDimitry Andric   if (wpos == StringRef::npos || wpos > pos)
3390b57cec5SDimitry Andric     PrintFatalError(
3400b57cec5SDimitry Andric       Rec->getLoc(), "Illegal format for tied-to constraint in '" +
3410b57cec5SDimitry Andric       Rec->getName() + "': '" + CStr + "'");
342fe6060f1SDimitry Andric   StringRef LHSOpName = CStr.substr(start, wpos - start);
3430b57cec5SDimitry Andric   std::pair<unsigned,unsigned> LHSOp = Ops.ParseOperandName(LHSOpName, false);
3440b57cec5SDimitry Andric 
3450b57cec5SDimitry Andric   wpos = CStr.find_first_not_of(" \t", pos + 1);
346fe6060f1SDimitry Andric   if (wpos == StringRef::npos)
3470b57cec5SDimitry Andric     PrintFatalError(
3480b57cec5SDimitry Andric       Rec->getLoc(), "Illegal format for tied-to constraint: '" + CStr + "'");
3490b57cec5SDimitry Andric 
350fe6060f1SDimitry Andric   StringRef RHSOpName = CStr.substr(wpos);
3510b57cec5SDimitry Andric   std::pair<unsigned,unsigned> RHSOp = Ops.ParseOperandName(RHSOpName, false);
3520b57cec5SDimitry Andric 
3530b57cec5SDimitry Andric   // Sort the operands into order, which should put the output one
3540b57cec5SDimitry Andric   // first. But keep the original order, for use in diagnostics.
3550b57cec5SDimitry Andric   bool FirstIsDest = (LHSOp < RHSOp);
3560b57cec5SDimitry Andric   std::pair<unsigned,unsigned> DestOp = (FirstIsDest ? LHSOp : RHSOp);
3570b57cec5SDimitry Andric   StringRef DestOpName = (FirstIsDest ? LHSOpName : RHSOpName);
3580b57cec5SDimitry Andric   std::pair<unsigned,unsigned> SrcOp = (FirstIsDest ? RHSOp : LHSOp);
3590b57cec5SDimitry Andric   StringRef SrcOpName = (FirstIsDest ? RHSOpName : LHSOpName);
3600b57cec5SDimitry Andric 
3610b57cec5SDimitry Andric   // Ensure one operand is a def and the other is a use.
3620b57cec5SDimitry Andric   if (DestOp.first >= Ops.NumDefs)
3630b57cec5SDimitry Andric     PrintFatalError(
3640b57cec5SDimitry Andric       Rec->getLoc(), "Input operands '" + LHSOpName + "' and '" + RHSOpName +
3650b57cec5SDimitry Andric       "' of '" + Rec->getName() + "' cannot be tied!");
3660b57cec5SDimitry Andric   if (SrcOp.first < Ops.NumDefs)
3670b57cec5SDimitry Andric     PrintFatalError(
3680b57cec5SDimitry Andric       Rec->getLoc(), "Output operands '" + LHSOpName + "' and '" + RHSOpName +
3690b57cec5SDimitry Andric       "' of '" + Rec->getName() + "' cannot be tied!");
3700b57cec5SDimitry Andric 
3710b57cec5SDimitry Andric   // The constraint has to go on the operand with higher index, i.e.
3720b57cec5SDimitry Andric   // the source one. Check there isn't another constraint there
3730b57cec5SDimitry Andric   // already.
3740b57cec5SDimitry Andric   if (!Ops[SrcOp.first].Constraints[SrcOp.second].isNone())
3750b57cec5SDimitry Andric     PrintFatalError(
3760b57cec5SDimitry Andric       Rec->getLoc(), "Operand '" + SrcOpName + "' of '" + Rec->getName() +
3770b57cec5SDimitry Andric       "' cannot have multiple constraints!");
3780b57cec5SDimitry Andric 
3790b57cec5SDimitry Andric   unsigned DestFlatOpNo = Ops.getFlattenedOperandNumber(DestOp);
3800b57cec5SDimitry Andric   auto NewConstraint = CGIOperandList::ConstraintInfo::getTied(DestFlatOpNo);
3810b57cec5SDimitry Andric 
3820b57cec5SDimitry Andric   // Check that the earlier operand is not the target of another tie
3830b57cec5SDimitry Andric   // before making it the target of this one.
3840b57cec5SDimitry Andric   for (const CGIOperandList::OperandInfo &Op : Ops) {
3850b57cec5SDimitry Andric     for (unsigned i = 0; i < Op.MINumOperands; i++)
3860b57cec5SDimitry Andric       if (Op.Constraints[i] == NewConstraint)
3870b57cec5SDimitry Andric         PrintFatalError(
3880b57cec5SDimitry Andric           Rec->getLoc(), "Operand '" + DestOpName + "' of '" + Rec->getName() +
3890b57cec5SDimitry Andric           "' cannot have multiple operands tied to it!");
3900b57cec5SDimitry Andric   }
3910b57cec5SDimitry Andric 
3920b57cec5SDimitry Andric   Ops[SrcOp.first].Constraints[SrcOp.second] = NewConstraint;
3930b57cec5SDimitry Andric }
3940b57cec5SDimitry Andric 
ParseConstraints(StringRef CStr,CGIOperandList & Ops,Record * Rec)395fe6060f1SDimitry Andric static void ParseConstraints(StringRef CStr, CGIOperandList &Ops, Record *Rec) {
3960b57cec5SDimitry Andric   if (CStr.empty()) return;
3970b57cec5SDimitry Andric 
398fe6060f1SDimitry Andric   StringRef delims(",");
399fe6060f1SDimitry Andric   StringRef::size_type bidx, eidx;
4000b57cec5SDimitry Andric 
4010b57cec5SDimitry Andric   bidx = CStr.find_first_not_of(delims);
402fe6060f1SDimitry Andric   while (bidx != StringRef::npos) {
4030b57cec5SDimitry Andric     eidx = CStr.find_first_of(delims, bidx);
404fe6060f1SDimitry Andric     if (eidx == StringRef::npos)
405fe6060f1SDimitry Andric       eidx = CStr.size();
4060b57cec5SDimitry Andric 
4070b57cec5SDimitry Andric     ParseConstraint(CStr.substr(bidx, eidx - bidx), Ops, Rec);
4080b57cec5SDimitry Andric     bidx = CStr.find_first_not_of(delims, eidx);
4090b57cec5SDimitry Andric   }
4100b57cec5SDimitry Andric }
4110b57cec5SDimitry Andric 
ProcessDisableEncoding(StringRef DisableEncoding)412fe6060f1SDimitry Andric void CGIOperandList::ProcessDisableEncoding(StringRef DisableEncoding) {
41304eeddc0SDimitry Andric   while (true) {
414fe6060f1SDimitry Andric     StringRef OpName;
415fe6060f1SDimitry Andric     std::tie(OpName, DisableEncoding) = getToken(DisableEncoding, " ,\t");
4160b57cec5SDimitry Andric     if (OpName.empty()) break;
4170b57cec5SDimitry Andric 
4180b57cec5SDimitry Andric     // Figure out which operand this is.
4190b57cec5SDimitry Andric     std::pair<unsigned,unsigned> Op = ParseOperandName(OpName, false);
4200b57cec5SDimitry Andric 
4210b57cec5SDimitry Andric     // Mark the operand as not-to-be encoded.
4220b57cec5SDimitry Andric     OperandList[Op.first].DoNotEncode[Op.second] = true;
4230b57cec5SDimitry Andric   }
4240b57cec5SDimitry Andric 
4250b57cec5SDimitry Andric }
4260b57cec5SDimitry Andric 
4270b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
4280b57cec5SDimitry Andric // CodeGenInstruction Implementation
4290b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
4300b57cec5SDimitry Andric 
CodeGenInstruction(Record * R)4310b57cec5SDimitry Andric CodeGenInstruction::CodeGenInstruction(Record *R)
4320b57cec5SDimitry Andric   : TheDef(R), Operands(R), InferredFrom(nullptr) {
4330b57cec5SDimitry Andric   Namespace = R->getValueAsString("Namespace");
4345ffd83dbSDimitry Andric   AsmString = std::string(R->getValueAsString("AsmString"));
4350b57cec5SDimitry Andric 
4368bcb0991SDimitry Andric   isPreISelOpcode = R->getValueAsBit("isPreISelOpcode");
4370b57cec5SDimitry Andric   isReturn     = R->getValueAsBit("isReturn");
4380b57cec5SDimitry Andric   isEHScopeReturn = R->getValueAsBit("isEHScopeReturn");
4390b57cec5SDimitry Andric   isBranch     = R->getValueAsBit("isBranch");
4400b57cec5SDimitry Andric   isIndirectBranch = R->getValueAsBit("isIndirectBranch");
4410b57cec5SDimitry Andric   isCompare    = R->getValueAsBit("isCompare");
4420b57cec5SDimitry Andric   isMoveImm    = R->getValueAsBit("isMoveImm");
4430b57cec5SDimitry Andric   isMoveReg    = R->getValueAsBit("isMoveReg");
4440b57cec5SDimitry Andric   isBitcast    = R->getValueAsBit("isBitcast");
4450b57cec5SDimitry Andric   isSelect     = R->getValueAsBit("isSelect");
4460b57cec5SDimitry Andric   isBarrier    = R->getValueAsBit("isBarrier");
4470b57cec5SDimitry Andric   isCall       = R->getValueAsBit("isCall");
4480b57cec5SDimitry Andric   isAdd        = R->getValueAsBit("isAdd");
4490b57cec5SDimitry Andric   isTrap       = R->getValueAsBit("isTrap");
4500b57cec5SDimitry Andric   canFoldAsLoad = R->getValueAsBit("canFoldAsLoad");
4510b57cec5SDimitry Andric   isPredicable = !R->getValueAsBit("isUnpredicable") && (
4520b57cec5SDimitry Andric       Operands.isPredicable || R->getValueAsBit("isPredicable"));
4530b57cec5SDimitry Andric   isConvertibleToThreeAddress = R->getValueAsBit("isConvertibleToThreeAddress");
4540b57cec5SDimitry Andric   isCommutable = R->getValueAsBit("isCommutable");
4550b57cec5SDimitry Andric   isTerminator = R->getValueAsBit("isTerminator");
4560b57cec5SDimitry Andric   isReMaterializable = R->getValueAsBit("isReMaterializable");
4570b57cec5SDimitry Andric   hasDelaySlot = R->getValueAsBit("hasDelaySlot");
4580b57cec5SDimitry Andric   usesCustomInserter = R->getValueAsBit("usesCustomInserter");
4590b57cec5SDimitry Andric   hasPostISelHook = R->getValueAsBit("hasPostISelHook");
4600b57cec5SDimitry Andric   hasCtrlDep   = R->getValueAsBit("hasCtrlDep");
4610b57cec5SDimitry Andric   isNotDuplicable = R->getValueAsBit("isNotDuplicable");
4620b57cec5SDimitry Andric   isRegSequence = R->getValueAsBit("isRegSequence");
4630b57cec5SDimitry Andric   isExtractSubreg = R->getValueAsBit("isExtractSubreg");
4640b57cec5SDimitry Andric   isInsertSubreg = R->getValueAsBit("isInsertSubreg");
4650b57cec5SDimitry Andric   isConvergent = R->getValueAsBit("isConvergent");
4660b57cec5SDimitry Andric   hasNoSchedulingInfo = R->getValueAsBit("hasNoSchedulingInfo");
4670b57cec5SDimitry Andric   FastISelShouldIgnore = R->getValueAsBit("FastISelShouldIgnore");
4680b57cec5SDimitry Andric   variadicOpsAreDefs = R->getValueAsBit("variadicOpsAreDefs");
469480093f4SDimitry Andric   isAuthenticated = R->getValueAsBit("isAuthenticated");
4700b57cec5SDimitry Andric 
4710b57cec5SDimitry Andric   bool Unset;
4720b57cec5SDimitry Andric   mayLoad      = R->getValueAsBitOrUnset("mayLoad", Unset);
4730b57cec5SDimitry Andric   mayLoad_Unset = Unset;
4740b57cec5SDimitry Andric   mayStore     = R->getValueAsBitOrUnset("mayStore", Unset);
4750b57cec5SDimitry Andric   mayStore_Unset = Unset;
4760b57cec5SDimitry Andric   mayRaiseFPException = R->getValueAsBit("mayRaiseFPException");
4770b57cec5SDimitry Andric   hasSideEffects = R->getValueAsBitOrUnset("hasSideEffects", Unset);
4780b57cec5SDimitry Andric   hasSideEffects_Unset = Unset;
4790b57cec5SDimitry Andric 
4800b57cec5SDimitry Andric   isAsCheapAsAMove = R->getValueAsBit("isAsCheapAsAMove");
4810b57cec5SDimitry Andric   hasExtraSrcRegAllocReq = R->getValueAsBit("hasExtraSrcRegAllocReq");
4820b57cec5SDimitry Andric   hasExtraDefRegAllocReq = R->getValueAsBit("hasExtraDefRegAllocReq");
4830b57cec5SDimitry Andric   isCodeGenOnly = R->getValueAsBit("isCodeGenOnly");
4840b57cec5SDimitry Andric   isPseudo = R->getValueAsBit("isPseudo");
48581ad6265SDimitry Andric   isMeta = R->getValueAsBit("isMeta");
4860b57cec5SDimitry Andric   ImplicitDefs = R->getValueAsListOfDefs("Defs");
4870b57cec5SDimitry Andric   ImplicitUses = R->getValueAsListOfDefs("Uses");
4880b57cec5SDimitry Andric 
4890b57cec5SDimitry Andric   // This flag is only inferred from the pattern.
4900b57cec5SDimitry Andric   hasChain = false;
4910b57cec5SDimitry Andric   hasChain_Inferred = false;
4920b57cec5SDimitry Andric 
4930b57cec5SDimitry Andric   // Parse Constraints.
494fe6060f1SDimitry Andric   ParseConstraints(R->getValueAsString("Constraints"), Operands, R);
4950b57cec5SDimitry Andric 
4960b57cec5SDimitry Andric   // Parse the DisableEncoding field.
4975ffd83dbSDimitry Andric   Operands.ProcessDisableEncoding(
498fe6060f1SDimitry Andric       R->getValueAsString("DisableEncoding"));
4990b57cec5SDimitry Andric 
5000b57cec5SDimitry Andric   // First check for a ComplexDeprecationPredicate.
5010b57cec5SDimitry Andric   if (R->getValue("ComplexDeprecationPredicate")) {
5020b57cec5SDimitry Andric     HasComplexDeprecationPredicate = true;
5035ffd83dbSDimitry Andric     DeprecatedReason =
5045ffd83dbSDimitry Andric         std::string(R->getValueAsString("ComplexDeprecationPredicate"));
5050b57cec5SDimitry Andric   } else if (RecordVal *Dep = R->getValue("DeprecatedFeatureMask")) {
5060b57cec5SDimitry Andric     // Check if we have a Subtarget feature mask.
5070b57cec5SDimitry Andric     HasComplexDeprecationPredicate = false;
5080b57cec5SDimitry Andric     DeprecatedReason = Dep->getValue()->getAsString();
5090b57cec5SDimitry Andric   } else {
5100b57cec5SDimitry Andric     // This instruction isn't deprecated.
5110b57cec5SDimitry Andric     HasComplexDeprecationPredicate = false;
5120b57cec5SDimitry Andric     DeprecatedReason = "";
5130b57cec5SDimitry Andric   }
5140b57cec5SDimitry Andric }
5150b57cec5SDimitry Andric 
5160b57cec5SDimitry Andric /// HasOneImplicitDefWithKnownVT - If the instruction has at least one
5170b57cec5SDimitry Andric /// implicit def and it has a known VT, return the VT, otherwise return
5180b57cec5SDimitry Andric /// MVT::Other.
5190b57cec5SDimitry Andric MVT::SimpleValueType CodeGenInstruction::
HasOneImplicitDefWithKnownVT(const CodeGenTarget & TargetInfo) const5200b57cec5SDimitry Andric HasOneImplicitDefWithKnownVT(const CodeGenTarget &TargetInfo) const {
5210b57cec5SDimitry Andric   if (ImplicitDefs.empty()) return MVT::Other;
5220b57cec5SDimitry Andric 
5230b57cec5SDimitry Andric   // Check to see if the first implicit def has a resolvable type.
5240b57cec5SDimitry Andric   Record *FirstImplicitDef = ImplicitDefs[0];
5250b57cec5SDimitry Andric   assert(FirstImplicitDef->isSubClassOf("Register"));
5260b57cec5SDimitry Andric   const std::vector<ValueTypeByHwMode> &RegVTs =
5270b57cec5SDimitry Andric     TargetInfo.getRegisterVTs(FirstImplicitDef);
5280b57cec5SDimitry Andric   if (RegVTs.size() == 1 && RegVTs[0].isSimple())
5290b57cec5SDimitry Andric     return RegVTs[0].getSimple().SimpleTy;
5300b57cec5SDimitry Andric   return MVT::Other;
5310b57cec5SDimitry Andric }
5320b57cec5SDimitry Andric 
5330b57cec5SDimitry Andric 
5340b57cec5SDimitry Andric /// FlattenAsmStringVariants - Flatten the specified AsmString to only
5350b57cec5SDimitry Andric /// include text from the specified variant, returning the new string.
5360b57cec5SDimitry Andric std::string CodeGenInstruction::
FlattenAsmStringVariants(StringRef Cur,unsigned Variant)5370b57cec5SDimitry Andric FlattenAsmStringVariants(StringRef Cur, unsigned Variant) {
538e8d8bef9SDimitry Andric   std::string Res;
5390b57cec5SDimitry Andric 
5400b57cec5SDimitry Andric   for (;;) {
5410b57cec5SDimitry Andric     // Find the start of the next variant string.
5420b57cec5SDimitry Andric     size_t VariantsStart = 0;
5430b57cec5SDimitry Andric     for (size_t e = Cur.size(); VariantsStart != e; ++VariantsStart)
5440b57cec5SDimitry Andric       if (Cur[VariantsStart] == '{' &&
5450b57cec5SDimitry Andric           (VariantsStart == 0 || (Cur[VariantsStart-1] != '$' &&
5460b57cec5SDimitry Andric                                   Cur[VariantsStart-1] != '\\')))
5470b57cec5SDimitry Andric         break;
5480b57cec5SDimitry Andric 
5490b57cec5SDimitry Andric     // Add the prefix to the result.
5500b57cec5SDimitry Andric     Res += Cur.slice(0, VariantsStart);
5510b57cec5SDimitry Andric     if (VariantsStart == Cur.size())
5520b57cec5SDimitry Andric       break;
5530b57cec5SDimitry Andric 
5540b57cec5SDimitry Andric     ++VariantsStart; // Skip the '{'.
5550b57cec5SDimitry Andric 
5560b57cec5SDimitry Andric     // Scan to the end of the variants string.
5570b57cec5SDimitry Andric     size_t VariantsEnd = VariantsStart;
5580b57cec5SDimitry Andric     unsigned NestedBraces = 1;
5590b57cec5SDimitry Andric     for (size_t e = Cur.size(); VariantsEnd != e; ++VariantsEnd) {
5600b57cec5SDimitry Andric       if (Cur[VariantsEnd] == '}' && Cur[VariantsEnd-1] != '\\') {
5610b57cec5SDimitry Andric         if (--NestedBraces == 0)
5620b57cec5SDimitry Andric           break;
5630b57cec5SDimitry Andric       } else if (Cur[VariantsEnd] == '{')
5640b57cec5SDimitry Andric         ++NestedBraces;
5650b57cec5SDimitry Andric     }
5660b57cec5SDimitry Andric 
5670b57cec5SDimitry Andric     // Select the Nth variant (or empty).
5680b57cec5SDimitry Andric     StringRef Selection = Cur.slice(VariantsStart, VariantsEnd);
5690b57cec5SDimitry Andric     for (unsigned i = 0; i != Variant; ++i)
5700b57cec5SDimitry Andric       Selection = Selection.split('|').second;
5710b57cec5SDimitry Andric     Res += Selection.split('|').first;
5720b57cec5SDimitry Andric 
5730b57cec5SDimitry Andric     assert(VariantsEnd != Cur.size() &&
5740b57cec5SDimitry Andric            "Unterminated variants in assembly string!");
5750b57cec5SDimitry Andric     Cur = Cur.substr(VariantsEnd + 1);
5760b57cec5SDimitry Andric   }
5770b57cec5SDimitry Andric 
5780b57cec5SDimitry Andric   return Res;
5790b57cec5SDimitry Andric }
5800b57cec5SDimitry Andric 
isOperandImpl(StringRef OpListName,unsigned i,StringRef PropertyName) const581bdd1243dSDimitry Andric bool CodeGenInstruction::isOperandImpl(StringRef OpListName, unsigned i,
582480093f4SDimitry Andric                                        StringRef PropertyName) const {
583bdd1243dSDimitry Andric   DagInit *ConstraintList = TheDef->getValueAsDag(OpListName);
584480093f4SDimitry Andric   if (!ConstraintList || i >= ConstraintList->getNumArgs())
5850b57cec5SDimitry Andric     return false;
586480093f4SDimitry Andric 
587480093f4SDimitry Andric   DefInit *Constraint = dyn_cast<DefInit>(ConstraintList->getArg(i));
588480093f4SDimitry Andric   if (!Constraint)
589480093f4SDimitry Andric     return false;
590480093f4SDimitry Andric 
591480093f4SDimitry Andric   return Constraint->getDef()->isSubClassOf("TypedOperand") &&
592480093f4SDimitry Andric          Constraint->getDef()->getValueAsBit(PropertyName);
5930b57cec5SDimitry Andric }
594