X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=utils%2FTableGen%2FCodeGenInstruction.h;h=0727e38c538f5f68f3c8d792480ea2bc99ee6c1d;hb=abb1f1688172cf6f3c5bc539841da76053f23533;hp=5269cc76e2b9d9de0724fdbaa493c4afbdc442dd;hpb=87c5905e0b6f551e21c9a96f1b6418920d908210;p=oota-llvm.git diff --git a/utils/TableGen/CodeGenInstruction.h b/utils/TableGen/CodeGenInstruction.h index 5269cc76e2b..0727e38c538 100644 --- a/utils/TableGen/CodeGenInstruction.h +++ b/utils/TableGen/CodeGenInstruction.h @@ -1,10 +1,10 @@ //===- CodeGenInstruction.h - Instruction Class Wrapper ---------*- C++ -*-===// -// +// // The LLVM Compiler Infrastructure // -// This file was developed by the LLVM research group and is distributed under -// the University of Illinois Open Source License. See LICENSE.TXT for details. -// +// This file is distributed under the University of Illinois Open Source +// License. See LICENSE.TXT for details. +// //===----------------------------------------------------------------------===// // // This file defines a wrapper class for the 'Instruction' TableGen class. @@ -21,27 +21,64 @@ namespace llvm { class Record; + class DagInit; - struct CodeGenInstruction { + class CodeGenInstruction { + public: Record *TheDef; // The actual record defining this instruction. - std::string Name; // Contents of the 'Name' field. std::string Namespace; // The namespace the instruction is in. /// AsmString - The format string used to emit a .s file for the /// instruction. std::string AsmString; - - /// OperandInfo - For each operand declared in the OperandList of the - /// instruction, keep track of its record (which specifies the class of the - /// operand), its type, and the name given to the operand, if any. + + /// OperandInfo - The information we keep track of for each operand in the + /// operand list for a tablegen instruction. struct OperandInfo { + /// Rec - The definition this operand is declared as. + /// Record *Rec; - MVT::ValueType Ty; + + /// Name - If this operand was assigned a symbolic name, this is it, + /// otherwise, it's empty. std::string Name; - OperandInfo(Record *R, MVT::ValueType T, const std::string &N) - : Rec(R), Ty(T), Name(N) {} + + /// PrinterMethodName - The method used to print operands of this type in + /// the asmprinter. + std::string PrinterMethodName; + + /// MIOperandNo - Currently (this is meant to be phased out), some logical + /// operands correspond to multiple MachineInstr operands. In the X86 + /// target for example, one address operand is represented as 4 + /// MachineOperands. Because of this, the operand number in the + /// OperandList may not match the MachineInstr operand num. Until it + /// does, this contains the MI operand index of this operand. + unsigned MIOperandNo; + unsigned MINumOperands; // The number of operands. + + /// DoNotEncode - Bools are set to true in this vector for each operand in + /// the DisableEncoding list. These should not be emitted by the code + /// emitter. + std::vector DoNotEncode; + + /// MIOperandInfo - Default MI operand type. Note an operand may be made + /// up of multiple MI operands. + DagInit *MIOperandInfo; + + /// Constraint info for this operand. This operand can have pieces, so we + /// track constraint info for each. + std::vector Constraints; + + OperandInfo(Record *R, const std::string &N, const std::string &PMN, + unsigned MION, unsigned MINO, DagInit *MIOI) + : Rec(R), Name(N), PrinterMethodName(PMN), MIOperandNo(MION), + MINumOperands(MINO), MIOperandInfo(MIOI) {} }; - + + /// NumDefs - Number of def operands declared. + /// + unsigned NumDefs; + /// OperandList - The list of declared operands, along with their declared /// type (which is a record). std::vector OperandList; @@ -49,12 +86,62 @@ namespace llvm { // Various boolean values we track for the instruction. bool isReturn; bool isBranch; + bool isIndirectBranch; bool isBarrier; bool isCall; - bool isTwoAddress; + bool isSimpleLoad; + bool mayLoad, mayStore; + bool isPredicable; + bool isConvertibleToThreeAddress; + bool isCommutable; bool isTerminator; + bool isReMaterializable; + bool hasDelaySlot; + bool usesCustomDAGSchedInserter; + bool isVariadic; + bool hasCtrlDep; + bool isNotDuplicable; + bool hasOptionalDef; + bool hasSideEffects; + bool mayHaveSideEffects; + bool neverHasSideEffects; + bool isAsCheapAsAMove; + + /// ParseOperandName - Parse an operand name like "$foo" or "$foo.bar", + /// where $foo is a whole operand and $foo.bar refers to a suboperand. + /// This throws an exception if the name is invalid. If AllowWholeOp is + /// true, references to operands with suboperands are allowed, otherwise + /// not. + std::pair ParseOperandName(const std::string &Op, + bool AllowWholeOp = true); + + /// getFlattenedOperandNumber - Flatten a operand/suboperand pair into a + /// flat machineinstr operand #. + unsigned getFlattenedOperandNumber(std::pair Op) const { + return OperandList[Op.first].MIOperandNo + Op.second; + } + + /// getSubOperandNumber - Unflatten a operand number into an + /// operand/suboperand pair. + std::pair getSubOperandNumber(unsigned Op) const { + for (unsigned i = 0; ; ++i) { + assert(i < OperandList.size() && "Invalid flat operand #"); + if (OperandList[i].MIOperandNo+OperandList[i].MINumOperands > Op) + return std::make_pair(i, Op-OperandList[i].MIOperandNo); + } + } + + + /// isFlatOperandNotEmitted - Return true if the specified flat operand # + /// should not be emitted with the code emitter. + bool isFlatOperandNotEmitted(unsigned FlatOpNo) const { + std::pair Op = getSubOperandNumber(FlatOpNo); + if (OperandList[Op.first].DoNotEncode.size() > Op.second) + return OperandList[Op.first].DoNotEncode[Op.second]; + return false; + } - CodeGenInstruction(Record *R); + CodeGenInstruction(Record *R, const std::string &AsmStr); /// getOperandNamed - Return the index of the operand with the specified /// non-empty name. If the instruction does not have an operand with the