blob: 0047925721765d5eab0a8801d1ba6d43267d75a8 [file] [log] [blame]
Chris Lattnerfd603822009-10-19 19:56:26 +00001//===-- ARMInstPrinter.cpp - Convert ARM 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 ARM MCInst to a .s file.
11//
12//===----------------------------------------------------------------------===//
13
14#define DEBUG_TYPE "asm-printer"
Chris Lattner413ae252009-10-20 00:42:49 +000015#include "ARM.h" // FIXME: FACTOR ENUMS BETTER.
Chris Lattnerfd603822009-10-19 19:56:26 +000016#include "ARMInstPrinter.h"
Chris Lattner61d35c22009-10-19 21:21:39 +000017#include "ARMAddressingModes.h"
Chris Lattnerfd603822009-10-19 19:56:26 +000018#include "llvm/MC/MCInst.h"
Chris Lattner61d35c22009-10-19 21:21:39 +000019#include "llvm/MC/MCAsmInfo.h"
Chris Lattner6f997762009-10-19 21:53:00 +000020#include "llvm/MC/MCExpr.h"
21#include "llvm/Support/raw_ostream.h"
Chris Lattnerfd603822009-10-19 19:56:26 +000022using namespace llvm;
23
24// Include the auto-generated portion of the assembly writer.
25#define MachineInstr MCInst
26#define ARMAsmPrinter ARMInstPrinter // FIXME: REMOVE.
27#define NO_ASM_WRITER_BOILERPLATE
28#include "ARMGenAsmWriter.inc"
29#undef MachineInstr
30#undef ARMAsmPrinter
31
32void ARMInstPrinter::printInst(const MCInst *MI) { printInstruction(MI); }
33
Chris Lattner8bc86cb2009-10-19 20:59:55 +000034void ARMInstPrinter::printOperand(const MCInst *MI, unsigned OpNo,
35 const char *Modifier) {
Chris Lattner8bc86cb2009-10-19 20:59:55 +000036 const MCOperand &Op = MI->getOperand(OpNo);
37 if (Op.isReg()) {
Chris Lattnerbf16faa2009-10-20 06:15:28 +000038 unsigned Reg = Op.getReg();
39 if (Modifier && strcmp(Modifier, "dregpair") == 0) {
40 // FIXME: Breaks e.g. ARM/vmul.ll.
41 assert(0);
42 /*
43 unsigned DRegLo = TRI->getSubReg(Reg, 5); // arm_dsubreg_0
44 unsigned DRegHi = TRI->getSubReg(Reg, 6); // arm_dsubreg_1
45 O << '{'
46 << getRegisterName(DRegLo) << ',' << getRegisterName(DRegHi)
47 << '}';*/
48 } else if (Modifier && strcmp(Modifier, "lane") == 0) {
49 assert(0);
50 /*
51 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(Reg);
52 unsigned DReg = TRI->getMatchingSuperReg(Reg, RegNum & 1 ? 2 : 1,
53 &ARM::DPR_VFP2RegClass);
54 O << getRegisterName(DReg) << '[' << (RegNum & 1) << ']';
55 */
56 } else {
57 O << getRegisterName(Reg);
58 }
Chris Lattner8bc86cb2009-10-19 20:59:55 +000059 } else if (Op.isImm()) {
Chris Lattnerbf16faa2009-10-20 06:15:28 +000060 assert((Modifier == 0 || Modifier[0] == 0) && "No modifiers supported");
Chris Lattner8bc86cb2009-10-19 20:59:55 +000061 O << '#' << Op.getImm();
62 } else {
Chris Lattnerbf16faa2009-10-20 06:15:28 +000063 assert((Modifier == 0 || Modifier[0] == 0) && "No modifiers supported");
Chris Lattner8bc86cb2009-10-19 20:59:55 +000064 assert(Op.isExpr() && "unknown operand kind in printOperand");
Chris Lattner6f997762009-10-19 21:53:00 +000065 Op.getExpr()->print(O, &MAI);
Chris Lattner8bc86cb2009-10-19 20:59:55 +000066 }
67}
Chris Lattner61d35c22009-10-19 21:21:39 +000068
69static void printSOImm(raw_ostream &O, int64_t V, bool VerboseAsm,
70 const MCAsmInfo *MAI) {
71 // Break it up into two parts that make up a shifter immediate.
72 V = ARM_AM::getSOImmVal(V);
73 assert(V != -1 && "Not a valid so_imm value!");
74
75 unsigned Imm = ARM_AM::getSOImmValImm(V);
76 unsigned Rot = ARM_AM::getSOImmValRot(V);
77
78 // Print low-level immediate formation info, per
79 // A5.1.3: "Data-processing operands - Immediate".
80 if (Rot) {
81 O << "#" << Imm << ", " << Rot;
82 // Pretty printed version.
83 if (VerboseAsm)
84 O << ' ' << MAI->getCommentString()
85 << ' ' << (int)ARM_AM::rotr32(Imm, Rot);
86 } else {
87 O << "#" << Imm;
88 }
89}
90
91
92/// printSOImmOperand - SOImm is 4-bit rotate amount in bits 8-11 with 8-bit
93/// immediate in bits 0-7.
94void ARMInstPrinter::printSOImmOperand(const MCInst *MI, unsigned OpNum) {
95 const MCOperand &MO = MI->getOperand(OpNum);
96 assert(MO.isImm() && "Not a valid so_imm value!");
97 printSOImm(O, MO.getImm(), VerboseAsm, &MAI);
98}
Chris Lattner084f87d2009-10-19 21:57:05 +000099
Chris Lattner017d9472009-10-20 00:40:56 +0000100/// printSOImm2PartOperand - SOImm is broken into two pieces using a 'mov'
101/// followed by an 'orr' to materialize.
102void ARMInstPrinter::printSOImm2PartOperand(const MCInst *MI, unsigned OpNum) {
103 // FIXME: REMOVE this method.
104 abort();
105}
106
107// so_reg is a 4-operand unit corresponding to register forms of the A5.1
108// "Addressing Mode 1 - Data-processing operands" forms. This includes:
109// REG 0 0 - e.g. R5
110// REG REG 0,SH_OPC - e.g. R5, ROR R3
111// REG 0 IMM,SH_OPC - e.g. R5, LSL #3
112void ARMInstPrinter::printSORegOperand(const MCInst *MI, unsigned OpNum) {
113 const MCOperand &MO1 = MI->getOperand(OpNum);
114 const MCOperand &MO2 = MI->getOperand(OpNum+1);
115 const MCOperand &MO3 = MI->getOperand(OpNum+2);
116
117 O << getRegisterName(MO1.getReg());
118
119 // Print the shift opc.
120 O << ", "
121 << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO3.getImm()))
122 << ' ';
123
124 if (MO2.getReg()) {
125 O << getRegisterName(MO2.getReg());
126 assert(ARM_AM::getSORegOffset(MO3.getImm()) == 0);
127 } else {
128 O << "#" << ARM_AM::getSORegOffset(MO3.getImm());
129 }
130}
Chris Lattner084f87d2009-10-19 21:57:05 +0000131
132
133void ARMInstPrinter::printAddrMode2Operand(const MCInst *MI, unsigned Op) {
134 const MCOperand &MO1 = MI->getOperand(Op);
135 const MCOperand &MO2 = MI->getOperand(Op+1);
136 const MCOperand &MO3 = MI->getOperand(Op+2);
137
138 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
139 printOperand(MI, Op);
140 return;
141 }
142
143 O << "[" << getRegisterName(MO1.getReg());
144
145 if (!MO2.getReg()) {
146 if (ARM_AM::getAM2Offset(MO3.getImm())) // Don't print +0.
147 O << ", #"
148 << (char)ARM_AM::getAM2Op(MO3.getImm())
149 << ARM_AM::getAM2Offset(MO3.getImm());
150 O << "]";
151 return;
152 }
153
154 O << ", "
155 << (char)ARM_AM::getAM2Op(MO3.getImm())
156 << getRegisterName(MO2.getReg());
157
158 if (unsigned ShImm = ARM_AM::getAM2Offset(MO3.getImm()))
159 O << ", "
160 << ARM_AM::getShiftOpcStr(ARM_AM::getAM2ShiftOpc(MO3.getImm()))
161 << " #" << ShImm;
162 O << "]";
163}
Chris Lattnere306d8d2009-10-19 22:09:23 +0000164
Chris Lattnerbf16faa2009-10-20 06:15:28 +0000165void ARMInstPrinter::printAddrMode2OffsetOperand(const MCInst *MI,
166 unsigned OpNum) {
167 const MCOperand &MO1 = MI->getOperand(OpNum);
168 const MCOperand &MO2 = MI->getOperand(OpNum+1);
169
170 if (!MO1.getReg()) {
171 unsigned ImmOffs = ARM_AM::getAM2Offset(MO2.getImm());
172 assert(ImmOffs && "Malformed indexed load / store!");
173 O << '#' << (char)ARM_AM::getAM2Op(MO2.getImm()) << ImmOffs;
174 return;
175 }
176
177 O << (char)ARM_AM::getAM2Op(MO2.getImm()) << getRegisterName(MO1.getReg());
178
179 if (unsigned ShImm = ARM_AM::getAM2Offset(MO2.getImm()))
180 O << ", "
181 << ARM_AM::getShiftOpcStr(ARM_AM::getAM2ShiftOpc(MO2.getImm()))
182 << " #" << ShImm;
183}
184
185void ARMInstPrinter::printAddrMode3Operand(const MCInst *MI, unsigned OpNum) {
186 const MCOperand &MO1 = MI->getOperand(OpNum);
187 const MCOperand &MO2 = MI->getOperand(OpNum+1);
188 const MCOperand &MO3 = MI->getOperand(OpNum+2);
189
190 O << '[' << getRegisterName(MO1.getReg());
191
192 if (MO2.getReg()) {
193 O << ", " << (char)ARM_AM::getAM3Op(MO3.getImm())
194 << getRegisterName(MO2.getReg()) << ']';
195 return;
196 }
197
198 if (unsigned ImmOffs = ARM_AM::getAM3Offset(MO3.getImm()))
199 O << ", #"
200 << (char)ARM_AM::getAM3Op(MO3.getImm())
201 << ImmOffs;
202 O << ']';
203}
204
205void ARMInstPrinter::printAddrMode3OffsetOperand(const MCInst *MI,
206 unsigned OpNum) {
207 const MCOperand &MO1 = MI->getOperand(OpNum);
208 const MCOperand &MO2 = MI->getOperand(OpNum+1);
209
210 if (MO1.getReg()) {
211 O << (char)ARM_AM::getAM3Op(MO2.getImm())
212 << getRegisterName(MO1.getReg());
213 return;
214 }
215
216 unsigned ImmOffs = ARM_AM::getAM3Offset(MO2.getImm());
217 assert(ImmOffs && "Malformed indexed load / store!");
218 O << "#"
219 << (char)ARM_AM::getAM3Op(MO2.getImm())
220 << ImmOffs;
221}
222
Chris Lattnere306d8d2009-10-19 22:09:23 +0000223
224void ARMInstPrinter::printAddrMode4Operand(const MCInst *MI, unsigned OpNum,
225 const char *Modifier) {
Chris Lattnere306d8d2009-10-19 22:09:23 +0000226 const MCOperand &MO1 = MI->getOperand(OpNum);
227 const MCOperand &MO2 = MI->getOperand(OpNum+1);
228 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO2.getImm());
Chris Lattner306d14f2009-10-19 23:31:43 +0000229 if (Modifier && strcmp(Modifier, "submode") == 0) {
Chris Lattnere306d8d2009-10-19 22:09:23 +0000230 if (MO1.getReg() == ARM::SP) {
231 // FIXME
232 bool isLDM = (MI->getOpcode() == ARM::LDM ||
233 MI->getOpcode() == ARM::LDM_RET ||
234 MI->getOpcode() == ARM::t2LDM ||
235 MI->getOpcode() == ARM::t2LDM_RET);
236 O << ARM_AM::getAMSubModeAltStr(Mode, isLDM);
237 } else
238 O << ARM_AM::getAMSubModeStr(Mode);
Chris Lattner306d14f2009-10-19 23:31:43 +0000239 } else if (Modifier && strcmp(Modifier, "wide") == 0) {
Chris Lattnere306d8d2009-10-19 22:09:23 +0000240 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO2.getImm());
241 if (Mode == ARM_AM::ia)
242 O << ".w";
243 } else {
244 printOperand(MI, OpNum);
245 if (ARM_AM::getAM4WBFlag(MO2.getImm()))
246 O << "!";
247 }
248}
249
Chris Lattnerbf16faa2009-10-20 06:15:28 +0000250void ARMInstPrinter::printAddrMode5Operand(const MCInst *MI, unsigned OpNum,
251 const char *Modifier) {
252 const MCOperand &MO1 = MI->getOperand(OpNum);
253 const MCOperand &MO2 = MI->getOperand(OpNum+1);
254
255 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
256 printOperand(MI, OpNum);
257 return;
258 }
259
260 if (Modifier && strcmp(Modifier, "submode") == 0) {
261 ARM_AM::AMSubMode Mode = ARM_AM::getAM5SubMode(MO2.getImm());
Jim Grosbache5165492009-11-09 00:11:35 +0000262 O << ARM_AM::getAMSubModeStr(Mode);
Chris Lattnerbf16faa2009-10-20 06:15:28 +0000263 return;
264 } else if (Modifier && strcmp(Modifier, "base") == 0) {
265 // Used for FSTM{D|S} and LSTM{D|S} operations.
266 O << getRegisterName(MO1.getReg());
267 if (ARM_AM::getAM5WBFlag(MO2.getImm()))
268 O << "!";
269 return;
270 }
271
272 O << "[" << getRegisterName(MO1.getReg());
273
274 if (unsigned ImmOffs = ARM_AM::getAM5Offset(MO2.getImm())) {
275 O << ", #"
276 << (char)ARM_AM::getAM5Op(MO2.getImm())
277 << ImmOffs*4;
278 }
279 O << "]";
280}
281
Chris Lattner235e2f62009-10-20 06:22:33 +0000282void ARMInstPrinter::printAddrMode6Operand(const MCInst *MI, unsigned OpNum) {
283 const MCOperand &MO1 = MI->getOperand(OpNum);
284 const MCOperand &MO2 = MI->getOperand(OpNum+1);
285 const MCOperand &MO3 = MI->getOperand(OpNum+2);
286
287 // FIXME: No support yet for specifying alignment.
288 O << '[' << getRegisterName(MO1.getReg()) << ']';
289
290 if (ARM_AM::getAM6WBFlag(MO3.getImm())) {
291 if (MO2.getReg() == 0)
292 O << '!';
293 else
294 O << ", " << getRegisterName(MO2.getReg());
295 }
296}
297
298void ARMInstPrinter::printAddrModePCOperand(const MCInst *MI, unsigned OpNum,
299 const char *Modifier) {
300 assert(0 && "FIXME: Implement printAddrModePCOperand");
301}
302
303void ARMInstPrinter::printBitfieldInvMaskImmOperand (const MCInst *MI,
304 unsigned OpNum) {
305 const MCOperand &MO = MI->getOperand(OpNum);
306 uint32_t v = ~MO.getImm();
307 int32_t lsb = CountTrailingZeros_32(v);
308 int32_t width = (32 - CountLeadingZeros_32 (v)) - lsb;
309 assert(MO.isImm() && "Not a valid bf_inv_mask_imm value!");
310 O << '#' << lsb << ", #" << width;
311}
Chris Lattnerbf16faa2009-10-20 06:15:28 +0000312
Chris Lattnere306d8d2009-10-19 22:09:23 +0000313void ARMInstPrinter::printRegisterList(const MCInst *MI, unsigned OpNum) {
314 O << "{";
315 // Always skip the first operand, it's the optional (and implicit writeback).
316 for (unsigned i = OpNum+1, e = MI->getNumOperands(); i != e; ++i) {
Chris Lattnere306d8d2009-10-19 22:09:23 +0000317 if (i != OpNum+1) O << ", ";
Chris Lattnere306d8d2009-10-19 22:09:23 +0000318 O << getRegisterName(MI->getOperand(i).getReg());
319 }
320 O << "}";
321}
Chris Lattner4d152222009-10-19 22:23:04 +0000322
Chris Lattner413ae252009-10-20 00:42:49 +0000323void ARMInstPrinter::printPredicateOperand(const MCInst *MI, unsigned OpNum) {
324 ARMCC::CondCodes CC = (ARMCC::CondCodes)MI->getOperand(OpNum).getImm();
325 if (CC != ARMCC::AL)
326 O << ARMCondCodeToString(CC);
327}
328
Chris Lattner233917c2009-10-20 00:46:11 +0000329void ARMInstPrinter::printSBitModifierOperand(const MCInst *MI, unsigned OpNum){
Daniel Dunbara7cc6522009-10-20 22:10:05 +0000330 if (MI->getOperand(OpNum).getReg()) {
331 assert(MI->getOperand(OpNum).getReg() == ARM::CPSR &&
332 "Expect ARM CPSR register!");
Chris Lattner233917c2009-10-20 00:46:11 +0000333 O << 's';
334 }
335}
336
337
Chris Lattner4d152222009-10-19 22:23:04 +0000338
Chris Lattnera70e6442009-10-19 22:33:05 +0000339void ARMInstPrinter::printCPInstOperand(const MCInst *MI, unsigned OpNum,
340 const char *Modifier) {
341 // FIXME: remove this.
342 abort();
343}
Chris Lattner4d152222009-10-19 22:23:04 +0000344
Chris Lattnerbf16faa2009-10-20 06:15:28 +0000345void ARMInstPrinter::printNoHashImmediate(const MCInst *MI, unsigned OpNum) {
346 O << MI->getOperand(OpNum).getImm();
347}
348
349
Chris Lattner4d152222009-10-19 22:23:04 +0000350void ARMInstPrinter::printPCLabel(const MCInst *MI, unsigned OpNum) {
351 // FIXME: remove this.
352 abort();
353}