1 //===-- ARMInstPrinter.cpp - Convert ARM MCInst to assembly syntax --------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This class prints an ARM MCInst to a .s file.
12 //===----------------------------------------------------------------------===//
14 #define DEBUG_TYPE "asm-printer"
15 #include "ARMInstPrinter.h"
16 #include "MCTargetDesc/ARMAddressingModes.h"
17 #include "MCTargetDesc/ARMBaseInfo.h"
18 #include "llvm/MC/MCAsmInfo.h"
19 #include "llvm/MC/MCExpr.h"
20 #include "llvm/MC/MCInst.h"
21 #include "llvm/MC/MCInstrInfo.h"
22 #include "llvm/MC/MCRegisterInfo.h"
23 #include "llvm/Support/raw_ostream.h"
26 #include "ARMGenAsmWriter.inc"
28 /// translateShiftImm - Convert shift immediate from 0-31 to 1-32 for printing.
30 /// getSORegOffset returns an integer from 0-31, representing '32' as 0.
31 static unsigned translateShiftImm(unsigned imm) {
32 // lsr #32 and asr #32 exist, but should be encoded as a 0.
33 assert((imm & ~0x1f) == 0 && "Invalid shift encoding");
40 /// Prints the shift value with an immediate value.
41 static void printRegImmShift(raw_ostream &O, ARM_AM::ShiftOpc ShOpc,
42 unsigned ShImm, bool UseMarkup) {
43 if (ShOpc == ARM_AM::no_shift || (ShOpc == ARM_AM::lsl && !ShImm))
47 assert (!(ShOpc == ARM_AM::ror && !ShImm) && "Cannot have ror #0");
48 O << getShiftOpcStr(ShOpc);
50 if (ShOpc != ARM_AM::rrx) {
54 O << "#" << translateShiftImm(ShImm);
60 ARMInstPrinter::ARMInstPrinter(const MCAsmInfo &MAI,
61 const MCInstrInfo &MII,
62 const MCRegisterInfo &MRI,
63 const MCSubtargetInfo &STI) :
64 MCInstPrinter(MAI, MII, MRI) {
65 // Initialize the set of available features.
66 setAvailableFeatures(STI.getFeatureBits());
69 void ARMInstPrinter::printRegName(raw_ostream &OS, unsigned RegNo) const {
71 << getRegisterName(RegNo)
75 void ARMInstPrinter::printInst(const MCInst *MI, raw_ostream &O,
77 unsigned Opcode = MI->getOpcode();
79 // Check for HINT instructions w/ canonical names.
80 if (Opcode == ARM::HINT || Opcode == ARM::t2HINT) {
81 switch (MI->getOperand(0).getImm()) {
82 case 0: O << "\tnop"; break;
83 case 1: O << "\tyield"; break;
84 case 2: O << "\twfe"; break;
85 case 3: O << "\twfi"; break;
86 case 4: O << "\tsev"; break;
88 // Anything else should just print normally.
89 printInstruction(MI, O);
90 printAnnotation(O, Annot);
93 printPredicateOperand(MI, 1, O);
94 if (Opcode == ARM::t2HINT)
96 printAnnotation(O, Annot);
100 // Check for MOVs and print canonical forms, instead.
101 if (Opcode == ARM::MOVsr) {
102 // FIXME: Thumb variants?
103 const MCOperand &Dst = MI->getOperand(0);
104 const MCOperand &MO1 = MI->getOperand(1);
105 const MCOperand &MO2 = MI->getOperand(2);
106 const MCOperand &MO3 = MI->getOperand(3);
108 O << '\t' << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO3.getImm()));
109 printSBitModifierOperand(MI, 6, O);
110 printPredicateOperand(MI, 4, O);
113 printRegName(O, Dst.getReg());
115 printRegName(O, MO1.getReg());
118 printRegName(O, MO2.getReg());
119 assert(ARM_AM::getSORegOffset(MO3.getImm()) == 0);
120 printAnnotation(O, Annot);
124 if (Opcode == ARM::MOVsi) {
125 // FIXME: Thumb variants?
126 const MCOperand &Dst = MI->getOperand(0);
127 const MCOperand &MO1 = MI->getOperand(1);
128 const MCOperand &MO2 = MI->getOperand(2);
130 O << '\t' << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO2.getImm()));
131 printSBitModifierOperand(MI, 5, O);
132 printPredicateOperand(MI, 3, O);
135 printRegName(O, Dst.getReg());
137 printRegName(O, MO1.getReg());
139 if (ARM_AM::getSORegShOp(MO2.getImm()) == ARM_AM::rrx) {
140 printAnnotation(O, Annot);
146 << "#" << translateShiftImm(ARM_AM::getSORegOffset(MO2.getImm()))
148 printAnnotation(O, Annot);
154 if ((Opcode == ARM::STMDB_UPD || Opcode == ARM::t2STMDB_UPD) &&
155 MI->getOperand(0).getReg() == ARM::SP &&
156 MI->getNumOperands() > 5) {
157 // Should only print PUSH if there are at least two registers in the list.
159 printPredicateOperand(MI, 2, O);
160 if (Opcode == ARM::t2STMDB_UPD)
163 printRegisterList(MI, 4, O);
164 printAnnotation(O, Annot);
167 if (Opcode == ARM::STR_PRE_IMM && MI->getOperand(2).getReg() == ARM::SP &&
168 MI->getOperand(3).getImm() == -4) {
170 printPredicateOperand(MI, 4, O);
172 printRegName(O, MI->getOperand(1).getReg());
174 printAnnotation(O, Annot);
179 if ((Opcode == ARM::LDMIA_UPD || Opcode == ARM::t2LDMIA_UPD) &&
180 MI->getOperand(0).getReg() == ARM::SP &&
181 MI->getNumOperands() > 5) {
182 // Should only print POP if there are at least two registers in the list.
184 printPredicateOperand(MI, 2, O);
185 if (Opcode == ARM::t2LDMIA_UPD)
188 printRegisterList(MI, 4, O);
189 printAnnotation(O, Annot);
192 if (Opcode == ARM::LDR_POST_IMM && MI->getOperand(2).getReg() == ARM::SP &&
193 MI->getOperand(4).getImm() == 4) {
195 printPredicateOperand(MI, 5, O);
197 printRegName(O, MI->getOperand(0).getReg());
199 printAnnotation(O, Annot);
205 if ((Opcode == ARM::VSTMSDB_UPD || Opcode == ARM::VSTMDDB_UPD) &&
206 MI->getOperand(0).getReg() == ARM::SP) {
207 O << '\t' << "vpush";
208 printPredicateOperand(MI, 2, O);
210 printRegisterList(MI, 4, O);
211 printAnnotation(O, Annot);
216 if ((Opcode == ARM::VLDMSIA_UPD || Opcode == ARM::VLDMDIA_UPD) &&
217 MI->getOperand(0).getReg() == ARM::SP) {
219 printPredicateOperand(MI, 2, O);
221 printRegisterList(MI, 4, O);
222 printAnnotation(O, Annot);
226 if (Opcode == ARM::tLDMIA) {
227 bool Writeback = true;
228 unsigned BaseReg = MI->getOperand(0).getReg();
229 for (unsigned i = 3; i < MI->getNumOperands(); ++i) {
230 if (MI->getOperand(i).getReg() == BaseReg)
236 printPredicateOperand(MI, 1, O);
238 printRegName(O, BaseReg);
239 if (Writeback) O << "!";
241 printRegisterList(MI, 3, O);
242 printAnnotation(O, Annot);
247 if (Opcode == ARM::tMOVr && MI->getOperand(0).getReg() == ARM::R8 &&
248 MI->getOperand(1).getReg() == ARM::R8) {
250 printPredicateOperand(MI, 2, O);
251 printAnnotation(O, Annot);
255 // Combine 2 GPRs from disassember into a GPRPair to match with instr def.
256 // ldrexd/strexd require even/odd GPR pair. To enforce this constraint,
257 // a single GPRPair reg operand is used in the .td file to replace the two
258 // GPRs. However, when decoding them, the two GRPs cannot be automatically
259 // expressed as a GPRPair, so we have to manually merge them.
260 // FIXME: We would really like to be able to tablegen'erate this.
261 if (Opcode == ARM::LDREXD || Opcode == ARM::STREXD) {
262 const MCRegisterClass& MRC = MRI.getRegClass(ARM::GPRRegClassID);
263 bool isStore = Opcode == ARM::STREXD;
264 unsigned Reg = MI->getOperand(isStore ? 1 : 0).getReg();
265 if (MRC.contains(Reg)) {
268 NewMI.setOpcode(Opcode);
271 NewMI.addOperand(MI->getOperand(0));
272 NewReg = MCOperand::CreateReg(MRI.getMatchingSuperReg(Reg, ARM::gsub_0,
273 &MRI.getRegClass(ARM::GPRPairRegClassID)));
274 NewMI.addOperand(NewReg);
276 // Copy the rest operands into NewMI.
277 for(unsigned i= isStore ? 3 : 2; i < MI->getNumOperands(); ++i)
278 NewMI.addOperand(MI->getOperand(i));
279 printInstruction(&NewMI, O);
284 printInstruction(MI, O);
285 printAnnotation(O, Annot);
288 void ARMInstPrinter::printOperand(const MCInst *MI, unsigned OpNo,
290 const MCOperand &Op = MI->getOperand(OpNo);
292 unsigned Reg = Op.getReg();
293 printRegName(O, Reg);
294 } else if (Op.isImm()) {
296 << '#' << Op.getImm()
299 assert(Op.isExpr() && "unknown operand kind in printOperand");
300 // If a symbolic branch target was added as a constant expression then print
301 // that address in hex. And only print 32 unsigned bits for the address.
302 const MCConstantExpr *BranchTarget = dyn_cast<MCConstantExpr>(Op.getExpr());
304 if (BranchTarget && BranchTarget->EvaluateAsAbsolute(Address)) {
306 O.write_hex((uint32_t)Address);
309 // Otherwise, just print the expression.
315 void ARMInstPrinter::printThumbLdrLabelOperand(const MCInst *MI, unsigned OpNum,
317 const MCOperand &MO1 = MI->getOperand(OpNum);
320 else if (MO1.isImm()) {
321 O << markup("<mem:") << "[pc, "
322 << markup("<imm:") << "#" << MO1.getImm()
323 << markup(">]>", "]");
326 llvm_unreachable("Unknown LDR label operand?");
329 // so_reg is a 4-operand unit corresponding to register forms of the A5.1
330 // "Addressing Mode 1 - Data-processing operands" forms. This includes:
332 // REG REG 0,SH_OPC - e.g. R5, ROR R3
333 // REG 0 IMM,SH_OPC - e.g. R5, LSL #3
334 void ARMInstPrinter::printSORegRegOperand(const MCInst *MI, unsigned OpNum,
336 const MCOperand &MO1 = MI->getOperand(OpNum);
337 const MCOperand &MO2 = MI->getOperand(OpNum+1);
338 const MCOperand &MO3 = MI->getOperand(OpNum+2);
340 printRegName(O, MO1.getReg());
342 // Print the shift opc.
343 ARM_AM::ShiftOpc ShOpc = ARM_AM::getSORegShOp(MO3.getImm());
344 O << ", " << ARM_AM::getShiftOpcStr(ShOpc);
345 if (ShOpc == ARM_AM::rrx)
349 printRegName(O, MO2.getReg());
350 assert(ARM_AM::getSORegOffset(MO3.getImm()) == 0);
353 void ARMInstPrinter::printSORegImmOperand(const MCInst *MI, unsigned OpNum,
355 const MCOperand &MO1 = MI->getOperand(OpNum);
356 const MCOperand &MO2 = MI->getOperand(OpNum+1);
358 printRegName(O, MO1.getReg());
360 // Print the shift opc.
361 printRegImmShift(O, ARM_AM::getSORegShOp(MO2.getImm()),
362 ARM_AM::getSORegOffset(MO2.getImm()), UseMarkup);
366 //===--------------------------------------------------------------------===//
367 // Addressing Mode #2
368 //===--------------------------------------------------------------------===//
370 void ARMInstPrinter::printAM2PreOrOffsetIndexOp(const MCInst *MI, unsigned Op,
372 const MCOperand &MO1 = MI->getOperand(Op);
373 const MCOperand &MO2 = MI->getOperand(Op+1);
374 const MCOperand &MO3 = MI->getOperand(Op+2);
376 O << markup("<mem:") << "[";
377 printRegName(O, MO1.getReg());
380 if (ARM_AM::getAM2Offset(MO3.getImm())) { // Don't print +0.
384 << ARM_AM::getAddrOpcStr(ARM_AM::getAM2Op(MO3.getImm()))
385 << ARM_AM::getAM2Offset(MO3.getImm())
388 O << "]" << markup(">");
393 O << ARM_AM::getAddrOpcStr(ARM_AM::getAM2Op(MO3.getImm()));
394 printRegName(O, MO2.getReg());
396 printRegImmShift(O, ARM_AM::getAM2ShiftOpc(MO3.getImm()),
397 ARM_AM::getAM2Offset(MO3.getImm()), UseMarkup);
398 O << "]" << markup(">");
401 void ARMInstPrinter::printAddrModeTBB(const MCInst *MI, unsigned Op,
403 const MCOperand &MO1 = MI->getOperand(Op);
404 const MCOperand &MO2 = MI->getOperand(Op+1);
405 O << markup("<mem:") << "[";
406 printRegName(O, MO1.getReg());
408 printRegName(O, MO2.getReg());
409 O << "]" << markup(">");
412 void ARMInstPrinter::printAddrModeTBH(const MCInst *MI, unsigned Op,
414 const MCOperand &MO1 = MI->getOperand(Op);
415 const MCOperand &MO2 = MI->getOperand(Op+1);
416 O << markup("<mem:") << "[";
417 printRegName(O, MO1.getReg());
419 printRegName(O, MO2.getReg());
420 O << ", lsl " << markup("<imm:") << "#1" << markup(">") << "]" << markup(">");
423 void ARMInstPrinter::printAddrMode2Operand(const MCInst *MI, unsigned Op,
425 const MCOperand &MO1 = MI->getOperand(Op);
427 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
428 printOperand(MI, Op, O);
433 const MCOperand &MO3 = MI->getOperand(Op+2);
434 unsigned IdxMode = ARM_AM::getAM2IdxMode(MO3.getImm());
435 assert(IdxMode != ARMII::IndexModePost &&
436 "Should be pre or offset index op");
439 printAM2PreOrOffsetIndexOp(MI, Op, O);
442 void ARMInstPrinter::printAddrMode2OffsetOperand(const MCInst *MI,
445 const MCOperand &MO1 = MI->getOperand(OpNum);
446 const MCOperand &MO2 = MI->getOperand(OpNum+1);
449 unsigned ImmOffs = ARM_AM::getAM2Offset(MO2.getImm());
451 << '#' << ARM_AM::getAddrOpcStr(ARM_AM::getAM2Op(MO2.getImm()))
457 O << ARM_AM::getAddrOpcStr(ARM_AM::getAM2Op(MO2.getImm()));
458 printRegName(O, MO1.getReg());
460 printRegImmShift(O, ARM_AM::getAM2ShiftOpc(MO2.getImm()),
461 ARM_AM::getAM2Offset(MO2.getImm()), UseMarkup);
464 //===--------------------------------------------------------------------===//
465 // Addressing Mode #3
466 //===--------------------------------------------------------------------===//
468 void ARMInstPrinter::printAM3PostIndexOp(const MCInst *MI, unsigned Op,
470 const MCOperand &MO1 = MI->getOperand(Op);
471 const MCOperand &MO2 = MI->getOperand(Op+1);
472 const MCOperand &MO3 = MI->getOperand(Op+2);
474 O << markup("<mem:") << "[";
475 printRegName(O, MO1.getReg());
476 O << "], " << markup(">");
479 O << (char)ARM_AM::getAM3Op(MO3.getImm());
480 printRegName(O, MO2.getReg());
484 unsigned ImmOffs = ARM_AM::getAM3Offset(MO3.getImm());
487 << ARM_AM::getAddrOpcStr(ARM_AM::getAM3Op(MO3.getImm()))
492 void ARMInstPrinter::printAM3PreOrOffsetIndexOp(const MCInst *MI, unsigned Op,
494 const MCOperand &MO1 = MI->getOperand(Op);
495 const MCOperand &MO2 = MI->getOperand(Op+1);
496 const MCOperand &MO3 = MI->getOperand(Op+2);
498 O << markup("<mem:") << '[';
499 printRegName(O, MO1.getReg());
502 O << ", " << getAddrOpcStr(ARM_AM::getAM3Op(MO3.getImm()));
503 printRegName(O, MO2.getReg());
504 O << ']' << markup(">");
508 //If the op is sub we have to print the immediate even if it is 0
509 unsigned ImmOffs = ARM_AM::getAM3Offset(MO3.getImm());
510 ARM_AM::AddrOpc op = ARM_AM::getAM3Op(MO3.getImm());
512 if (ImmOffs || (op == ARM_AM::sub)) {
516 << ARM_AM::getAddrOpcStr(op)
520 O << ']' << markup(">");
523 void ARMInstPrinter::printAddrMode3Operand(const MCInst *MI, unsigned Op,
525 const MCOperand &MO1 = MI->getOperand(Op);
526 if (!MO1.isReg()) { // For label symbolic references.
527 printOperand(MI, Op, O);
531 const MCOperand &MO3 = MI->getOperand(Op+2);
532 unsigned IdxMode = ARM_AM::getAM3IdxMode(MO3.getImm());
534 if (IdxMode == ARMII::IndexModePost) {
535 printAM3PostIndexOp(MI, Op, O);
538 printAM3PreOrOffsetIndexOp(MI, Op, O);
541 void ARMInstPrinter::printAddrMode3OffsetOperand(const MCInst *MI,
544 const MCOperand &MO1 = MI->getOperand(OpNum);
545 const MCOperand &MO2 = MI->getOperand(OpNum+1);
548 O << getAddrOpcStr(ARM_AM::getAM3Op(MO2.getImm()));
549 printRegName(O, MO1.getReg());
553 unsigned ImmOffs = ARM_AM::getAM3Offset(MO2.getImm());
555 << '#' << ARM_AM::getAddrOpcStr(ARM_AM::getAM3Op(MO2.getImm())) << ImmOffs
559 void ARMInstPrinter::printPostIdxImm8Operand(const MCInst *MI,
562 const MCOperand &MO = MI->getOperand(OpNum);
563 unsigned Imm = MO.getImm();
565 << '#' << ((Imm & 256) ? "" : "-") << (Imm & 0xff)
569 void ARMInstPrinter::printPostIdxRegOperand(const MCInst *MI, unsigned OpNum,
571 const MCOperand &MO1 = MI->getOperand(OpNum);
572 const MCOperand &MO2 = MI->getOperand(OpNum+1);
574 O << (MO2.getImm() ? "" : "-");
575 printRegName(O, MO1.getReg());
578 void ARMInstPrinter::printPostIdxImm8s4Operand(const MCInst *MI,
581 const MCOperand &MO = MI->getOperand(OpNum);
582 unsigned Imm = MO.getImm();
584 << '#' << ((Imm & 256) ? "" : "-") << ((Imm & 0xff) << 2)
589 void ARMInstPrinter::printLdStmModeOperand(const MCInst *MI, unsigned OpNum,
591 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MI->getOperand(OpNum)
593 O << ARM_AM::getAMSubModeStr(Mode);
596 void ARMInstPrinter::printAddrMode5Operand(const MCInst *MI, unsigned OpNum,
598 const MCOperand &MO1 = MI->getOperand(OpNum);
599 const MCOperand &MO2 = MI->getOperand(OpNum+1);
601 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
602 printOperand(MI, OpNum, O);
606 O << markup("<mem:") << "[";
607 printRegName(O, MO1.getReg());
609 unsigned ImmOffs = ARM_AM::getAM5Offset(MO2.getImm());
610 unsigned Op = ARM_AM::getAM5Op(MO2.getImm());
611 if (ImmOffs || Op == ARM_AM::sub) {
615 << ARM_AM::getAddrOpcStr(ARM_AM::getAM5Op(MO2.getImm()))
619 O << "]" << markup(">");
622 void ARMInstPrinter::printAddrMode6Operand(const MCInst *MI, unsigned OpNum,
624 const MCOperand &MO1 = MI->getOperand(OpNum);
625 const MCOperand &MO2 = MI->getOperand(OpNum+1);
627 O << markup("<mem:") << "[";
628 printRegName(O, MO1.getReg());
630 // FIXME: Both darwin as and GNU as violate ARM docs here.
631 O << ", :" << (MO2.getImm() << 3);
633 O << "]" << markup(">");
636 void ARMInstPrinter::printAddrMode7Operand(const MCInst *MI, unsigned OpNum,
638 const MCOperand &MO1 = MI->getOperand(OpNum);
639 O << markup("<mem:") << "[";
640 printRegName(O, MO1.getReg());
641 O << "]" << markup(">");
644 void ARMInstPrinter::printAddrMode6OffsetOperand(const MCInst *MI,
647 const MCOperand &MO = MI->getOperand(OpNum);
648 if (MO.getReg() == 0)
652 printRegName(O, MO.getReg());
656 void ARMInstPrinter::printBitfieldInvMaskImmOperand(const MCInst *MI,
659 const MCOperand &MO = MI->getOperand(OpNum);
660 uint32_t v = ~MO.getImm();
661 int32_t lsb = CountTrailingZeros_32(v);
662 int32_t width = (32 - CountLeadingZeros_32 (v)) - lsb;
663 assert(MO.isImm() && "Not a valid bf_inv_mask_imm value!");
664 O << markup("<imm:") << '#' << lsb << markup(">")
666 << markup("<imm:") << '#' << width << markup(">");
669 void ARMInstPrinter::printMemBOption(const MCInst *MI, unsigned OpNum,
671 unsigned val = MI->getOperand(OpNum).getImm();
672 O << ARM_MB::MemBOptToString(val);
675 void ARMInstPrinter::printShiftImmOperand(const MCInst *MI, unsigned OpNum,
677 unsigned ShiftOp = MI->getOperand(OpNum).getImm();
678 bool isASR = (ShiftOp & (1 << 5)) != 0;
679 unsigned Amt = ShiftOp & 0x1f;
683 << "#" << (Amt == 0 ? 32 : Amt)
694 void ARMInstPrinter::printPKHLSLShiftImm(const MCInst *MI, unsigned OpNum,
696 unsigned Imm = MI->getOperand(OpNum).getImm();
699 assert(Imm > 0 && Imm < 32 && "Invalid PKH shift immediate value!");
700 O << ", lsl " << markup("<imm:") << "#" << Imm << markup(">");
703 void ARMInstPrinter::printPKHASRShiftImm(const MCInst *MI, unsigned OpNum,
705 unsigned Imm = MI->getOperand(OpNum).getImm();
706 // A shift amount of 32 is encoded as 0.
709 assert(Imm > 0 && Imm <= 32 && "Invalid PKH shift immediate value!");
710 O << ", asr " << markup("<imm:") << "#" << Imm << markup(">");
713 void ARMInstPrinter::printRegisterList(const MCInst *MI, unsigned OpNum,
716 for (unsigned i = OpNum, e = MI->getNumOperands(); i != e; ++i) {
717 if (i != OpNum) O << ", ";
718 printRegName(O, MI->getOperand(i).getReg());
723 void ARMInstPrinter::printGPRPairOperand(const MCInst *MI, unsigned OpNum,
725 unsigned Reg = MI->getOperand(OpNum).getReg();
726 printRegName(O, MRI.getSubReg(Reg, ARM::gsub_0));
728 printRegName(O, MRI.getSubReg(Reg, ARM::gsub_1));
732 void ARMInstPrinter::printSetendOperand(const MCInst *MI, unsigned OpNum,
734 const MCOperand &Op = MI->getOperand(OpNum);
741 void ARMInstPrinter::printCPSIMod(const MCInst *MI, unsigned OpNum,
743 const MCOperand &Op = MI->getOperand(OpNum);
744 O << ARM_PROC::IModToString(Op.getImm());
747 void ARMInstPrinter::printCPSIFlag(const MCInst *MI, unsigned OpNum,
749 const MCOperand &Op = MI->getOperand(OpNum);
750 unsigned IFlags = Op.getImm();
751 for (int i=2; i >= 0; --i)
752 if (IFlags & (1 << i))
753 O << ARM_PROC::IFlagsToString(1 << i);
759 void ARMInstPrinter::printMSRMaskOperand(const MCInst *MI, unsigned OpNum,
761 const MCOperand &Op = MI->getOperand(OpNum);
762 unsigned SpecRegRBit = Op.getImm() >> 4;
763 unsigned Mask = Op.getImm() & 0xf;
765 if (getAvailableFeatures() & ARM::FeatureMClass) {
766 unsigned SYSm = Op.getImm();
767 unsigned Opcode = MI->getOpcode();
768 // For reads of the special registers ignore the "mask encoding" bits
769 // which are only for writes.
770 if (Opcode == ARM::t2MRS_M)
773 default: llvm_unreachable("Unexpected mask value!");
775 case 0x800: O << "apsr"; return; // with _nzcvq bits is an alias for aspr
776 case 0x400: O << "apsr_g"; return;
777 case 0xc00: O << "apsr_nzcvqg"; return;
779 case 0x801: O << "iapsr"; return; // with _nzcvq bits is an alias for iapsr
780 case 0x401: O << "iapsr_g"; return;
781 case 0xc01: O << "iapsr_nzcvqg"; return;
783 case 0x802: O << "eapsr"; return; // with _nzcvq bits is an alias for eapsr
784 case 0x402: O << "eapsr_g"; return;
785 case 0xc02: O << "eapsr_nzcvqg"; return;
787 case 0x803: O << "xpsr"; return; // with _nzcvq bits is an alias for xpsr
788 case 0x403: O << "xpsr_g"; return;
789 case 0xc03: O << "xpsr_nzcvqg"; return;
791 case 0x805: O << "ipsr"; return;
793 case 0x806: O << "epsr"; return;
795 case 0x807: O << "iepsr"; return;
797 case 0x808: O << "msp"; return;
799 case 0x809: O << "psp"; return;
801 case 0x810: O << "primask"; return;
803 case 0x811: O << "basepri"; return;
805 case 0x812: O << "basepri_max"; return;
807 case 0x813: O << "faultmask"; return;
809 case 0x814: O << "control"; return;
813 // As special cases, CPSR_f, CPSR_s and CPSR_fs prefer printing as
814 // APSR_nzcvq, APSR_g and APSRnzcvqg, respectively.
815 if (!SpecRegRBit && (Mask == 8 || Mask == 4 || Mask == 12)) {
818 default: llvm_unreachable("Unexpected mask value!");
819 case 4: O << "g"; return;
820 case 8: O << "nzcvq"; return;
821 case 12: O << "nzcvqg"; return;
832 if (Mask & 8) O << 'f';
833 if (Mask & 4) O << 's';
834 if (Mask & 2) O << 'x';
835 if (Mask & 1) O << 'c';
839 void ARMInstPrinter::printPredicateOperand(const MCInst *MI, unsigned OpNum,
841 ARMCC::CondCodes CC = (ARMCC::CondCodes)MI->getOperand(OpNum).getImm();
842 // Handle the undefined 15 CC value here for printing so we don't abort().
843 if ((unsigned)CC == 15)
845 else if (CC != ARMCC::AL)
846 O << ARMCondCodeToString(CC);
849 void ARMInstPrinter::printMandatoryPredicateOperand(const MCInst *MI,
852 ARMCC::CondCodes CC = (ARMCC::CondCodes)MI->getOperand(OpNum).getImm();
853 O << ARMCondCodeToString(CC);
856 void ARMInstPrinter::printSBitModifierOperand(const MCInst *MI, unsigned OpNum,
858 if (MI->getOperand(OpNum).getReg()) {
859 assert(MI->getOperand(OpNum).getReg() == ARM::CPSR &&
860 "Expect ARM CPSR register!");
865 void ARMInstPrinter::printNoHashImmediate(const MCInst *MI, unsigned OpNum,
867 O << MI->getOperand(OpNum).getImm();
870 void ARMInstPrinter::printPImmediate(const MCInst *MI, unsigned OpNum,
872 O << "p" << MI->getOperand(OpNum).getImm();
875 void ARMInstPrinter::printCImmediate(const MCInst *MI, unsigned OpNum,
877 O << "c" << MI->getOperand(OpNum).getImm();
880 void ARMInstPrinter::printCoprocOptionImm(const MCInst *MI, unsigned OpNum,
882 O << "{" << MI->getOperand(OpNum).getImm() << "}";
885 void ARMInstPrinter::printPCLabel(const MCInst *MI, unsigned OpNum,
887 llvm_unreachable("Unhandled PC-relative pseudo-instruction!");
890 void ARMInstPrinter::printAdrLabelOperand(const MCInst *MI, unsigned OpNum,
892 const MCOperand &MO = MI->getOperand(OpNum);
899 int32_t OffImm = (int32_t)MO.getImm();
901 O << markup("<imm:");
902 if (OffImm == INT32_MIN)
905 O << "#-" << -OffImm;
911 void ARMInstPrinter::printThumbS4ImmOperand(const MCInst *MI, unsigned OpNum,
914 << "#" << MI->getOperand(OpNum).getImm() * 4
918 void ARMInstPrinter::printThumbSRImm(const MCInst *MI, unsigned OpNum,
920 unsigned Imm = MI->getOperand(OpNum).getImm();
922 << "#" << (Imm == 0 ? 32 : Imm)
926 void ARMInstPrinter::printThumbITMask(const MCInst *MI, unsigned OpNum,
928 // (3 - the number of trailing zeros) is the number of then / else.
929 unsigned Mask = MI->getOperand(OpNum).getImm();
930 unsigned Firstcond = MI->getOperand(OpNum-1).getImm();
931 unsigned CondBit0 = Firstcond & 1;
932 unsigned NumTZ = CountTrailingZeros_32(Mask);
933 assert(NumTZ <= 3 && "Invalid IT mask!");
934 for (unsigned Pos = 3, e = NumTZ; Pos > e; --Pos) {
935 bool T = ((Mask >> Pos) & 1) == CondBit0;
943 void ARMInstPrinter::printThumbAddrModeRROperand(const MCInst *MI, unsigned Op,
945 const MCOperand &MO1 = MI->getOperand(Op);
946 const MCOperand &MO2 = MI->getOperand(Op + 1);
948 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
949 printOperand(MI, Op, O);
953 O << markup("<mem:") << "[";
954 printRegName(O, MO1.getReg());
955 if (unsigned RegNum = MO2.getReg()) {
957 printRegName(O, RegNum);
959 O << "]" << markup(">");
962 void ARMInstPrinter::printThumbAddrModeImm5SOperand(const MCInst *MI,
966 const MCOperand &MO1 = MI->getOperand(Op);
967 const MCOperand &MO2 = MI->getOperand(Op + 1);
969 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
970 printOperand(MI, Op, O);
974 O << markup("<mem:") << "[";
975 printRegName(O, MO1.getReg());
976 if (unsigned ImmOffs = MO2.getImm()) {
979 << "#" << ImmOffs * Scale
982 O << "]" << markup(">");
985 void ARMInstPrinter::printThumbAddrModeImm5S1Operand(const MCInst *MI,
988 printThumbAddrModeImm5SOperand(MI, Op, O, 1);
991 void ARMInstPrinter::printThumbAddrModeImm5S2Operand(const MCInst *MI,
994 printThumbAddrModeImm5SOperand(MI, Op, O, 2);
997 void ARMInstPrinter::printThumbAddrModeImm5S4Operand(const MCInst *MI,
1000 printThumbAddrModeImm5SOperand(MI, Op, O, 4);
1003 void ARMInstPrinter::printThumbAddrModeSPOperand(const MCInst *MI, unsigned Op,
1005 printThumbAddrModeImm5SOperand(MI, Op, O, 4);
1008 // Constant shifts t2_so_reg is a 2-operand unit corresponding to the Thumb2
1009 // register with shift forms.
1010 // REG 0 0 - e.g. R5
1011 // REG IMM, SH_OPC - e.g. R5, LSL #3
1012 void ARMInstPrinter::printT2SOOperand(const MCInst *MI, unsigned OpNum,
1014 const MCOperand &MO1 = MI->getOperand(OpNum);
1015 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1017 unsigned Reg = MO1.getReg();
1018 printRegName(O, Reg);
1020 // Print the shift opc.
1021 assert(MO2.isImm() && "Not a valid t2_so_reg value!");
1022 printRegImmShift(O, ARM_AM::getSORegShOp(MO2.getImm()),
1023 ARM_AM::getSORegOffset(MO2.getImm()), UseMarkup);
1026 void ARMInstPrinter::printAddrModeImm12Operand(const MCInst *MI, unsigned OpNum,
1028 const MCOperand &MO1 = MI->getOperand(OpNum);
1029 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1031 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
1032 printOperand(MI, OpNum, O);
1036 O << markup("<mem:") << "[";
1037 printRegName(O, MO1.getReg());
1039 int32_t OffImm = (int32_t)MO2.getImm();
1040 bool isSub = OffImm < 0;
1041 // Special value for #-0. All others are normal.
1042 if (OffImm == INT32_MIN)
1050 else if (OffImm > 0) {
1056 O << "]" << markup(">");
1059 void ARMInstPrinter::printT2AddrModeImm8Operand(const MCInst *MI,
1062 const MCOperand &MO1 = MI->getOperand(OpNum);
1063 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1065 O << markup("<mem:") << "[";
1066 printRegName(O, MO1.getReg());
1068 int32_t OffImm = (int32_t)MO2.getImm();
1072 if (OffImm != 0 && UseMarkup)
1074 if (OffImm == INT32_MIN)
1076 else if (OffImm < 0)
1077 O << "#-" << -OffImm;
1078 else if (OffImm > 0)
1080 if (OffImm != 0 && UseMarkup)
1082 O << "]" << markup(">");
1085 void ARMInstPrinter::printT2AddrModeImm8s4Operand(const MCInst *MI,
1088 const MCOperand &MO1 = MI->getOperand(OpNum);
1089 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1091 if (!MO1.isReg()) { // For label symbolic references.
1092 printOperand(MI, OpNum, O);
1096 O << markup("<mem:") << "[";
1097 printRegName(O, MO1.getReg());
1099 int32_t OffImm = (int32_t)MO2.getImm();
1101 assert(((OffImm & 0x3) == 0) && "Not a valid immediate!");
1106 if (OffImm != 0 && UseMarkup)
1108 if (OffImm == INT32_MIN)
1110 else if (OffImm < 0)
1111 O << "#-" << -OffImm;
1112 else if (OffImm > 0)
1114 if (OffImm != 0 && UseMarkup)
1116 O << "]" << markup(">");
1119 void ARMInstPrinter::printT2AddrModeImm0_1020s4Operand(const MCInst *MI,
1122 const MCOperand &MO1 = MI->getOperand(OpNum);
1123 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1125 O << markup("<mem:") << "[";
1126 printRegName(O, MO1.getReg());
1130 << "#" << MO2.getImm() * 4
1133 O << "]" << markup(">");
1136 void ARMInstPrinter::printT2AddrModeImm8OffsetOperand(const MCInst *MI,
1139 const MCOperand &MO1 = MI->getOperand(OpNum);
1140 int32_t OffImm = (int32_t)MO1.getImm();
1141 O << ", " << markup("<imm:");
1143 O << "#-" << -OffImm;
1149 void ARMInstPrinter::printT2AddrModeImm8s4OffsetOperand(const MCInst *MI,
1152 const MCOperand &MO1 = MI->getOperand(OpNum);
1153 int32_t OffImm = (int32_t)MO1.getImm();
1155 assert(((OffImm & 0x3) == 0) && "Not a valid immediate!");
1160 if (OffImm != 0 && UseMarkup)
1162 if (OffImm == INT32_MIN)
1164 else if (OffImm < 0)
1165 O << "#-" << -OffImm;
1166 else if (OffImm > 0)
1168 if (OffImm != 0 && UseMarkup)
1172 void ARMInstPrinter::printT2AddrModeSoRegOperand(const MCInst *MI,
1175 const MCOperand &MO1 = MI->getOperand(OpNum);
1176 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1177 const MCOperand &MO3 = MI->getOperand(OpNum+2);
1179 O << markup("<mem:") << "[";
1180 printRegName(O, MO1.getReg());
1182 assert(MO2.getReg() && "Invalid so_reg load / store address!");
1184 printRegName(O, MO2.getReg());
1186 unsigned ShAmt = MO3.getImm();
1188 assert(ShAmt <= 3 && "Not a valid Thumb2 addressing mode!");
1194 O << "]" << markup(">");
1197 void ARMInstPrinter::printFPImmOperand(const MCInst *MI, unsigned OpNum,
1199 const MCOperand &MO = MI->getOperand(OpNum);
1200 O << markup("<imm:")
1201 << '#' << ARM_AM::getFPImmFloat(MO.getImm())
1205 void ARMInstPrinter::printNEONModImmOperand(const MCInst *MI, unsigned OpNum,
1207 unsigned EncodedImm = MI->getOperand(OpNum).getImm();
1209 uint64_t Val = ARM_AM::decodeNEONModImm(EncodedImm, EltBits);
1210 O << markup("<imm:")
1216 void ARMInstPrinter::printImmPlusOneOperand(const MCInst *MI, unsigned OpNum,
1218 unsigned Imm = MI->getOperand(OpNum).getImm();
1219 O << markup("<imm:")
1224 void ARMInstPrinter::printRotImmOperand(const MCInst *MI, unsigned OpNum,
1226 unsigned Imm = MI->getOperand(OpNum).getImm();
1233 default: assert (0 && "illegal ror immediate!");
1234 case 1: O << "8"; break;
1235 case 2: O << "16"; break;
1236 case 3: O << "24"; break;
1241 void ARMInstPrinter::printFBits16(const MCInst *MI, unsigned OpNum,
1243 O << markup("<imm:")
1244 << "#" << 16 - MI->getOperand(OpNum).getImm()
1248 void ARMInstPrinter::printFBits32(const MCInst *MI, unsigned OpNum,
1250 O << markup("<imm:")
1251 << "#" << 32 - MI->getOperand(OpNum).getImm()
1255 void ARMInstPrinter::printVectorIndex(const MCInst *MI, unsigned OpNum,
1257 O << "[" << MI->getOperand(OpNum).getImm() << "]";
1260 void ARMInstPrinter::printVectorListOne(const MCInst *MI, unsigned OpNum,
1263 printRegName(O, MI->getOperand(OpNum).getReg());
1267 void ARMInstPrinter::printVectorListTwo(const MCInst *MI, unsigned OpNum,
1269 unsigned Reg = MI->getOperand(OpNum).getReg();
1270 unsigned Reg0 = MRI.getSubReg(Reg, ARM::dsub_0);
1271 unsigned Reg1 = MRI.getSubReg(Reg, ARM::dsub_1);
1273 printRegName(O, Reg0);
1275 printRegName(O, Reg1);
1279 void ARMInstPrinter::printVectorListTwoSpaced(const MCInst *MI,
1282 unsigned Reg = MI->getOperand(OpNum).getReg();
1283 unsigned Reg0 = MRI.getSubReg(Reg, ARM::dsub_0);
1284 unsigned Reg1 = MRI.getSubReg(Reg, ARM::dsub_2);
1286 printRegName(O, Reg0);
1288 printRegName(O, Reg1);
1292 void ARMInstPrinter::printVectorListThree(const MCInst *MI, unsigned OpNum,
1294 // Normally, it's not safe to use register enum values directly with
1295 // addition to get the next register, but for VFP registers, the
1296 // sort order is guaranteed because they're all of the form D<n>.
1298 printRegName(O, MI->getOperand(OpNum).getReg());
1300 printRegName(O, MI->getOperand(OpNum).getReg() + 1);
1302 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1306 void ARMInstPrinter::printVectorListFour(const MCInst *MI, unsigned OpNum,
1308 // Normally, it's not safe to use register enum values directly with
1309 // addition to get the next register, but for VFP registers, the
1310 // sort order is guaranteed because they're all of the form D<n>.
1312 printRegName(O, MI->getOperand(OpNum).getReg());
1314 printRegName(O, MI->getOperand(OpNum).getReg() + 1);
1316 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1318 printRegName(O, MI->getOperand(OpNum).getReg() + 3);
1322 void ARMInstPrinter::printVectorListOneAllLanes(const MCInst *MI,
1326 printRegName(O, MI->getOperand(OpNum).getReg());
1330 void ARMInstPrinter::printVectorListTwoAllLanes(const MCInst *MI,
1333 unsigned Reg = MI->getOperand(OpNum).getReg();
1334 unsigned Reg0 = MRI.getSubReg(Reg, ARM::dsub_0);
1335 unsigned Reg1 = MRI.getSubReg(Reg, ARM::dsub_1);
1337 printRegName(O, Reg0);
1339 printRegName(O, Reg1);
1343 void ARMInstPrinter::printVectorListThreeAllLanes(const MCInst *MI,
1346 // Normally, it's not safe to use register enum values directly with
1347 // addition to get the next register, but for VFP registers, the
1348 // sort order is guaranteed because they're all of the form D<n>.
1350 printRegName(O, MI->getOperand(OpNum).getReg());
1352 printRegName(O, MI->getOperand(OpNum).getReg() + 1);
1354 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1358 void ARMInstPrinter::printVectorListFourAllLanes(const MCInst *MI,
1361 // Normally, it's not safe to use register enum values directly with
1362 // addition to get the next register, but for VFP registers, the
1363 // sort order is guaranteed because they're all of the form D<n>.
1365 printRegName(O, MI->getOperand(OpNum).getReg());
1367 printRegName(O, MI->getOperand(OpNum).getReg() + 1);
1369 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1371 printRegName(O, MI->getOperand(OpNum).getReg() + 3);
1375 void ARMInstPrinter::printVectorListTwoSpacedAllLanes(const MCInst *MI,
1378 unsigned Reg = MI->getOperand(OpNum).getReg();
1379 unsigned Reg0 = MRI.getSubReg(Reg, ARM::dsub_0);
1380 unsigned Reg1 = MRI.getSubReg(Reg, ARM::dsub_2);
1382 printRegName(O, Reg0);
1384 printRegName(O, Reg1);
1388 void ARMInstPrinter::printVectorListThreeSpacedAllLanes(const MCInst *MI,
1391 // Normally, it's not safe to use register enum values directly with
1392 // addition to get the next register, but for VFP registers, the
1393 // sort order is guaranteed because they're all of the form D<n>.
1395 printRegName(O, MI->getOperand(OpNum).getReg());
1397 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1399 printRegName(O, MI->getOperand(OpNum).getReg() + 4);
1403 void ARMInstPrinter::printVectorListFourSpacedAllLanes(const MCInst *MI,
1406 // Normally, it's not safe to use register enum values directly with
1407 // addition to get the next register, but for VFP registers, the
1408 // sort order is guaranteed because they're all of the form D<n>.
1410 printRegName(O, MI->getOperand(OpNum).getReg());
1412 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1414 printRegName(O, MI->getOperand(OpNum).getReg() + 4);
1416 printRegName(O, MI->getOperand(OpNum).getReg() + 6);
1420 void ARMInstPrinter::printVectorListThreeSpaced(const MCInst *MI,
1423 // Normally, it's not safe to use register enum values directly with
1424 // addition to get the next register, but for VFP registers, the
1425 // sort order is guaranteed because they're all of the form D<n>.
1427 printRegName(O, MI->getOperand(OpNum).getReg());
1429 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1431 printRegName(O, MI->getOperand(OpNum).getReg() + 4);
1435 void ARMInstPrinter::printVectorListFourSpaced(const MCInst *MI,
1438 // Normally, it's not safe to use register enum values directly with
1439 // addition to get the next register, but for VFP registers, the
1440 // sort order is guaranteed because they're all of the form D<n>.
1442 printRegName(O, MI->getOperand(OpNum).getReg());
1444 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1446 printRegName(O, MI->getOperand(OpNum).getReg() + 4);
1448 printRegName(O, MI->getOperand(OpNum).getReg() + 6);