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::tHINT || 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 if ((getAvailableFeatures() & ARM::HasV8Ops)) {
91 } // Fallthrough for non-v8
93 // Anything else should just print normally.
94 printInstruction(MI, O);
95 printAnnotation(O, Annot);
98 printPredicateOperand(MI, 1, O);
99 if (Opcode == ARM::t2HINT)
101 printAnnotation(O, Annot);
105 // Check for MOVs and print canonical forms, instead.
106 if (Opcode == ARM::MOVsr) {
107 // FIXME: Thumb variants?
108 const MCOperand &Dst = MI->getOperand(0);
109 const MCOperand &MO1 = MI->getOperand(1);
110 const MCOperand &MO2 = MI->getOperand(2);
111 const MCOperand &MO3 = MI->getOperand(3);
113 O << '\t' << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO3.getImm()));
114 printSBitModifierOperand(MI, 6, O);
115 printPredicateOperand(MI, 4, O);
118 printRegName(O, Dst.getReg());
120 printRegName(O, MO1.getReg());
123 printRegName(O, MO2.getReg());
124 assert(ARM_AM::getSORegOffset(MO3.getImm()) == 0);
125 printAnnotation(O, Annot);
129 if (Opcode == ARM::MOVsi) {
130 // FIXME: Thumb variants?
131 const MCOperand &Dst = MI->getOperand(0);
132 const MCOperand &MO1 = MI->getOperand(1);
133 const MCOperand &MO2 = MI->getOperand(2);
135 O << '\t' << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO2.getImm()));
136 printSBitModifierOperand(MI, 5, O);
137 printPredicateOperand(MI, 3, O);
140 printRegName(O, Dst.getReg());
142 printRegName(O, MO1.getReg());
144 if (ARM_AM::getSORegShOp(MO2.getImm()) == ARM_AM::rrx) {
145 printAnnotation(O, Annot);
151 << "#" << translateShiftImm(ARM_AM::getSORegOffset(MO2.getImm()))
153 printAnnotation(O, Annot);
159 if ((Opcode == ARM::STMDB_UPD || Opcode == ARM::t2STMDB_UPD) &&
160 MI->getOperand(0).getReg() == ARM::SP &&
161 MI->getNumOperands() > 5) {
162 // Should only print PUSH if there are at least two registers in the list.
164 printPredicateOperand(MI, 2, O);
165 if (Opcode == ARM::t2STMDB_UPD)
168 printRegisterList(MI, 4, O);
169 printAnnotation(O, Annot);
172 if (Opcode == ARM::STR_PRE_IMM && MI->getOperand(2).getReg() == ARM::SP &&
173 MI->getOperand(3).getImm() == -4) {
175 printPredicateOperand(MI, 4, O);
177 printRegName(O, MI->getOperand(1).getReg());
179 printAnnotation(O, Annot);
184 if ((Opcode == ARM::LDMIA_UPD || Opcode == ARM::t2LDMIA_UPD) &&
185 MI->getOperand(0).getReg() == ARM::SP &&
186 MI->getNumOperands() > 5) {
187 // Should only print POP if there are at least two registers in the list.
189 printPredicateOperand(MI, 2, O);
190 if (Opcode == ARM::t2LDMIA_UPD)
193 printRegisterList(MI, 4, O);
194 printAnnotation(O, Annot);
197 if (Opcode == ARM::LDR_POST_IMM && MI->getOperand(2).getReg() == ARM::SP &&
198 MI->getOperand(4).getImm() == 4) {
200 printPredicateOperand(MI, 5, O);
202 printRegName(O, MI->getOperand(0).getReg());
204 printAnnotation(O, Annot);
210 if ((Opcode == ARM::VSTMSDB_UPD || Opcode == ARM::VSTMDDB_UPD) &&
211 MI->getOperand(0).getReg() == ARM::SP) {
212 O << '\t' << "vpush";
213 printPredicateOperand(MI, 2, O);
215 printRegisterList(MI, 4, O);
216 printAnnotation(O, Annot);
221 if ((Opcode == ARM::VLDMSIA_UPD || Opcode == ARM::VLDMDIA_UPD) &&
222 MI->getOperand(0).getReg() == ARM::SP) {
224 printPredicateOperand(MI, 2, O);
226 printRegisterList(MI, 4, O);
227 printAnnotation(O, Annot);
231 if (Opcode == ARM::tLDMIA) {
232 bool Writeback = true;
233 unsigned BaseReg = MI->getOperand(0).getReg();
234 for (unsigned i = 3; i < MI->getNumOperands(); ++i) {
235 if (MI->getOperand(i).getReg() == BaseReg)
241 printPredicateOperand(MI, 1, O);
243 printRegName(O, BaseReg);
244 if (Writeback) O << "!";
246 printRegisterList(MI, 3, O);
247 printAnnotation(O, Annot);
251 // Combine 2 GPRs from disassember into a GPRPair to match with instr def.
252 // ldrexd/strexd require even/odd GPR pair. To enforce this constraint,
253 // a single GPRPair reg operand is used in the .td file to replace the two
254 // GPRs. However, when decoding them, the two GRPs cannot be automatically
255 // expressed as a GPRPair, so we have to manually merge them.
256 // FIXME: We would really like to be able to tablegen'erate this.
257 if (Opcode == ARM::LDREXD || Opcode == ARM::STREXD ||
258 Opcode == ARM::LDAEXD || Opcode == ARM::STLEXD) {
259 const MCRegisterClass& MRC = MRI.getRegClass(ARM::GPRRegClassID);
260 bool isStore = Opcode == ARM::STREXD || Opcode == ARM::STLEXD;
261 unsigned Reg = MI->getOperand(isStore ? 1 : 0).getReg();
262 if (MRC.contains(Reg)) {
265 NewMI.setOpcode(Opcode);
268 NewMI.addOperand(MI->getOperand(0));
269 NewReg = MCOperand::CreateReg(MRI.getMatchingSuperReg(Reg, ARM::gsub_0,
270 &MRI.getRegClass(ARM::GPRPairRegClassID)));
271 NewMI.addOperand(NewReg);
273 // Copy the rest operands into NewMI.
274 for(unsigned i= isStore ? 3 : 2; i < MI->getNumOperands(); ++i)
275 NewMI.addOperand(MI->getOperand(i));
276 printInstruction(&NewMI, O);
281 printInstruction(MI, O);
282 printAnnotation(O, Annot);
285 void ARMInstPrinter::printOperand(const MCInst *MI, unsigned OpNo,
287 const MCOperand &Op = MI->getOperand(OpNo);
289 unsigned Reg = Op.getReg();
290 printRegName(O, Reg);
291 } else if (Op.isImm()) {
293 << '#' << formatImm(Op.getImm())
296 assert(Op.isExpr() && "unknown operand kind in printOperand");
297 // If a symbolic branch target was added as a constant expression then print
298 // that address in hex. And only print 32 unsigned bits for the address.
299 const MCConstantExpr *BranchTarget = dyn_cast<MCConstantExpr>(Op.getExpr());
301 if (BranchTarget && BranchTarget->EvaluateAsAbsolute(Address)) {
303 O.write_hex((uint32_t)Address);
306 // Otherwise, just print the expression.
312 void ARMInstPrinter::printThumbLdrLabelOperand(const MCInst *MI, unsigned OpNum,
314 const MCOperand &MO1 = MI->getOperand(OpNum);
320 O << markup("<mem:") << "[pc, ";
322 int32_t OffImm = (int32_t)MO1.getImm();
323 bool isSub = OffImm < 0;
325 // Special value for #-0. All others are normal.
326 if (OffImm == INT32_MIN)
330 << "#-" << formatImm(-OffImm)
334 << "#" << formatImm(OffImm)
337 O << "]" << markup(">");
340 // so_reg is a 4-operand unit corresponding to register forms of the A5.1
341 // "Addressing Mode 1 - Data-processing operands" forms. This includes:
343 // REG REG 0,SH_OPC - e.g. R5, ROR R3
344 // REG 0 IMM,SH_OPC - e.g. R5, LSL #3
345 void ARMInstPrinter::printSORegRegOperand(const MCInst *MI, unsigned OpNum,
347 const MCOperand &MO1 = MI->getOperand(OpNum);
348 const MCOperand &MO2 = MI->getOperand(OpNum+1);
349 const MCOperand &MO3 = MI->getOperand(OpNum+2);
351 printRegName(O, MO1.getReg());
353 // Print the shift opc.
354 ARM_AM::ShiftOpc ShOpc = ARM_AM::getSORegShOp(MO3.getImm());
355 O << ", " << ARM_AM::getShiftOpcStr(ShOpc);
356 if (ShOpc == ARM_AM::rrx)
360 printRegName(O, MO2.getReg());
361 assert(ARM_AM::getSORegOffset(MO3.getImm()) == 0);
364 void ARMInstPrinter::printSORegImmOperand(const MCInst *MI, unsigned OpNum,
366 const MCOperand &MO1 = MI->getOperand(OpNum);
367 const MCOperand &MO2 = MI->getOperand(OpNum+1);
369 printRegName(O, MO1.getReg());
371 // Print the shift opc.
372 printRegImmShift(O, ARM_AM::getSORegShOp(MO2.getImm()),
373 ARM_AM::getSORegOffset(MO2.getImm()), UseMarkup);
377 //===--------------------------------------------------------------------===//
378 // Addressing Mode #2
379 //===--------------------------------------------------------------------===//
381 void ARMInstPrinter::printAM2PreOrOffsetIndexOp(const MCInst *MI, unsigned Op,
383 const MCOperand &MO1 = MI->getOperand(Op);
384 const MCOperand &MO2 = MI->getOperand(Op+1);
385 const MCOperand &MO3 = MI->getOperand(Op+2);
387 O << markup("<mem:") << "[";
388 printRegName(O, MO1.getReg());
391 if (ARM_AM::getAM2Offset(MO3.getImm())) { // Don't print +0.
395 << ARM_AM::getAddrOpcStr(ARM_AM::getAM2Op(MO3.getImm()))
396 << ARM_AM::getAM2Offset(MO3.getImm())
399 O << "]" << markup(">");
404 O << ARM_AM::getAddrOpcStr(ARM_AM::getAM2Op(MO3.getImm()));
405 printRegName(O, MO2.getReg());
407 printRegImmShift(O, ARM_AM::getAM2ShiftOpc(MO3.getImm()),
408 ARM_AM::getAM2Offset(MO3.getImm()), UseMarkup);
409 O << "]" << markup(">");
412 void ARMInstPrinter::printAddrModeTBB(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 << "]" << markup(">");
423 void ARMInstPrinter::printAddrModeTBH(const MCInst *MI, unsigned Op,
425 const MCOperand &MO1 = MI->getOperand(Op);
426 const MCOperand &MO2 = MI->getOperand(Op+1);
427 O << markup("<mem:") << "[";
428 printRegName(O, MO1.getReg());
430 printRegName(O, MO2.getReg());
431 O << ", lsl " << markup("<imm:") << "#1" << markup(">") << "]" << markup(">");
434 void ARMInstPrinter::printAddrMode2Operand(const MCInst *MI, unsigned Op,
436 const MCOperand &MO1 = MI->getOperand(Op);
438 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
439 printOperand(MI, Op, O);
444 const MCOperand &MO3 = MI->getOperand(Op+2);
445 unsigned IdxMode = ARM_AM::getAM2IdxMode(MO3.getImm());
446 assert(IdxMode != ARMII::IndexModePost &&
447 "Should be pre or offset index op");
450 printAM2PreOrOffsetIndexOp(MI, Op, O);
453 void ARMInstPrinter::printAddrMode2OffsetOperand(const MCInst *MI,
456 const MCOperand &MO1 = MI->getOperand(OpNum);
457 const MCOperand &MO2 = MI->getOperand(OpNum+1);
460 unsigned ImmOffs = ARM_AM::getAM2Offset(MO2.getImm());
462 << '#' << ARM_AM::getAddrOpcStr(ARM_AM::getAM2Op(MO2.getImm()))
468 O << ARM_AM::getAddrOpcStr(ARM_AM::getAM2Op(MO2.getImm()));
469 printRegName(O, MO1.getReg());
471 printRegImmShift(O, ARM_AM::getAM2ShiftOpc(MO2.getImm()),
472 ARM_AM::getAM2Offset(MO2.getImm()), UseMarkup);
475 //===--------------------------------------------------------------------===//
476 // Addressing Mode #3
477 //===--------------------------------------------------------------------===//
479 void ARMInstPrinter::printAM3PostIndexOp(const MCInst *MI, unsigned Op,
481 const MCOperand &MO1 = MI->getOperand(Op);
482 const MCOperand &MO2 = MI->getOperand(Op+1);
483 const MCOperand &MO3 = MI->getOperand(Op+2);
485 O << markup("<mem:") << "[";
486 printRegName(O, MO1.getReg());
487 O << "], " << markup(">");
490 O << (char)ARM_AM::getAM3Op(MO3.getImm());
491 printRegName(O, MO2.getReg());
495 unsigned ImmOffs = ARM_AM::getAM3Offset(MO3.getImm());
498 << ARM_AM::getAddrOpcStr(ARM_AM::getAM3Op(MO3.getImm()))
503 void ARMInstPrinter::printAM3PreOrOffsetIndexOp(const MCInst *MI, unsigned Op,
505 bool AlwaysPrintImm0) {
506 const MCOperand &MO1 = MI->getOperand(Op);
507 const MCOperand &MO2 = MI->getOperand(Op+1);
508 const MCOperand &MO3 = MI->getOperand(Op+2);
510 O << markup("<mem:") << '[';
511 printRegName(O, MO1.getReg());
514 O << ", " << getAddrOpcStr(ARM_AM::getAM3Op(MO3.getImm()));
515 printRegName(O, MO2.getReg());
516 O << ']' << markup(">");
520 //If the op is sub we have to print the immediate even if it is 0
521 unsigned ImmOffs = ARM_AM::getAM3Offset(MO3.getImm());
522 ARM_AM::AddrOpc op = ARM_AM::getAM3Op(MO3.getImm());
524 if (AlwaysPrintImm0 || ImmOffs || (op == ARM_AM::sub)) {
528 << ARM_AM::getAddrOpcStr(op)
532 O << ']' << markup(">");
535 template <bool AlwaysPrintImm0>
536 void ARMInstPrinter::printAddrMode3Operand(const MCInst *MI, unsigned Op,
538 const MCOperand &MO1 = MI->getOperand(Op);
539 if (!MO1.isReg()) { // For label symbolic references.
540 printOperand(MI, Op, O);
544 const MCOperand &MO3 = MI->getOperand(Op+2);
545 unsigned IdxMode = ARM_AM::getAM3IdxMode(MO3.getImm());
547 if (IdxMode == ARMII::IndexModePost) {
548 printAM3PostIndexOp(MI, Op, O);
551 printAM3PreOrOffsetIndexOp(MI, Op, O, AlwaysPrintImm0);
554 void ARMInstPrinter::printAddrMode3OffsetOperand(const MCInst *MI,
557 const MCOperand &MO1 = MI->getOperand(OpNum);
558 const MCOperand &MO2 = MI->getOperand(OpNum+1);
561 O << getAddrOpcStr(ARM_AM::getAM3Op(MO2.getImm()));
562 printRegName(O, MO1.getReg());
566 unsigned ImmOffs = ARM_AM::getAM3Offset(MO2.getImm());
568 << '#' << ARM_AM::getAddrOpcStr(ARM_AM::getAM3Op(MO2.getImm())) << ImmOffs
572 void ARMInstPrinter::printPostIdxImm8Operand(const MCInst *MI,
575 const MCOperand &MO = MI->getOperand(OpNum);
576 unsigned Imm = MO.getImm();
578 << '#' << ((Imm & 256) ? "" : "-") << (Imm & 0xff)
582 void ARMInstPrinter::printPostIdxRegOperand(const MCInst *MI, unsigned OpNum,
584 const MCOperand &MO1 = MI->getOperand(OpNum);
585 const MCOperand &MO2 = MI->getOperand(OpNum+1);
587 O << (MO2.getImm() ? "" : "-");
588 printRegName(O, MO1.getReg());
591 void ARMInstPrinter::printPostIdxImm8s4Operand(const MCInst *MI,
594 const MCOperand &MO = MI->getOperand(OpNum);
595 unsigned Imm = MO.getImm();
597 << '#' << ((Imm & 256) ? "" : "-") << ((Imm & 0xff) << 2)
602 void ARMInstPrinter::printLdStmModeOperand(const MCInst *MI, unsigned OpNum,
604 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MI->getOperand(OpNum)
606 O << ARM_AM::getAMSubModeStr(Mode);
609 template <bool AlwaysPrintImm0>
610 void ARMInstPrinter::printAddrMode5Operand(const MCInst *MI, unsigned OpNum,
612 const MCOperand &MO1 = MI->getOperand(OpNum);
613 const MCOperand &MO2 = MI->getOperand(OpNum+1);
615 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
616 printOperand(MI, OpNum, O);
620 O << markup("<mem:") << "[";
621 printRegName(O, MO1.getReg());
623 unsigned ImmOffs = ARM_AM::getAM5Offset(MO2.getImm());
624 unsigned Op = ARM_AM::getAM5Op(MO2.getImm());
625 if (AlwaysPrintImm0 || ImmOffs || Op == ARM_AM::sub) {
629 << ARM_AM::getAddrOpcStr(ARM_AM::getAM5Op(MO2.getImm()))
633 O << "]" << markup(">");
636 void ARMInstPrinter::printAddrMode6Operand(const MCInst *MI, unsigned OpNum,
638 const MCOperand &MO1 = MI->getOperand(OpNum);
639 const MCOperand &MO2 = MI->getOperand(OpNum+1);
641 O << markup("<mem:") << "[";
642 printRegName(O, MO1.getReg());
644 O << ":" << (MO2.getImm() << 3);
646 O << "]" << markup(">");
649 void ARMInstPrinter::printAddrMode7Operand(const MCInst *MI, unsigned OpNum,
651 const MCOperand &MO1 = MI->getOperand(OpNum);
652 O << markup("<mem:") << "[";
653 printRegName(O, MO1.getReg());
654 O << "]" << markup(">");
657 void ARMInstPrinter::printAddrMode6OffsetOperand(const MCInst *MI,
660 const MCOperand &MO = MI->getOperand(OpNum);
661 if (MO.getReg() == 0)
665 printRegName(O, MO.getReg());
669 void ARMInstPrinter::printBitfieldInvMaskImmOperand(const MCInst *MI,
672 const MCOperand &MO = MI->getOperand(OpNum);
673 uint32_t v = ~MO.getImm();
674 int32_t lsb = countTrailingZeros(v);
675 int32_t width = (32 - countLeadingZeros (v)) - lsb;
676 assert(MO.isImm() && "Not a valid bf_inv_mask_imm value!");
677 O << markup("<imm:") << '#' << lsb << markup(">")
679 << markup("<imm:") << '#' << width << markup(">");
682 void ARMInstPrinter::printMemBOption(const MCInst *MI, unsigned OpNum,
684 unsigned val = MI->getOperand(OpNum).getImm();
685 O << ARM_MB::MemBOptToString(val, (getAvailableFeatures() & ARM::HasV8Ops));
688 void ARMInstPrinter::printInstSyncBOption(const MCInst *MI, unsigned OpNum,
690 unsigned val = MI->getOperand(OpNum).getImm();
691 O << ARM_ISB::InstSyncBOptToString(val);
694 void ARMInstPrinter::printShiftImmOperand(const MCInst *MI, unsigned OpNum,
696 unsigned ShiftOp = MI->getOperand(OpNum).getImm();
697 bool isASR = (ShiftOp & (1 << 5)) != 0;
698 unsigned Amt = ShiftOp & 0x1f;
702 << "#" << (Amt == 0 ? 32 : Amt)
713 void ARMInstPrinter::printPKHLSLShiftImm(const MCInst *MI, unsigned OpNum,
715 unsigned Imm = MI->getOperand(OpNum).getImm();
718 assert(Imm > 0 && Imm < 32 && "Invalid PKH shift immediate value!");
719 O << ", lsl " << markup("<imm:") << "#" << Imm << markup(">");
722 void ARMInstPrinter::printPKHASRShiftImm(const MCInst *MI, unsigned OpNum,
724 unsigned Imm = MI->getOperand(OpNum).getImm();
725 // A shift amount of 32 is encoded as 0.
728 assert(Imm > 0 && Imm <= 32 && "Invalid PKH shift immediate value!");
729 O << ", asr " << markup("<imm:") << "#" << Imm << markup(">");
732 void ARMInstPrinter::printRegisterList(const MCInst *MI, unsigned OpNum,
735 for (unsigned i = OpNum, e = MI->getNumOperands(); i != e; ++i) {
736 if (i != OpNum) O << ", ";
737 printRegName(O, MI->getOperand(i).getReg());
742 void ARMInstPrinter::printGPRPairOperand(const MCInst *MI, unsigned OpNum,
744 unsigned Reg = MI->getOperand(OpNum).getReg();
745 printRegName(O, MRI.getSubReg(Reg, ARM::gsub_0));
747 printRegName(O, MRI.getSubReg(Reg, ARM::gsub_1));
751 void ARMInstPrinter::printSetendOperand(const MCInst *MI, unsigned OpNum,
753 const MCOperand &Op = MI->getOperand(OpNum);
760 void ARMInstPrinter::printCPSIMod(const MCInst *MI, unsigned OpNum,
762 const MCOperand &Op = MI->getOperand(OpNum);
763 O << ARM_PROC::IModToString(Op.getImm());
766 void ARMInstPrinter::printCPSIFlag(const MCInst *MI, unsigned OpNum,
768 const MCOperand &Op = MI->getOperand(OpNum);
769 unsigned IFlags = Op.getImm();
770 for (int i=2; i >= 0; --i)
771 if (IFlags & (1 << i))
772 O << ARM_PROC::IFlagsToString(1 << i);
778 void ARMInstPrinter::printMSRMaskOperand(const MCInst *MI, unsigned OpNum,
780 const MCOperand &Op = MI->getOperand(OpNum);
781 unsigned SpecRegRBit = Op.getImm() >> 4;
782 unsigned Mask = Op.getImm() & 0xf;
784 if (getAvailableFeatures() & ARM::FeatureMClass) {
785 unsigned SYSm = Op.getImm();
786 unsigned Opcode = MI->getOpcode();
787 // For reads of the special registers ignore the "mask encoding" bits
788 // which are only for writes.
789 if (Opcode == ARM::t2MRS_M)
792 default: llvm_unreachable("Unexpected mask value!");
794 case 0x800: O << "apsr"; return; // with _nzcvq bits is an alias for aspr
795 case 0x400: O << "apsr_g"; return;
796 case 0xc00: O << "apsr_nzcvqg"; return;
798 case 0x801: O << "iapsr"; return; // with _nzcvq bits is an alias for iapsr
799 case 0x401: O << "iapsr_g"; return;
800 case 0xc01: O << "iapsr_nzcvqg"; return;
802 case 0x802: O << "eapsr"; return; // with _nzcvq bits is an alias for eapsr
803 case 0x402: O << "eapsr_g"; return;
804 case 0xc02: O << "eapsr_nzcvqg"; return;
806 case 0x803: O << "xpsr"; return; // with _nzcvq bits is an alias for xpsr
807 case 0x403: O << "xpsr_g"; return;
808 case 0xc03: O << "xpsr_nzcvqg"; return;
810 case 0x805: O << "ipsr"; return;
812 case 0x806: O << "epsr"; return;
814 case 0x807: O << "iepsr"; return;
816 case 0x808: O << "msp"; return;
818 case 0x809: O << "psp"; return;
820 case 0x810: O << "primask"; return;
822 case 0x811: O << "basepri"; return;
824 case 0x812: O << "basepri_max"; return;
826 case 0x813: O << "faultmask"; return;
828 case 0x814: O << "control"; return;
832 // As special cases, CPSR_f, CPSR_s and CPSR_fs prefer printing as
833 // APSR_nzcvq, APSR_g and APSRnzcvqg, respectively.
834 if (!SpecRegRBit && (Mask == 8 || Mask == 4 || Mask == 12)) {
837 default: llvm_unreachable("Unexpected mask value!");
838 case 4: O << "g"; return;
839 case 8: O << "nzcvq"; return;
840 case 12: O << "nzcvqg"; return;
851 if (Mask & 8) O << 'f';
852 if (Mask & 4) O << 's';
853 if (Mask & 2) O << 'x';
854 if (Mask & 1) O << 'c';
858 void ARMInstPrinter::printPredicateOperand(const MCInst *MI, unsigned OpNum,
860 ARMCC::CondCodes CC = (ARMCC::CondCodes)MI->getOperand(OpNum).getImm();
861 // Handle the undefined 15 CC value here for printing so we don't abort().
862 if ((unsigned)CC == 15)
864 else if (CC != ARMCC::AL)
865 O << ARMCondCodeToString(CC);
868 void ARMInstPrinter::printMandatoryPredicateOperand(const MCInst *MI,
871 ARMCC::CondCodes CC = (ARMCC::CondCodes)MI->getOperand(OpNum).getImm();
872 O << ARMCondCodeToString(CC);
875 void ARMInstPrinter::printSBitModifierOperand(const MCInst *MI, unsigned OpNum,
877 if (MI->getOperand(OpNum).getReg()) {
878 assert(MI->getOperand(OpNum).getReg() == ARM::CPSR &&
879 "Expect ARM CPSR register!");
884 void ARMInstPrinter::printNoHashImmediate(const MCInst *MI, unsigned OpNum,
886 O << MI->getOperand(OpNum).getImm();
889 void ARMInstPrinter::printPImmediate(const MCInst *MI, unsigned OpNum,
891 O << "p" << MI->getOperand(OpNum).getImm();
894 void ARMInstPrinter::printCImmediate(const MCInst *MI, unsigned OpNum,
896 O << "c" << MI->getOperand(OpNum).getImm();
899 void ARMInstPrinter::printCoprocOptionImm(const MCInst *MI, unsigned OpNum,
901 O << "{" << MI->getOperand(OpNum).getImm() << "}";
904 void ARMInstPrinter::printPCLabel(const MCInst *MI, unsigned OpNum,
906 llvm_unreachable("Unhandled PC-relative pseudo-instruction!");
909 template<unsigned scale>
910 void ARMInstPrinter::printAdrLabelOperand(const MCInst *MI, unsigned OpNum,
912 const MCOperand &MO = MI->getOperand(OpNum);
919 int32_t OffImm = (int32_t)MO.getImm() << scale;
921 O << markup("<imm:");
922 if (OffImm == INT32_MIN)
925 O << "#-" << -OffImm;
931 void ARMInstPrinter::printThumbS4ImmOperand(const MCInst *MI, unsigned OpNum,
934 << "#" << formatImm(MI->getOperand(OpNum).getImm() * 4)
938 void ARMInstPrinter::printThumbSRImm(const MCInst *MI, unsigned OpNum,
940 unsigned Imm = MI->getOperand(OpNum).getImm();
942 << "#" << formatImm((Imm == 0 ? 32 : Imm))
946 void ARMInstPrinter::printThumbITMask(const MCInst *MI, unsigned OpNum,
948 // (3 - the number of trailing zeros) is the number of then / else.
949 unsigned Mask = MI->getOperand(OpNum).getImm();
950 unsigned Firstcond = MI->getOperand(OpNum-1).getImm();
951 unsigned CondBit0 = Firstcond & 1;
952 unsigned NumTZ = countTrailingZeros(Mask);
953 assert(NumTZ <= 3 && "Invalid IT mask!");
954 for (unsigned Pos = 3, e = NumTZ; Pos > e; --Pos) {
955 bool T = ((Mask >> Pos) & 1) == CondBit0;
963 void ARMInstPrinter::printThumbAddrModeRROperand(const MCInst *MI, unsigned Op,
965 const MCOperand &MO1 = MI->getOperand(Op);
966 const MCOperand &MO2 = MI->getOperand(Op + 1);
968 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
969 printOperand(MI, Op, O);
973 O << markup("<mem:") << "[";
974 printRegName(O, MO1.getReg());
975 if (unsigned RegNum = MO2.getReg()) {
977 printRegName(O, RegNum);
979 O << "]" << markup(">");
982 void ARMInstPrinter::printThumbAddrModeImm5SOperand(const MCInst *MI,
986 const MCOperand &MO1 = MI->getOperand(Op);
987 const MCOperand &MO2 = MI->getOperand(Op + 1);
989 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
990 printOperand(MI, Op, O);
994 O << markup("<mem:") << "[";
995 printRegName(O, MO1.getReg());
996 if (unsigned ImmOffs = MO2.getImm()) {
999 << "#" << formatImm(ImmOffs * Scale)
1002 O << "]" << markup(">");
1005 void ARMInstPrinter::printThumbAddrModeImm5S1Operand(const MCInst *MI,
1008 printThumbAddrModeImm5SOperand(MI, Op, O, 1);
1011 void ARMInstPrinter::printThumbAddrModeImm5S2Operand(const MCInst *MI,
1014 printThumbAddrModeImm5SOperand(MI, Op, O, 2);
1017 void ARMInstPrinter::printThumbAddrModeImm5S4Operand(const MCInst *MI,
1020 printThumbAddrModeImm5SOperand(MI, Op, O, 4);
1023 void ARMInstPrinter::printThumbAddrModeSPOperand(const MCInst *MI, unsigned Op,
1025 printThumbAddrModeImm5SOperand(MI, Op, O, 4);
1028 // Constant shifts t2_so_reg is a 2-operand unit corresponding to the Thumb2
1029 // register with shift forms.
1030 // REG 0 0 - e.g. R5
1031 // REG IMM, SH_OPC - e.g. R5, LSL #3
1032 void ARMInstPrinter::printT2SOOperand(const MCInst *MI, unsigned OpNum,
1034 const MCOperand &MO1 = MI->getOperand(OpNum);
1035 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1037 unsigned Reg = MO1.getReg();
1038 printRegName(O, Reg);
1040 // Print the shift opc.
1041 assert(MO2.isImm() && "Not a valid t2_so_reg value!");
1042 printRegImmShift(O, ARM_AM::getSORegShOp(MO2.getImm()),
1043 ARM_AM::getSORegOffset(MO2.getImm()), UseMarkup);
1046 template <bool AlwaysPrintImm0>
1047 void ARMInstPrinter::printAddrModeImm12Operand(const MCInst *MI, unsigned OpNum,
1049 const MCOperand &MO1 = MI->getOperand(OpNum);
1050 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1052 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
1053 printOperand(MI, OpNum, O);
1057 O << markup("<mem:") << "[";
1058 printRegName(O, MO1.getReg());
1060 int32_t OffImm = (int32_t)MO2.getImm();
1061 bool isSub = OffImm < 0;
1062 // Special value for #-0. All others are normal.
1063 if (OffImm == INT32_MIN)
1071 else if (AlwaysPrintImm0 || OffImm > 0) {
1077 O << "]" << markup(">");
1080 template<bool AlwaysPrintImm0>
1081 void ARMInstPrinter::printT2AddrModeImm8Operand(const MCInst *MI,
1084 const MCOperand &MO1 = MI->getOperand(OpNum);
1085 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1087 O << markup("<mem:") << "[";
1088 printRegName(O, MO1.getReg());
1090 int32_t OffImm = (int32_t)MO2.getImm();
1091 bool isSub = OffImm < 0;
1093 if (OffImm == INT32_MIN)
1100 } else if (AlwaysPrintImm0 || OffImm > 0) {
1106 O << "]" << markup(">");
1109 template<bool AlwaysPrintImm0>
1110 void ARMInstPrinter::printT2AddrModeImm8s4Operand(const MCInst *MI,
1113 const MCOperand &MO1 = MI->getOperand(OpNum);
1114 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1116 if (!MO1.isReg()) { // For label symbolic references.
1117 printOperand(MI, OpNum, O);
1121 O << markup("<mem:") << "[";
1122 printRegName(O, MO1.getReg());
1124 int32_t OffImm = (int32_t)MO2.getImm();
1125 bool isSub = OffImm < 0;
1127 assert(((OffImm & 0x3) == 0) && "Not a valid immediate!");
1130 if (OffImm == INT32_MIN)
1137 } else if (AlwaysPrintImm0 || OffImm > 0) {
1143 O << "]" << markup(">");
1146 void ARMInstPrinter::printT2AddrModeImm0_1020s4Operand(const MCInst *MI,
1149 const MCOperand &MO1 = MI->getOperand(OpNum);
1150 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1152 O << markup("<mem:") << "[";
1153 printRegName(O, MO1.getReg());
1157 << "#" << formatImm(MO2.getImm() * 4)
1160 O << "]" << markup(">");
1163 void ARMInstPrinter::printT2AddrModeImm8OffsetOperand(const MCInst *MI,
1166 const MCOperand &MO1 = MI->getOperand(OpNum);
1167 int32_t OffImm = (int32_t)MO1.getImm();
1168 O << ", " << markup("<imm:");
1169 if (OffImm == INT32_MIN)
1171 else if (OffImm < 0)
1172 O << "#-" << -OffImm;
1178 void ARMInstPrinter::printT2AddrModeImm8s4OffsetOperand(const MCInst *MI,
1181 const MCOperand &MO1 = MI->getOperand(OpNum);
1182 int32_t OffImm = (int32_t)MO1.getImm();
1184 assert(((OffImm & 0x3) == 0) && "Not a valid immediate!");
1186 O << ", " << markup("<imm:");
1187 if (OffImm == INT32_MIN)
1189 else if (OffImm < 0)
1190 O << "#-" << -OffImm;
1196 void ARMInstPrinter::printT2AddrModeSoRegOperand(const MCInst *MI,
1199 const MCOperand &MO1 = MI->getOperand(OpNum);
1200 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1201 const MCOperand &MO3 = MI->getOperand(OpNum+2);
1203 O << markup("<mem:") << "[";
1204 printRegName(O, MO1.getReg());
1206 assert(MO2.getReg() && "Invalid so_reg load / store address!");
1208 printRegName(O, MO2.getReg());
1210 unsigned ShAmt = MO3.getImm();
1212 assert(ShAmt <= 3 && "Not a valid Thumb2 addressing mode!");
1218 O << "]" << markup(">");
1221 void ARMInstPrinter::printFPImmOperand(const MCInst *MI, unsigned OpNum,
1223 const MCOperand &MO = MI->getOperand(OpNum);
1224 O << markup("<imm:")
1225 << '#' << ARM_AM::getFPImmFloat(MO.getImm())
1229 void ARMInstPrinter::printNEONModImmOperand(const MCInst *MI, unsigned OpNum,
1231 unsigned EncodedImm = MI->getOperand(OpNum).getImm();
1233 uint64_t Val = ARM_AM::decodeNEONModImm(EncodedImm, EltBits);
1234 O << markup("<imm:")
1240 void ARMInstPrinter::printImmPlusOneOperand(const MCInst *MI, unsigned OpNum,
1242 unsigned Imm = MI->getOperand(OpNum).getImm();
1243 O << markup("<imm:")
1244 << "#" << formatImm(Imm + 1)
1248 void ARMInstPrinter::printRotImmOperand(const MCInst *MI, unsigned OpNum,
1250 unsigned Imm = MI->getOperand(OpNum).getImm();
1257 default: assert (0 && "illegal ror immediate!");
1258 case 1: O << "8"; break;
1259 case 2: O << "16"; break;
1260 case 3: O << "24"; break;
1265 void ARMInstPrinter::printFBits16(const MCInst *MI, unsigned OpNum,
1267 O << markup("<imm:")
1268 << "#" << 16 - MI->getOperand(OpNum).getImm()
1272 void ARMInstPrinter::printFBits32(const MCInst *MI, unsigned OpNum,
1274 O << markup("<imm:")
1275 << "#" << 32 - MI->getOperand(OpNum).getImm()
1279 void ARMInstPrinter::printVectorIndex(const MCInst *MI, unsigned OpNum,
1281 O << "[" << MI->getOperand(OpNum).getImm() << "]";
1284 void ARMInstPrinter::printVectorListOne(const MCInst *MI, unsigned OpNum,
1287 printRegName(O, MI->getOperand(OpNum).getReg());
1291 void ARMInstPrinter::printVectorListTwo(const MCInst *MI, unsigned OpNum,
1293 unsigned Reg = MI->getOperand(OpNum).getReg();
1294 unsigned Reg0 = MRI.getSubReg(Reg, ARM::dsub_0);
1295 unsigned Reg1 = MRI.getSubReg(Reg, ARM::dsub_1);
1297 printRegName(O, Reg0);
1299 printRegName(O, Reg1);
1303 void ARMInstPrinter::printVectorListTwoSpaced(const MCInst *MI,
1306 unsigned Reg = MI->getOperand(OpNum).getReg();
1307 unsigned Reg0 = MRI.getSubReg(Reg, ARM::dsub_0);
1308 unsigned Reg1 = MRI.getSubReg(Reg, ARM::dsub_2);
1310 printRegName(O, Reg0);
1312 printRegName(O, Reg1);
1316 void ARMInstPrinter::printVectorListThree(const MCInst *MI, unsigned OpNum,
1318 // Normally, it's not safe to use register enum values directly with
1319 // addition to get the next register, but for VFP registers, the
1320 // sort order is guaranteed because they're all of the form D<n>.
1322 printRegName(O, MI->getOperand(OpNum).getReg());
1324 printRegName(O, MI->getOperand(OpNum).getReg() + 1);
1326 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1330 void ARMInstPrinter::printVectorListFour(const MCInst *MI, unsigned OpNum,
1332 // Normally, it's not safe to use register enum values directly with
1333 // addition to get the next register, but for VFP registers, the
1334 // sort order is guaranteed because they're all of the form D<n>.
1336 printRegName(O, MI->getOperand(OpNum).getReg());
1338 printRegName(O, MI->getOperand(OpNum).getReg() + 1);
1340 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1342 printRegName(O, MI->getOperand(OpNum).getReg() + 3);
1346 void ARMInstPrinter::printVectorListOneAllLanes(const MCInst *MI,
1350 printRegName(O, MI->getOperand(OpNum).getReg());
1354 void ARMInstPrinter::printVectorListTwoAllLanes(const MCInst *MI,
1357 unsigned Reg = MI->getOperand(OpNum).getReg();
1358 unsigned Reg0 = MRI.getSubReg(Reg, ARM::dsub_0);
1359 unsigned Reg1 = MRI.getSubReg(Reg, ARM::dsub_1);
1361 printRegName(O, Reg0);
1363 printRegName(O, Reg1);
1367 void ARMInstPrinter::printVectorListThreeAllLanes(const MCInst *MI,
1370 // Normally, it's not safe to use register enum values directly with
1371 // addition to get the next register, but for VFP registers, the
1372 // sort order is guaranteed because they're all of the form D<n>.
1374 printRegName(O, MI->getOperand(OpNum).getReg());
1376 printRegName(O, MI->getOperand(OpNum).getReg() + 1);
1378 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1382 void ARMInstPrinter::printVectorListFourAllLanes(const MCInst *MI,
1385 // Normally, it's not safe to use register enum values directly with
1386 // addition to get the next register, but for VFP registers, the
1387 // sort order is guaranteed because they're all of the form D<n>.
1389 printRegName(O, MI->getOperand(OpNum).getReg());
1391 printRegName(O, MI->getOperand(OpNum).getReg() + 1);
1393 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1395 printRegName(O, MI->getOperand(OpNum).getReg() + 3);
1399 void ARMInstPrinter::printVectorListTwoSpacedAllLanes(const MCInst *MI,
1402 unsigned Reg = MI->getOperand(OpNum).getReg();
1403 unsigned Reg0 = MRI.getSubReg(Reg, ARM::dsub_0);
1404 unsigned Reg1 = MRI.getSubReg(Reg, ARM::dsub_2);
1406 printRegName(O, Reg0);
1408 printRegName(O, Reg1);
1412 void ARMInstPrinter::printVectorListThreeSpacedAllLanes(const MCInst *MI,
1415 // Normally, it's not safe to use register enum values directly with
1416 // addition to get the next register, but for VFP registers, the
1417 // sort order is guaranteed because they're all of the form D<n>.
1419 printRegName(O, MI->getOperand(OpNum).getReg());
1421 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1423 printRegName(O, MI->getOperand(OpNum).getReg() + 4);
1427 void ARMInstPrinter::printVectorListFourSpacedAllLanes(const MCInst *MI,
1430 // Normally, it's not safe to use register enum values directly with
1431 // addition to get the next register, but for VFP registers, the
1432 // sort order is guaranteed because they're all of the form D<n>.
1434 printRegName(O, MI->getOperand(OpNum).getReg());
1436 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1438 printRegName(O, MI->getOperand(OpNum).getReg() + 4);
1440 printRegName(O, MI->getOperand(OpNum).getReg() + 6);
1444 void ARMInstPrinter::printVectorListThreeSpaced(const MCInst *MI,
1447 // Normally, it's not safe to use register enum values directly with
1448 // addition to get the next register, but for VFP registers, the
1449 // sort order is guaranteed because they're all of the form D<n>.
1451 printRegName(O, MI->getOperand(OpNum).getReg());
1453 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1455 printRegName(O, MI->getOperand(OpNum).getReg() + 4);
1459 void ARMInstPrinter::printVectorListFourSpaced(const MCInst *MI,
1462 // Normally, it's not safe to use register enum values directly with
1463 // addition to get the next register, but for VFP registers, the
1464 // sort order is guaranteed because they're all of the form D<n>.
1466 printRegName(O, MI->getOperand(OpNum).getReg());
1468 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1470 printRegName(O, MI->getOperand(OpNum).getReg() + 4);
1472 printRegName(O, MI->getOperand(OpNum).getReg() + 6);