Chris Lattner | fadc83c | 2009-06-19 00:47:59 +0000 | [diff] [blame] | 1 | //===-- X86ATTInstPrinter.cpp - AT&T assembly instruction printing --------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file includes code for rendering MCInst instances as AT&T-style |
| 11 | // assembly. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #define DEBUG_TYPE "asm-printer" |
| 16 | #include "llvm/MC/MCInst.h" |
| 17 | #include "X86ATTAsmPrinter.h" |
Chris Lattner | af76e59 | 2009-08-22 20:48:53 +0000 | [diff] [blame] | 18 | #include "llvm/MC/MCAsmInfo.h" |
Daniel Dunbar | 8c2eebe | 2009-08-31 08:08:38 +0000 | [diff] [blame] | 19 | #include "llvm/MC/MCExpr.h" |
Torok Edwin | ab7c09b | 2009-07-08 18:01:40 +0000 | [diff] [blame] | 20 | #include "llvm/Support/ErrorHandling.h" |
David Greene | 7184781 | 2009-07-14 20:18:05 +0000 | [diff] [blame] | 21 | #include "llvm/Support/FormattedStream.h" |
Chris Lattner | fadc83c | 2009-06-19 00:47:59 +0000 | [diff] [blame] | 22 | using namespace llvm; |
| 23 | |
Chris Lattner | d5fb790 | 2009-06-19 23:59:57 +0000 | [diff] [blame] | 24 | // Include the auto-generated portion of the assembly writer. |
| 25 | #define MachineInstr MCInst |
| 26 | #define NO_ASM_WRITER_BOILERPLATE |
| 27 | #include "X86GenAsmWriter.inc" |
| 28 | #undef MachineInstr |
| 29 | |
| 30 | void X86ATTAsmPrinter::printSSECC(const MCInst *MI, unsigned Op) { |
Chris Lattner | c124306 | 2009-06-20 07:03:18 +0000 | [diff] [blame] | 31 | switch (MI->getOperand(Op).getImm()) { |
Torok Edwin | c23197a | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 32 | default: llvm_unreachable("Invalid ssecc argument!"); |
Chris Lattner | f38c03af | 2009-06-20 00:49:26 +0000 | [diff] [blame] | 33 | case 0: O << "eq"; break; |
| 34 | case 1: O << "lt"; break; |
| 35 | case 2: O << "le"; break; |
| 36 | case 3: O << "unord"; break; |
| 37 | case 4: O << "neq"; break; |
| 38 | case 5: O << "nlt"; break; |
| 39 | case 6: O << "nle"; break; |
| 40 | case 7: O << "ord"; break; |
Chris Lattner | d5fb790 | 2009-06-19 23:59:57 +0000 | [diff] [blame] | 41 | } |
| 42 | } |
| 43 | |
| 44 | |
| 45 | void X86ATTAsmPrinter::printPICLabel(const MCInst *MI, unsigned Op) { |
Torok Edwin | c23197a | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 46 | llvm_unreachable("This is only used for MOVPC32r," |
Torok Edwin | 481d15a | 2009-07-14 12:22:58 +0000 | [diff] [blame] | 47 | "should lower before asm printing!"); |
Chris Lattner | d5fb790 | 2009-06-19 23:59:57 +0000 | [diff] [blame] | 48 | } |
| 49 | |
| 50 | |
Chris Lattner | 7680e73 | 2009-06-20 19:34:09 +0000 | [diff] [blame] | 51 | /// print_pcrel_imm - This is used to print an immediate value that ends up |
| 52 | /// being encoded as a pc-relative value. These print slightly differently, for |
| 53 | /// example, a $ is not emitted. |
| 54 | void X86ATTAsmPrinter::print_pcrel_imm(const MCInst *MI, unsigned OpNo) { |
| 55 | const MCOperand &Op = MI->getOperand(OpNo); |
| 56 | |
| 57 | if (Op.isImm()) |
| 58 | O << Op.getImm(); |
Daniel Dunbar | 8c2eebe | 2009-08-31 08:08:38 +0000 | [diff] [blame] | 59 | else if (Op.isExpr()) |
Chris Lattner | 684c593d | 2009-09-03 05:46:51 +0000 | [diff] [blame] | 60 | Op.getExpr()->print(O, MAI); |
Chris Lattner | 7680e73 | 2009-06-20 19:34:09 +0000 | [diff] [blame] | 61 | else if (Op.isMBBLabel()) |
| 62 | // FIXME: Keep in sync with printBasicBlockLabel. printBasicBlockLabel |
| 63 | // should eventually call into this code, not the other way around. |
Chris Lattner | 33adcfb | 2009-08-22 21:43:10 +0000 | [diff] [blame] | 64 | O << MAI->getPrivateGlobalPrefix() << "BB" << Op.getMBBLabelFunction() |
Chris Lattner | 7680e73 | 2009-06-20 19:34:09 +0000 | [diff] [blame] | 65 | << '_' << Op.getMBBLabelBlock(); |
| 66 | else |
Torok Edwin | c23197a | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 67 | llvm_unreachable("Unknown pcrel immediate operand"); |
Chris Lattner | 7680e73 | 2009-06-20 19:34:09 +0000 | [diff] [blame] | 68 | } |
| 69 | |
| 70 | |
Chris Lattner | d5fb790 | 2009-06-19 23:59:57 +0000 | [diff] [blame] | 71 | void X86ATTAsmPrinter::printOperand(const MCInst *MI, unsigned OpNo, |
Chris Lattner | 18c5987 | 2009-06-27 04:16:01 +0000 | [diff] [blame] | 72 | const char *Modifier) { |
Chris Lattner | c124306 | 2009-06-20 07:03:18 +0000 | [diff] [blame] | 73 | assert(Modifier == 0 && "Modifiers should not be used"); |
Chris Lattner | f38c03af | 2009-06-20 00:49:26 +0000 | [diff] [blame] | 74 | |
| 75 | const MCOperand &Op = MI->getOperand(OpNo); |
| 76 | if (Op.isReg()) { |
| 77 | O << '%'; |
| 78 | unsigned Reg = Op.getReg(); |
| 79 | #if 0 |
| 80 | if (Modifier && strncmp(Modifier, "subreg", strlen("subreg")) == 0) { |
Owen Anderson | e50ed30 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 81 | EVT VT = (strcmp(Modifier+6,"64") == 0) ? |
| 82 | EVT::i64 : ((strcmp(Modifier+6, "32") == 0) ? EVT::i32 : |
| 83 | ((strcmp(Modifier+6,"16") == 0) ? EVT::i16 : EVT::i8)); |
Chris Lattner | f38c03af | 2009-06-20 00:49:26 +0000 | [diff] [blame] | 84 | Reg = getX86SubSuperRegister(Reg, VT); |
| 85 | } |
| 86 | #endif |
| 87 | O << TRI->getAsmName(Reg); |
| 88 | return; |
| 89 | } else if (Op.isImm()) { |
Chris Lattner | 2f429e5 | 2009-06-21 01:48:49 +0000 | [diff] [blame] | 90 | //if (!Modifier || (strcmp(Modifier, "debug") && strcmp(Modifier, "mem"))) |
Chris Lattner | f38c03af | 2009-06-20 00:49:26 +0000 | [diff] [blame] | 91 | O << '$'; |
| 92 | O << Op.getImm(); |
| 93 | return; |
Daniel Dunbar | 8c2eebe | 2009-08-31 08:08:38 +0000 | [diff] [blame] | 94 | } else if (Op.isExpr()) { |
Daniel Dunbar | 61466c5 | 2009-08-14 03:42:12 +0000 | [diff] [blame] | 95 | O << '$'; |
Chris Lattner | 684c593d | 2009-09-03 05:46:51 +0000 | [diff] [blame] | 96 | Op.getExpr()->print(O, MAI); |
Daniel Dunbar | 61466c5 | 2009-08-14 03:42:12 +0000 | [diff] [blame] | 97 | return; |
Chris Lattner | f38c03af | 2009-06-20 00:49:26 +0000 | [diff] [blame] | 98 | } |
| 99 | |
| 100 | O << "<<UNKNOWN OPERAND KIND>>"; |
Chris Lattner | d5fb790 | 2009-06-19 23:59:57 +0000 | [diff] [blame] | 101 | } |
| 102 | |
Chris Lattner | c124306 | 2009-06-20 07:03:18 +0000 | [diff] [blame] | 103 | void X86ATTAsmPrinter::printLeaMemReference(const MCInst *MI, unsigned Op) { |
Chris Lattner | c124306 | 2009-06-20 07:03:18 +0000 | [diff] [blame] | 104 | |
Chris Lattner | f38c03af | 2009-06-20 00:49:26 +0000 | [diff] [blame] | 105 | const MCOperand &BaseReg = MI->getOperand(Op); |
| 106 | const MCOperand &IndexReg = MI->getOperand(Op+2); |
| 107 | const MCOperand &DispSpec = MI->getOperand(Op+3); |
| 108 | |
Chris Lattner | f38c03af | 2009-06-20 00:49:26 +0000 | [diff] [blame] | 109 | if (DispSpec.isImm()) { |
| 110 | int64_t DispVal = DispSpec.getImm(); |
| 111 | if (DispVal || (!IndexReg.getReg() && !BaseReg.getReg())) |
| 112 | O << DispVal; |
Daniel Dunbar | 8c2eebe | 2009-08-31 08:08:38 +0000 | [diff] [blame] | 113 | } else if (DispSpec.isExpr()) { |
Chris Lattner | 684c593d | 2009-09-03 05:46:51 +0000 | [diff] [blame] | 114 | DispSpec.getExpr()->print(O, MAI); |
Chris Lattner | f38c03af | 2009-06-20 00:49:26 +0000 | [diff] [blame] | 115 | } else { |
Torok Edwin | c23197a | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 116 | llvm_unreachable("non-immediate displacement for LEA?"); |
Chris Lattner | f38c03af | 2009-06-20 00:49:26 +0000 | [diff] [blame] | 117 | //assert(DispSpec.isGlobal() || DispSpec.isCPI() || |
| 118 | // DispSpec.isJTI() || DispSpec.isSymbol()); |
Chris Lattner | 18c5987 | 2009-06-27 04:16:01 +0000 | [diff] [blame] | 119 | //printOperand(MI, Op+3, "mem"); |
Chris Lattner | f38c03af | 2009-06-20 00:49:26 +0000 | [diff] [blame] | 120 | } |
| 121 | |
| 122 | if (IndexReg.getReg() || BaseReg.getReg()) { |
Chris Lattner | f38c03af | 2009-06-20 00:49:26 +0000 | [diff] [blame] | 123 | // There are cases where we can end up with ESP/RSP in the indexreg slot. |
| 124 | // If this happens, swap the base/index register to support assemblers that |
| 125 | // don't work when the index is *SP. |
| 126 | // FIXME: REMOVE THIS. |
Chris Lattner | dc479f6 | 2009-06-20 07:59:10 +0000 | [diff] [blame] | 127 | assert(IndexReg.getReg() != X86::ESP && IndexReg.getReg() != X86::RSP); |
Chris Lattner | f38c03af | 2009-06-20 00:49:26 +0000 | [diff] [blame] | 128 | |
| 129 | O << '('; |
| 130 | if (BaseReg.getReg()) |
Chris Lattner | dc479f6 | 2009-06-20 07:59:10 +0000 | [diff] [blame] | 131 | printOperand(MI, Op); |
Chris Lattner | f38c03af | 2009-06-20 00:49:26 +0000 | [diff] [blame] | 132 | |
| 133 | if (IndexReg.getReg()) { |
| 134 | O << ','; |
Chris Lattner | dc479f6 | 2009-06-20 07:59:10 +0000 | [diff] [blame] | 135 | printOperand(MI, Op+2); |
Chris Lattner | 7f8217f | 2009-06-20 08:13:12 +0000 | [diff] [blame] | 136 | unsigned ScaleVal = MI->getOperand(Op+1).getImm(); |
| 137 | if (ScaleVal != 1) |
Chris Lattner | f38c03af | 2009-06-20 00:49:26 +0000 | [diff] [blame] | 138 | O << ',' << ScaleVal; |
| 139 | } |
| 140 | O << ')'; |
| 141 | } |
Chris Lattner | d5fb790 | 2009-06-19 23:59:57 +0000 | [diff] [blame] | 142 | } |
| 143 | |
Chris Lattner | c124306 | 2009-06-20 07:03:18 +0000 | [diff] [blame] | 144 | void X86ATTAsmPrinter::printMemReference(const MCInst *MI, unsigned Op) { |
Chris Lattner | ad48be0 | 2009-06-20 00:50:32 +0000 | [diff] [blame] | 145 | const MCOperand &Segment = MI->getOperand(Op+4); |
Chris Lattner | f38c03af | 2009-06-20 00:49:26 +0000 | [diff] [blame] | 146 | if (Segment.getReg()) { |
Chris Lattner | c124306 | 2009-06-20 07:03:18 +0000 | [diff] [blame] | 147 | printOperand(MI, Op+4); |
Chris Lattner | f38c03af | 2009-06-20 00:49:26 +0000 | [diff] [blame] | 148 | O << ':'; |
| 149 | } |
Chris Lattner | c124306 | 2009-06-20 07:03:18 +0000 | [diff] [blame] | 150 | printLeaMemReference(MI, Op); |
Chris Lattner | d5fb790 | 2009-06-19 23:59:57 +0000 | [diff] [blame] | 151 | } |