blob: eae5ebee2efe0edb30f32a8cf3ea384deeda5b59 [file] [log] [blame]
Jia Liu9f610112012-02-17 08:55:11 +00001//===-- MipsInstPrinter.cpp - Convert Mips MCInst to assembly syntax ------===//
Akira Hatanaka9c6028f2011-07-07 23:56:50 +00002//
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 Mips MCInst to a .s file.
11//
12//===----------------------------------------------------------------------===//
13
Akira Hatanaka9c6028f2011-07-07 23:56:50 +000014#include "MipsInstPrinter.h"
Petar Jovanovica5da5882014-02-04 18:41:57 +000015#include "MCTargetDesc/MipsMCExpr.h"
Chandler Carruth442f7842014-03-04 10:07:28 +000016#include "MipsInstrInfo.h"
Bruno Cardoso Lopesd5edb382011-11-08 22:26:47 +000017#include "llvm/ADT/StringExtras.h"
Akira Hatanaka9c6028f2011-07-07 23:56:50 +000018#include "llvm/MC/MCExpr.h"
19#include "llvm/MC/MCInst.h"
Craig Topperdab9e352012-04-02 07:01:04 +000020#include "llvm/MC/MCInstrInfo.h"
Bruno Cardoso Lopesd5edb382011-11-08 22:26:47 +000021#include "llvm/MC/MCSymbol.h"
Benjamin Kramerdbdff472011-07-08 20:18:13 +000022#include "llvm/Support/ErrorHandling.h"
Akira Hatanaka9c6028f2011-07-07 23:56:50 +000023#include "llvm/Support/raw_ostream.h"
Akira Hatanaka9c6028f2011-07-07 23:56:50 +000024using namespace llvm;
25
Chandler Carruth84e68b22014-04-22 02:41:26 +000026#define DEBUG_TYPE "asm-printer"
27
Jack Carter9c1a0272013-02-05 08:32:10 +000028#define PRINT_ALIAS_INSTR
Akira Hatanaka9c6028f2011-07-07 23:56:50 +000029#include "MipsGenAsmWriter.inc"
30
Akira Hatanaka53900e52013-07-26 18:34:25 +000031template<unsigned R>
32static bool isReg(const MCInst &MI, unsigned OpNo) {
33 assert(MI.getOperand(OpNo).isReg() && "Register operand expected.");
34 return MI.getOperand(OpNo).getReg() == R;
35}
36
Akira Hatanaka9c6028f2011-07-07 23:56:50 +000037const char* Mips::MipsFCCToString(Mips::CondCode CC) {
38 switch (CC) {
39 case FCOND_F:
40 case FCOND_T: return "f";
41 case FCOND_UN:
42 case FCOND_OR: return "un";
43 case FCOND_OEQ:
44 case FCOND_UNE: return "eq";
45 case FCOND_UEQ:
46 case FCOND_ONE: return "ueq";
47 case FCOND_OLT:
48 case FCOND_UGE: return "olt";
49 case FCOND_ULT:
50 case FCOND_OGE: return "ult";
51 case FCOND_OLE:
52 case FCOND_UGT: return "ole";
53 case FCOND_ULE:
54 case FCOND_OGT: return "ule";
55 case FCOND_SF:
56 case FCOND_ST: return "sf";
57 case FCOND_NGLE:
58 case FCOND_GLE: return "ngle";
59 case FCOND_SEQ:
60 case FCOND_SNE: return "seq";
61 case FCOND_NGL:
62 case FCOND_GL: return "ngl";
63 case FCOND_LT:
64 case FCOND_NLT: return "lt";
65 case FCOND_NGE:
66 case FCOND_GE: return "nge";
67 case FCOND_LE:
68 case FCOND_NLE: return "le";
69 case FCOND_NGT:
70 case FCOND_GT: return "ngt";
71 }
Benjamin Kramerdbdff472011-07-08 20:18:13 +000072 llvm_unreachable("Impossible condition code!");
Akira Hatanaka9c6028f2011-07-07 23:56:50 +000073}
74
Akira Hatanaka9c6028f2011-07-07 23:56:50 +000075void MipsInstPrinter::printRegName(raw_ostream &OS, unsigned RegNo) const {
Benjamin Kramer20baffb2011-11-06 20:37:06 +000076 OS << '$' << StringRef(getRegisterName(RegNo)).lower();
Akira Hatanaka9c6028f2011-07-07 23:56:50 +000077}
78
Owen Andersona0c3b972011-09-15 23:38:46 +000079void MipsInstPrinter::printInst(const MCInst *MI, raw_ostream &O,
Akira Hatanakab46d0232015-03-27 20:36:02 +000080 StringRef Annot, const MCSubtargetInfo &STI) {
Akira Hatanaka7d33c782012-07-05 19:26:38 +000081 switch (MI->getOpcode()) {
82 default:
83 break;
84 case Mips::RDHWR:
85 case Mips::RDHWR64:
86 O << "\t.set\tpush\n";
87 O << "\t.set\tmips32r2\n";
Reed Kotlere0a34ee2013-12-08 16:51:52 +000088 break;
89 case Mips::Save16:
Reed Kotler5bde5c32013-12-11 03:32:44 +000090 O << "\tsave\t";
91 printSaveRestore(MI, O);
92 O << " # 16 bit inst\n";
93 return;
Reed Kotlere0a34ee2013-12-08 16:51:52 +000094 case Mips::SaveX16:
95 O << "\tsave\t";
96 printSaveRestore(MI, O);
97 O << "\n";
98 return;
99 case Mips::Restore16:
Reed Kotler5bde5c32013-12-11 03:32:44 +0000100 O << "\trestore\t";
101 printSaveRestore(MI, O);
102 O << " # 16 bit inst\n";
103 return;
Reed Kotlere0a34ee2013-12-08 16:51:52 +0000104 case Mips::RestoreX16:
105 O << "\trestore\t";
106 printSaveRestore(MI, O);
107 O << "\n";
108 return;
Akira Hatanaka7d33c782012-07-05 19:26:38 +0000109 }
110
Jack Carter9c1a0272013-02-05 08:32:10 +0000111 // Try to print any aliases first.
Akira Hatanaka53900e52013-07-26 18:34:25 +0000112 if (!printAliasInstr(MI, O) && !printAlias(*MI, O))
Jack Carter9c1a0272013-02-05 08:32:10 +0000113 printInstruction(MI, O);
Owen Andersonbcc3fad2011-09-21 17:58:45 +0000114 printAnnotation(O, Annot);
Akira Hatanaka7d33c782012-07-05 19:26:38 +0000115
116 switch (MI->getOpcode()) {
117 default:
118 break;
119 case Mips::RDHWR:
120 case Mips::RDHWR64:
121 O << "\n\t.set\tpop";
122 }
Akira Hatanaka9c6028f2011-07-07 23:56:50 +0000123}
124
Matt Arsenault8b643552015-06-09 00:31:39 +0000125static void printExpr(const MCExpr *Expr, const MCAsmInfo *MAI,
126 raw_ostream &OS) {
Bruno Cardoso Lopesd5edb382011-11-08 22:26:47 +0000127 int Offset = 0;
128 const MCSymbolRefExpr *SRE;
129
130 if (const MCBinaryExpr *BE = dyn_cast<MCBinaryExpr>(Expr)) {
131 SRE = dyn_cast<MCSymbolRefExpr>(BE->getLHS());
132 const MCConstantExpr *CE = dyn_cast<MCConstantExpr>(BE->getRHS());
133 assert(SRE && CE && "Binary expression must be sym+const.");
134 Offset = CE->getValue();
Petar Jovanovica5da5882014-02-04 18:41:57 +0000135 } else if (const MipsMCExpr *ME = dyn_cast<MipsMCExpr>(Expr)) {
Matt Arsenault8b643552015-06-09 00:31:39 +0000136 ME->print(OS, MAI);
Petar Jovanovica5da5882014-02-04 18:41:57 +0000137 return;
Craig Topperd3c02f12015-01-05 10:15:49 +0000138 } else
139 SRE = cast<MCSymbolRefExpr>(Expr);
Bruno Cardoso Lopesd5edb382011-11-08 22:26:47 +0000140
Daniel Sandersc1e6aa72016-05-03 14:00:37 +0000141 assert(SRE->getKind() == MCSymbolRefExpr::VK_None && "Invalid kind!");
Bruno Cardoso Lopesd5edb382011-11-08 22:26:47 +0000142
Matt Arsenault8b643552015-06-09 00:31:39 +0000143 SRE->getSymbol().print(OS, MAI);
Bruno Cardoso Lopesd5edb382011-11-08 22:26:47 +0000144
145 if (Offset) {
146 if (Offset > 0)
147 OS << '+';
148 OS << Offset;
149 }
Bruno Cardoso Lopesd5edb382011-11-08 22:26:47 +0000150}
151
Akira Hatanaka9c6028f2011-07-07 23:56:50 +0000152void MipsInstPrinter::printOperand(const MCInst *MI, unsigned OpNo,
153 raw_ostream &O) {
154 const MCOperand &Op = MI->getOperand(OpNo);
155 if (Op.isReg()) {
156 printRegName(O, Op.getReg());
157 return;
158 }
Jia Liuf54f60f2012-02-28 07:46:26 +0000159
Akira Hatanaka9c6028f2011-07-07 23:56:50 +0000160 if (Op.isImm()) {
Simon Atanasyan58ee8752016-03-17 10:43:36 +0000161 O << formatImm(Op.getImm());
Akira Hatanaka9c6028f2011-07-07 23:56:50 +0000162 return;
163 }
Jia Liuf54f60f2012-02-28 07:46:26 +0000164
Akira Hatanaka9c6028f2011-07-07 23:56:50 +0000165 assert(Op.isExpr() && "unknown operand kind in printOperand");
Matt Arsenault8b643552015-06-09 00:31:39 +0000166 printExpr(Op.getExpr(), &MAI, O);
Akira Hatanaka9c6028f2011-07-07 23:56:50 +0000167}
168
Daniel Sanders03a8d2f2016-02-29 16:06:38 +0000169template <unsigned Bits, unsigned Offset>
170void MipsInstPrinter::printUImm(const MCInst *MI, int opNum, raw_ostream &O) {
Akira Hatanaka9c6028f2011-07-07 23:56:50 +0000171 const MCOperand &MO = MI->getOperand(opNum);
Daniel Sanders03a8d2f2016-02-29 16:06:38 +0000172 if (MO.isImm()) {
173 uint64_t Imm = MO.getImm();
174 Imm -= Offset;
175 Imm &= (1 << Bits) - 1;
176 Imm += Offset;
Simon Atanasyan58ee8752016-03-17 10:43:36 +0000177 O << formatImm(Imm);
Daniel Sanders03a8d2f2016-02-29 16:06:38 +0000178 return;
179 }
Akira Hatanaka9c6028f2011-07-07 23:56:50 +0000180
Daniel Sanders03a8d2f2016-02-29 16:06:38 +0000181 printOperand(MI, opNum, O);
Daniel Sanders7e51fe12013-09-27 11:48:57 +0000182}
183
Akira Hatanaka9c6028f2011-07-07 23:56:50 +0000184void MipsInstPrinter::
185printMemOperand(const MCInst *MI, int opNum, raw_ostream &O) {
186 // Load/Store memory operands -- imm($reg)
187 // If PIC target the target is loaded as the
188 // pattern lw $25,%call16($28)
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +0000189
190 // opNum can be invalid if instruction had reglist as operand.
191 // MemOperand is always last operand of instruction (base + offset).
192 switch (MI->getOpcode()) {
193 default:
194 break;
195 case Mips::SWM32_MM:
196 case Mips::LWM32_MM:
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000197 case Mips::SWM16_MM:
Zlatko Buljan797c2ae2015-11-12 13:21:33 +0000198 case Mips::SWM16_MMR6:
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000199 case Mips::LWM16_MM:
Zlatko Buljan797c2ae2015-11-12 13:21:33 +0000200 case Mips::LWM16_MMR6:
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +0000201 opNum = MI->getNumOperands() - 2;
202 break;
203 }
204
Akira Hatanaka9c6028f2011-07-07 23:56:50 +0000205 printOperand(MI, opNum+1, O);
206 O << "(";
207 printOperand(MI, opNum, O);
208 O << ")";
209}
210
211void MipsInstPrinter::
212printMemOperandEA(const MCInst *MI, int opNum, raw_ostream &O) {
213 // when using stack locations for not load/store instructions
214 // print the same way as all normal 3 operand instructions.
215 printOperand(MI, opNum, O);
216 O << ", ";
217 printOperand(MI, opNum+1, O);
218 return;
219}
220
221void MipsInstPrinter::
222printFCCOperand(const MCInst *MI, int opNum, raw_ostream &O) {
223 const MCOperand& MO = MI->getOperand(opNum);
224 O << MipsFCCToString((Mips::CondCode)MO.getImm());
225}
Akira Hatanaka53900e52013-07-26 18:34:25 +0000226
Daniel Sanders26307182013-09-24 14:20:00 +0000227void MipsInstPrinter::
Zoran Jovanovic2deca342014-12-16 14:59:10 +0000228printRegisterPair(const MCInst *MI, int opNum, raw_ostream &O) {
229 printRegName(O, MI->getOperand(opNum).getReg());
230}
231
232void MipsInstPrinter::
Daniel Sanders26307182013-09-24 14:20:00 +0000233printSHFMask(const MCInst *MI, int opNum, raw_ostream &O) {
234 llvm_unreachable("TODO");
235}
236
Akira Hatanaka53900e52013-07-26 18:34:25 +0000237bool MipsInstPrinter::printAlias(const char *Str, const MCInst &MI,
238 unsigned OpNo, raw_ostream &OS) {
239 OS << "\t" << Str << "\t";
240 printOperand(&MI, OpNo, OS);
241 return true;
242}
243
244bool MipsInstPrinter::printAlias(const char *Str, const MCInst &MI,
245 unsigned OpNo0, unsigned OpNo1,
246 raw_ostream &OS) {
247 printAlias(Str, MI, OpNo0, OS);
248 OS << ", ";
249 printOperand(&MI, OpNo1, OS);
250 return true;
251}
252
253bool MipsInstPrinter::printAlias(const MCInst &MI, raw_ostream &OS) {
254 switch (MI.getOpcode()) {
255 case Mips::BEQ:
Jozef Kolek5cfebdd2015-01-21 12:39:30 +0000256 case Mips::BEQ_MM:
Akira Hatanaka2c544d82013-09-06 23:40:15 +0000257 // beq $zero, $zero, $L2 => b $L2
Akira Hatanaka52dd8082013-07-29 19:08:34 +0000258 // beq $r0, $zero, $L2 => beqz $r0, $L2
Akira Hatanaka92ec3bd2013-09-07 00:26:26 +0000259 return (isReg<Mips::ZERO>(MI, 0) && isReg<Mips::ZERO>(MI, 1) &&
260 printAlias("b", MI, 2, OS)) ||
261 (isReg<Mips::ZERO>(MI, 1) && printAlias("beqz", MI, 0, 2, OS));
Akira Hatanaka53900e52013-07-26 18:34:25 +0000262 case Mips::BEQ64:
Akira Hatanaka52dd8082013-07-29 19:08:34 +0000263 // beq $r0, $zero, $L2 => beqz $r0, $L2
264 return isReg<Mips::ZERO_64>(MI, 1) && printAlias("beqz", MI, 0, 2, OS);
Akira Hatanaka53900e52013-07-26 18:34:25 +0000265 case Mips::BNE:
Akira Hatanaka52dd8082013-07-29 19:08:34 +0000266 // bne $r0, $zero, $L2 => bnez $r0, $L2
267 return isReg<Mips::ZERO>(MI, 1) && printAlias("bnez", MI, 0, 2, OS);
Akira Hatanaka53900e52013-07-26 18:34:25 +0000268 case Mips::BNE64:
Akira Hatanaka52dd8082013-07-29 19:08:34 +0000269 // bne $r0, $zero, $L2 => bnez $r0, $L2
270 return isReg<Mips::ZERO_64>(MI, 1) && printAlias("bnez", MI, 0, 2, OS);
Akira Hatanaka5973e832013-07-30 20:24:24 +0000271 case Mips::BGEZAL:
272 // bgezal $zero, $L1 => bal $L1
273 return isReg<Mips::ZERO>(MI, 0) && printAlias("bal", MI, 1, OS);
Akira Hatanaka1fb1b8b2013-07-26 20:13:47 +0000274 case Mips::BC1T:
Akira Hatanaka52dd8082013-07-29 19:08:34 +0000275 // bc1t $fcc0, $L1 => bc1t $L1
276 return isReg<Mips::FCC0>(MI, 0) && printAlias("bc1t", MI, 1, OS);
Akira Hatanaka1fb1b8b2013-07-26 20:13:47 +0000277 case Mips::BC1F:
Akira Hatanaka52dd8082013-07-29 19:08:34 +0000278 // bc1f $fcc0, $L1 => bc1f $L1
279 return isReg<Mips::FCC0>(MI, 0) && printAlias("bc1f", MI, 1, OS);
Akira Hatanaka34a32c02013-08-06 22:20:40 +0000280 case Mips::JALR:
281 // jalr $ra, $r1 => jalr $r1
282 return isReg<Mips::RA>(MI, 0) && printAlias("jalr", MI, 1, OS);
283 case Mips::JALR64:
284 // jalr $ra, $r1 => jalr $r1
285 return isReg<Mips::RA_64>(MI, 0) && printAlias("jalr", MI, 1, OS);
Akira Hatanakae2a39e72013-08-06 22:35:29 +0000286 case Mips::NOR:
Akira Hatanaka39f915b52013-08-21 01:18:46 +0000287 case Mips::NOR_MM:
Akira Hatanakae2a39e72013-08-06 22:35:29 +0000288 // nor $r0, $r1, $zero => not $r0, $r1
289 return isReg<Mips::ZERO>(MI, 2) && printAlias("not", MI, 0, 1, OS);
290 case Mips::NOR64:
291 // nor $r0, $r1, $zero => not $r0, $r1
292 return isReg<Mips::ZERO_64>(MI, 2) && printAlias("not", MI, 0, 1, OS);
Akira Hatanaka53900e52013-07-26 18:34:25 +0000293 case Mips::OR:
Akira Hatanaka52dd8082013-07-29 19:08:34 +0000294 // or $r0, $r1, $zero => move $r0, $r1
295 return isReg<Mips::ZERO>(MI, 2) && printAlias("move", MI, 0, 1, OS);
Akira Hatanaka53900e52013-07-26 18:34:25 +0000296 default: return false;
297 }
Akira Hatanaka53900e52013-07-26 18:34:25 +0000298}
Reed Kotlere0a34ee2013-12-08 16:51:52 +0000299
300void MipsInstPrinter::printSaveRestore(const MCInst *MI, raw_ostream &O) {
301 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
302 if (i != 0) O << ", ";
303 if (MI->getOperand(i).isReg())
304 printRegName(O, MI->getOperand(i).getReg());
305 else
Daniel Sanders03a8d2f2016-02-29 16:06:38 +0000306 printUImm<16>(MI, i, O);
Reed Kotlere0a34ee2013-12-08 16:51:52 +0000307 }
308}
309
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +0000310void MipsInstPrinter::
311printRegisterList(const MCInst *MI, int opNum, raw_ostream &O) {
312 // - 2 because register List is always first operand of instruction and it is
313 // always followed by memory operand (base + offset).
314 for (int i = opNum, e = MI->getNumOperands() - 2; i != e; ++i) {
315 if (i != opNum)
316 O << ", ";
317 printRegName(O, MI->getOperand(i).getReg());
318 }
319}