blob: 82b720cea8dd28c7dc555e63bca7bfb04d9ca985 [file] [log] [blame]
Jacques Pienaarfcef3e42016-03-28 13:09:54 +00001//===-- LanaiInstPrinter.cpp - Convert Lanai MCInst to asm 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 Lanai MCInst to a .s file.
11//
12//===----------------------------------------------------------------------===//
13
Jacques Pienaarfcef3e42016-03-28 13:09:54 +000014#include "LanaiInstPrinter.h"
Jacques Pienaar5ffdef52016-05-20 21:41:53 +000015#include "Lanai.h"
Jacques Pienaarfcef3e42016-03-28 13:09:54 +000016#include "MCTargetDesc/LanaiMCExpr.h"
17#include "llvm/MC/MCAsmInfo.h"
18#include "llvm/MC/MCExpr.h"
19#include "llvm/MC/MCInst.h"
20#include "llvm/MC/MCSymbol.h"
21#include "llvm/Support/ErrorHandling.h"
22#include "llvm/Support/FormattedStream.h"
23
24using namespace llvm;
25
26#define DEBUG_TYPE "asm-printer"
27
28// Include the auto-generated portion of the assembly writer.
29#define PRINT_ALIAS_INSTR
30#include "LanaiGenAsmWriter.inc"
31
Jacques Pienaar796975d2016-04-03 00:49:27 +000032void LanaiInstPrinter::printRegName(raw_ostream &OS, unsigned RegNo) const {
33 OS << StringRef(getRegisterName(RegNo)).lower();
Jacques Pienaarfcef3e42016-03-28 13:09:54 +000034}
35
Jacques Pienaar796975d2016-04-03 00:49:27 +000036bool LanaiInstPrinter::printInst(const MCInst *MI, raw_ostream &OS,
Jacques Pienaarfcef3e42016-03-28 13:09:54 +000037 StringRef Alias, unsigned OpNo0,
38 unsigned OpNo1) {
Jacques Pienaar796975d2016-04-03 00:49:27 +000039 OS << "\t" << Alias << " ";
40 printOperand(MI, OpNo0, OS);
41 OS << ", ";
42 printOperand(MI, OpNo1, OS);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +000043 return true;
44}
45
46static bool usesGivenOffset(const MCInst *MI, int AddOffset) {
47 unsigned AluCode = MI->getOperand(3).getImm();
48 return LPAC::encodeLanaiAluCode(AluCode) == LPAC::ADD &&
49 (MI->getOperand(2).getImm() == AddOffset ||
50 MI->getOperand(2).getImm() == -AddOffset);
51}
52
53static bool isPreIncrementForm(const MCInst *MI, int AddOffset) {
54 unsigned AluCode = MI->getOperand(3).getImm();
55 return LPAC::isPreOp(AluCode) && usesGivenOffset(MI, AddOffset);
56}
57
58static bool isPostIncrementForm(const MCInst *MI, int AddOffset) {
59 unsigned AluCode = MI->getOperand(3).getImm();
60 return LPAC::isPostOp(AluCode) && usesGivenOffset(MI, AddOffset);
61}
62
63static StringRef decIncOperator(const MCInst *MI) {
64 if (MI->getOperand(2).getImm() < 0)
65 return "--";
66 return "++";
67}
68
69bool LanaiInstPrinter::printMemoryLoadIncrement(const MCInst *MI,
Jacques Pienaar796975d2016-04-03 00:49:27 +000070 raw_ostream &OS,
Jacques Pienaarfcef3e42016-03-28 13:09:54 +000071 StringRef Opcode,
72 int AddOffset) {
73 if (isPreIncrementForm(MI, AddOffset)) {
Jacques Pienaar796975d2016-04-03 00:49:27 +000074 OS << "\t" << Opcode << "\t[" << decIncOperator(MI) << "%"
75 << getRegisterName(MI->getOperand(1).getReg()) << "], %"
76 << getRegisterName(MI->getOperand(0).getReg());
Jacques Pienaarfcef3e42016-03-28 13:09:54 +000077 return true;
78 }
79 if (isPostIncrementForm(MI, AddOffset)) {
Jacques Pienaar796975d2016-04-03 00:49:27 +000080 OS << "\t" << Opcode << "\t[%"
81 << getRegisterName(MI->getOperand(1).getReg()) << decIncOperator(MI)
82 << "], %" << getRegisterName(MI->getOperand(0).getReg());
Jacques Pienaarfcef3e42016-03-28 13:09:54 +000083 return true;
84 }
85 return false;
86}
87
88bool LanaiInstPrinter::printMemoryStoreIncrement(const MCInst *MI,
Jacques Pienaar796975d2016-04-03 00:49:27 +000089 raw_ostream &OS,
Jacques Pienaarfcef3e42016-03-28 13:09:54 +000090 StringRef Opcode,
91 int AddOffset) {
92 if (isPreIncrementForm(MI, AddOffset)) {
Jacques Pienaar796975d2016-04-03 00:49:27 +000093 OS << "\t" << Opcode << "\t%" << getRegisterName(MI->getOperand(0).getReg())
94 << ", [" << decIncOperator(MI) << "%"
95 << getRegisterName(MI->getOperand(1).getReg()) << "]";
Jacques Pienaarfcef3e42016-03-28 13:09:54 +000096 return true;
97 }
98 if (isPostIncrementForm(MI, AddOffset)) {
Jacques Pienaar796975d2016-04-03 00:49:27 +000099 OS << "\t" << Opcode << "\t%" << getRegisterName(MI->getOperand(0).getReg())
100 << ", [%" << getRegisterName(MI->getOperand(1).getReg())
101 << decIncOperator(MI) << "]";
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000102 return true;
103 }
104 return false;
105}
106
Jacques Pienaar796975d2016-04-03 00:49:27 +0000107bool LanaiInstPrinter::printAlias(const MCInst *MI, raw_ostream &OS) {
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000108 switch (MI->getOpcode()) {
109 case Lanai::LDW_RI:
110 // ld 4[*%rN], %rX => ld [++imm], %rX
111 // ld -4[*%rN], %rX => ld [--imm], %rX
112 // ld 4[%rN*], %rX => ld [imm++], %rX
113 // ld -4[%rN*], %rX => ld [imm--], %rX
Jacques Pienaar796975d2016-04-03 00:49:27 +0000114 return printMemoryLoadIncrement(MI, OS, "ld", 4);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000115 case Lanai::LDHs_RI:
Jacques Pienaar796975d2016-04-03 00:49:27 +0000116 return printMemoryLoadIncrement(MI, OS, "ld.h", 2);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000117 case Lanai::LDHz_RI:
Jacques Pienaar796975d2016-04-03 00:49:27 +0000118 return printMemoryLoadIncrement(MI, OS, "uld.h", 2);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000119 case Lanai::LDBs_RI:
Jacques Pienaar796975d2016-04-03 00:49:27 +0000120 return printMemoryLoadIncrement(MI, OS, "ld.b", 1);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000121 case Lanai::LDBz_RI:
Jacques Pienaar796975d2016-04-03 00:49:27 +0000122 return printMemoryLoadIncrement(MI, OS, "uld.b", 1);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000123 case Lanai::SW_RI:
124 // st %rX, 4[*%rN] => st %rX, [++imm]
125 // st %rX, -4[*%rN] => st %rX, [--imm]
126 // st %rX, 4[%rN*] => st %rX, [imm++]
127 // st %rX, -4[%rN*] => st %rX, [imm--]
Jacques Pienaar796975d2016-04-03 00:49:27 +0000128 return printMemoryStoreIncrement(MI, OS, "st", 4);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000129 case Lanai::STH_RI:
Jacques Pienaar796975d2016-04-03 00:49:27 +0000130 return printMemoryStoreIncrement(MI, OS, "st.h", 2);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000131 case Lanai::STB_RI:
Jacques Pienaar796975d2016-04-03 00:49:27 +0000132 return printMemoryStoreIncrement(MI, OS, "st.b", 1);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000133 default:
134 return false;
135 }
136}
137
Jacques Pienaar796975d2016-04-03 00:49:27 +0000138void LanaiInstPrinter::printInst(const MCInst *MI, raw_ostream &OS,
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000139 StringRef Annotation,
140 const MCSubtargetInfo &STI) {
Jacques Pienaar5ffdef52016-05-20 21:41:53 +0000141 if (!printAlias(MI, OS) && !printAliasInstr(MI, OS))
142 printInstruction(MI, OS);
Jacques Pienaar796975d2016-04-03 00:49:27 +0000143 printAnnotation(OS, Annotation);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000144}
145
146void LanaiInstPrinter::printOperand(const MCInst *MI, unsigned OpNo,
Jacques Pienaar796975d2016-04-03 00:49:27 +0000147 raw_ostream &OS, const char *Modifier) {
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000148 assert((Modifier == 0 || Modifier[0] == 0) && "No modifiers supported");
149 const MCOperand &Op = MI->getOperand(OpNo);
150 if (Op.isReg())
Jacques Pienaar796975d2016-04-03 00:49:27 +0000151 OS << "%" << getRegisterName(Op.getReg());
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000152 else if (Op.isImm())
Jacques Pienaar796975d2016-04-03 00:49:27 +0000153 OS << formatHex(Op.getImm());
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000154 else {
155 assert(Op.isExpr() && "Expected an expression");
Jacques Pienaar796975d2016-04-03 00:49:27 +0000156 Op.getExpr()->print(OS, &MAI);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000157 }
158}
159
160void LanaiInstPrinter::printMemImmOperand(const MCInst *MI, unsigned OpNo,
Jacques Pienaar796975d2016-04-03 00:49:27 +0000161 raw_ostream &OS) {
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000162 const MCOperand &Op = MI->getOperand(OpNo);
163 if (Op.isImm()) {
Jacques Pienaar796975d2016-04-03 00:49:27 +0000164 OS << '[' << formatHex(Op.getImm()) << ']';
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000165 } else {
166 // Symbolic operand will be lowered to immediate value by linker
167 assert(Op.isExpr() && "Expected an expression");
Jacques Pienaar796975d2016-04-03 00:49:27 +0000168 OS << '[';
169 Op.getExpr()->print(OS, &MAI);
170 OS << ']';
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000171 }
172}
173
174void LanaiInstPrinter::printHi16ImmOperand(const MCInst *MI, unsigned OpNo,
Jacques Pienaar796975d2016-04-03 00:49:27 +0000175 raw_ostream &OS) {
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000176 const MCOperand &Op = MI->getOperand(OpNo);
177 if (Op.isImm()) {
Jacques Pienaar796975d2016-04-03 00:49:27 +0000178 OS << formatHex(Op.getImm() << 16);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000179 } else {
180 // Symbolic operand will be lowered to immediate value by linker
181 assert(Op.isExpr() && "Expected an expression");
Jacques Pienaar796975d2016-04-03 00:49:27 +0000182 Op.getExpr()->print(OS, &MAI);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000183 }
184}
185
186void LanaiInstPrinter::printHi16AndImmOperand(const MCInst *MI, unsigned OpNo,
Jacques Pienaar796975d2016-04-03 00:49:27 +0000187 raw_ostream &OS) {
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000188 const MCOperand &Op = MI->getOperand(OpNo);
189 if (Op.isImm()) {
Jacques Pienaar796975d2016-04-03 00:49:27 +0000190 OS << formatHex((Op.getImm() << 16) | 0xffff);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000191 } else {
192 // Symbolic operand will be lowered to immediate value by linker
193 assert(Op.isExpr() && "Expected an expression");
Jacques Pienaar796975d2016-04-03 00:49:27 +0000194 Op.getExpr()->print(OS, &MAI);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000195 }
196}
197
198void LanaiInstPrinter::printLo16AndImmOperand(const MCInst *MI, unsigned OpNo,
Jacques Pienaar796975d2016-04-03 00:49:27 +0000199 raw_ostream &OS) {
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000200 const MCOperand &Op = MI->getOperand(OpNo);
201 if (Op.isImm()) {
Jacques Pienaar796975d2016-04-03 00:49:27 +0000202 OS << formatHex(0xffff0000 | Op.getImm());
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000203 } else {
204 // Symbolic operand will be lowered to immediate value by linker
205 assert(Op.isExpr() && "Expected an expression");
Jacques Pienaar796975d2016-04-03 00:49:27 +0000206 Op.getExpr()->print(OS, &MAI);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000207 }
208}
209
Jacques Pienaar796975d2016-04-03 00:49:27 +0000210static void printMemoryBaseRegister(raw_ostream &OS, const unsigned AluCode,
211 const MCOperand &RegOp) {
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000212 assert(RegOp.isReg() && "Register operand expected");
Jacques Pienaar796975d2016-04-03 00:49:27 +0000213 OS << "[";
Jacques Pienaar5ffdef52016-05-20 21:41:53 +0000214 if (LPAC::isPreOp(AluCode))
215 OS << "*";
Jacques Pienaar796975d2016-04-03 00:49:27 +0000216 OS << "%" << LanaiInstPrinter::getRegisterName(RegOp.getReg());
Jacques Pienaar5ffdef52016-05-20 21:41:53 +0000217 if (LPAC::isPostOp(AluCode))
218 OS << "*";
Jacques Pienaar796975d2016-04-03 00:49:27 +0000219 OS << "]";
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000220}
221
222template <unsigned SizeInBits>
223static void printMemoryImmediateOffset(const MCAsmInfo &MAI,
224 const MCOperand &OffsetOp,
Jacques Pienaar796975d2016-04-03 00:49:27 +0000225 raw_ostream &OS) {
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000226 assert((OffsetOp.isImm() || OffsetOp.isExpr()) && "Immediate expected");
227 if (OffsetOp.isImm()) {
228 assert(isInt<SizeInBits>(OffsetOp.getImm()) && "Constant value truncated");
Jacques Pienaar796975d2016-04-03 00:49:27 +0000229 OS << OffsetOp.getImm();
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000230 } else
Jacques Pienaar796975d2016-04-03 00:49:27 +0000231 OffsetOp.getExpr()->print(OS, &MAI);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000232}
233
234void LanaiInstPrinter::printMemRiOperand(const MCInst *MI, int OpNo,
Jacques Pienaar796975d2016-04-03 00:49:27 +0000235 raw_ostream &OS,
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000236 const char *Modifier) {
237 const MCOperand &RegOp = MI->getOperand(OpNo);
238 const MCOperand &OffsetOp = MI->getOperand(OpNo + 1);
239 const MCOperand &AluOp = MI->getOperand(OpNo + 2);
240 const unsigned AluCode = AluOp.getImm();
241
242 // Offset
Jacques Pienaar796975d2016-04-03 00:49:27 +0000243 printMemoryImmediateOffset<16>(MAI, OffsetOp, OS);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000244
245 // Register
Jacques Pienaar796975d2016-04-03 00:49:27 +0000246 printMemoryBaseRegister(OS, AluCode, RegOp);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000247}
248
249void LanaiInstPrinter::printMemRrOperand(const MCInst *MI, int OpNo,
Jacques Pienaar796975d2016-04-03 00:49:27 +0000250 raw_ostream &OS,
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000251 const char *Modifier) {
252 const MCOperand &RegOp = MI->getOperand(OpNo);
253 const MCOperand &OffsetOp = MI->getOperand(OpNo + 1);
254 const MCOperand &AluOp = MI->getOperand(OpNo + 2);
255 const unsigned AluCode = AluOp.getImm();
256 assert(OffsetOp.isReg() && RegOp.isReg() && "Registers expected.");
257
258 // [ Base OP Offset ]
Jacques Pienaar796975d2016-04-03 00:49:27 +0000259 OS << "[";
Jacques Pienaar5ffdef52016-05-20 21:41:53 +0000260 if (LPAC::isPreOp(AluCode))
261 OS << "*";
Jacques Pienaar796975d2016-04-03 00:49:27 +0000262 OS << "%" << getRegisterName(RegOp.getReg());
Jacques Pienaar5ffdef52016-05-20 21:41:53 +0000263 if (LPAC::isPostOp(AluCode))
264 OS << "*";
Jacques Pienaar796975d2016-04-03 00:49:27 +0000265 OS << " " << LPAC::lanaiAluCodeToString(AluCode) << " ";
266 OS << "%" << getRegisterName(OffsetOp.getReg());
267 OS << "]";
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000268}
269
270void LanaiInstPrinter::printMemSplsOperand(const MCInst *MI, int OpNo,
Jacques Pienaar796975d2016-04-03 00:49:27 +0000271 raw_ostream &OS,
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000272 const char *Modifier) {
273 const MCOperand &RegOp = MI->getOperand(OpNo);
274 const MCOperand &OffsetOp = MI->getOperand(OpNo + 1);
275 const MCOperand &AluOp = MI->getOperand(OpNo + 2);
276 const unsigned AluCode = AluOp.getImm();
277
278 // Offset
Jacques Pienaar796975d2016-04-03 00:49:27 +0000279 printMemoryImmediateOffset<10>(MAI, OffsetOp, OS);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000280
281 // Register
Jacques Pienaar796975d2016-04-03 00:49:27 +0000282 printMemoryBaseRegister(OS, AluCode, RegOp);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000283}
284
285void LanaiInstPrinter::printCCOperand(const MCInst *MI, int OpNo,
Jacques Pienaar796975d2016-04-03 00:49:27 +0000286 raw_ostream &OS) {
Jacques Pienaar6d3eecc2016-07-07 23:36:04 +0000287 LPCC::CondCode CC =
288 static_cast<LPCC::CondCode>(MI->getOperand(OpNo).getImm());
289 // Handle the undefined value here for printing so we don't abort().
290 if (CC >= LPCC::UNKNOWN)
291 OS << "<und>";
292 else
293 OS << lanaiCondCodeToString(CC);
294}
295
296void LanaiInstPrinter::printPredicateOperand(const MCInst *MI, unsigned OpNo,
297 raw_ostream &OS) {
298 LPCC::CondCode CC =
299 static_cast<LPCC::CondCode>(MI->getOperand(OpNo).getImm());
300 // Handle the undefined value here for printing so we don't abort().
301 if (CC >= LPCC::UNKNOWN)
302 OS << "<und>";
303 else if (CC != LPCC::ICC_T)
304 OS << "." << lanaiCondCodeToString(CC);
Jacques Pienaarfcef3e42016-03-28 13:09:54 +0000305}