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 #include "ARMInstPrinter.h"
15 #include "MCTargetDesc/ARMAddressingModes.h"
16 #include "MCTargetDesc/ARMBaseInfo.h"
17 #include "llvm/MC/MCAsmInfo.h"
18 #include "llvm/MC/MCExpr.h"
19 #include "llvm/MC/MCInst.h"
20 #include "llvm/MC/MCInstrInfo.h"
21 #include "llvm/MC/MCRegisterInfo.h"
22 #include "llvm/Support/raw_ostream.h"
25 #define DEBUG_TYPE "asm-printer"
27 #include "ARMGenAsmWriter.inc"
29 /// translateShiftImm - Convert shift immediate from 0-31 to 1-32 for printing.
31 /// getSORegOffset returns an integer from 0-31, representing '32' as 0.
32 static unsigned translateShiftImm(unsigned imm) {
33 // lsr #32 and asr #32 exist, but should be encoded as a 0.
34 assert((imm & ~0x1f) == 0 && "Invalid shift encoding");
41 /// Prints the shift value with an immediate value.
42 static void printRegImmShift(raw_ostream &O, ARM_AM::ShiftOpc ShOpc,
43 unsigned ShImm, bool UseMarkup) {
44 if (ShOpc == ARM_AM::no_shift || (ShOpc == ARM_AM::lsl && !ShImm))
48 assert (!(ShOpc == ARM_AM::ror && !ShImm) && "Cannot have ror #0");
49 O << getShiftOpcStr(ShOpc);
51 if (ShOpc != ARM_AM::rrx) {
55 O << "#" << translateShiftImm(ShImm);
61 ARMInstPrinter::ARMInstPrinter(const MCAsmInfo &MAI,
62 const MCInstrInfo &MII,
63 const MCRegisterInfo &MRI,
64 const MCSubtargetInfo &STI) :
65 MCInstPrinter(MAI, MII, MRI) {
66 // Initialize the set of available features.
67 setAvailableFeatures(STI.getFeatureBits());
70 void ARMInstPrinter::printRegName(raw_ostream &OS, unsigned RegNo) const {
72 << getRegisterName(RegNo)
76 void ARMInstPrinter::printInst(const MCInst *MI, raw_ostream &O,
78 unsigned Opcode = MI->getOpcode();
82 // Check for HINT instructions w/ canonical names.
86 switch (MI->getOperand(0).getImm()) {
87 case 0: O << "\tnop"; break;
88 case 1: O << "\tyield"; break;
89 case 2: O << "\twfe"; break;
90 case 3: O << "\twfi"; break;
91 case 4: O << "\tsev"; break;
93 if ((getAvailableFeatures() & ARM::HasV8Ops)) {
96 } // Fallthrough for non-v8
98 // Anything else should just print normally.
99 printInstruction(MI, O);
100 printAnnotation(O, Annot);
103 printPredicateOperand(MI, 1, O);
104 if (Opcode == ARM::t2HINT)
106 printAnnotation(O, Annot);
109 // Check for MOVs and print canonical forms, instead.
111 // FIXME: Thumb variants?
112 const MCOperand &Dst = MI->getOperand(0);
113 const MCOperand &MO1 = MI->getOperand(1);
114 const MCOperand &MO2 = MI->getOperand(2);
115 const MCOperand &MO3 = MI->getOperand(3);
117 O << '\t' << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO3.getImm()));
118 printSBitModifierOperand(MI, 6, O);
119 printPredicateOperand(MI, 4, O);
122 printRegName(O, Dst.getReg());
124 printRegName(O, MO1.getReg());
127 printRegName(O, MO2.getReg());
128 assert(ARM_AM::getSORegOffset(MO3.getImm()) == 0);
129 printAnnotation(O, Annot);
134 // FIXME: Thumb variants?
135 const MCOperand &Dst = MI->getOperand(0);
136 const MCOperand &MO1 = MI->getOperand(1);
137 const MCOperand &MO2 = MI->getOperand(2);
139 O << '\t' << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO2.getImm()));
140 printSBitModifierOperand(MI, 5, O);
141 printPredicateOperand(MI, 3, O);
144 printRegName(O, Dst.getReg());
146 printRegName(O, MO1.getReg());
148 if (ARM_AM::getSORegShOp(MO2.getImm()) == ARM_AM::rrx) {
149 printAnnotation(O, Annot);
155 << "#" << translateShiftImm(ARM_AM::getSORegOffset(MO2.getImm()))
157 printAnnotation(O, Annot);
163 case ARM::t2STMDB_UPD:
164 if (MI->getOperand(0).getReg() == ARM::SP && MI->getNumOperands() > 5) {
165 // Should only print PUSH if there are at least two registers in the list.
167 printPredicateOperand(MI, 2, O);
168 if (Opcode == ARM::t2STMDB_UPD)
171 printRegisterList(MI, 4, O);
172 printAnnotation(O, Annot);
177 case ARM::STR_PRE_IMM:
178 if (MI->getOperand(2).getReg() == ARM::SP &&
179 MI->getOperand(3).getImm() == -4) {
181 printPredicateOperand(MI, 4, O);
183 printRegName(O, MI->getOperand(1).getReg());
185 printAnnotation(O, Annot);
192 case ARM::t2LDMIA_UPD:
193 if (MI->getOperand(0).getReg() == ARM::SP && MI->getNumOperands() > 5) {
194 // Should only print POP if there are at least two registers in the list.
196 printPredicateOperand(MI, 2, O);
197 if (Opcode == ARM::t2LDMIA_UPD)
200 printRegisterList(MI, 4, O);
201 printAnnotation(O, Annot);
206 case ARM::LDR_POST_IMM:
207 if (MI->getOperand(2).getReg() == ARM::SP &&
208 MI->getOperand(4).getImm() == 4) {
210 printPredicateOperand(MI, 5, O);
212 printRegName(O, MI->getOperand(0).getReg());
214 printAnnotation(O, Annot);
220 case ARM::VSTMSDB_UPD:
221 case ARM::VSTMDDB_UPD:
222 if (MI->getOperand(0).getReg() == ARM::SP) {
223 O << '\t' << "vpush";
224 printPredicateOperand(MI, 2, O);
226 printRegisterList(MI, 4, O);
227 printAnnotation(O, Annot);
233 case ARM::VLDMSIA_UPD:
234 case ARM::VLDMDIA_UPD:
235 if (MI->getOperand(0).getReg() == ARM::SP) {
237 printPredicateOperand(MI, 2, O);
239 printRegisterList(MI, 4, O);
240 printAnnotation(O, Annot);
246 bool Writeback = true;
247 unsigned BaseReg = MI->getOperand(0).getReg();
248 for (unsigned i = 3; i < MI->getNumOperands(); ++i) {
249 if (MI->getOperand(i).getReg() == BaseReg)
255 printPredicateOperand(MI, 1, O);
257 printRegName(O, BaseReg);
258 if (Writeback) O << "!";
260 printRegisterList(MI, 3, O);
261 printAnnotation(O, Annot);
265 // Combine 2 GPRs from disassember into a GPRPair to match with instr def.
266 // ldrexd/strexd require even/odd GPR pair. To enforce this constraint,
267 // a single GPRPair reg operand is used in the .td file to replace the two
268 // GPRs. However, when decoding them, the two GRPs cannot be automatically
269 // expressed as a GPRPair, so we have to manually merge them.
270 // FIXME: We would really like to be able to tablegen'erate this.
271 case ARM::LDREXD: case ARM::STREXD:
272 case ARM::LDAEXD: case ARM::STLEXD:
273 const MCRegisterClass& MRC = MRI.getRegClass(ARM::GPRRegClassID);
274 bool isStore = Opcode == ARM::STREXD || Opcode == ARM::STLEXD;
275 unsigned Reg = MI->getOperand(isStore ? 1 : 0).getReg();
276 if (MRC.contains(Reg)) {
279 NewMI.setOpcode(Opcode);
282 NewMI.addOperand(MI->getOperand(0));
283 NewReg = MCOperand::CreateReg(MRI.getMatchingSuperReg(Reg, ARM::gsub_0,
284 &MRI.getRegClass(ARM::GPRPairRegClassID)));
285 NewMI.addOperand(NewReg);
287 // Copy the rest operands into NewMI.
288 for(unsigned i= isStore ? 3 : 2; i < MI->getNumOperands(); ++i)
289 NewMI.addOperand(MI->getOperand(i));
290 printInstruction(&NewMI, O);
295 printInstruction(MI, O);
296 printAnnotation(O, Annot);
299 void ARMInstPrinter::printOperand(const MCInst *MI, unsigned OpNo,
301 const MCOperand &Op = MI->getOperand(OpNo);
303 unsigned Reg = Op.getReg();
304 printRegName(O, Reg);
305 } else if (Op.isImm()) {
307 << '#' << formatImm(Op.getImm())
310 assert(Op.isExpr() && "unknown operand kind in printOperand");
311 const MCExpr *Expr = Op.getExpr();
312 switch (Expr->getKind()) {
316 case MCExpr::Constant: {
317 // If a symbolic branch target was added as a constant expression then
318 // print that address in hex. And only print 32 unsigned bits for the
320 const MCConstantExpr *Constant = cast<MCConstantExpr>(Expr);
321 int64_t TargetAddress;
322 if (!Constant->EvaluateAsAbsolute(TargetAddress)) {
326 O.write_hex(static_cast<uint32_t>(TargetAddress));
331 // FIXME: Should we always treat this as if it is a constant literal and
332 // prefix it with '#'?
339 void ARMInstPrinter::printThumbLdrLabelOperand(const MCInst *MI, unsigned OpNum,
341 const MCOperand &MO1 = MI->getOperand(OpNum);
347 O << markup("<mem:") << "[pc, ";
349 int32_t OffImm = (int32_t)MO1.getImm();
350 bool isSub = OffImm < 0;
352 // Special value for #-0. All others are normal.
353 if (OffImm == INT32_MIN)
357 << "#-" << formatImm(-OffImm)
361 << "#" << formatImm(OffImm)
364 O << "]" << markup(">");
367 // so_reg is a 4-operand unit corresponding to register forms of the A5.1
368 // "Addressing Mode 1 - Data-processing operands" forms. This includes:
370 // REG REG 0,SH_OPC - e.g. R5, ROR R3
371 // REG 0 IMM,SH_OPC - e.g. R5, LSL #3
372 void ARMInstPrinter::printSORegRegOperand(const MCInst *MI, unsigned OpNum,
374 const MCOperand &MO1 = MI->getOperand(OpNum);
375 const MCOperand &MO2 = MI->getOperand(OpNum+1);
376 const MCOperand &MO3 = MI->getOperand(OpNum+2);
378 printRegName(O, MO1.getReg());
380 // Print the shift opc.
381 ARM_AM::ShiftOpc ShOpc = ARM_AM::getSORegShOp(MO3.getImm());
382 O << ", " << ARM_AM::getShiftOpcStr(ShOpc);
383 if (ShOpc == ARM_AM::rrx)
387 printRegName(O, MO2.getReg());
388 assert(ARM_AM::getSORegOffset(MO3.getImm()) == 0);
391 void ARMInstPrinter::printSORegImmOperand(const MCInst *MI, unsigned OpNum,
393 const MCOperand &MO1 = MI->getOperand(OpNum);
394 const MCOperand &MO2 = MI->getOperand(OpNum+1);
396 printRegName(O, MO1.getReg());
398 // Print the shift opc.
399 printRegImmShift(O, ARM_AM::getSORegShOp(MO2.getImm()),
400 ARM_AM::getSORegOffset(MO2.getImm()), UseMarkup);
404 //===--------------------------------------------------------------------===//
405 // Addressing Mode #2
406 //===--------------------------------------------------------------------===//
408 void ARMInstPrinter::printAM2PreOrOffsetIndexOp(const MCInst *MI, unsigned Op,
410 const MCOperand &MO1 = MI->getOperand(Op);
411 const MCOperand &MO2 = MI->getOperand(Op+1);
412 const MCOperand &MO3 = MI->getOperand(Op+2);
414 O << markup("<mem:") << "[";
415 printRegName(O, MO1.getReg());
418 if (ARM_AM::getAM2Offset(MO3.getImm())) { // Don't print +0.
422 << ARM_AM::getAddrOpcStr(ARM_AM::getAM2Op(MO3.getImm()))
423 << ARM_AM::getAM2Offset(MO3.getImm())
426 O << "]" << markup(">");
431 O << ARM_AM::getAddrOpcStr(ARM_AM::getAM2Op(MO3.getImm()));
432 printRegName(O, MO2.getReg());
434 printRegImmShift(O, ARM_AM::getAM2ShiftOpc(MO3.getImm()),
435 ARM_AM::getAM2Offset(MO3.getImm()), UseMarkup);
436 O << "]" << markup(">");
439 void ARMInstPrinter::printAddrModeTBB(const MCInst *MI, unsigned Op,
441 const MCOperand &MO1 = MI->getOperand(Op);
442 const MCOperand &MO2 = MI->getOperand(Op+1);
443 O << markup("<mem:") << "[";
444 printRegName(O, MO1.getReg());
446 printRegName(O, MO2.getReg());
447 O << "]" << markup(">");
450 void ARMInstPrinter::printAddrModeTBH(const MCInst *MI, unsigned Op,
452 const MCOperand &MO1 = MI->getOperand(Op);
453 const MCOperand &MO2 = MI->getOperand(Op+1);
454 O << markup("<mem:") << "[";
455 printRegName(O, MO1.getReg());
457 printRegName(O, MO2.getReg());
458 O << ", lsl " << markup("<imm:") << "#1" << markup(">") << "]" << markup(">");
461 void ARMInstPrinter::printAddrMode2Operand(const MCInst *MI, unsigned Op,
463 const MCOperand &MO1 = MI->getOperand(Op);
465 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
466 printOperand(MI, Op, O);
471 const MCOperand &MO3 = MI->getOperand(Op+2);
472 unsigned IdxMode = ARM_AM::getAM2IdxMode(MO3.getImm());
473 assert(IdxMode != ARMII::IndexModePost &&
474 "Should be pre or offset index op");
477 printAM2PreOrOffsetIndexOp(MI, Op, O);
480 void ARMInstPrinter::printAddrMode2OffsetOperand(const MCInst *MI,
483 const MCOperand &MO1 = MI->getOperand(OpNum);
484 const MCOperand &MO2 = MI->getOperand(OpNum+1);
487 unsigned ImmOffs = ARM_AM::getAM2Offset(MO2.getImm());
489 << '#' << ARM_AM::getAddrOpcStr(ARM_AM::getAM2Op(MO2.getImm()))
495 O << ARM_AM::getAddrOpcStr(ARM_AM::getAM2Op(MO2.getImm()));
496 printRegName(O, MO1.getReg());
498 printRegImmShift(O, ARM_AM::getAM2ShiftOpc(MO2.getImm()),
499 ARM_AM::getAM2Offset(MO2.getImm()), UseMarkup);
502 //===--------------------------------------------------------------------===//
503 // Addressing Mode #3
504 //===--------------------------------------------------------------------===//
506 void ARMInstPrinter::printAM3PostIndexOp(const MCInst *MI, unsigned Op,
508 const MCOperand &MO1 = MI->getOperand(Op);
509 const MCOperand &MO2 = MI->getOperand(Op+1);
510 const MCOperand &MO3 = MI->getOperand(Op+2);
512 O << markup("<mem:") << "[";
513 printRegName(O, MO1.getReg());
514 O << "], " << markup(">");
517 O << (char)ARM_AM::getAM3Op(MO3.getImm());
518 printRegName(O, MO2.getReg());
522 unsigned ImmOffs = ARM_AM::getAM3Offset(MO3.getImm());
525 << ARM_AM::getAddrOpcStr(ARM_AM::getAM3Op(MO3.getImm()))
530 void ARMInstPrinter::printAM3PreOrOffsetIndexOp(const MCInst *MI, unsigned Op,
532 bool AlwaysPrintImm0) {
533 const MCOperand &MO1 = MI->getOperand(Op);
534 const MCOperand &MO2 = MI->getOperand(Op+1);
535 const MCOperand &MO3 = MI->getOperand(Op+2);
537 O << markup("<mem:") << '[';
538 printRegName(O, MO1.getReg());
541 O << ", " << getAddrOpcStr(ARM_AM::getAM3Op(MO3.getImm()));
542 printRegName(O, MO2.getReg());
543 O << ']' << markup(">");
547 //If the op is sub we have to print the immediate even if it is 0
548 unsigned ImmOffs = ARM_AM::getAM3Offset(MO3.getImm());
549 ARM_AM::AddrOpc op = ARM_AM::getAM3Op(MO3.getImm());
551 if (AlwaysPrintImm0 || ImmOffs || (op == ARM_AM::sub)) {
555 << ARM_AM::getAddrOpcStr(op)
559 O << ']' << markup(">");
562 template <bool AlwaysPrintImm0>
563 void ARMInstPrinter::printAddrMode3Operand(const MCInst *MI, unsigned Op,
565 const MCOperand &MO1 = MI->getOperand(Op);
566 if (!MO1.isReg()) { // For label symbolic references.
567 printOperand(MI, Op, O);
571 const MCOperand &MO3 = MI->getOperand(Op+2);
572 unsigned IdxMode = ARM_AM::getAM3IdxMode(MO3.getImm());
574 if (IdxMode == ARMII::IndexModePost) {
575 printAM3PostIndexOp(MI, Op, O);
578 printAM3PreOrOffsetIndexOp(MI, Op, O, AlwaysPrintImm0);
581 void ARMInstPrinter::printAddrMode3OffsetOperand(const MCInst *MI,
584 const MCOperand &MO1 = MI->getOperand(OpNum);
585 const MCOperand &MO2 = MI->getOperand(OpNum+1);
588 O << getAddrOpcStr(ARM_AM::getAM3Op(MO2.getImm()));
589 printRegName(O, MO1.getReg());
593 unsigned ImmOffs = ARM_AM::getAM3Offset(MO2.getImm());
595 << '#' << ARM_AM::getAddrOpcStr(ARM_AM::getAM3Op(MO2.getImm())) << ImmOffs
599 void ARMInstPrinter::printPostIdxImm8Operand(const MCInst *MI,
602 const MCOperand &MO = MI->getOperand(OpNum);
603 unsigned Imm = MO.getImm();
605 << '#' << ((Imm & 256) ? "" : "-") << (Imm & 0xff)
609 void ARMInstPrinter::printPostIdxRegOperand(const MCInst *MI, unsigned OpNum,
611 const MCOperand &MO1 = MI->getOperand(OpNum);
612 const MCOperand &MO2 = MI->getOperand(OpNum+1);
614 O << (MO2.getImm() ? "" : "-");
615 printRegName(O, MO1.getReg());
618 void ARMInstPrinter::printPostIdxImm8s4Operand(const MCInst *MI,
621 const MCOperand &MO = MI->getOperand(OpNum);
622 unsigned Imm = MO.getImm();
624 << '#' << ((Imm & 256) ? "" : "-") << ((Imm & 0xff) << 2)
629 void ARMInstPrinter::printLdStmModeOperand(const MCInst *MI, unsigned OpNum,
631 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MI->getOperand(OpNum)
633 O << ARM_AM::getAMSubModeStr(Mode);
636 template <bool AlwaysPrintImm0>
637 void ARMInstPrinter::printAddrMode5Operand(const MCInst *MI, unsigned OpNum,
639 const MCOperand &MO1 = MI->getOperand(OpNum);
640 const MCOperand &MO2 = MI->getOperand(OpNum+1);
642 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
643 printOperand(MI, OpNum, O);
647 O << markup("<mem:") << "[";
648 printRegName(O, MO1.getReg());
650 unsigned ImmOffs = ARM_AM::getAM5Offset(MO2.getImm());
651 unsigned Op = ARM_AM::getAM5Op(MO2.getImm());
652 if (AlwaysPrintImm0 || ImmOffs || Op == ARM_AM::sub) {
656 << ARM_AM::getAddrOpcStr(ARM_AM::getAM5Op(MO2.getImm()))
660 O << "]" << markup(">");
663 void ARMInstPrinter::printAddrMode6Operand(const MCInst *MI, unsigned OpNum,
665 const MCOperand &MO1 = MI->getOperand(OpNum);
666 const MCOperand &MO2 = MI->getOperand(OpNum+1);
668 O << markup("<mem:") << "[";
669 printRegName(O, MO1.getReg());
671 O << ":" << (MO2.getImm() << 3);
673 O << "]" << markup(">");
676 void ARMInstPrinter::printAddrMode7Operand(const MCInst *MI, unsigned OpNum,
678 const MCOperand &MO1 = MI->getOperand(OpNum);
679 O << markup("<mem:") << "[";
680 printRegName(O, MO1.getReg());
681 O << "]" << markup(">");
684 void ARMInstPrinter::printAddrMode6OffsetOperand(const MCInst *MI,
687 const MCOperand &MO = MI->getOperand(OpNum);
688 if (MO.getReg() == 0)
692 printRegName(O, MO.getReg());
696 void ARMInstPrinter::printBitfieldInvMaskImmOperand(const MCInst *MI,
699 const MCOperand &MO = MI->getOperand(OpNum);
700 uint32_t v = ~MO.getImm();
701 int32_t lsb = countTrailingZeros(v);
702 int32_t width = (32 - countLeadingZeros (v)) - lsb;
703 assert(MO.isImm() && "Not a valid bf_inv_mask_imm value!");
704 O << markup("<imm:") << '#' << lsb << markup(">")
706 << markup("<imm:") << '#' << width << markup(">");
709 void ARMInstPrinter::printMemBOption(const MCInst *MI, unsigned OpNum,
711 unsigned val = MI->getOperand(OpNum).getImm();
712 O << ARM_MB::MemBOptToString(val, (getAvailableFeatures() & ARM::HasV8Ops));
715 void ARMInstPrinter::printInstSyncBOption(const MCInst *MI, unsigned OpNum,
717 unsigned val = MI->getOperand(OpNum).getImm();
718 O << ARM_ISB::InstSyncBOptToString(val);
721 void ARMInstPrinter::printShiftImmOperand(const MCInst *MI, unsigned OpNum,
723 unsigned ShiftOp = MI->getOperand(OpNum).getImm();
724 bool isASR = (ShiftOp & (1 << 5)) != 0;
725 unsigned Amt = ShiftOp & 0x1f;
729 << "#" << (Amt == 0 ? 32 : Amt)
740 void ARMInstPrinter::printPKHLSLShiftImm(const MCInst *MI, unsigned OpNum,
742 unsigned Imm = MI->getOperand(OpNum).getImm();
745 assert(Imm > 0 && Imm < 32 && "Invalid PKH shift immediate value!");
746 O << ", lsl " << markup("<imm:") << "#" << Imm << markup(">");
749 void ARMInstPrinter::printPKHASRShiftImm(const MCInst *MI, unsigned OpNum,
751 unsigned Imm = MI->getOperand(OpNum).getImm();
752 // A shift amount of 32 is encoded as 0.
755 assert(Imm > 0 && Imm <= 32 && "Invalid PKH shift immediate value!");
756 O << ", asr " << markup("<imm:") << "#" << Imm << markup(">");
759 void ARMInstPrinter::printRegisterList(const MCInst *MI, unsigned OpNum,
762 for (unsigned i = OpNum, e = MI->getNumOperands(); i != e; ++i) {
763 if (i != OpNum) O << ", ";
764 printRegName(O, MI->getOperand(i).getReg());
769 void ARMInstPrinter::printGPRPairOperand(const MCInst *MI, unsigned OpNum,
771 unsigned Reg = MI->getOperand(OpNum).getReg();
772 printRegName(O, MRI.getSubReg(Reg, ARM::gsub_0));
774 printRegName(O, MRI.getSubReg(Reg, ARM::gsub_1));
778 void ARMInstPrinter::printSetendOperand(const MCInst *MI, unsigned OpNum,
780 const MCOperand &Op = MI->getOperand(OpNum);
787 void ARMInstPrinter::printCPSIMod(const MCInst *MI, unsigned OpNum,
789 const MCOperand &Op = MI->getOperand(OpNum);
790 O << ARM_PROC::IModToString(Op.getImm());
793 void ARMInstPrinter::printCPSIFlag(const MCInst *MI, unsigned OpNum,
795 const MCOperand &Op = MI->getOperand(OpNum);
796 unsigned IFlags = Op.getImm();
797 for (int i=2; i >= 0; --i)
798 if (IFlags & (1 << i))
799 O << ARM_PROC::IFlagsToString(1 << i);
805 void ARMInstPrinter::printMSRMaskOperand(const MCInst *MI, unsigned OpNum,
807 const MCOperand &Op = MI->getOperand(OpNum);
808 unsigned SpecRegRBit = Op.getImm() >> 4;
809 unsigned Mask = Op.getImm() & 0xf;
811 if (getAvailableFeatures() & ARM::FeatureMClass) {
812 unsigned SYSm = Op.getImm();
813 unsigned Opcode = MI->getOpcode();
814 // For reads of the special registers ignore the "mask encoding" bits
815 // which are only for writes.
816 if (Opcode == ARM::t2MRS_M)
819 default: llvm_unreachable("Unexpected mask value!");
821 case 0x800: O << "apsr"; return; // with _nzcvq bits is an alias for aspr
822 case 0x400: O << "apsr_g"; return;
823 case 0xc00: O << "apsr_nzcvqg"; return;
825 case 0x801: O << "iapsr"; return; // with _nzcvq bits is an alias for iapsr
826 case 0x401: O << "iapsr_g"; return;
827 case 0xc01: O << "iapsr_nzcvqg"; return;
829 case 0x802: O << "eapsr"; return; // with _nzcvq bits is an alias for eapsr
830 case 0x402: O << "eapsr_g"; return;
831 case 0xc02: O << "eapsr_nzcvqg"; return;
833 case 0x803: O << "xpsr"; return; // with _nzcvq bits is an alias for xpsr
834 case 0x403: O << "xpsr_g"; return;
835 case 0xc03: O << "xpsr_nzcvqg"; return;
837 case 0x805: O << "ipsr"; return;
839 case 0x806: O << "epsr"; return;
841 case 0x807: O << "iepsr"; return;
843 case 0x808: O << "msp"; return;
845 case 0x809: O << "psp"; return;
847 case 0x810: O << "primask"; return;
849 case 0x811: O << "basepri"; return;
851 case 0x812: O << "basepri_max"; return;
853 case 0x813: O << "faultmask"; return;
855 case 0x814: O << "control"; return;
859 // As special cases, CPSR_f, CPSR_s and CPSR_fs prefer printing as
860 // APSR_nzcvq, APSR_g and APSRnzcvqg, respectively.
861 if (!SpecRegRBit && (Mask == 8 || Mask == 4 || Mask == 12)) {
864 default: llvm_unreachable("Unexpected mask value!");
865 case 4: O << "g"; return;
866 case 8: O << "nzcvq"; return;
867 case 12: O << "nzcvqg"; return;
878 if (Mask & 8) O << 'f';
879 if (Mask & 4) O << 's';
880 if (Mask & 2) O << 'x';
881 if (Mask & 1) O << 'c';
885 void ARMInstPrinter::printPredicateOperand(const MCInst *MI, unsigned OpNum,
887 ARMCC::CondCodes CC = (ARMCC::CondCodes)MI->getOperand(OpNum).getImm();
888 // Handle the undefined 15 CC value here for printing so we don't abort().
889 if ((unsigned)CC == 15)
891 else if (CC != ARMCC::AL)
892 O << ARMCondCodeToString(CC);
895 void ARMInstPrinter::printMandatoryPredicateOperand(const MCInst *MI,
898 ARMCC::CondCodes CC = (ARMCC::CondCodes)MI->getOperand(OpNum).getImm();
899 O << ARMCondCodeToString(CC);
902 void ARMInstPrinter::printSBitModifierOperand(const MCInst *MI, unsigned OpNum,
904 if (MI->getOperand(OpNum).getReg()) {
905 assert(MI->getOperand(OpNum).getReg() == ARM::CPSR &&
906 "Expect ARM CPSR register!");
911 void ARMInstPrinter::printNoHashImmediate(const MCInst *MI, unsigned OpNum,
913 O << MI->getOperand(OpNum).getImm();
916 void ARMInstPrinter::printPImmediate(const MCInst *MI, unsigned OpNum,
918 O << "p" << MI->getOperand(OpNum).getImm();
921 void ARMInstPrinter::printCImmediate(const MCInst *MI, unsigned OpNum,
923 O << "c" << MI->getOperand(OpNum).getImm();
926 void ARMInstPrinter::printCoprocOptionImm(const MCInst *MI, unsigned OpNum,
928 O << "{" << MI->getOperand(OpNum).getImm() << "}";
931 void ARMInstPrinter::printPCLabel(const MCInst *MI, unsigned OpNum,
933 llvm_unreachable("Unhandled PC-relative pseudo-instruction!");
936 template<unsigned scale>
937 void ARMInstPrinter::printAdrLabelOperand(const MCInst *MI, unsigned OpNum,
939 const MCOperand &MO = MI->getOperand(OpNum);
946 int32_t OffImm = (int32_t)MO.getImm() << scale;
948 O << markup("<imm:");
949 if (OffImm == INT32_MIN)
952 O << "#-" << -OffImm;
958 void ARMInstPrinter::printThumbS4ImmOperand(const MCInst *MI, unsigned OpNum,
961 << "#" << formatImm(MI->getOperand(OpNum).getImm() * 4)
965 void ARMInstPrinter::printThumbSRImm(const MCInst *MI, unsigned OpNum,
967 unsigned Imm = MI->getOperand(OpNum).getImm();
969 << "#" << formatImm((Imm == 0 ? 32 : Imm))
973 void ARMInstPrinter::printThumbITMask(const MCInst *MI, unsigned OpNum,
975 // (3 - the number of trailing zeros) is the number of then / else.
976 unsigned Mask = MI->getOperand(OpNum).getImm();
977 unsigned Firstcond = MI->getOperand(OpNum-1).getImm();
978 unsigned CondBit0 = Firstcond & 1;
979 unsigned NumTZ = countTrailingZeros(Mask);
980 assert(NumTZ <= 3 && "Invalid IT mask!");
981 for (unsigned Pos = 3, e = NumTZ; Pos > e; --Pos) {
982 bool T = ((Mask >> Pos) & 1) == CondBit0;
990 void ARMInstPrinter::printThumbAddrModeRROperand(const MCInst *MI, unsigned Op,
992 const MCOperand &MO1 = MI->getOperand(Op);
993 const MCOperand &MO2 = MI->getOperand(Op + 1);
995 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
996 printOperand(MI, Op, O);
1000 O << markup("<mem:") << "[";
1001 printRegName(O, MO1.getReg());
1002 if (unsigned RegNum = MO2.getReg()) {
1004 printRegName(O, RegNum);
1006 O << "]" << markup(">");
1009 void ARMInstPrinter::printThumbAddrModeImm5SOperand(const MCInst *MI,
1013 const MCOperand &MO1 = MI->getOperand(Op);
1014 const MCOperand &MO2 = MI->getOperand(Op + 1);
1016 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
1017 printOperand(MI, Op, O);
1021 O << markup("<mem:") << "[";
1022 printRegName(O, MO1.getReg());
1023 if (unsigned ImmOffs = MO2.getImm()) {
1026 << "#" << formatImm(ImmOffs * Scale)
1029 O << "]" << markup(">");
1032 void ARMInstPrinter::printThumbAddrModeImm5S1Operand(const MCInst *MI,
1035 printThumbAddrModeImm5SOperand(MI, Op, O, 1);
1038 void ARMInstPrinter::printThumbAddrModeImm5S2Operand(const MCInst *MI,
1041 printThumbAddrModeImm5SOperand(MI, Op, O, 2);
1044 void ARMInstPrinter::printThumbAddrModeImm5S4Operand(const MCInst *MI,
1047 printThumbAddrModeImm5SOperand(MI, Op, O, 4);
1050 void ARMInstPrinter::printThumbAddrModeSPOperand(const MCInst *MI, unsigned Op,
1052 printThumbAddrModeImm5SOperand(MI, Op, O, 4);
1055 // Constant shifts t2_so_reg is a 2-operand unit corresponding to the Thumb2
1056 // register with shift forms.
1057 // REG 0 0 - e.g. R5
1058 // REG IMM, SH_OPC - e.g. R5, LSL #3
1059 void ARMInstPrinter::printT2SOOperand(const MCInst *MI, unsigned OpNum,
1061 const MCOperand &MO1 = MI->getOperand(OpNum);
1062 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1064 unsigned Reg = MO1.getReg();
1065 printRegName(O, Reg);
1067 // Print the shift opc.
1068 assert(MO2.isImm() && "Not a valid t2_so_reg value!");
1069 printRegImmShift(O, ARM_AM::getSORegShOp(MO2.getImm()),
1070 ARM_AM::getSORegOffset(MO2.getImm()), UseMarkup);
1073 template <bool AlwaysPrintImm0>
1074 void ARMInstPrinter::printAddrModeImm12Operand(const MCInst *MI, unsigned OpNum,
1076 const MCOperand &MO1 = MI->getOperand(OpNum);
1077 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1079 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
1080 printOperand(MI, OpNum, O);
1084 O << markup("<mem:") << "[";
1085 printRegName(O, MO1.getReg());
1087 int32_t OffImm = (int32_t)MO2.getImm();
1088 bool isSub = OffImm < 0;
1089 // Special value for #-0. All others are normal.
1090 if (OffImm == INT32_MIN)
1095 << "#-" << formatImm(-OffImm)
1098 else if (AlwaysPrintImm0 || OffImm > 0) {
1101 << "#" << formatImm(OffImm)
1104 O << "]" << markup(">");
1107 template<bool AlwaysPrintImm0>
1108 void ARMInstPrinter::printT2AddrModeImm8Operand(const MCInst *MI,
1111 const MCOperand &MO1 = MI->getOperand(OpNum);
1112 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1114 O << markup("<mem:") << "[";
1115 printRegName(O, MO1.getReg());
1117 int32_t OffImm = (int32_t)MO2.getImm();
1118 bool isSub = OffImm < 0;
1120 if (OffImm == INT32_MIN)
1127 } else if (AlwaysPrintImm0 || OffImm > 0) {
1133 O << "]" << markup(">");
1136 template<bool AlwaysPrintImm0>
1137 void ARMInstPrinter::printT2AddrModeImm8s4Operand(const MCInst *MI,
1140 const MCOperand &MO1 = MI->getOperand(OpNum);
1141 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1143 if (!MO1.isReg()) { // For label symbolic references.
1144 printOperand(MI, OpNum, O);
1148 O << markup("<mem:") << "[";
1149 printRegName(O, MO1.getReg());
1151 int32_t OffImm = (int32_t)MO2.getImm();
1152 bool isSub = OffImm < 0;
1154 assert(((OffImm & 0x3) == 0) && "Not a valid immediate!");
1157 if (OffImm == INT32_MIN)
1164 } else if (AlwaysPrintImm0 || OffImm > 0) {
1170 O << "]" << markup(">");
1173 void ARMInstPrinter::printT2AddrModeImm0_1020s4Operand(const MCInst *MI,
1176 const MCOperand &MO1 = MI->getOperand(OpNum);
1177 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1179 O << markup("<mem:") << "[";
1180 printRegName(O, MO1.getReg());
1184 << "#" << formatImm(MO2.getImm() * 4)
1187 O << "]" << markup(">");
1190 void ARMInstPrinter::printT2AddrModeImm8OffsetOperand(const MCInst *MI,
1193 const MCOperand &MO1 = MI->getOperand(OpNum);
1194 int32_t OffImm = (int32_t)MO1.getImm();
1195 O << ", " << markup("<imm:");
1196 if (OffImm == INT32_MIN)
1198 else if (OffImm < 0)
1199 O << "#-" << -OffImm;
1205 void ARMInstPrinter::printT2AddrModeImm8s4OffsetOperand(const MCInst *MI,
1208 const MCOperand &MO1 = MI->getOperand(OpNum);
1209 int32_t OffImm = (int32_t)MO1.getImm();
1211 assert(((OffImm & 0x3) == 0) && "Not a valid immediate!");
1213 O << ", " << markup("<imm:");
1214 if (OffImm == INT32_MIN)
1216 else if (OffImm < 0)
1217 O << "#-" << -OffImm;
1223 void ARMInstPrinter::printT2AddrModeSoRegOperand(const MCInst *MI,
1226 const MCOperand &MO1 = MI->getOperand(OpNum);
1227 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1228 const MCOperand &MO3 = MI->getOperand(OpNum+2);
1230 O << markup("<mem:") << "[";
1231 printRegName(O, MO1.getReg());
1233 assert(MO2.getReg() && "Invalid so_reg load / store address!");
1235 printRegName(O, MO2.getReg());
1237 unsigned ShAmt = MO3.getImm();
1239 assert(ShAmt <= 3 && "Not a valid Thumb2 addressing mode!");
1245 O << "]" << markup(">");
1248 void ARMInstPrinter::printFPImmOperand(const MCInst *MI, unsigned OpNum,
1250 const MCOperand &MO = MI->getOperand(OpNum);
1251 O << markup("<imm:")
1252 << '#' << ARM_AM::getFPImmFloat(MO.getImm())
1256 void ARMInstPrinter::printNEONModImmOperand(const MCInst *MI, unsigned OpNum,
1258 unsigned EncodedImm = MI->getOperand(OpNum).getImm();
1260 uint64_t Val = ARM_AM::decodeNEONModImm(EncodedImm, EltBits);
1261 O << markup("<imm:")
1267 void ARMInstPrinter::printImmPlusOneOperand(const MCInst *MI, unsigned OpNum,
1269 unsigned Imm = MI->getOperand(OpNum).getImm();
1270 O << markup("<imm:")
1271 << "#" << formatImm(Imm + 1)
1275 void ARMInstPrinter::printRotImmOperand(const MCInst *MI, unsigned OpNum,
1277 unsigned Imm = MI->getOperand(OpNum).getImm();
1284 default: assert (0 && "illegal ror immediate!");
1285 case 1: O << "8"; break;
1286 case 2: O << "16"; break;
1287 case 3: O << "24"; break;
1292 void ARMInstPrinter::printFBits16(const MCInst *MI, unsigned OpNum,
1294 O << markup("<imm:")
1295 << "#" << 16 - MI->getOperand(OpNum).getImm()
1299 void ARMInstPrinter::printFBits32(const MCInst *MI, unsigned OpNum,
1301 O << markup("<imm:")
1302 << "#" << 32 - MI->getOperand(OpNum).getImm()
1306 void ARMInstPrinter::printVectorIndex(const MCInst *MI, unsigned OpNum,
1308 O << "[" << MI->getOperand(OpNum).getImm() << "]";
1311 void ARMInstPrinter::printVectorListOne(const MCInst *MI, unsigned OpNum,
1314 printRegName(O, MI->getOperand(OpNum).getReg());
1318 void ARMInstPrinter::printVectorListTwo(const MCInst *MI, unsigned OpNum,
1320 unsigned Reg = MI->getOperand(OpNum).getReg();
1321 unsigned Reg0 = MRI.getSubReg(Reg, ARM::dsub_0);
1322 unsigned Reg1 = MRI.getSubReg(Reg, ARM::dsub_1);
1324 printRegName(O, Reg0);
1326 printRegName(O, Reg1);
1330 void ARMInstPrinter::printVectorListTwoSpaced(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_2);
1337 printRegName(O, Reg0);
1339 printRegName(O, Reg1);
1343 void ARMInstPrinter::printVectorListThree(const MCInst *MI, unsigned OpNum,
1345 // Normally, it's not safe to use register enum values directly with
1346 // addition to get the next register, but for VFP registers, the
1347 // sort order is guaranteed because they're all of the form D<n>.
1349 printRegName(O, MI->getOperand(OpNum).getReg());
1351 printRegName(O, MI->getOperand(OpNum).getReg() + 1);
1353 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1357 void ARMInstPrinter::printVectorListFour(const MCInst *MI, unsigned OpNum,
1359 // Normally, it's not safe to use register enum values directly with
1360 // addition to get the next register, but for VFP registers, the
1361 // sort order is guaranteed because they're all of the form D<n>.
1363 printRegName(O, MI->getOperand(OpNum).getReg());
1365 printRegName(O, MI->getOperand(OpNum).getReg() + 1);
1367 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1369 printRegName(O, MI->getOperand(OpNum).getReg() + 3);
1373 void ARMInstPrinter::printVectorListOneAllLanes(const MCInst *MI,
1377 printRegName(O, MI->getOperand(OpNum).getReg());
1381 void ARMInstPrinter::printVectorListTwoAllLanes(const MCInst *MI,
1384 unsigned Reg = MI->getOperand(OpNum).getReg();
1385 unsigned Reg0 = MRI.getSubReg(Reg, ARM::dsub_0);
1386 unsigned Reg1 = MRI.getSubReg(Reg, ARM::dsub_1);
1388 printRegName(O, Reg0);
1390 printRegName(O, Reg1);
1394 void ARMInstPrinter::printVectorListThreeAllLanes(const MCInst *MI,
1397 // Normally, it's not safe to use register enum values directly with
1398 // addition to get the next register, but for VFP registers, the
1399 // sort order is guaranteed because they're all of the form D<n>.
1401 printRegName(O, MI->getOperand(OpNum).getReg());
1403 printRegName(O, MI->getOperand(OpNum).getReg() + 1);
1405 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1409 void ARMInstPrinter::printVectorListFourAllLanes(const MCInst *MI,
1412 // Normally, it's not safe to use register enum values directly with
1413 // addition to get the next register, but for VFP registers, the
1414 // sort order is guaranteed because they're all of the form D<n>.
1416 printRegName(O, MI->getOperand(OpNum).getReg());
1418 printRegName(O, MI->getOperand(OpNum).getReg() + 1);
1420 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1422 printRegName(O, MI->getOperand(OpNum).getReg() + 3);
1426 void ARMInstPrinter::printVectorListTwoSpacedAllLanes(const MCInst *MI,
1429 unsigned Reg = MI->getOperand(OpNum).getReg();
1430 unsigned Reg0 = MRI.getSubReg(Reg, ARM::dsub_0);
1431 unsigned Reg1 = MRI.getSubReg(Reg, ARM::dsub_2);
1433 printRegName(O, Reg0);
1435 printRegName(O, Reg1);
1439 void ARMInstPrinter::printVectorListThreeSpacedAllLanes(const MCInst *MI,
1442 // Normally, it's not safe to use register enum values directly with
1443 // addition to get the next register, but for VFP registers, the
1444 // sort order is guaranteed because they're all of the form D<n>.
1446 printRegName(O, MI->getOperand(OpNum).getReg());
1448 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1450 printRegName(O, MI->getOperand(OpNum).getReg() + 4);
1454 void ARMInstPrinter::printVectorListFourSpacedAllLanes(const MCInst *MI,
1457 // Normally, it's not safe to use register enum values directly with
1458 // addition to get the next register, but for VFP registers, the
1459 // sort order is guaranteed because they're all of the form D<n>.
1461 printRegName(O, MI->getOperand(OpNum).getReg());
1463 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1465 printRegName(O, MI->getOperand(OpNum).getReg() + 4);
1467 printRegName(O, MI->getOperand(OpNum).getReg() + 6);
1471 void ARMInstPrinter::printVectorListThreeSpaced(const MCInst *MI,
1474 // Normally, it's not safe to use register enum values directly with
1475 // addition to get the next register, but for VFP registers, the
1476 // sort order is guaranteed because they're all of the form D<n>.
1478 printRegName(O, MI->getOperand(OpNum).getReg());
1480 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1482 printRegName(O, MI->getOperand(OpNum).getReg() + 4);
1486 void ARMInstPrinter::printVectorListFourSpaced(const MCInst *MI,
1489 // Normally, it's not safe to use register enum values directly with
1490 // addition to get the next register, but for VFP registers, the
1491 // sort order is guaranteed because they're all of the form D<n>.
1493 printRegName(O, MI->getOperand(OpNum).getReg());
1495 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1497 printRegName(O, MI->getOperand(OpNum).getReg() + 4);
1499 printRegName(O, MI->getOperand(OpNum).getReg() + 6);