| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 1 | //===- HexagonInstPrinter.cpp - Convert Hexagon MCInst to assembly syntax -===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This class prints an Hexagon MCInst to a .s file. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 14 | #include "HexagonAsmPrinter.h" |
| Jyotsna Verma | 7503a62 | 2013-02-20 16:13:27 +0000 | [diff] [blame] | 15 | #include "Hexagon.h" |
| 16 | #include "HexagonInstPrinter.h" |
| Colin LeMahieu | 1174fea | 2015-02-19 21:10:50 +0000 | [diff] [blame] | 17 | #include "MCTargetDesc/HexagonMCInstrInfo.h" |
| Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 18 | #include "llvm/ADT/StringExtras.h" |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 19 | #include "llvm/MC/MCAsmInfo.h" |
| 20 | #include "llvm/MC/MCExpr.h" |
| Chandler Carruth | 8a8cd2b | 2014-01-07 11:48:04 +0000 | [diff] [blame] | 21 | #include "llvm/MC/MCInst.h" |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 22 | #include "llvm/Support/raw_ostream.h" |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 23 | |
| 24 | using namespace llvm; |
| 25 | |
| Chandler Carruth | 84e68b2 | 2014-04-22 02:41:26 +0000 | [diff] [blame] | 26 | #define DEBUG_TYPE "asm-printer" |
| 27 | |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 28 | #define GET_INSTRUCTION_NAME |
| 29 | #include "HexagonGenAsmWriter.inc" |
| 30 | |
| Sid Manning | 12cd21a | 2014-10-15 18:27:40 +0000 | [diff] [blame] | 31 | // Return the minimum value that a constant extendable operand can have |
| 32 | // without being extended. |
| 33 | static int getMinValue(uint64_t TSFlags) { |
| 34 | unsigned isSigned = |
| 35 | (TSFlags >> HexagonII::ExtentSignedPos) & HexagonII::ExtentSignedMask; |
| 36 | unsigned bits = |
| 37 | (TSFlags >> HexagonII::ExtentBitsPos) & HexagonII::ExtentBitsMask; |
| 38 | |
| 39 | if (isSigned) |
| 40 | return -1U << (bits - 1); |
| Sid Manning | c374ac9 | 2014-10-20 13:08:19 +0000 | [diff] [blame] | 41 | |
| 42 | return 0; |
| Sid Manning | 12cd21a | 2014-10-15 18:27:40 +0000 | [diff] [blame] | 43 | } |
| 44 | |
| 45 | // Return the maximum value that a constant extendable operand can have |
| 46 | // without being extended. |
| 47 | static int getMaxValue(uint64_t TSFlags) { |
| 48 | unsigned isSigned = |
| 49 | (TSFlags >> HexagonII::ExtentSignedPos) & HexagonII::ExtentSignedMask; |
| 50 | unsigned bits = |
| 51 | (TSFlags >> HexagonII::ExtentBitsPos) & HexagonII::ExtentBitsMask; |
| 52 | |
| 53 | if (isSigned) |
| 54 | return ~(-1U << (bits - 1)); |
| Sid Manning | c374ac9 | 2014-10-20 13:08:19 +0000 | [diff] [blame] | 55 | |
| 56 | return ~(-1U << bits); |
| Sid Manning | 12cd21a | 2014-10-15 18:27:40 +0000 | [diff] [blame] | 57 | } |
| 58 | |
| 59 | // Return true if the instruction must be extended. |
| 60 | static bool isExtended(uint64_t TSFlags) { |
| 61 | return (TSFlags >> HexagonII::ExtendedPos) & HexagonII::ExtendedMask; |
| 62 | } |
| 63 | |
| Sid Manning | 74cd020 | 2014-10-15 19:24:14 +0000 | [diff] [blame] | 64 | // Currently just used in an assert statement |
| Sid Manning | a002296 | 2014-10-15 20:41:17 +0000 | [diff] [blame] | 65 | static bool isExtendable(uint64_t TSFlags) LLVM_ATTRIBUTE_UNUSED; |
| Sid Manning | 12cd21a | 2014-10-15 18:27:40 +0000 | [diff] [blame] | 66 | // Return true if the instruction may be extended based on the operand value. |
| 67 | static bool isExtendable(uint64_t TSFlags) { |
| 68 | return (TSFlags >> HexagonII::ExtendablePos) & HexagonII::ExtendableMask; |
| 69 | } |
| Jyotsna Verma | 7503a62 | 2013-02-20 16:13:27 +0000 | [diff] [blame] | 70 | |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 71 | StringRef HexagonInstPrinter::getOpcodeName(unsigned Opcode) const { |
| 72 | return MII.getName(Opcode); |
| 73 | } |
| 74 | |
| Krzysztof Parzyszek | badf3a6 | 2015-04-22 15:38:17 +0000 | [diff] [blame] | 75 | void HexagonInstPrinter::printRegName(raw_ostream &OS, unsigned RegNo) const { |
| 76 | OS << getRegisterName(RegNo); |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 77 | } |
| 78 | |
| Colin LeMahieu | 68d967d | 2015-05-29 14:44:13 +0000 | [diff] [blame] | 79 | void HexagonInstPrinter::setExtender(MCInst const &MCI) { |
| 80 | HasExtender = HexagonMCInstrInfo::isImmext(MCI); |
| 81 | } |
| 82 | |
| 83 | void HexagonInstPrinter::printInst(MCInst const *MI, raw_ostream &OS, |
| Akira Hatanaka | b46d023 | 2015-03-27 20:36:02 +0000 | [diff] [blame] | 84 | StringRef Annot, |
| Colin LeMahieu | 68d967d | 2015-05-29 14:44:13 +0000 | [diff] [blame] | 85 | MCSubtargetInfo const &STI) { |
| 86 | assert(HexagonMCInstrInfo::isBundle(*MI)); |
| 87 | assert(HexagonMCInstrInfo::bundleSize(*MI) <= HEXAGON_PACKET_SIZE); |
| 88 | HasExtender = false; |
| 89 | for (auto const &I : HexagonMCInstrInfo::bundleInstructions(*MI)) { |
| 90 | MCInst const &MCI = *I.getInst(); |
| Colin LeMahieu | be8c453 | 2015-06-05 16:00:11 +0000 | [diff] [blame] | 91 | if (HexagonMCInstrInfo::isDuplex(MII, MCI)) { |
| 92 | printInstruction(MCI.getOperand(1).getInst(), OS); |
| 93 | OS << '\v'; |
| 94 | HasExtender = false; |
| 95 | printInstruction(MCI.getOperand(0).getInst(), OS); |
| 96 | } else |
| 97 | printInstruction(&MCI, OS); |
| Colin LeMahieu | 68d967d | 2015-05-29 14:44:13 +0000 | [diff] [blame] | 98 | setExtender(MCI); |
| 99 | OS << "\n"; |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 100 | } |
| 101 | |
| Colin LeMahieu | 68d967d | 2015-05-29 14:44:13 +0000 | [diff] [blame] | 102 | auto Separator = ""; |
| 103 | if (HexagonMCInstrInfo::isInnerLoop(*MI)) { |
| 104 | OS << Separator; |
| 105 | Separator = " "; |
| 106 | MCInst ME; |
| 107 | ME.setOpcode(Hexagon::ENDLOOP0); |
| 108 | printInstruction(&ME, OS); |
| 109 | } |
| 110 | if (HexagonMCInstrInfo::isOuterLoop(*MI)) { |
| 111 | OS << Separator; |
| 112 | Separator = " "; |
| 113 | MCInst ME; |
| 114 | ME.setOpcode(Hexagon::ENDLOOP1); |
| 115 | printInstruction(&ME, OS); |
| 116 | } |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 117 | } |
| 118 | |
| 119 | void HexagonInstPrinter::printOperand(const MCInst *MI, unsigned OpNo, |
| 120 | raw_ostream &O) const { |
| 121 | const MCOperand& MO = MI->getOperand(OpNo); |
| 122 | |
| 123 | if (MO.isReg()) { |
| Krzysztof Parzyszek | badf3a6 | 2015-04-22 15:38:17 +0000 | [diff] [blame] | 124 | printRegName(O, MO.getReg()); |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 125 | } else if(MO.isExpr()) { |
| Matt Arsenault | 8b64355 | 2015-06-09 00:31:39 +0000 | [diff] [blame] | 126 | MO.getExpr()->print(O, &MAI); |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 127 | } else if(MO.isImm()) { |
| 128 | printImmOperand(MI, OpNo, O); |
| 129 | } else { |
| Sirish Pande | f8e5e3c | 2012-05-03 21:52:53 +0000 | [diff] [blame] | 130 | llvm_unreachable("Unknown operand"); |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 131 | } |
| 132 | } |
| 133 | |
| Sirish Pande | f8e5e3c | 2012-05-03 21:52:53 +0000 | [diff] [blame] | 134 | void HexagonInstPrinter::printImmOperand(const MCInst *MI, unsigned OpNo, |
| 135 | raw_ostream &O) const { |
| Jyotsna Verma | 7503a62 | 2013-02-20 16:13:27 +0000 | [diff] [blame] | 136 | const MCOperand& MO = MI->getOperand(OpNo); |
| 137 | |
| 138 | if(MO.isExpr()) { |
| Matt Arsenault | 8b64355 | 2015-06-09 00:31:39 +0000 | [diff] [blame] | 139 | MO.getExpr()->print(O, &MAI); |
| Jyotsna Verma | 7503a62 | 2013-02-20 16:13:27 +0000 | [diff] [blame] | 140 | } else if(MO.isImm()) { |
| 141 | O << MI->getOperand(OpNo).getImm(); |
| 142 | } else { |
| 143 | llvm_unreachable("Unknown operand"); |
| 144 | } |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 145 | } |
| 146 | |
| 147 | void HexagonInstPrinter::printExtOperand(const MCInst *MI, unsigned OpNo, |
| Sirish Pande | f8e5e3c | 2012-05-03 21:52:53 +0000 | [diff] [blame] | 148 | raw_ostream &O) const { |
| Sid Manning | 12cd21a | 2014-10-15 18:27:40 +0000 | [diff] [blame] | 149 | const MCOperand &MO = MI->getOperand(OpNo); |
| 150 | const MCInstrDesc &MII = getMII().get(MI->getOpcode()); |
| 151 | |
| 152 | assert((isExtendable(MII.TSFlags) || isExtended(MII.TSFlags)) && |
| 153 | "Expecting an extendable operand"); |
| 154 | |
| 155 | if (MO.isExpr() || isExtended(MII.TSFlags)) { |
| Jyotsna Verma | 7503a62 | 2013-02-20 16:13:27 +0000 | [diff] [blame] | 156 | O << "#"; |
| Sid Manning | 12cd21a | 2014-10-15 18:27:40 +0000 | [diff] [blame] | 157 | } else if (MO.isImm()) { |
| 158 | int ImmValue = MO.getImm(); |
| 159 | if (ImmValue < getMinValue(MII.TSFlags) || |
| 160 | ImmValue > getMaxValue(MII.TSFlags)) |
| 161 | O << "#"; |
| 162 | } |
| Jyotsna Verma | 7503a62 | 2013-02-20 16:13:27 +0000 | [diff] [blame] | 163 | printOperand(MI, OpNo, O); |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 164 | } |
| 165 | |
| Sirish Pande | f8e5e3c | 2012-05-03 21:52:53 +0000 | [diff] [blame] | 166 | void HexagonInstPrinter::printUnsignedImmOperand(const MCInst *MI, |
| 167 | unsigned OpNo, raw_ostream &O) const { |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 168 | O << MI->getOperand(OpNo).getImm(); |
| 169 | } |
| 170 | |
| 171 | void HexagonInstPrinter::printNegImmOperand(const MCInst *MI, unsigned OpNo, |
| 172 | raw_ostream &O) const { |
| Brendon Cahoon | f6b687e | 2012-05-14 19:35:42 +0000 | [diff] [blame] | 173 | O << -MI->getOperand(OpNo).getImm(); |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 174 | } |
| 175 | |
| Sirish Pande | f8e5e3c | 2012-05-03 21:52:53 +0000 | [diff] [blame] | 176 | void HexagonInstPrinter::printNOneImmOperand(const MCInst *MI, unsigned OpNo, |
| 177 | raw_ostream &O) const { |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 178 | O << -1; |
| 179 | } |
| 180 | |
| Sirish Pande | f8e5e3c | 2012-05-03 21:52:53 +0000 | [diff] [blame] | 181 | void HexagonInstPrinter::printMEMriOperand(const MCInst *MI, unsigned OpNo, |
| 182 | raw_ostream &O) const { |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 183 | const MCOperand& MO0 = MI->getOperand(OpNo); |
| 184 | const MCOperand& MO1 = MI->getOperand(OpNo + 1); |
| 185 | |
| Krzysztof Parzyszek | badf3a6 | 2015-04-22 15:38:17 +0000 | [diff] [blame] | 186 | printRegName(O, MO0.getReg()); |
| Brendon Cahoon | f6b687e | 2012-05-14 19:35:42 +0000 | [diff] [blame] | 187 | O << " + #" << MO1.getImm(); |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 188 | } |
| 189 | |
| Sirish Pande | f8e5e3c | 2012-05-03 21:52:53 +0000 | [diff] [blame] | 190 | void HexagonInstPrinter::printFrameIndexOperand(const MCInst *MI, unsigned OpNo, |
| 191 | raw_ostream &O) const { |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 192 | const MCOperand& MO0 = MI->getOperand(OpNo); |
| 193 | const MCOperand& MO1 = MI->getOperand(OpNo + 1); |
| 194 | |
| Krzysztof Parzyszek | badf3a6 | 2015-04-22 15:38:17 +0000 | [diff] [blame] | 195 | printRegName(O, MO0.getReg()); |
| 196 | O << ", #" << MO1.getImm(); |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 197 | } |
| 198 | |
| 199 | void HexagonInstPrinter::printGlobalOperand(const MCInst *MI, unsigned OpNo, |
| 200 | raw_ostream &O) const { |
| NAKAMURA Takumi | df3d5ea | 2012-04-21 11:24:55 +0000 | [diff] [blame] | 201 | assert(MI->getOperand(OpNo).isExpr() && "Expecting expression"); |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 202 | |
| 203 | printOperand(MI, OpNo, O); |
| 204 | } |
| 205 | |
| 206 | void HexagonInstPrinter::printJumpTable(const MCInst *MI, unsigned OpNo, |
| 207 | raw_ostream &O) const { |
| NAKAMURA Takumi | df3d5ea | 2012-04-21 11:24:55 +0000 | [diff] [blame] | 208 | assert(MI->getOperand(OpNo).isExpr() && "Expecting expression"); |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 209 | |
| 210 | printOperand(MI, OpNo, O); |
| 211 | } |
| 212 | |
| 213 | void HexagonInstPrinter::printConstantPool(const MCInst *MI, unsigned OpNo, |
| 214 | raw_ostream &O) const { |
| NAKAMURA Takumi | df3d5ea | 2012-04-21 11:24:55 +0000 | [diff] [blame] | 215 | assert(MI->getOperand(OpNo).isExpr() && "Expecting expression"); |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 216 | |
| 217 | printOperand(MI, OpNo, O); |
| 218 | } |
| 219 | |
| 220 | void HexagonInstPrinter::printBranchOperand(const MCInst *MI, unsigned OpNo, |
| 221 | raw_ostream &O) const { |
| 222 | // Branches can take an immediate operand. This is used by the branch |
| 223 | // selection pass to print $+8, an eight byte displacement from the PC. |
| Richard Trieu | d7fd95a | 2013-06-28 23:46:19 +0000 | [diff] [blame] | 224 | llvm_unreachable("Unknown branch operand."); |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 225 | } |
| 226 | |
| 227 | void HexagonInstPrinter::printCallOperand(const MCInst *MI, unsigned OpNo, |
| 228 | raw_ostream &O) const { |
| 229 | } |
| 230 | |
| 231 | void HexagonInstPrinter::printAbsAddrOperand(const MCInst *MI, unsigned OpNo, |
| 232 | raw_ostream &O) const { |
| 233 | } |
| 234 | |
| 235 | void HexagonInstPrinter::printPredicateOperand(const MCInst *MI, unsigned OpNo, |
| 236 | raw_ostream &O) const { |
| 237 | } |
| 238 | |
| 239 | void HexagonInstPrinter::printSymbol(const MCInst *MI, unsigned OpNo, |
| 240 | raw_ostream &O, bool hi) const { |
| Benjamin Kramer | 755bf4f | 2013-07-02 17:24:00 +0000 | [diff] [blame] | 241 | assert(MI->getOperand(OpNo).isImm() && "Unknown symbol operand"); |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 242 | |
| Benjamin Kramer | 755bf4f | 2013-07-02 17:24:00 +0000 | [diff] [blame] | 243 | O << '#' << (hi ? "HI" : "LO") << "(#"; |
| Richard Trieu | fab01e5 | 2013-07-01 23:06:23 +0000 | [diff] [blame] | 244 | printOperand(MI, OpNo, O); |
| Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 245 | O << ')'; |
| 246 | } |
| Brendon Cahoon | 55bdeb7 | 2015-04-27 14:16:43 +0000 | [diff] [blame] | 247 | |
| 248 | void HexagonInstPrinter::printExtBrtarget(const MCInst *MI, unsigned OpNo, |
| 249 | raw_ostream &O) const { |
| 250 | const MCOperand &MO = MI->getOperand(OpNo); |
| 251 | const MCInstrDesc &MII = getMII().get(MI->getOpcode()); |
| 252 | |
| 253 | assert((isExtendable(MII.TSFlags) || isExtended(MII.TSFlags)) && |
| 254 | "Expecting an extendable operand"); |
| 255 | |
| 256 | if (MO.isExpr() || isExtended(MII.TSFlags)) { |
| 257 | O << "##"; |
| 258 | } |
| 259 | printOperand(MI, OpNo, O); |
| 260 | } |