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();
81 // Check for HINT instructions w/ canonical names.
85 switch (MI->getOperand(0).getImm()) {
86 case 0: O << "\tnop"; break;
87 case 1: O << "\tyield"; break;
88 case 2: O << "\twfe"; break;
89 case 3: O << "\twfi"; break;
90 case 4: O << "\tsev"; break;
92 if ((getAvailableFeatures() & ARM::HasV8Ops)) {
95 } // Fallthrough for non-v8
97 // Anything else should just print normally.
98 printInstruction(MI, O);
99 printAnnotation(O, Annot);
102 printPredicateOperand(MI, 1, O);
103 if (Opcode == ARM::t2HINT)
105 printAnnotation(O, Annot);
108 // Check for MOVs and print canonical forms, instead.
110 // FIXME: Thumb variants?
111 const MCOperand &Dst = MI->getOperand(0);
112 const MCOperand &MO1 = MI->getOperand(1);
113 const MCOperand &MO2 = MI->getOperand(2);
114 const MCOperand &MO3 = MI->getOperand(3);
116 O << '\t' << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO3.getImm()));
117 printSBitModifierOperand(MI, 6, O);
118 printPredicateOperand(MI, 4, O);
121 printRegName(O, Dst.getReg());
123 printRegName(O, MO1.getReg());
126 printRegName(O, MO2.getReg());
127 assert(ARM_AM::getSORegOffset(MO3.getImm()) == 0);
128 printAnnotation(O, Annot);
133 // FIXME: Thumb variants?
134 const MCOperand &Dst = MI->getOperand(0);
135 const MCOperand &MO1 = MI->getOperand(1);
136 const MCOperand &MO2 = MI->getOperand(2);
138 O << '\t' << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO2.getImm()));
139 printSBitModifierOperand(MI, 5, O);
140 printPredicateOperand(MI, 3, O);
143 printRegName(O, Dst.getReg());
145 printRegName(O, MO1.getReg());
147 if (ARM_AM::getSORegShOp(MO2.getImm()) == ARM_AM::rrx) {
148 printAnnotation(O, Annot);
154 << "#" << translateShiftImm(ARM_AM::getSORegOffset(MO2.getImm()))
156 printAnnotation(O, Annot);
162 case ARM::t2STMDB_UPD:
163 if (MI->getOperand(0).getReg() == ARM::SP && MI->getNumOperands() > 5) {
164 // Should only print PUSH if there are at least two registers in the list.
166 printPredicateOperand(MI, 2, O);
167 if (Opcode == ARM::t2STMDB_UPD)
170 printRegisterList(MI, 4, O);
171 printAnnotation(O, Annot);
176 case ARM::STR_PRE_IMM:
177 if (MI->getOperand(2).getReg() == ARM::SP &&
178 MI->getOperand(3).getImm() == -4) {
180 printPredicateOperand(MI, 4, O);
182 printRegName(O, MI->getOperand(1).getReg());
184 printAnnotation(O, Annot);
191 case ARM::t2LDMIA_UPD:
192 if (MI->getOperand(0).getReg() == ARM::SP && MI->getNumOperands() > 5) {
193 // Should only print POP if there are at least two registers in the list.
195 printPredicateOperand(MI, 2, O);
196 if (Opcode == ARM::t2LDMIA_UPD)
199 printRegisterList(MI, 4, O);
200 printAnnotation(O, Annot);
205 case ARM::LDR_POST_IMM:
206 if (MI->getOperand(2).getReg() == ARM::SP &&
207 MI->getOperand(4).getImm() == 4) {
209 printPredicateOperand(MI, 5, O);
211 printRegName(O, MI->getOperand(0).getReg());
213 printAnnotation(O, Annot);
219 case ARM::VSTMSDB_UPD:
220 case ARM::VSTMDDB_UPD:
221 if (MI->getOperand(0).getReg() == ARM::SP) {
222 O << '\t' << "vpush";
223 printPredicateOperand(MI, 2, O);
225 printRegisterList(MI, 4, O);
226 printAnnotation(O, Annot);
232 case ARM::VLDMSIA_UPD:
233 case ARM::VLDMDIA_UPD:
234 if (MI->getOperand(0).getReg() == ARM::SP) {
236 printPredicateOperand(MI, 2, O);
238 printRegisterList(MI, 4, O);
239 printAnnotation(O, Annot);
245 bool Writeback = true;
246 unsigned BaseReg = MI->getOperand(0).getReg();
247 for (unsigned i = 3; i < MI->getNumOperands(); ++i) {
248 if (MI->getOperand(i).getReg() == BaseReg)
254 printPredicateOperand(MI, 1, O);
256 printRegName(O, BaseReg);
257 if (Writeback) O << "!";
259 printRegisterList(MI, 3, O);
260 printAnnotation(O, Annot);
264 // Combine 2 GPRs from disassember into a GPRPair to match with instr def.
265 // ldrexd/strexd require even/odd GPR pair. To enforce this constraint,
266 // a single GPRPair reg operand is used in the .td file to replace the two
267 // GPRs. However, when decoding them, the two GRPs cannot be automatically
268 // expressed as a GPRPair, so we have to manually merge them.
269 // FIXME: We would really like to be able to tablegen'erate this.
270 case ARM::LDREXD: case ARM::STREXD:
271 case ARM::LDAEXD: case ARM::STLEXD:
272 const MCRegisterClass& MRC = MRI.getRegClass(ARM::GPRRegClassID);
273 bool isStore = Opcode == ARM::STREXD || Opcode == ARM::STLEXD;
274 unsigned Reg = MI->getOperand(isStore ? 1 : 0).getReg();
275 if (MRC.contains(Reg)) {
278 NewMI.setOpcode(Opcode);
281 NewMI.addOperand(MI->getOperand(0));
282 NewReg = MCOperand::CreateReg(MRI.getMatchingSuperReg(Reg, ARM::gsub_0,
283 &MRI.getRegClass(ARM::GPRPairRegClassID)));
284 NewMI.addOperand(NewReg);
286 // Copy the rest operands into NewMI.
287 for(unsigned i= isStore ? 3 : 2; i < MI->getNumOperands(); ++i)
288 NewMI.addOperand(MI->getOperand(i));
289 printInstruction(&NewMI, O);
294 printInstruction(MI, O);
295 printAnnotation(O, Annot);
298 void ARMInstPrinter::printOperand(const MCInst *MI, unsigned OpNo,
300 const MCOperand &Op = MI->getOperand(OpNo);
302 unsigned Reg = Op.getReg();
303 printRegName(O, Reg);
304 } else if (Op.isImm()) {
306 << '#' << formatImm(Op.getImm())
309 assert(Op.isExpr() && "unknown operand kind in printOperand");
310 const MCExpr *Expr = Op.getExpr();
311 switch (Expr->getKind()) {
315 case MCExpr::Constant: {
316 // If a symbolic branch target was added as a constant expression then
317 // print that address in hex. And only print 32 unsigned bits for the
319 const MCConstantExpr *Constant = cast<MCConstantExpr>(Expr);
320 int64_t TargetAddress;
321 if (!Constant->EvaluateAsAbsolute(TargetAddress)) {
325 O.write_hex(static_cast<uint32_t>(TargetAddress));
330 // FIXME: Should we always treat this as if it is a constant literal and
331 // prefix it with '#'?
338 void ARMInstPrinter::printThumbLdrLabelOperand(const MCInst *MI, unsigned OpNum,
340 const MCOperand &MO1 = MI->getOperand(OpNum);
346 O << markup("<mem:") << "[pc, ";
348 int32_t OffImm = (int32_t)MO1.getImm();
349 bool isSub = OffImm < 0;
351 // Special value for #-0. All others are normal.
352 if (OffImm == INT32_MIN)
356 << "#-" << formatImm(-OffImm)
360 << "#" << formatImm(OffImm)
363 O << "]" << markup(">");
366 // so_reg is a 4-operand unit corresponding to register forms of the A5.1
367 // "Addressing Mode 1 - Data-processing operands" forms. This includes:
369 // REG REG 0,SH_OPC - e.g. R5, ROR R3
370 // REG 0 IMM,SH_OPC - e.g. R5, LSL #3
371 void ARMInstPrinter::printSORegRegOperand(const MCInst *MI, unsigned OpNum,
373 const MCOperand &MO1 = MI->getOperand(OpNum);
374 const MCOperand &MO2 = MI->getOperand(OpNum+1);
375 const MCOperand &MO3 = MI->getOperand(OpNum+2);
377 printRegName(O, MO1.getReg());
379 // Print the shift opc.
380 ARM_AM::ShiftOpc ShOpc = ARM_AM::getSORegShOp(MO3.getImm());
381 O << ", " << ARM_AM::getShiftOpcStr(ShOpc);
382 if (ShOpc == ARM_AM::rrx)
386 printRegName(O, MO2.getReg());
387 assert(ARM_AM::getSORegOffset(MO3.getImm()) == 0);
390 void ARMInstPrinter::printSORegImmOperand(const MCInst *MI, unsigned OpNum,
392 const MCOperand &MO1 = MI->getOperand(OpNum);
393 const MCOperand &MO2 = MI->getOperand(OpNum+1);
395 printRegName(O, MO1.getReg());
397 // Print the shift opc.
398 printRegImmShift(O, ARM_AM::getSORegShOp(MO2.getImm()),
399 ARM_AM::getSORegOffset(MO2.getImm()), UseMarkup);
403 //===--------------------------------------------------------------------===//
404 // Addressing Mode #2
405 //===--------------------------------------------------------------------===//
407 void ARMInstPrinter::printAM2PreOrOffsetIndexOp(const MCInst *MI, unsigned Op,
409 const MCOperand &MO1 = MI->getOperand(Op);
410 const MCOperand &MO2 = MI->getOperand(Op+1);
411 const MCOperand &MO3 = MI->getOperand(Op+2);
413 O << markup("<mem:") << "[";
414 printRegName(O, MO1.getReg());
417 if (ARM_AM::getAM2Offset(MO3.getImm())) { // Don't print +0.
421 << ARM_AM::getAddrOpcStr(ARM_AM::getAM2Op(MO3.getImm()))
422 << ARM_AM::getAM2Offset(MO3.getImm())
425 O << "]" << markup(">");
430 O << ARM_AM::getAddrOpcStr(ARM_AM::getAM2Op(MO3.getImm()));
431 printRegName(O, MO2.getReg());
433 printRegImmShift(O, ARM_AM::getAM2ShiftOpc(MO3.getImm()),
434 ARM_AM::getAM2Offset(MO3.getImm()), UseMarkup);
435 O << "]" << markup(">");
438 void ARMInstPrinter::printAddrModeTBB(const MCInst *MI, unsigned Op,
440 const MCOperand &MO1 = MI->getOperand(Op);
441 const MCOperand &MO2 = MI->getOperand(Op+1);
442 O << markup("<mem:") << "[";
443 printRegName(O, MO1.getReg());
445 printRegName(O, MO2.getReg());
446 O << "]" << markup(">");
449 void ARMInstPrinter::printAddrModeTBH(const MCInst *MI, unsigned Op,
451 const MCOperand &MO1 = MI->getOperand(Op);
452 const MCOperand &MO2 = MI->getOperand(Op+1);
453 O << markup("<mem:") << "[";
454 printRegName(O, MO1.getReg());
456 printRegName(O, MO2.getReg());
457 O << ", lsl " << markup("<imm:") << "#1" << markup(">") << "]" << markup(">");
460 void ARMInstPrinter::printAddrMode2Operand(const MCInst *MI, unsigned Op,
462 const MCOperand &MO1 = MI->getOperand(Op);
464 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
465 printOperand(MI, Op, O);
470 const MCOperand &MO3 = MI->getOperand(Op+2);
471 unsigned IdxMode = ARM_AM::getAM2IdxMode(MO3.getImm());
472 assert(IdxMode != ARMII::IndexModePost &&
473 "Should be pre or offset index op");
476 printAM2PreOrOffsetIndexOp(MI, Op, O);
479 void ARMInstPrinter::printAddrMode2OffsetOperand(const MCInst *MI,
482 const MCOperand &MO1 = MI->getOperand(OpNum);
483 const MCOperand &MO2 = MI->getOperand(OpNum+1);
486 unsigned ImmOffs = ARM_AM::getAM2Offset(MO2.getImm());
488 << '#' << ARM_AM::getAddrOpcStr(ARM_AM::getAM2Op(MO2.getImm()))
494 O << ARM_AM::getAddrOpcStr(ARM_AM::getAM2Op(MO2.getImm()));
495 printRegName(O, MO1.getReg());
497 printRegImmShift(O, ARM_AM::getAM2ShiftOpc(MO2.getImm()),
498 ARM_AM::getAM2Offset(MO2.getImm()), UseMarkup);
501 //===--------------------------------------------------------------------===//
502 // Addressing Mode #3
503 //===--------------------------------------------------------------------===//
505 void ARMInstPrinter::printAM3PostIndexOp(const MCInst *MI, unsigned Op,
507 const MCOperand &MO1 = MI->getOperand(Op);
508 const MCOperand &MO2 = MI->getOperand(Op+1);
509 const MCOperand &MO3 = MI->getOperand(Op+2);
511 O << markup("<mem:") << "[";
512 printRegName(O, MO1.getReg());
513 O << "], " << markup(">");
516 O << (char)ARM_AM::getAM3Op(MO3.getImm());
517 printRegName(O, MO2.getReg());
521 unsigned ImmOffs = ARM_AM::getAM3Offset(MO3.getImm());
524 << ARM_AM::getAddrOpcStr(ARM_AM::getAM3Op(MO3.getImm()))
529 void ARMInstPrinter::printAM3PreOrOffsetIndexOp(const MCInst *MI, unsigned Op,
531 bool AlwaysPrintImm0) {
532 const MCOperand &MO1 = MI->getOperand(Op);
533 const MCOperand &MO2 = MI->getOperand(Op+1);
534 const MCOperand &MO3 = MI->getOperand(Op+2);
536 O << markup("<mem:") << '[';
537 printRegName(O, MO1.getReg());
540 O << ", " << getAddrOpcStr(ARM_AM::getAM3Op(MO3.getImm()));
541 printRegName(O, MO2.getReg());
542 O << ']' << markup(">");
546 //If the op is sub we have to print the immediate even if it is 0
547 unsigned ImmOffs = ARM_AM::getAM3Offset(MO3.getImm());
548 ARM_AM::AddrOpc op = ARM_AM::getAM3Op(MO3.getImm());
550 if (AlwaysPrintImm0 || ImmOffs || (op == ARM_AM::sub)) {
554 << ARM_AM::getAddrOpcStr(op)
558 O << ']' << markup(">");
561 template <bool AlwaysPrintImm0>
562 void ARMInstPrinter::printAddrMode3Operand(const MCInst *MI, unsigned Op,
564 const MCOperand &MO1 = MI->getOperand(Op);
565 if (!MO1.isReg()) { // For label symbolic references.
566 printOperand(MI, Op, O);
570 const MCOperand &MO3 = MI->getOperand(Op+2);
571 unsigned IdxMode = ARM_AM::getAM3IdxMode(MO3.getImm());
573 if (IdxMode == ARMII::IndexModePost) {
574 printAM3PostIndexOp(MI, Op, O);
577 printAM3PreOrOffsetIndexOp(MI, Op, O, AlwaysPrintImm0);
580 void ARMInstPrinter::printAddrMode3OffsetOperand(const MCInst *MI,
583 const MCOperand &MO1 = MI->getOperand(OpNum);
584 const MCOperand &MO2 = MI->getOperand(OpNum+1);
587 O << getAddrOpcStr(ARM_AM::getAM3Op(MO2.getImm()));
588 printRegName(O, MO1.getReg());
592 unsigned ImmOffs = ARM_AM::getAM3Offset(MO2.getImm());
594 << '#' << ARM_AM::getAddrOpcStr(ARM_AM::getAM3Op(MO2.getImm())) << ImmOffs
598 void ARMInstPrinter::printPostIdxImm8Operand(const MCInst *MI,
601 const MCOperand &MO = MI->getOperand(OpNum);
602 unsigned Imm = MO.getImm();
604 << '#' << ((Imm & 256) ? "" : "-") << (Imm & 0xff)
608 void ARMInstPrinter::printPostIdxRegOperand(const MCInst *MI, unsigned OpNum,
610 const MCOperand &MO1 = MI->getOperand(OpNum);
611 const MCOperand &MO2 = MI->getOperand(OpNum+1);
613 O << (MO2.getImm() ? "" : "-");
614 printRegName(O, MO1.getReg());
617 void ARMInstPrinter::printPostIdxImm8s4Operand(const MCInst *MI,
620 const MCOperand &MO = MI->getOperand(OpNum);
621 unsigned Imm = MO.getImm();
623 << '#' << ((Imm & 256) ? "" : "-") << ((Imm & 0xff) << 2)
628 void ARMInstPrinter::printLdStmModeOperand(const MCInst *MI, unsigned OpNum,
630 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MI->getOperand(OpNum)
632 O << ARM_AM::getAMSubModeStr(Mode);
635 template <bool AlwaysPrintImm0>
636 void ARMInstPrinter::printAddrMode5Operand(const MCInst *MI, unsigned OpNum,
638 const MCOperand &MO1 = MI->getOperand(OpNum);
639 const MCOperand &MO2 = MI->getOperand(OpNum+1);
641 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
642 printOperand(MI, OpNum, O);
646 O << markup("<mem:") << "[";
647 printRegName(O, MO1.getReg());
649 unsigned ImmOffs = ARM_AM::getAM5Offset(MO2.getImm());
650 unsigned Op = ARM_AM::getAM5Op(MO2.getImm());
651 if (AlwaysPrintImm0 || ImmOffs || Op == ARM_AM::sub) {
655 << ARM_AM::getAddrOpcStr(ARM_AM::getAM5Op(MO2.getImm()))
659 O << "]" << markup(">");
662 void ARMInstPrinter::printAddrMode6Operand(const MCInst *MI, unsigned OpNum,
664 const MCOperand &MO1 = MI->getOperand(OpNum);
665 const MCOperand &MO2 = MI->getOperand(OpNum+1);
667 O << markup("<mem:") << "[";
668 printRegName(O, MO1.getReg());
670 O << ":" << (MO2.getImm() << 3);
672 O << "]" << markup(">");
675 void ARMInstPrinter::printAddrMode7Operand(const MCInst *MI, unsigned OpNum,
677 const MCOperand &MO1 = MI->getOperand(OpNum);
678 O << markup("<mem:") << "[";
679 printRegName(O, MO1.getReg());
680 O << "]" << markup(">");
683 void ARMInstPrinter::printAddrMode6OffsetOperand(const MCInst *MI,
686 const MCOperand &MO = MI->getOperand(OpNum);
687 if (MO.getReg() == 0)
691 printRegName(O, MO.getReg());
695 void ARMInstPrinter::printBitfieldInvMaskImmOperand(const MCInst *MI,
698 const MCOperand &MO = MI->getOperand(OpNum);
699 uint32_t v = ~MO.getImm();
700 int32_t lsb = countTrailingZeros(v);
701 int32_t width = (32 - countLeadingZeros (v)) - lsb;
702 assert(MO.isImm() && "Not a valid bf_inv_mask_imm value!");
703 O << markup("<imm:") << '#' << lsb << markup(">")
705 << markup("<imm:") << '#' << width << markup(">");
708 void ARMInstPrinter::printMemBOption(const MCInst *MI, unsigned OpNum,
710 unsigned val = MI->getOperand(OpNum).getImm();
711 O << ARM_MB::MemBOptToString(val, (getAvailableFeatures() & ARM::HasV8Ops));
714 void ARMInstPrinter::printInstSyncBOption(const MCInst *MI, unsigned OpNum,
716 unsigned val = MI->getOperand(OpNum).getImm();
717 O << ARM_ISB::InstSyncBOptToString(val);
720 void ARMInstPrinter::printShiftImmOperand(const MCInst *MI, unsigned OpNum,
722 unsigned ShiftOp = MI->getOperand(OpNum).getImm();
723 bool isASR = (ShiftOp & (1 << 5)) != 0;
724 unsigned Amt = ShiftOp & 0x1f;
728 << "#" << (Amt == 0 ? 32 : Amt)
739 void ARMInstPrinter::printPKHLSLShiftImm(const MCInst *MI, unsigned OpNum,
741 unsigned Imm = MI->getOperand(OpNum).getImm();
744 assert(Imm > 0 && Imm < 32 && "Invalid PKH shift immediate value!");
745 O << ", lsl " << markup("<imm:") << "#" << Imm << markup(">");
748 void ARMInstPrinter::printPKHASRShiftImm(const MCInst *MI, unsigned OpNum,
750 unsigned Imm = MI->getOperand(OpNum).getImm();
751 // A shift amount of 32 is encoded as 0.
754 assert(Imm > 0 && Imm <= 32 && "Invalid PKH shift immediate value!");
755 O << ", asr " << markup("<imm:") << "#" << Imm << markup(">");
758 void ARMInstPrinter::printRegisterList(const MCInst *MI, unsigned OpNum,
761 for (unsigned i = OpNum, e = MI->getNumOperands(); i != e; ++i) {
762 if (i != OpNum) O << ", ";
763 printRegName(O, MI->getOperand(i).getReg());
768 void ARMInstPrinter::printGPRPairOperand(const MCInst *MI, unsigned OpNum,
770 unsigned Reg = MI->getOperand(OpNum).getReg();
771 printRegName(O, MRI.getSubReg(Reg, ARM::gsub_0));
773 printRegName(O, MRI.getSubReg(Reg, ARM::gsub_1));
777 void ARMInstPrinter::printSetendOperand(const MCInst *MI, unsigned OpNum,
779 const MCOperand &Op = MI->getOperand(OpNum);
786 void ARMInstPrinter::printCPSIMod(const MCInst *MI, unsigned OpNum,
788 const MCOperand &Op = MI->getOperand(OpNum);
789 O << ARM_PROC::IModToString(Op.getImm());
792 void ARMInstPrinter::printCPSIFlag(const MCInst *MI, unsigned OpNum,
794 const MCOperand &Op = MI->getOperand(OpNum);
795 unsigned IFlags = Op.getImm();
796 for (int i=2; i >= 0; --i)
797 if (IFlags & (1 << i))
798 O << ARM_PROC::IFlagsToString(1 << i);
804 void ARMInstPrinter::printMSRMaskOperand(const MCInst *MI, unsigned OpNum,
806 const MCOperand &Op = MI->getOperand(OpNum);
807 unsigned SpecRegRBit = Op.getImm() >> 4;
808 unsigned Mask = Op.getImm() & 0xf;
810 if (getAvailableFeatures() & ARM::FeatureMClass) {
811 unsigned SYSm = Op.getImm();
812 unsigned Opcode = MI->getOpcode();
813 // For reads of the special registers ignore the "mask encoding" bits
814 // which are only for writes.
815 if (Opcode == ARM::t2MRS_M)
818 default: llvm_unreachable("Unexpected mask value!");
820 case 0x800: O << "apsr"; return; // with _nzcvq bits is an alias for aspr
821 case 0x400: O << "apsr_g"; return;
822 case 0xc00: O << "apsr_nzcvqg"; return;
824 case 0x801: O << "iapsr"; return; // with _nzcvq bits is an alias for iapsr
825 case 0x401: O << "iapsr_g"; return;
826 case 0xc01: O << "iapsr_nzcvqg"; return;
828 case 0x802: O << "eapsr"; return; // with _nzcvq bits is an alias for eapsr
829 case 0x402: O << "eapsr_g"; return;
830 case 0xc02: O << "eapsr_nzcvqg"; return;
832 case 0x803: O << "xpsr"; return; // with _nzcvq bits is an alias for xpsr
833 case 0x403: O << "xpsr_g"; return;
834 case 0xc03: O << "xpsr_nzcvqg"; return;
836 case 0x805: O << "ipsr"; return;
838 case 0x806: O << "epsr"; return;
840 case 0x807: O << "iepsr"; return;
842 case 0x808: O << "msp"; return;
844 case 0x809: O << "psp"; return;
846 case 0x810: O << "primask"; return;
848 case 0x811: O << "basepri"; return;
850 case 0x812: O << "basepri_max"; return;
852 case 0x813: O << "faultmask"; return;
854 case 0x814: O << "control"; return;
858 // As special cases, CPSR_f, CPSR_s and CPSR_fs prefer printing as
859 // APSR_nzcvq, APSR_g and APSRnzcvqg, respectively.
860 if (!SpecRegRBit && (Mask == 8 || Mask == 4 || Mask == 12)) {
863 default: llvm_unreachable("Unexpected mask value!");
864 case 4: O << "g"; return;
865 case 8: O << "nzcvq"; return;
866 case 12: O << "nzcvqg"; return;
877 if (Mask & 8) O << 'f';
878 if (Mask & 4) O << 's';
879 if (Mask & 2) O << 'x';
880 if (Mask & 1) O << 'c';
884 void ARMInstPrinter::printPredicateOperand(const MCInst *MI, unsigned OpNum,
886 ARMCC::CondCodes CC = (ARMCC::CondCodes)MI->getOperand(OpNum).getImm();
887 // Handle the undefined 15 CC value here for printing so we don't abort().
888 if ((unsigned)CC == 15)
890 else if (CC != ARMCC::AL)
891 O << ARMCondCodeToString(CC);
894 void ARMInstPrinter::printMandatoryPredicateOperand(const MCInst *MI,
897 ARMCC::CondCodes CC = (ARMCC::CondCodes)MI->getOperand(OpNum).getImm();
898 O << ARMCondCodeToString(CC);
901 void ARMInstPrinter::printSBitModifierOperand(const MCInst *MI, unsigned OpNum,
903 if (MI->getOperand(OpNum).getReg()) {
904 assert(MI->getOperand(OpNum).getReg() == ARM::CPSR &&
905 "Expect ARM CPSR register!");
910 void ARMInstPrinter::printNoHashImmediate(const MCInst *MI, unsigned OpNum,
912 O << MI->getOperand(OpNum).getImm();
915 void ARMInstPrinter::printPImmediate(const MCInst *MI, unsigned OpNum,
917 O << "p" << MI->getOperand(OpNum).getImm();
920 void ARMInstPrinter::printCImmediate(const MCInst *MI, unsigned OpNum,
922 O << "c" << MI->getOperand(OpNum).getImm();
925 void ARMInstPrinter::printCoprocOptionImm(const MCInst *MI, unsigned OpNum,
927 O << "{" << MI->getOperand(OpNum).getImm() << "}";
930 void ARMInstPrinter::printPCLabel(const MCInst *MI, unsigned OpNum,
932 llvm_unreachable("Unhandled PC-relative pseudo-instruction!");
935 template<unsigned scale>
936 void ARMInstPrinter::printAdrLabelOperand(const MCInst *MI, unsigned OpNum,
938 const MCOperand &MO = MI->getOperand(OpNum);
945 int32_t OffImm = (int32_t)MO.getImm() << scale;
947 O << markup("<imm:");
948 if (OffImm == INT32_MIN)
951 O << "#-" << -OffImm;
957 void ARMInstPrinter::printThumbS4ImmOperand(const MCInst *MI, unsigned OpNum,
960 << "#" << formatImm(MI->getOperand(OpNum).getImm() * 4)
964 void ARMInstPrinter::printThumbSRImm(const MCInst *MI, unsigned OpNum,
966 unsigned Imm = MI->getOperand(OpNum).getImm();
968 << "#" << formatImm((Imm == 0 ? 32 : Imm))
972 void ARMInstPrinter::printThumbITMask(const MCInst *MI, unsigned OpNum,
974 // (3 - the number of trailing zeros) is the number of then / else.
975 unsigned Mask = MI->getOperand(OpNum).getImm();
976 unsigned Firstcond = MI->getOperand(OpNum-1).getImm();
977 unsigned CondBit0 = Firstcond & 1;
978 unsigned NumTZ = countTrailingZeros(Mask);
979 assert(NumTZ <= 3 && "Invalid IT mask!");
980 for (unsigned Pos = 3, e = NumTZ; Pos > e; --Pos) {
981 bool T = ((Mask >> Pos) & 1) == CondBit0;
989 void ARMInstPrinter::printThumbAddrModeRROperand(const MCInst *MI, unsigned Op,
991 const MCOperand &MO1 = MI->getOperand(Op);
992 const MCOperand &MO2 = MI->getOperand(Op + 1);
994 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
995 printOperand(MI, Op, O);
999 O << markup("<mem:") << "[";
1000 printRegName(O, MO1.getReg());
1001 if (unsigned RegNum = MO2.getReg()) {
1003 printRegName(O, RegNum);
1005 O << "]" << markup(">");
1008 void ARMInstPrinter::printThumbAddrModeImm5SOperand(const MCInst *MI,
1012 const MCOperand &MO1 = MI->getOperand(Op);
1013 const MCOperand &MO2 = MI->getOperand(Op + 1);
1015 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
1016 printOperand(MI, Op, O);
1020 O << markup("<mem:") << "[";
1021 printRegName(O, MO1.getReg());
1022 if (unsigned ImmOffs = MO2.getImm()) {
1025 << "#" << formatImm(ImmOffs * Scale)
1028 O << "]" << markup(">");
1031 void ARMInstPrinter::printThumbAddrModeImm5S1Operand(const MCInst *MI,
1034 printThumbAddrModeImm5SOperand(MI, Op, O, 1);
1037 void ARMInstPrinter::printThumbAddrModeImm5S2Operand(const MCInst *MI,
1040 printThumbAddrModeImm5SOperand(MI, Op, O, 2);
1043 void ARMInstPrinter::printThumbAddrModeImm5S4Operand(const MCInst *MI,
1046 printThumbAddrModeImm5SOperand(MI, Op, O, 4);
1049 void ARMInstPrinter::printThumbAddrModeSPOperand(const MCInst *MI, unsigned Op,
1051 printThumbAddrModeImm5SOperand(MI, Op, O, 4);
1054 // Constant shifts t2_so_reg is a 2-operand unit corresponding to the Thumb2
1055 // register with shift forms.
1056 // REG 0 0 - e.g. R5
1057 // REG IMM, SH_OPC - e.g. R5, LSL #3
1058 void ARMInstPrinter::printT2SOOperand(const MCInst *MI, unsigned OpNum,
1060 const MCOperand &MO1 = MI->getOperand(OpNum);
1061 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1063 unsigned Reg = MO1.getReg();
1064 printRegName(O, Reg);
1066 // Print the shift opc.
1067 assert(MO2.isImm() && "Not a valid t2_so_reg value!");
1068 printRegImmShift(O, ARM_AM::getSORegShOp(MO2.getImm()),
1069 ARM_AM::getSORegOffset(MO2.getImm()), UseMarkup);
1072 template <bool AlwaysPrintImm0>
1073 void ARMInstPrinter::printAddrModeImm12Operand(const MCInst *MI, unsigned OpNum,
1075 const MCOperand &MO1 = MI->getOperand(OpNum);
1076 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1078 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
1079 printOperand(MI, OpNum, O);
1083 O << markup("<mem:") << "[";
1084 printRegName(O, MO1.getReg());
1086 int32_t OffImm = (int32_t)MO2.getImm();
1087 bool isSub = OffImm < 0;
1088 // Special value for #-0. All others are normal.
1089 if (OffImm == INT32_MIN)
1097 else if (AlwaysPrintImm0 || OffImm > 0) {
1103 O << "]" << markup(">");
1106 template<bool AlwaysPrintImm0>
1107 void ARMInstPrinter::printT2AddrModeImm8Operand(const MCInst *MI,
1110 const MCOperand &MO1 = MI->getOperand(OpNum);
1111 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1113 O << markup("<mem:") << "[";
1114 printRegName(O, MO1.getReg());
1116 int32_t OffImm = (int32_t)MO2.getImm();
1117 bool isSub = OffImm < 0;
1119 if (OffImm == INT32_MIN)
1126 } else if (AlwaysPrintImm0 || OffImm > 0) {
1132 O << "]" << markup(">");
1135 template<bool AlwaysPrintImm0>
1136 void ARMInstPrinter::printT2AddrModeImm8s4Operand(const MCInst *MI,
1139 const MCOperand &MO1 = MI->getOperand(OpNum);
1140 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1142 if (!MO1.isReg()) { // For label symbolic references.
1143 printOperand(MI, OpNum, O);
1147 O << markup("<mem:") << "[";
1148 printRegName(O, MO1.getReg());
1150 int32_t OffImm = (int32_t)MO2.getImm();
1151 bool isSub = OffImm < 0;
1153 assert(((OffImm & 0x3) == 0) && "Not a valid immediate!");
1156 if (OffImm == INT32_MIN)
1163 } else if (AlwaysPrintImm0 || OffImm > 0) {
1169 O << "]" << markup(">");
1172 void ARMInstPrinter::printT2AddrModeImm0_1020s4Operand(const MCInst *MI,
1175 const MCOperand &MO1 = MI->getOperand(OpNum);
1176 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1178 O << markup("<mem:") << "[";
1179 printRegName(O, MO1.getReg());
1183 << "#" << formatImm(MO2.getImm() * 4)
1186 O << "]" << markup(">");
1189 void ARMInstPrinter::printT2AddrModeImm8OffsetOperand(const MCInst *MI,
1192 const MCOperand &MO1 = MI->getOperand(OpNum);
1193 int32_t OffImm = (int32_t)MO1.getImm();
1194 O << ", " << markup("<imm:");
1195 if (OffImm == INT32_MIN)
1197 else if (OffImm < 0)
1198 O << "#-" << -OffImm;
1204 void ARMInstPrinter::printT2AddrModeImm8s4OffsetOperand(const MCInst *MI,
1207 const MCOperand &MO1 = MI->getOperand(OpNum);
1208 int32_t OffImm = (int32_t)MO1.getImm();
1210 assert(((OffImm & 0x3) == 0) && "Not a valid immediate!");
1212 O << ", " << markup("<imm:");
1213 if (OffImm == INT32_MIN)
1215 else if (OffImm < 0)
1216 O << "#-" << -OffImm;
1222 void ARMInstPrinter::printT2AddrModeSoRegOperand(const MCInst *MI,
1225 const MCOperand &MO1 = MI->getOperand(OpNum);
1226 const MCOperand &MO2 = MI->getOperand(OpNum+1);
1227 const MCOperand &MO3 = MI->getOperand(OpNum+2);
1229 O << markup("<mem:") << "[";
1230 printRegName(O, MO1.getReg());
1232 assert(MO2.getReg() && "Invalid so_reg load / store address!");
1234 printRegName(O, MO2.getReg());
1236 unsigned ShAmt = MO3.getImm();
1238 assert(ShAmt <= 3 && "Not a valid Thumb2 addressing mode!");
1244 O << "]" << markup(">");
1247 void ARMInstPrinter::printFPImmOperand(const MCInst *MI, unsigned OpNum,
1249 const MCOperand &MO = MI->getOperand(OpNum);
1250 O << markup("<imm:")
1251 << '#' << ARM_AM::getFPImmFloat(MO.getImm())
1255 void ARMInstPrinter::printNEONModImmOperand(const MCInst *MI, unsigned OpNum,
1257 unsigned EncodedImm = MI->getOperand(OpNum).getImm();
1259 uint64_t Val = ARM_AM::decodeNEONModImm(EncodedImm, EltBits);
1260 O << markup("<imm:")
1266 void ARMInstPrinter::printImmPlusOneOperand(const MCInst *MI, unsigned OpNum,
1268 unsigned Imm = MI->getOperand(OpNum).getImm();
1269 O << markup("<imm:")
1270 << "#" << formatImm(Imm + 1)
1274 void ARMInstPrinter::printRotImmOperand(const MCInst *MI, unsigned OpNum,
1276 unsigned Imm = MI->getOperand(OpNum).getImm();
1283 default: assert (0 && "illegal ror immediate!");
1284 case 1: O << "8"; break;
1285 case 2: O << "16"; break;
1286 case 3: O << "24"; break;
1291 void ARMInstPrinter::printFBits16(const MCInst *MI, unsigned OpNum,
1293 O << markup("<imm:")
1294 << "#" << 16 - MI->getOperand(OpNum).getImm()
1298 void ARMInstPrinter::printFBits32(const MCInst *MI, unsigned OpNum,
1300 O << markup("<imm:")
1301 << "#" << 32 - MI->getOperand(OpNum).getImm()
1305 void ARMInstPrinter::printVectorIndex(const MCInst *MI, unsigned OpNum,
1307 O << "[" << MI->getOperand(OpNum).getImm() << "]";
1310 void ARMInstPrinter::printVectorListOne(const MCInst *MI, unsigned OpNum,
1313 printRegName(O, MI->getOperand(OpNum).getReg());
1317 void ARMInstPrinter::printVectorListTwo(const MCInst *MI, unsigned OpNum,
1319 unsigned Reg = MI->getOperand(OpNum).getReg();
1320 unsigned Reg0 = MRI.getSubReg(Reg, ARM::dsub_0);
1321 unsigned Reg1 = MRI.getSubReg(Reg, ARM::dsub_1);
1323 printRegName(O, Reg0);
1325 printRegName(O, Reg1);
1329 void ARMInstPrinter::printVectorListTwoSpaced(const MCInst *MI,
1332 unsigned Reg = MI->getOperand(OpNum).getReg();
1333 unsigned Reg0 = MRI.getSubReg(Reg, ARM::dsub_0);
1334 unsigned Reg1 = MRI.getSubReg(Reg, ARM::dsub_2);
1336 printRegName(O, Reg0);
1338 printRegName(O, Reg1);
1342 void ARMInstPrinter::printVectorListThree(const MCInst *MI, unsigned OpNum,
1344 // Normally, it's not safe to use register enum values directly with
1345 // addition to get the next register, but for VFP registers, the
1346 // sort order is guaranteed because they're all of the form D<n>.
1348 printRegName(O, MI->getOperand(OpNum).getReg());
1350 printRegName(O, MI->getOperand(OpNum).getReg() + 1);
1352 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1356 void ARMInstPrinter::printVectorListFour(const MCInst *MI, unsigned OpNum,
1358 // Normally, it's not safe to use register enum values directly with
1359 // addition to get the next register, but for VFP registers, the
1360 // sort order is guaranteed because they're all of the form D<n>.
1362 printRegName(O, MI->getOperand(OpNum).getReg());
1364 printRegName(O, MI->getOperand(OpNum).getReg() + 1);
1366 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1368 printRegName(O, MI->getOperand(OpNum).getReg() + 3);
1372 void ARMInstPrinter::printVectorListOneAllLanes(const MCInst *MI,
1376 printRegName(O, MI->getOperand(OpNum).getReg());
1380 void ARMInstPrinter::printVectorListTwoAllLanes(const MCInst *MI,
1383 unsigned Reg = MI->getOperand(OpNum).getReg();
1384 unsigned Reg0 = MRI.getSubReg(Reg, ARM::dsub_0);
1385 unsigned Reg1 = MRI.getSubReg(Reg, ARM::dsub_1);
1387 printRegName(O, Reg0);
1389 printRegName(O, Reg1);
1393 void ARMInstPrinter::printVectorListThreeAllLanes(const MCInst *MI,
1396 // Normally, it's not safe to use register enum values directly with
1397 // addition to get the next register, but for VFP registers, the
1398 // sort order is guaranteed because they're all of the form D<n>.
1400 printRegName(O, MI->getOperand(OpNum).getReg());
1402 printRegName(O, MI->getOperand(OpNum).getReg() + 1);
1404 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1408 void ARMInstPrinter::printVectorListFourAllLanes(const MCInst *MI,
1411 // Normally, it's not safe to use register enum values directly with
1412 // addition to get the next register, but for VFP registers, the
1413 // sort order is guaranteed because they're all of the form D<n>.
1415 printRegName(O, MI->getOperand(OpNum).getReg());
1417 printRegName(O, MI->getOperand(OpNum).getReg() + 1);
1419 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1421 printRegName(O, MI->getOperand(OpNum).getReg() + 3);
1425 void ARMInstPrinter::printVectorListTwoSpacedAllLanes(const MCInst *MI,
1428 unsigned Reg = MI->getOperand(OpNum).getReg();
1429 unsigned Reg0 = MRI.getSubReg(Reg, ARM::dsub_0);
1430 unsigned Reg1 = MRI.getSubReg(Reg, ARM::dsub_2);
1432 printRegName(O, Reg0);
1434 printRegName(O, Reg1);
1438 void ARMInstPrinter::printVectorListThreeSpacedAllLanes(const MCInst *MI,
1441 // Normally, it's not safe to use register enum values directly with
1442 // addition to get the next register, but for VFP registers, the
1443 // sort order is guaranteed because they're all of the form D<n>.
1445 printRegName(O, MI->getOperand(OpNum).getReg());
1447 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1449 printRegName(O, MI->getOperand(OpNum).getReg() + 4);
1453 void ARMInstPrinter::printVectorListFourSpacedAllLanes(const MCInst *MI,
1456 // Normally, it's not safe to use register enum values directly with
1457 // addition to get the next register, but for VFP registers, the
1458 // sort order is guaranteed because they're all of the form D<n>.
1460 printRegName(O, MI->getOperand(OpNum).getReg());
1462 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1464 printRegName(O, MI->getOperand(OpNum).getReg() + 4);
1466 printRegName(O, MI->getOperand(OpNum).getReg() + 6);
1470 void ARMInstPrinter::printVectorListThreeSpaced(const MCInst *MI,
1473 // Normally, it's not safe to use register enum values directly with
1474 // addition to get the next register, but for VFP registers, the
1475 // sort order is guaranteed because they're all of the form D<n>.
1477 printRegName(O, MI->getOperand(OpNum).getReg());
1479 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1481 printRegName(O, MI->getOperand(OpNum).getReg() + 4);
1485 void ARMInstPrinter::printVectorListFourSpaced(const MCInst *MI,
1488 // Normally, it's not safe to use register enum values directly with
1489 // addition to get the next register, but for VFP registers, the
1490 // sort order is guaranteed because they're all of the form D<n>.
1492 printRegName(O, MI->getOperand(OpNum).getReg());
1494 printRegName(O, MI->getOperand(OpNum).getReg() + 2);
1496 printRegName(O, MI->getOperand(OpNum).getReg() + 4);
1498 printRegName(O, MI->getOperand(OpNum).getReg() + 6);