Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 1 | //===- CodeGenInstruction.h - Instruction Class Wrapper ---------*- C++ -*-===// |
Misha Brukman | 3da94ae | 2005-04-22 00:00:37 +0000 | [diff] [blame] | 2 | // |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 3060910 | 2007-12-29 20:37:13 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Misha Brukman | 3da94ae | 2005-04-22 00:00:37 +0000 | [diff] [blame] | 7 | // |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file defines a wrapper class for the 'Instruction' TableGen class. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Benjamin Kramer | 00e08fc | 2014-08-13 16:26:38 +0000 | [diff] [blame] | 14 | #ifndef LLVM_UTILS_TABLEGEN_CODEGENINSTRUCTION_H |
| 15 | #define LLVM_UTILS_TABLEGEN_CODEGENINSTRUCTION_H |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 16 | |
Chris Lattner | 225549f | 2010-11-06 06:39:47 +0000 | [diff] [blame] | 17 | #include "llvm/ADT/StringRef.h" |
David Blaikie | 9d9a46a | 2018-03-23 23:58:25 +0000 | [diff] [blame] | 18 | #include "llvm/Support/MachineValueType.h" |
Craig Topper | 0547b62 | 2015-06-08 01:35:40 +0000 | [diff] [blame] | 19 | #include "llvm/Support/SMLoc.h" |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 20 | #include <string> |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 21 | #include <utility> |
Chandler Carruth | 4ffd89f | 2012-12-04 10:37:14 +0000 | [diff] [blame] | 22 | #include <vector> |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 23 | |
| 24 | namespace llvm { |
Mehdi Amini | f6071e1 | 2016-04-18 09:17:29 +0000 | [diff] [blame] | 25 | template <typename T> class ArrayRef; |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 26 | class Record; |
Chris Lattner | 65303d6 | 2005-11-19 07:05:57 +0000 | [diff] [blame] | 27 | class DagInit; |
Chris Lattner | 9414ae5 | 2010-03-27 20:09:24 +0000 | [diff] [blame] | 28 | class CodeGenTarget; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 29 | |
Chris Lattner | c240bb0 | 2010-11-01 04:03:32 +0000 | [diff] [blame] | 30 | class CGIOperandList { |
Jeff Cohen | d41b30d | 2006-11-05 19:31:28 +0000 | [diff] [blame] | 31 | public: |
Chris Lattner | a7d479c | 2010-02-10 01:45:28 +0000 | [diff] [blame] | 32 | class ConstraintInfo { |
| 33 | enum { None, EarlyClobber, Tied } Kind; |
| 34 | unsigned OtherTiedOperand; |
| 35 | public: |
| 36 | ConstraintInfo() : Kind(None) {} |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 37 | |
Chris Lattner | a7d479c | 2010-02-10 01:45:28 +0000 | [diff] [blame] | 38 | static ConstraintInfo getEarlyClobber() { |
| 39 | ConstraintInfo I; |
| 40 | I.Kind = EarlyClobber; |
Chris Lattner | e555c9f | 2010-02-10 21:22:51 +0000 | [diff] [blame] | 41 | I.OtherTiedOperand = 0; |
Chris Lattner | a7d479c | 2010-02-10 01:45:28 +0000 | [diff] [blame] | 42 | return I; |
| 43 | } |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 44 | |
Chris Lattner | a7d479c | 2010-02-10 01:45:28 +0000 | [diff] [blame] | 45 | static ConstraintInfo getTied(unsigned Op) { |
| 46 | ConstraintInfo I; |
| 47 | I.Kind = Tied; |
| 48 | I.OtherTiedOperand = Op; |
| 49 | return I; |
| 50 | } |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 51 | |
Chris Lattner | a7d479c | 2010-02-10 01:45:28 +0000 | [diff] [blame] | 52 | bool isNone() const { return Kind == None; } |
| 53 | bool isEarlyClobber() const { return Kind == EarlyClobber; } |
| 54 | bool isTied() const { return Kind == Tied; } |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 55 | |
Chris Lattner | a7d479c | 2010-02-10 01:45:28 +0000 | [diff] [blame] | 56 | unsigned getTiedOperand() const { |
| 57 | assert(isTied()); |
| 58 | return OtherTiedOperand; |
| 59 | } |
Simon Tatham | 4b88bad | 2018-11-28 11:43:49 +0000 | [diff] [blame] | 60 | |
| 61 | bool operator==(const ConstraintInfo &RHS) const { |
| 62 | if (Kind != RHS.Kind) |
| 63 | return false; |
| 64 | if (Kind == Tied && OtherTiedOperand != RHS.OtherTiedOperand) |
| 65 | return false; |
| 66 | return true; |
| 67 | } |
Haojian Wu | 9d5ac66 | 2018-11-28 12:32:53 +0000 | [diff] [blame] | 68 | bool operator!=(const ConstraintInfo &RHS) const { |
| 69 | return !(*this == RHS); |
| 70 | } |
Chris Lattner | a7d479c | 2010-02-10 01:45:28 +0000 | [diff] [blame] | 71 | }; |
Jim Grosbach | 9ed2cee | 2010-10-08 18:09:59 +0000 | [diff] [blame] | 72 | |
Chris Lattner | cf03da0 | 2004-08-11 02:22:39 +0000 | [diff] [blame] | 73 | /// OperandInfo - The information we keep track of for each operand in the |
| 74 | /// operand list for a tablegen instruction. |
Chris Lattner | 87c5905 | 2004-08-01 07:42:39 +0000 | [diff] [blame] | 75 | struct OperandInfo { |
Chris Lattner | cf03da0 | 2004-08-11 02:22:39 +0000 | [diff] [blame] | 76 | /// Rec - The definition this operand is declared as. |
Chris Lattner | 0e384b6 | 2005-08-19 16:57:28 +0000 | [diff] [blame] | 77 | /// |
Chris Lattner | 87c5905 | 2004-08-01 07:42:39 +0000 | [diff] [blame] | 78 | Record *Rec; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 79 | |
Chris Lattner | cf03da0 | 2004-08-11 02:22:39 +0000 | [diff] [blame] | 80 | /// Name - If this operand was assigned a symbolic name, this is it, |
| 81 | /// otherwise, it's empty. |
Chris Lattner | 87c5905 | 2004-08-01 07:42:39 +0000 | [diff] [blame] | 82 | std::string Name; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 83 | |
Chris Lattner | cf03da0 | 2004-08-11 02:22:39 +0000 | [diff] [blame] | 84 | /// PrinterMethodName - The method used to print operands of this type in |
| 85 | /// the asmprinter. |
| 86 | std::string PrinterMethodName; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 87 | |
Jim Grosbach | 5013f74 | 2010-10-12 22:21:57 +0000 | [diff] [blame] | 88 | /// EncoderMethodName - The method used to get the machine operand value |
| 89 | /// for binary encoding. "getMachineOpValue" by default. |
| 90 | std::string EncoderMethodName; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 91 | |
Benjamin Kramer | 5196c12 | 2011-07-14 21:47:18 +0000 | [diff] [blame] | 92 | /// OperandType - A value from MCOI::OperandType representing the type of |
| 93 | /// the operand. |
| 94 | std::string OperandType; |
| 95 | |
Chris Lattner | cf03da0 | 2004-08-11 02:22:39 +0000 | [diff] [blame] | 96 | /// MIOperandNo - Currently (this is meant to be phased out), some logical |
| 97 | /// operands correspond to multiple MachineInstr operands. In the X86 |
| 98 | /// target for example, one address operand is represented as 4 |
| 99 | /// MachineOperands. Because of this, the operand number in the |
| 100 | /// OperandList may not match the MachineInstr operand num. Until it |
| 101 | /// does, this contains the MI operand index of this operand. |
| 102 | unsigned MIOperandNo; |
Chris Lattner | cfbf96a | 2005-08-18 23:38:41 +0000 | [diff] [blame] | 103 | unsigned MINumOperands; // The number of operands. |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 104 | |
Chris Lattner | f64f9a4 | 2006-11-15 23:23:02 +0000 | [diff] [blame] | 105 | /// DoNotEncode - Bools are set to true in this vector for each operand in |
| 106 | /// the DisableEncoding list. These should not be emitted by the code |
| 107 | /// emitter. |
| 108 | std::vector<bool> DoNotEncode; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 109 | |
Nate Begeman | 8ef9d16 | 2005-11-30 23:58:18 +0000 | [diff] [blame] | 110 | /// MIOperandInfo - Default MI operand type. Note an operand may be made |
| 111 | /// up of multiple MI operands. |
David Greene | 05bce0b | 2011-07-29 22:43:06 +0000 | [diff] [blame] | 112 | DagInit *MIOperandInfo; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 113 | |
Chris Lattner | 0bb7500 | 2006-11-15 02:38:17 +0000 | [diff] [blame] | 114 | /// Constraint info for this operand. This operand can have pieces, so we |
| 115 | /// track constraint info for each. |
Chris Lattner | a7d479c | 2010-02-10 01:45:28 +0000 | [diff] [blame] | 116 | std::vector<ConstraintInfo> Constraints; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 117 | |
Jim Grosbach | 9ed2cee | 2010-10-08 18:09:59 +0000 | [diff] [blame] | 118 | OperandInfo(Record *R, const std::string &N, const std::string &PMN, |
Benjamin Kramer | 5196c12 | 2011-07-14 21:47:18 +0000 | [diff] [blame] | 119 | const std::string &EMN, const std::string &OT, unsigned MION, |
David Greene | 05bce0b | 2011-07-29 22:43:06 +0000 | [diff] [blame] | 120 | unsigned MINO, DagInit *MIOI) |
Chris Lattner | c240bb0 | 2010-11-01 04:03:32 +0000 | [diff] [blame] | 121 | : Rec(R), Name(N), PrinterMethodName(PMN), EncoderMethodName(EMN), |
Benjamin Kramer | 5196c12 | 2011-07-14 21:47:18 +0000 | [diff] [blame] | 122 | OperandType(OT), MIOperandNo(MION), MINumOperands(MINO), |
| 123 | MIOperandInfo(MIOI) {} |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 124 | |
| 125 | |
Chris Lattner | 9b0d4bf | 2010-11-02 22:55:03 +0000 | [diff] [blame] | 126 | /// getTiedOperand - If this operand is tied to another one, return the |
| 127 | /// other operand number. Otherwise, return -1. |
| 128 | int getTiedRegister() const { |
| 129 | for (unsigned j = 0, e = Constraints.size(); j != e; ++j) { |
| 130 | const CGIOperandList::ConstraintInfo &CI = Constraints[j]; |
| 131 | if (CI.isTied()) return CI.getTiedOperand(); |
| 132 | } |
| 133 | return -1; |
| 134 | } |
Chris Lattner | 87c5905 | 2004-08-01 07:42:39 +0000 | [diff] [blame] | 135 | }; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 136 | |
Chris Lattner | c240bb0 | 2010-11-01 04:03:32 +0000 | [diff] [blame] | 137 | CGIOperandList(Record *D); |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 138 | |
Chris Lattner | c240bb0 | 2010-11-01 04:03:32 +0000 | [diff] [blame] | 139 | Record *TheDef; // The actual record containing this OperandList. |
Misha Brukman | 3da94ae | 2005-04-22 00:00:37 +0000 | [diff] [blame] | 140 | |
Chris Lattner | cedef1c | 2010-03-18 20:50:52 +0000 | [diff] [blame] | 141 | /// NumDefs - Number of def operands declared, this is the number of |
| 142 | /// elements in the instruction's (outs) list. |
Evan Cheng | 64d80e3 | 2007-07-19 01:14:50 +0000 | [diff] [blame] | 143 | /// |
| 144 | unsigned NumDefs; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 145 | |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 146 | /// OperandList - The list of declared operands, along with their declared |
| 147 | /// type (which is a record). |
Chris Lattner | 87c5905 | 2004-08-01 07:42:39 +0000 | [diff] [blame] | 148 | std::vector<OperandInfo> OperandList; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 149 | |
Chris Lattner | c240bb0 | 2010-11-01 04:03:32 +0000 | [diff] [blame] | 150 | // Information gleaned from the operand list. |
| 151 | bool isPredicable; |
| 152 | bool hasOptionalDef; |
| 153 | bool isVariadic; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 154 | |
Chris Lattner | c240bb0 | 2010-11-01 04:03:32 +0000 | [diff] [blame] | 155 | // Provide transparent accessors to the operand list. |
Chris Lattner | a90dbc1 | 2011-04-17 22:24:13 +0000 | [diff] [blame] | 156 | bool empty() const { return OperandList.empty(); } |
Chris Lattner | c240bb0 | 2010-11-01 04:03:32 +0000 | [diff] [blame] | 157 | unsigned size() const { return OperandList.size(); } |
| 158 | const OperandInfo &operator[](unsigned i) const { return OperandList[i]; } |
| 159 | OperandInfo &operator[](unsigned i) { return OperandList[i]; } |
| 160 | OperandInfo &back() { return OperandList.back(); } |
| 161 | const OperandInfo &back() const { return OperandList.back(); } |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 162 | |
Jim Grosbach | 3db76cc | 2014-04-18 02:08:58 +0000 | [diff] [blame] | 163 | typedef std::vector<OperandInfo>::iterator iterator; |
| 164 | typedef std::vector<OperandInfo>::const_iterator const_iterator; |
| 165 | iterator begin() { return OperandList.begin(); } |
| 166 | const_iterator begin() const { return OperandList.begin(); } |
| 167 | iterator end() { return OperandList.end(); } |
| 168 | const_iterator end() const { return OperandList.end(); } |
| 169 | |
Chris Lattner | c240bb0 | 2010-11-01 04:03:32 +0000 | [diff] [blame] | 170 | /// getOperandNamed - Return the index of the operand with the specified |
| 171 | /// non-empty name. If the instruction does not have an operand with the |
Joerg Sonnenberger | 61131ab | 2012-10-25 20:33:17 +0000 | [diff] [blame] | 172 | /// specified name, abort. |
Chris Lattner | c240bb0 | 2010-11-01 04:03:32 +0000 | [diff] [blame] | 173 | unsigned getOperandNamed(StringRef Name) const; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 174 | |
Chris Lattner | c240bb0 | 2010-11-01 04:03:32 +0000 | [diff] [blame] | 175 | /// hasOperandNamed - Query whether the instruction has an operand of the |
| 176 | /// given name. If so, return true and set OpIdx to the index of the |
| 177 | /// operand. Otherwise, return false. |
| 178 | bool hasOperandNamed(StringRef Name, unsigned &OpIdx) const; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 179 | |
Chris Lattner | c240bb0 | 2010-11-01 04:03:32 +0000 | [diff] [blame] | 180 | /// ParseOperandName - Parse an operand name like "$foo" or "$foo.bar", |
| 181 | /// where $foo is a whole operand and $foo.bar refers to a suboperand. |
Joerg Sonnenberger | 61131ab | 2012-10-25 20:33:17 +0000 | [diff] [blame] | 182 | /// This aborts if the name is invalid. If AllowWholeOp is true, references |
| 183 | /// to operands with suboperands are allowed, otherwise not. |
Chris Lattner | c240bb0 | 2010-11-01 04:03:32 +0000 | [diff] [blame] | 184 | std::pair<unsigned,unsigned> ParseOperandName(const std::string &Op, |
| 185 | bool AllowWholeOp = true); |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 186 | |
Chris Lattner | c240bb0 | 2010-11-01 04:03:32 +0000 | [diff] [blame] | 187 | /// getFlattenedOperandNumber - Flatten a operand/suboperand pair into a |
| 188 | /// flat machineinstr operand #. |
| 189 | unsigned getFlattenedOperandNumber(std::pair<unsigned,unsigned> Op) const { |
| 190 | return OperandList[Op.first].MIOperandNo + Op.second; |
| 191 | } |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 192 | |
Chris Lattner | c240bb0 | 2010-11-01 04:03:32 +0000 | [diff] [blame] | 193 | /// getSubOperandNumber - Unflatten a operand number into an |
| 194 | /// operand/suboperand pair. |
| 195 | std::pair<unsigned,unsigned> getSubOperandNumber(unsigned Op) const { |
| 196 | for (unsigned i = 0; ; ++i) { |
| 197 | assert(i < OperandList.size() && "Invalid flat operand #"); |
| 198 | if (OperandList[i].MIOperandNo+OperandList[i].MINumOperands > Op) |
| 199 | return std::make_pair(i, Op-OperandList[i].MIOperandNo); |
| 200 | } |
| 201 | } |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 202 | |
| 203 | |
Chris Lattner | c240bb0 | 2010-11-01 04:03:32 +0000 | [diff] [blame] | 204 | /// isFlatOperandNotEmitted - Return true if the specified flat operand # |
| 205 | /// should not be emitted with the code emitter. |
| 206 | bool isFlatOperandNotEmitted(unsigned FlatOpNo) const { |
| 207 | std::pair<unsigned,unsigned> Op = getSubOperandNumber(FlatOpNo); |
| 208 | if (OperandList[Op.first].DoNotEncode.size() > Op.second) |
| 209 | return OperandList[Op.first].DoNotEncode[Op.second]; |
| 210 | return false; |
| 211 | } |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 212 | |
Chris Lattner | c240bb0 | 2010-11-01 04:03:32 +0000 | [diff] [blame] | 213 | void ProcessDisableEncoding(std::string Value); |
| 214 | }; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 215 | |
Chris Lattner | c240bb0 | 2010-11-01 04:03:32 +0000 | [diff] [blame] | 216 | |
| 217 | class CodeGenInstruction { |
| 218 | public: |
| 219 | Record *TheDef; // The actual record defining this instruction. |
Craig Topper | 77eddb7 | 2017-07-07 06:22:35 +0000 | [diff] [blame] | 220 | StringRef Namespace; // The namespace the instruction is in. |
Chris Lattner | c240bb0 | 2010-11-01 04:03:32 +0000 | [diff] [blame] | 221 | |
| 222 | /// AsmString - The format string used to emit a .s file for the |
| 223 | /// instruction. |
| 224 | std::string AsmString; |
| 225 | |
| 226 | /// Operands - This is information about the (ins) and (outs) list specified |
| 227 | /// to the instruction. |
| 228 | CGIOperandList Operands; |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 229 | |
Chris Lattner | f506b6b | 2010-03-18 21:42:03 +0000 | [diff] [blame] | 230 | /// ImplicitDefs/ImplicitUses - These are lists of registers that are |
| 231 | /// implicitly defined and used by the instruction. |
| 232 | std::vector<Record*> ImplicitDefs, ImplicitUses; |
| 233 | |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 234 | // Various boolean values we track for the instruction. |
Craig Topper | 51dd765 | 2014-02-05 09:10:40 +0000 | [diff] [blame] | 235 | bool isReturn : 1; |
Heejin Ahn | 408053d | 2018-08-21 19:44:11 +0000 | [diff] [blame] | 236 | bool isEHScopeReturn : 1; |
Craig Topper | 51dd765 | 2014-02-05 09:10:40 +0000 | [diff] [blame] | 237 | bool isBranch : 1; |
| 238 | bool isIndirectBranch : 1; |
| 239 | bool isCompare : 1; |
| 240 | bool isMoveImm : 1; |
Petar Jovanovic | 4d97951 | 2018-05-23 15:28:28 +0000 | [diff] [blame] | 241 | bool isMoveReg : 1; |
Craig Topper | 51dd765 | 2014-02-05 09:10:40 +0000 | [diff] [blame] | 242 | bool isBitcast : 1; |
| 243 | bool isSelect : 1; |
| 244 | bool isBarrier : 1; |
| 245 | bool isCall : 1; |
Sjoerd Meijer | 82d457b | 2016-09-14 08:20:03 +0000 | [diff] [blame] | 246 | bool isAdd : 1; |
Joel Galenson | 8352988 | 2018-07-13 15:19:33 +0000 | [diff] [blame] | 247 | bool isTrap : 1; |
Craig Topper | 51dd765 | 2014-02-05 09:10:40 +0000 | [diff] [blame] | 248 | bool canFoldAsLoad : 1; |
| 249 | bool mayLoad : 1; |
| 250 | bool mayLoad_Unset : 1; |
| 251 | bool mayStore : 1; |
| 252 | bool mayStore_Unset : 1; |
| 253 | bool isPredicable : 1; |
| 254 | bool isConvertibleToThreeAddress : 1; |
| 255 | bool isCommutable : 1; |
| 256 | bool isTerminator : 1; |
| 257 | bool isReMaterializable : 1; |
| 258 | bool hasDelaySlot : 1; |
| 259 | bool usesCustomInserter : 1; |
| 260 | bool hasPostISelHook : 1; |
| 261 | bool hasCtrlDep : 1; |
| 262 | bool isNotDuplicable : 1; |
| 263 | bool hasSideEffects : 1; |
| 264 | bool hasSideEffects_Unset : 1; |
Craig Topper | 51dd765 | 2014-02-05 09:10:40 +0000 | [diff] [blame] | 265 | bool isAsCheapAsAMove : 1; |
| 266 | bool hasExtraSrcRegAllocReq : 1; |
| 267 | bool hasExtraDefRegAllocReq : 1; |
| 268 | bool isCodeGenOnly : 1; |
| 269 | bool isPseudo : 1; |
Quentin Colombet | 1b42540 | 2014-08-11 22:17:14 +0000 | [diff] [blame] | 270 | bool isRegSequence : 1; |
Quentin Colombet | dac6764 | 2014-08-20 21:51:26 +0000 | [diff] [blame] | 271 | bool isExtractSubreg : 1; |
Quentin Colombet | 0d15213 | 2014-08-20 23:49:36 +0000 | [diff] [blame] | 272 | bool isInsertSubreg : 1; |
Owen Anderson | 2f6ca83 | 2015-05-28 18:33:39 +0000 | [diff] [blame] | 273 | bool isConvergent : 1; |
Matthias Braun | 279476d | 2016-03-01 20:03:11 +0000 | [diff] [blame] | 274 | bool hasNoSchedulingInfo : 1; |
Simon Dardis | f690e9b | 2018-05-22 14:36:58 +0000 | [diff] [blame] | 275 | bool FastISelShouldIgnore : 1; |
Ulrich Weigand | 3a90426 | 2018-07-13 13:18:00 +0000 | [diff] [blame] | 276 | bool hasChain : 1; |
| 277 | bool hasChain_Inferred : 1; |
Oliver Stannard | 9639b46 | 2018-12-03 10:32:42 +0000 | [diff] [blame] | 278 | bool variadicOpsAreDefs : 1; |
Jim Grosbach | 9ed2cee | 2010-10-08 18:09:59 +0000 | [diff] [blame] | 279 | |
Joey Gouly | 715d98d | 2013-09-12 10:28:05 +0000 | [diff] [blame] | 280 | std::string DeprecatedReason; |
| 281 | bool HasComplexDeprecationPredicate; |
| 282 | |
Jakob Stoklund Olesen | 912519a | 2012-08-24 00:31:16 +0000 | [diff] [blame] | 283 | /// Are there any undefined flags? |
| 284 | bool hasUndefFlags() const { |
| 285 | return mayLoad_Unset || mayStore_Unset || hasSideEffects_Unset; |
| 286 | } |
| 287 | |
| 288 | // The record used to infer instruction flags, or NULL if no flag values |
| 289 | // have been inferred. |
| 290 | Record *InferredFrom; |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 291 | |
Chris Lattner | f780811 | 2010-11-01 02:15:23 +0000 | [diff] [blame] | 292 | CodeGenInstruction(Record *R); |
Chris Lattner | 87c5905 | 2004-08-01 07:42:39 +0000 | [diff] [blame] | 293 | |
Chris Lattner | 9414ae5 | 2010-03-27 20:09:24 +0000 | [diff] [blame] | 294 | /// HasOneImplicitDefWithKnownVT - If the instruction has at least one |
| 295 | /// implicit def and it has a known VT, return the VT, otherwise return |
| 296 | /// MVT::Other. |
Jim Grosbach | 9ed2cee | 2010-10-08 18:09:59 +0000 | [diff] [blame] | 297 | MVT::SimpleValueType |
Chris Lattner | 9414ae5 | 2010-03-27 20:09:24 +0000 | [diff] [blame] | 298 | HasOneImplicitDefWithKnownVT(const CodeGenTarget &TargetInfo) const; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 299 | |
| 300 | |
Chris Lattner | 4d43d0f | 2010-11-01 01:07:14 +0000 | [diff] [blame] | 301 | /// FlattenAsmStringVariants - Flatten the specified AsmString to only |
| 302 | /// include text from the specified variant, returning the new string. |
| 303 | static std::string FlattenAsmStringVariants(StringRef AsmString, |
| 304 | unsigned Variant); |
Daniel Sanders | 603ba13 | 2017-11-18 00:16:44 +0000 | [diff] [blame] | 305 | |
| 306 | // Is the specified operand in a generic instruction implicitly a pointer. |
| 307 | // This can be used on intructions that use typeN or ptypeN to identify |
| 308 | // operands that should be considered as pointers even though SelectionDAG |
| 309 | // didn't make a distinction between integer and pointers. |
| 310 | bool isOperandAPointer(unsigned i) const; |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 311 | }; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 312 | |
| 313 | |
Chris Lattner | c76e80d | 2010-11-01 04:05:41 +0000 | [diff] [blame] | 314 | /// CodeGenInstAlias - This represents an InstAlias definition. |
| 315 | class CodeGenInstAlias { |
| 316 | public: |
| 317 | Record *TheDef; // The actual record defining this InstAlias. |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 318 | |
Chris Lattner | c76e80d | 2010-11-01 04:05:41 +0000 | [diff] [blame] | 319 | /// AsmString - The format string used to emit a .s file for the |
| 320 | /// instruction. |
| 321 | std::string AsmString; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 322 | |
Chris Lattner | b501d4f | 2010-11-01 05:34:34 +0000 | [diff] [blame] | 323 | /// Result - The result instruction. |
David Greene | 05bce0b | 2011-07-29 22:43:06 +0000 | [diff] [blame] | 324 | DagInit *Result; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 325 | |
Chris Lattner | 225549f | 2010-11-06 06:39:47 +0000 | [diff] [blame] | 326 | /// ResultInst - The instruction generated by the alias (decoded from |
| 327 | /// Result). |
| 328 | CodeGenInstruction *ResultInst; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 329 | |
| 330 | |
Chris Lattner | 225549f | 2010-11-06 06:39:47 +0000 | [diff] [blame] | 331 | struct ResultOperand { |
Chris Lattner | 98c870f | 2010-11-06 19:25:43 +0000 | [diff] [blame] | 332 | private: |
Owen Anderson | 7e8921b | 2012-06-08 00:25:03 +0000 | [diff] [blame] | 333 | std::string Name; |
Chris Lattner | 225549f | 2010-11-06 06:39:47 +0000 | [diff] [blame] | 334 | Record *R; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 335 | |
Chris Lattner | 98c870f | 2010-11-06 19:25:43 +0000 | [diff] [blame] | 336 | int64_t Imm; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 337 | public: |
Chris Lattner | 98c870f | 2010-11-06 19:25:43 +0000 | [diff] [blame] | 338 | enum { |
| 339 | K_Record, |
Chris Lattner | 90fd797 | 2010-11-06 19:57:21 +0000 | [diff] [blame] | 340 | K_Imm, |
| 341 | K_Reg |
Chris Lattner | 98c870f | 2010-11-06 19:25:43 +0000 | [diff] [blame] | 342 | } Kind; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 343 | |
Benjamin Kramer | 14aae01 | 2016-05-27 14:27:24 +0000 | [diff] [blame] | 344 | ResultOperand(std::string N, Record *r) |
| 345 | : Name(std::move(N)), R(r), Kind(K_Record) {} |
Chris Lattner | 98c870f | 2010-11-06 19:25:43 +0000 | [diff] [blame] | 346 | ResultOperand(int64_t I) : Imm(I), Kind(K_Imm) {} |
Chris Lattner | 90fd797 | 2010-11-06 19:57:21 +0000 | [diff] [blame] | 347 | ResultOperand(Record *r) : R(r), Kind(K_Reg) {} |
Chris Lattner | 98c870f | 2010-11-06 19:25:43 +0000 | [diff] [blame] | 348 | |
| 349 | bool isRecord() const { return Kind == K_Record; } |
| 350 | bool isImm() const { return Kind == K_Imm; } |
Chris Lattner | 90fd797 | 2010-11-06 19:57:21 +0000 | [diff] [blame] | 351 | bool isReg() const { return Kind == K_Reg; } |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 352 | |
Chris Lattner | 98c870f | 2010-11-06 19:25:43 +0000 | [diff] [blame] | 353 | StringRef getName() const { assert(isRecord()); return Name; } |
| 354 | Record *getRecord() const { assert(isRecord()); return R; } |
| 355 | int64_t getImm() const { assert(isImm()); return Imm; } |
Chris Lattner | 90fd797 | 2010-11-06 19:57:21 +0000 | [diff] [blame] | 356 | Record *getRegister() const { assert(isReg()); return R; } |
Tim Northover | d0e93f2 | 2014-05-15 13:36:01 +0000 | [diff] [blame] | 357 | |
| 358 | unsigned getMINumOperands() const; |
Chris Lattner | 225549f | 2010-11-06 06:39:47 +0000 | [diff] [blame] | 359 | }; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 360 | |
Chris Lattner | 225549f | 2010-11-06 06:39:47 +0000 | [diff] [blame] | 361 | /// ResultOperands - The decoded operands for the result instruction. |
| 362 | std::vector<ResultOperand> ResultOperands; |
Bob Wilson | 5e8f2a6 | 2011-01-20 18:38:02 +0000 | [diff] [blame] | 363 | |
Bob Wilson | a49c7df | 2011-01-26 19:44:55 +0000 | [diff] [blame] | 364 | /// ResultInstOperandIndex - For each operand, this vector holds a pair of |
| 365 | /// indices to identify the corresponding operand in the result |
| 366 | /// instruction. The first index specifies the operand and the second |
| 367 | /// index specifies the suboperand. If there are no suboperands or if all |
| 368 | /// of them are matched by the operand, the second value should be -1. |
| 369 | std::vector<std::pair<unsigned, int> > ResultInstOperandIndex; |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 370 | |
Craig Topper | 50ea5bb | 2018-06-18 01:28:01 +0000 | [diff] [blame] | 371 | CodeGenInstAlias(Record *R, CodeGenTarget &T); |
Bob Wilson | a49c7df | 2011-01-26 19:44:55 +0000 | [diff] [blame] | 372 | |
David Greene | 05bce0b | 2011-07-29 22:43:06 +0000 | [diff] [blame] | 373 | bool tryAliasOpMatch(DagInit *Result, unsigned AliasOpNo, |
Jakob Stoklund Olesen | 376a8a7 | 2012-08-22 23:33:58 +0000 | [diff] [blame] | 374 | Record *InstOpRec, bool hasSubOps, ArrayRef<SMLoc> Loc, |
Bob Wilson | a49c7df | 2011-01-26 19:44:55 +0000 | [diff] [blame] | 375 | CodeGenTarget &T, ResultOperand &ResOp); |
Jim Grosbach | 0c4d44a | 2011-03-14 17:32:49 +0000 | [diff] [blame] | 376 | }; |
Chris Lattner | c76e80d | 2010-11-01 04:05:41 +0000 | [diff] [blame] | 377 | } |
Chris Lattner | ec35240 | 2004-08-01 05:04:00 +0000 | [diff] [blame] | 378 | |
| 379 | #endif |