1 //===-- MipsInstPrinter.cpp - Convert Mips 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 Mips MCInst to a .s file.
11 //
12 //===----------------------------------------------------------------------===//
13
14 #include "MipsInstPrinter.h"
15 #include "MCTargetDesc/MipsMCExpr.h"
16 #include "MipsInstrInfo.h"
17 #include "llvm/ADT/StringExtras.h"
18 #include "llvm/MC/MCExpr.h"
19 #include "llvm/MC/MCInst.h"
20 #include "llvm/MC/MCInstrInfo.h"
21 #include "llvm/MC/MCSymbol.h"
22 #include "llvm/Support/ErrorHandling.h"
23 #include "llvm/Support/raw_ostream.h"
24 using namespace llvm;
25
26 #define DEBUG_TYPE "asm-printer"
27
28 #define PRINT_ALIAS_INSTR
29 #include "MipsGenAsmWriter.inc"
30
31 template<unsigned R>
isReg(const MCInst & MI,unsigned OpNo)32 static 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
MipsFCCToString(Mips::CondCode CC)37 const 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 }
72 llvm_unreachable("Impossible condition code!");
73 }
74
printRegName(raw_ostream & OS,unsigned RegNo) const75 void MipsInstPrinter::printRegName(raw_ostream &OS, unsigned RegNo) const {
76 OS << '$' << StringRef(getRegisterName(RegNo)).lower();
77 }
78
printInst(const MCInst * MI,raw_ostream & O,StringRef Annot,const MCSubtargetInfo & STI)79 void MipsInstPrinter::printInst(const MCInst *MI, raw_ostream &O,
80 StringRef Annot, const MCSubtargetInfo &STI) {
81 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";
88 break;
89 case Mips::Save16:
90 O << "\tsave\t";
91 printSaveRestore(MI, O);
92 O << " # 16 bit inst\n";
93 return;
94 case Mips::SaveX16:
95 O << "\tsave\t";
96 printSaveRestore(MI, O);
97 O << "\n";
98 return;
99 case Mips::Restore16:
100 O << "\trestore\t";
101 printSaveRestore(MI, O);
102 O << " # 16 bit inst\n";
103 return;
104 case Mips::RestoreX16:
105 O << "\trestore\t";
106 printSaveRestore(MI, O);
107 O << "\n";
108 return;
109 }
110
111 // Try to print any aliases first.
112 if (!printAliasInstr(MI, O) && !printAlias(*MI, O))
113 printInstruction(MI, O);
114 printAnnotation(O, Annot);
115
116 switch (MI->getOpcode()) {
117 default:
118 break;
119 case Mips::RDHWR:
120 case Mips::RDHWR64:
121 O << "\n\t.set\tpop";
122 }
123 }
124
printExpr(const MCExpr * Expr,const MCAsmInfo * MAI,raw_ostream & OS)125 static void printExpr(const MCExpr *Expr, const MCAsmInfo *MAI,
126 raw_ostream &OS) {
127 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();
135 } else if (const MipsMCExpr *ME = dyn_cast<MipsMCExpr>(Expr)) {
136 ME->print(OS, MAI);
137 return;
138 } else
139 SRE = cast<MCSymbolRefExpr>(Expr);
140
141 MCSymbolRefExpr::VariantKind Kind = SRE->getKind();
142
143 switch (Kind) {
144 default: llvm_unreachable("Invalid kind!");
145 case MCSymbolRefExpr::VK_None: break;
146 case MCSymbolRefExpr::VK_Mips_GPREL: OS << "%gp_rel("; break;
147 case MCSymbolRefExpr::VK_Mips_GOT_CALL: OS << "%call16("; break;
148 case MCSymbolRefExpr::VK_Mips_GOT16: OS << "%got("; break;
149 case MCSymbolRefExpr::VK_Mips_GOT: OS << "%got("; break;
150 case MCSymbolRefExpr::VK_Mips_ABS_HI: OS << "%hi("; break;
151 case MCSymbolRefExpr::VK_Mips_ABS_LO: OS << "%lo("; break;
152 case MCSymbolRefExpr::VK_Mips_TLSGD: OS << "%tlsgd("; break;
153 case MCSymbolRefExpr::VK_Mips_TLSLDM: OS << "%tlsldm("; break;
154 case MCSymbolRefExpr::VK_Mips_DTPREL_HI: OS << "%dtprel_hi("; break;
155 case MCSymbolRefExpr::VK_Mips_DTPREL_LO: OS << "%dtprel_lo("; break;
156 case MCSymbolRefExpr::VK_Mips_GOTTPREL: OS << "%gottprel("; break;
157 case MCSymbolRefExpr::VK_Mips_TPREL_HI: OS << "%tprel_hi("; break;
158 case MCSymbolRefExpr::VK_Mips_TPREL_LO: OS << "%tprel_lo("; break;
159 case MCSymbolRefExpr::VK_Mips_GPOFF_HI: OS << "%hi(%neg(%gp_rel("; break;
160 case MCSymbolRefExpr::VK_Mips_GPOFF_LO: OS << "%lo(%neg(%gp_rel("; break;
161 case MCSymbolRefExpr::VK_Mips_GOT_DISP: OS << "%got_disp("; break;
162 case MCSymbolRefExpr::VK_Mips_GOT_PAGE: OS << "%got_page("; break;
163 case MCSymbolRefExpr::VK_Mips_GOT_OFST: OS << "%got_ofst("; break;
164 case MCSymbolRefExpr::VK_Mips_HIGHER: OS << "%higher("; break;
165 case MCSymbolRefExpr::VK_Mips_HIGHEST: OS << "%highest("; break;
166 case MCSymbolRefExpr::VK_Mips_GOT_HI16: OS << "%got_hi("; break;
167 case MCSymbolRefExpr::VK_Mips_GOT_LO16: OS << "%got_lo("; break;
168 case MCSymbolRefExpr::VK_Mips_CALL_HI16: OS << "%call_hi("; break;
169 case MCSymbolRefExpr::VK_Mips_CALL_LO16: OS << "%call_lo("; break;
170 case MCSymbolRefExpr::VK_Mips_PCREL_HI16: OS << "%pcrel_hi("; break;
171 case MCSymbolRefExpr::VK_Mips_PCREL_LO16: OS << "%pcrel_lo("; break;
172 }
173
174 SRE->getSymbol().print(OS, MAI);
175
176 if (Offset) {
177 if (Offset > 0)
178 OS << '+';
179 OS << Offset;
180 }
181
182 if ((Kind == MCSymbolRefExpr::VK_Mips_GPOFF_HI) ||
183 (Kind == MCSymbolRefExpr::VK_Mips_GPOFF_LO))
184 OS << ")))";
185 else if (Kind != MCSymbolRefExpr::VK_None)
186 OS << ')';
187 }
188
printOperand(const MCInst * MI,unsigned OpNo,raw_ostream & O)189 void MipsInstPrinter::printOperand(const MCInst *MI, unsigned OpNo,
190 raw_ostream &O) {
191 const MCOperand &Op = MI->getOperand(OpNo);
192 if (Op.isReg()) {
193 printRegName(O, Op.getReg());
194 return;
195 }
196
197 if (Op.isImm()) {
198 O << Op.getImm();
199 return;
200 }
201
202 assert(Op.isExpr() && "unknown operand kind in printOperand");
203 printExpr(Op.getExpr(), &MAI, O);
204 }
205
printUnsignedImm(const MCInst * MI,int opNum,raw_ostream & O)206 void MipsInstPrinter::printUnsignedImm(const MCInst *MI, int opNum,
207 raw_ostream &O) {
208 const MCOperand &MO = MI->getOperand(opNum);
209 if (MO.isImm())
210 O << (unsigned short int)MO.getImm();
211 else
212 printOperand(MI, opNum, O);
213 }
214
printUnsignedImm8(const MCInst * MI,int opNum,raw_ostream & O)215 void MipsInstPrinter::printUnsignedImm8(const MCInst *MI, int opNum,
216 raw_ostream &O) {
217 const MCOperand &MO = MI->getOperand(opNum);
218 if (MO.isImm())
219 O << (unsigned short int)(unsigned char)MO.getImm();
220 else
221 printOperand(MI, opNum, O);
222 }
223
224 void MipsInstPrinter::
printMemOperand(const MCInst * MI,int opNum,raw_ostream & O)225 printMemOperand(const MCInst *MI, int opNum, raw_ostream &O) {
226 // Load/Store memory operands -- imm($reg)
227 // If PIC target the target is loaded as the
228 // pattern lw $25,%call16($28)
229
230 // opNum can be invalid if instruction had reglist as operand.
231 // MemOperand is always last operand of instruction (base + offset).
232 switch (MI->getOpcode()) {
233 default:
234 break;
235 case Mips::SWM32_MM:
236 case Mips::LWM32_MM:
237 case Mips::SWM16_MM:
238 case Mips::SWM16_MMR6:
239 case Mips::LWM16_MM:
240 case Mips::LWM16_MMR6:
241 opNum = MI->getNumOperands() - 2;
242 break;
243 }
244
245 printOperand(MI, opNum+1, O);
246 O << "(";
247 printOperand(MI, opNum, O);
248 O << ")";
249 }
250
251 void MipsInstPrinter::
printMemOperandEA(const MCInst * MI,int opNum,raw_ostream & O)252 printMemOperandEA(const MCInst *MI, int opNum, raw_ostream &O) {
253 // when using stack locations for not load/store instructions
254 // print the same way as all normal 3 operand instructions.
255 printOperand(MI, opNum, O);
256 O << ", ";
257 printOperand(MI, opNum+1, O);
258 return;
259 }
260
261 void MipsInstPrinter::
printFCCOperand(const MCInst * MI,int opNum,raw_ostream & O)262 printFCCOperand(const MCInst *MI, int opNum, raw_ostream &O) {
263 const MCOperand& MO = MI->getOperand(opNum);
264 O << MipsFCCToString((Mips::CondCode)MO.getImm());
265 }
266
267 void MipsInstPrinter::
printRegisterPair(const MCInst * MI,int opNum,raw_ostream & O)268 printRegisterPair(const MCInst *MI, int opNum, raw_ostream &O) {
269 printRegName(O, MI->getOperand(opNum).getReg());
270 }
271
272 void MipsInstPrinter::
printSHFMask(const MCInst * MI,int opNum,raw_ostream & O)273 printSHFMask(const MCInst *MI, int opNum, raw_ostream &O) {
274 llvm_unreachable("TODO");
275 }
276
printAlias(const char * Str,const MCInst & MI,unsigned OpNo,raw_ostream & OS)277 bool MipsInstPrinter::printAlias(const char *Str, const MCInst &MI,
278 unsigned OpNo, raw_ostream &OS) {
279 OS << "\t" << Str << "\t";
280 printOperand(&MI, OpNo, OS);
281 return true;
282 }
283
printAlias(const char * Str,const MCInst & MI,unsigned OpNo0,unsigned OpNo1,raw_ostream & OS)284 bool MipsInstPrinter::printAlias(const char *Str, const MCInst &MI,
285 unsigned OpNo0, unsigned OpNo1,
286 raw_ostream &OS) {
287 printAlias(Str, MI, OpNo0, OS);
288 OS << ", ";
289 printOperand(&MI, OpNo1, OS);
290 return true;
291 }
292
printAlias(const MCInst & MI,raw_ostream & OS)293 bool MipsInstPrinter::printAlias(const MCInst &MI, raw_ostream &OS) {
294 switch (MI.getOpcode()) {
295 case Mips::BEQ:
296 case Mips::BEQ_MM:
297 // beq $zero, $zero, $L2 => b $L2
298 // beq $r0, $zero, $L2 => beqz $r0, $L2
299 return (isReg<Mips::ZERO>(MI, 0) && isReg<Mips::ZERO>(MI, 1) &&
300 printAlias("b", MI, 2, OS)) ||
301 (isReg<Mips::ZERO>(MI, 1) && printAlias("beqz", MI, 0, 2, OS));
302 case Mips::BEQ64:
303 // beq $r0, $zero, $L2 => beqz $r0, $L2
304 return isReg<Mips::ZERO_64>(MI, 1) && printAlias("beqz", MI, 0, 2, OS);
305 case Mips::BNE:
306 // bne $r0, $zero, $L2 => bnez $r0, $L2
307 return isReg<Mips::ZERO>(MI, 1) && printAlias("bnez", MI, 0, 2, OS);
308 case Mips::BNE64:
309 // bne $r0, $zero, $L2 => bnez $r0, $L2
310 return isReg<Mips::ZERO_64>(MI, 1) && printAlias("bnez", MI, 0, 2, OS);
311 case Mips::BGEZAL:
312 // bgezal $zero, $L1 => bal $L1
313 return isReg<Mips::ZERO>(MI, 0) && printAlias("bal", MI, 1, OS);
314 case Mips::BC1T:
315 // bc1t $fcc0, $L1 => bc1t $L1
316 return isReg<Mips::FCC0>(MI, 0) && printAlias("bc1t", MI, 1, OS);
317 case Mips::BC1F:
318 // bc1f $fcc0, $L1 => bc1f $L1
319 return isReg<Mips::FCC0>(MI, 0) && printAlias("bc1f", MI, 1, OS);
320 case Mips::JALR:
321 // jalr $ra, $r1 => jalr $r1
322 return isReg<Mips::RA>(MI, 0) && printAlias("jalr", MI, 1, OS);
323 case Mips::JALR64:
324 // jalr $ra, $r1 => jalr $r1
325 return isReg<Mips::RA_64>(MI, 0) && printAlias("jalr", MI, 1, OS);
326 case Mips::NOR:
327 case Mips::NOR_MM:
328 // nor $r0, $r1, $zero => not $r0, $r1
329 return isReg<Mips::ZERO>(MI, 2) && printAlias("not", MI, 0, 1, OS);
330 case Mips::NOR64:
331 // nor $r0, $r1, $zero => not $r0, $r1
332 return isReg<Mips::ZERO_64>(MI, 2) && printAlias("not", MI, 0, 1, OS);
333 case Mips::OR:
334 // or $r0, $r1, $zero => move $r0, $r1
335 return isReg<Mips::ZERO>(MI, 2) && printAlias("move", MI, 0, 1, OS);
336 default: return false;
337 }
338 }
339
printSaveRestore(const MCInst * MI,raw_ostream & O)340 void MipsInstPrinter::printSaveRestore(const MCInst *MI, raw_ostream &O) {
341 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
342 if (i != 0) O << ", ";
343 if (MI->getOperand(i).isReg())
344 printRegName(O, MI->getOperand(i).getReg());
345 else
346 printUnsignedImm(MI, i, O);
347 }
348 }
349
350 void MipsInstPrinter::
printRegisterList(const MCInst * MI,int opNum,raw_ostream & O)351 printRegisterList(const MCInst *MI, int opNum, raw_ostream &O) {
352 // - 2 because register List is always first operand of instruction and it is
353 // always followed by memory operand (base + offset).
354 for (int i = opNum, e = MI->getNumOperands() - 2; i != e; ++i) {
355 if (i != opNum)
356 O << ", ";
357 printRegName(O, MI->getOperand(i).getReg());
358 }
359 }
360