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 "HexagonInstPrinter.h" |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 16 | #include "MCTargetDesc/HexagonBaseInfo.h" |
Colin LeMahieu | 1174fea | 2015-02-19 21:10:50 +0000 | [diff] [blame] | 17 | #include "MCTargetDesc/HexagonMCInstrInfo.h" |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 18 | #include "llvm/MC/MCAsmInfo.h" |
| 19 | #include "llvm/MC/MCExpr.h" |
Chandler Carruth | 8a8cd2b | 2014-01-07 11:48:04 +0000 | [diff] [blame] | 20 | #include "llvm/MC/MCInst.h" |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 21 | #include "llvm/Support/Debug.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 | |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 31 | HexagonInstPrinter::HexagonInstPrinter(MCAsmInfo const &MAI, |
| 32 | MCInstrInfo const &MII, |
| 33 | MCRegisterInfo const &MRI) |
| 34 | : MCInstPrinter(MAI, MII, MRI), MII(MII), HasExtender(false) { |
Sid Manning | 12cd21a | 2014-10-15 18:27:40 +0000 | [diff] [blame] | 35 | } |
Jyotsna Verma | 7503a62 | 2013-02-20 16:13:27 +0000 | [diff] [blame] | 36 | |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 37 | StringRef HexagonInstPrinter::getOpcodeName(unsigned Opcode) const { |
| 38 | return MII.getName(Opcode); |
| 39 | } |
| 40 | |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 41 | void HexagonInstPrinter::printRegName(raw_ostream &O, unsigned RegNo) const { |
| 42 | O << getRegName(RegNo); |
| 43 | } |
| 44 | |
| 45 | StringRef HexagonInstPrinter::getRegName(unsigned RegNo) const { |
| 46 | return getRegisterName(RegNo); |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 47 | } |
| 48 | |
Colin LeMahieu | 68d967d | 2015-05-29 14:44:13 +0000 | [diff] [blame] | 49 | void HexagonInstPrinter::setExtender(MCInst const &MCI) { |
| 50 | HasExtender = HexagonMCInstrInfo::isImmext(MCI); |
| 51 | } |
| 52 | |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 53 | void HexagonInstPrinter::printInst(const MCInst *MI, raw_ostream &OS, |
| 54 | StringRef Annot, const MCSubtargetInfo &STI) { |
Colin LeMahieu | 68d967d | 2015-05-29 14:44:13 +0000 | [diff] [blame] | 55 | assert(HexagonMCInstrInfo::isBundle(*MI)); |
| 56 | assert(HexagonMCInstrInfo::bundleSize(*MI) <= HEXAGON_PACKET_SIZE); |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 57 | assert(HexagonMCInstrInfo::bundleSize(*MI) > 0); |
Colin LeMahieu | 68d967d | 2015-05-29 14:44:13 +0000 | [diff] [blame] | 58 | HasExtender = false; |
| 59 | for (auto const &I : HexagonMCInstrInfo::bundleInstructions(*MI)) { |
| 60 | MCInst const &MCI = *I.getInst(); |
Colin LeMahieu | be8c453 | 2015-06-05 16:00:11 +0000 | [diff] [blame] | 61 | if (HexagonMCInstrInfo::isDuplex(MII, MCI)) { |
| 62 | printInstruction(MCI.getOperand(1).getInst(), OS); |
| 63 | OS << '\v'; |
| 64 | HasExtender = false; |
| 65 | printInstruction(MCI.getOperand(0).getInst(), OS); |
| 66 | } else |
| 67 | printInstruction(&MCI, OS); |
Colin LeMahieu | 68d967d | 2015-05-29 14:44:13 +0000 | [diff] [blame] | 68 | setExtender(MCI); |
| 69 | OS << "\n"; |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 70 | } |
| 71 | |
Colin LeMahieu | 68d967d | 2015-05-29 14:44:13 +0000 | [diff] [blame] | 72 | auto Separator = ""; |
| 73 | if (HexagonMCInstrInfo::isInnerLoop(*MI)) { |
| 74 | OS << Separator; |
| 75 | Separator = " "; |
| 76 | MCInst ME; |
| 77 | ME.setOpcode(Hexagon::ENDLOOP0); |
| 78 | printInstruction(&ME, OS); |
| 79 | } |
| 80 | if (HexagonMCInstrInfo::isOuterLoop(*MI)) { |
| 81 | OS << Separator; |
| 82 | Separator = " "; |
| 83 | MCInst ME; |
| 84 | ME.setOpcode(Hexagon::ENDLOOP1); |
| 85 | printInstruction(&ME, OS); |
| 86 | } |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 87 | } |
| 88 | |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 89 | void HexagonInstPrinter::printOperand(MCInst const *MI, unsigned OpNo, |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 90 | raw_ostream &O) const { |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 91 | if (HexagonMCInstrInfo::getExtendableOp(MII, *MI) == OpNo && |
| 92 | (HasExtender || HexagonMCInstrInfo::isConstExtended(MII, *MI))) |
Jyotsna Verma | 7503a62 | 2013-02-20 16:13:27 +0000 | [diff] [blame] | 93 | O << "#"; |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 94 | MCOperand const &MO = MI->getOperand(OpNo); |
| 95 | if (MO.isReg()) { |
| 96 | O << getRegisterName(MO.getReg()); |
| 97 | } else if (MO.isExpr()) { |
| 98 | int64_t Value; |
| 99 | if (MO.getExpr()->evaluateAsAbsolute(Value)) |
| 100 | O << formatImm(Value); |
| 101 | else |
| 102 | O << *MO.getExpr(); |
| 103 | } else { |
| 104 | llvm_unreachable("Unknown operand"); |
Sid Manning | 12cd21a | 2014-10-15 18:27:40 +0000 | [diff] [blame] | 105 | } |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 106 | } |
| 107 | |
| 108 | void HexagonInstPrinter::printExtOperand(MCInst const *MI, unsigned OpNo, |
| 109 | raw_ostream &O) const { |
Jyotsna Verma | 7503a62 | 2013-02-20 16:13:27 +0000 | [diff] [blame] | 110 | printOperand(MI, OpNo, O); |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 111 | } |
| 112 | |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 113 | void HexagonInstPrinter::printUnsignedImmOperand(MCInst const *MI, |
| 114 | unsigned OpNo, |
| 115 | raw_ostream &O) const { |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 116 | O << MI->getOperand(OpNo).getImm(); |
| 117 | } |
| 118 | |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 119 | void HexagonInstPrinter::printNegImmOperand(MCInst const *MI, unsigned OpNo, |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 120 | raw_ostream &O) const { |
Brendon Cahoon | f6b687e | 2012-05-14 19:35:42 +0000 | [diff] [blame] | 121 | O << -MI->getOperand(OpNo).getImm(); |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 122 | } |
| 123 | |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 124 | void HexagonInstPrinter::printNOneImmOperand(MCInst const *MI, unsigned OpNo, |
Sirish Pande | f8e5e3c | 2012-05-03 21:52:53 +0000 | [diff] [blame] | 125 | raw_ostream &O) const { |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 126 | O << -1; |
| 127 | } |
| 128 | |
Colin LeMahieu | 7c95871 | 2015-10-17 01:33:04 +0000 | [diff] [blame] | 129 | void HexagonInstPrinter::prints3_6ImmOperand(MCInst const *MI, unsigned OpNo, |
| 130 | raw_ostream &O) const { |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 131 | int64_t Imm; |
| 132 | bool Success = MI->getOperand(OpNo).getExpr()->evaluateAsAbsolute(Imm); |
| 133 | Imm = SignExtend64<9>(Imm); |
| 134 | assert(Success); (void)Success; |
Colin LeMahieu | 7c95871 | 2015-10-17 01:33:04 +0000 | [diff] [blame] | 135 | assert(((Imm & 0x3f) == 0) && "Lower 6 bits must be ZERO."); |
| 136 | O << formatImm(Imm/64); |
| 137 | } |
| 138 | |
| 139 | void HexagonInstPrinter::prints3_7ImmOperand(MCInst const *MI, unsigned OpNo, |
| 140 | raw_ostream &O) const { |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 141 | int64_t Imm; |
| 142 | bool Success = MI->getOperand(OpNo).getExpr()->evaluateAsAbsolute(Imm); |
| 143 | Imm = SignExtend64<10>(Imm); |
| 144 | assert(Success); (void)Success; |
Colin LeMahieu | 7c95871 | 2015-10-17 01:33:04 +0000 | [diff] [blame] | 145 | assert(((Imm & 0x7f) == 0) && "Lower 7 bits must be ZERO."); |
| 146 | O << formatImm(Imm/128); |
| 147 | } |
| 148 | |
| 149 | void HexagonInstPrinter::prints4_6ImmOperand(MCInst const *MI, unsigned OpNo, |
| 150 | raw_ostream &O) const { |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 151 | int64_t Imm; |
| 152 | bool Success = MI->getOperand(OpNo).getExpr()->evaluateAsAbsolute(Imm); |
| 153 | Imm = SignExtend64<10>(Imm); |
| 154 | assert(Success); (void)Success; |
Colin LeMahieu | 7c95871 | 2015-10-17 01:33:04 +0000 | [diff] [blame] | 155 | assert(((Imm & 0x3f) == 0) && "Lower 6 bits must be ZERO."); |
| 156 | O << formatImm(Imm/64); |
| 157 | } |
| 158 | |
| 159 | void HexagonInstPrinter::prints4_7ImmOperand(MCInst const *MI, unsigned OpNo, |
| 160 | raw_ostream &O) const { |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 161 | int64_t Imm; |
| 162 | bool Success = MI->getOperand(OpNo).getExpr()->evaluateAsAbsolute(Imm); |
| 163 | Imm = SignExtend64<11>(Imm); |
| 164 | assert(Success); (void)Success; |
Colin LeMahieu | 7c95871 | 2015-10-17 01:33:04 +0000 | [diff] [blame] | 165 | assert(((Imm & 0x7f) == 0) && "Lower 7 bits must be ZERO."); |
| 166 | O << formatImm(Imm/128); |
| 167 | } |
| 168 | |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 169 | void HexagonInstPrinter::printGlobalOperand(MCInst const *MI, unsigned OpNo, |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 170 | raw_ostream &O) const { |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 171 | printOperand(MI, OpNo, O); |
| 172 | } |
| 173 | |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 174 | void HexagonInstPrinter::printJumpTable(MCInst const *MI, unsigned OpNo, |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 175 | raw_ostream &O) const { |
NAKAMURA Takumi | df3d5ea | 2012-04-21 11:24:55 +0000 | [diff] [blame] | 176 | assert(MI->getOperand(OpNo).isExpr() && "Expecting expression"); |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 177 | |
| 178 | printOperand(MI, OpNo, O); |
| 179 | } |
| 180 | |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 181 | void HexagonInstPrinter::printConstantPool(MCInst const *MI, unsigned OpNo, |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 182 | raw_ostream &O) const { |
NAKAMURA Takumi | df3d5ea | 2012-04-21 11:24:55 +0000 | [diff] [blame] | 183 | assert(MI->getOperand(OpNo).isExpr() && "Expecting expression"); |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 184 | |
| 185 | printOperand(MI, OpNo, O); |
| 186 | } |
| 187 | |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 188 | void HexagonInstPrinter::printBranchOperand(MCInst const *MI, unsigned OpNo, |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 189 | raw_ostream &O) const { |
| 190 | // Branches can take an immediate operand. This is used by the branch |
| 191 | // selection pass to print $+8, an eight byte displacement from the PC. |
Richard Trieu | d7fd95a | 2013-06-28 23:46:19 +0000 | [diff] [blame] | 192 | llvm_unreachable("Unknown branch operand."); |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 193 | } |
| 194 | |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 195 | void HexagonInstPrinter::printCallOperand(MCInst const *MI, unsigned OpNo, |
| 196 | raw_ostream &O) const {} |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 197 | |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 198 | void HexagonInstPrinter::printAbsAddrOperand(MCInst const *MI, unsigned OpNo, |
| 199 | raw_ostream &O) const {} |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 200 | |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 201 | void HexagonInstPrinter::printPredicateOperand(MCInst const *MI, unsigned OpNo, |
| 202 | raw_ostream &O) const {} |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 203 | |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 204 | void HexagonInstPrinter::printSymbol(MCInst const *MI, unsigned OpNo, |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 205 | raw_ostream &O, bool hi) const { |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 206 | MCOperand const &MO = MI->getOperand(OpNo); |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 207 | |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 208 | O << '#' << (hi ? "HI" : "LO") << '('; |
| 209 | if (MO.isImm()) { |
| 210 | O << '#'; |
| 211 | printOperand(MI, OpNo, O); |
| 212 | } else { |
| 213 | printOperand(MI, OpNo, O); |
Craig Topper | 855d182 | 2016-04-24 02:01:25 +0000 | [diff] [blame] | 214 | assert(!"Unknown symbol operand"); |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 215 | } |
Evandro Menezes | 5cee621 | 2012-04-12 17:55:53 +0000 | [diff] [blame] | 216 | O << ')'; |
| 217 | } |
Brendon Cahoon | 55bdeb7 | 2015-04-27 14:16:43 +0000 | [diff] [blame] | 218 | |
Colin LeMahieu | 7cd0892 | 2015-11-09 04:07:48 +0000 | [diff] [blame] | 219 | void HexagonInstPrinter::printBrtarget(MCInst const *MI, unsigned OpNo, |
| 220 | raw_ostream &O) const { |
| 221 | MCOperand const &MO = MI->getOperand(OpNo); |
| 222 | assert (MO.isExpr()); |
| 223 | MCExpr const &Expr = *MO.getExpr(); |
| 224 | int64_t Value; |
| 225 | if (Expr.evaluateAsAbsolute(Value)) |
| 226 | O << format("0x%" PRIx64, Value); |
| 227 | else { |
| 228 | if (HasExtender || HexagonMCInstrInfo::isConstExtended(MII, *MI)) |
| 229 | if (HexagonMCInstrInfo::getExtendableOp(MII, *MI) == OpNo) |
| 230 | O << "##"; |
| 231 | O << Expr; |
Brendon Cahoon | 55bdeb7 | 2015-04-27 14:16:43 +0000 | [diff] [blame] | 232 | } |
Brendon Cahoon | 55bdeb7 | 2015-04-27 14:16:43 +0000 | [diff] [blame] | 233 | } |