Chris Lattner | 97f0693 | 2009-10-19 20:20:46 +0000 | [diff] [blame] | 1 | //===-- ARMAsmPrinter.cpp - Print machine code to an ARM .s file ----------===// |
| 2 | // |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file contains a printer that converts from our internal representation |
| 11 | // of machine-dependent LLVM code to GAS-format ARM assembly language. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
Chris Lattner | 95b2c7d | 2006-12-19 22:59:26 +0000 | [diff] [blame] | 15 | #define DEBUG_TYPE "asm-printer" |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 16 | #include "ARM.h" |
Anton Korobeynikov | 88ce667 | 2009-05-23 19:51:20 +0000 | [diff] [blame] | 17 | #include "ARMBuildAttrs.h" |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 18 | #include "ARMAddressingModes.h" |
| 19 | #include "ARMConstantPoolValue.h" |
Jim Grosbach | 7ac1609 | 2010-10-01 22:39:28 +0000 | [diff] [blame] | 20 | #include "InstPrinter/ARMInstPrinter.h" |
Chris Lattner | 97f0693 | 2009-10-19 20:20:46 +0000 | [diff] [blame] | 21 | #include "ARMMachineFunctionInfo.h" |
| 22 | #include "ARMMCInstLower.h" |
| 23 | #include "ARMTargetMachine.h" |
Jason W Kim | 17b443d | 2010-10-11 23:01:44 +0000 | [diff] [blame] | 24 | #include "ARMTargetObjectFile.h" |
Dale Johannesen | 3f282aa | 2010-04-26 20:07:31 +0000 | [diff] [blame] | 25 | #include "llvm/Analysis/DebugInfo.h" |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 26 | #include "llvm/Constants.h" |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 27 | #include "llvm/Module.h" |
Benjamin Kramer | e55b15f | 2009-12-28 12:27:56 +0000 | [diff] [blame] | 28 | #include "llvm/Type.h" |
Dan Gohman | cf20ac4 | 2009-08-13 01:36:44 +0000 | [diff] [blame] | 29 | #include "llvm/Assembly/Writer.h" |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 30 | #include "llvm/CodeGen/AsmPrinter.h" |
Chris Lattner | b0f294c | 2009-10-19 18:38:33 +0000 | [diff] [blame] | 31 | #include "llvm/CodeGen/MachineModuleInfoImpls.h" |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 32 | #include "llvm/CodeGen/MachineFunctionPass.h" |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 33 | #include "llvm/CodeGen/MachineJumpTableInfo.h" |
Chris Lattner | b0f294c | 2009-10-19 18:38:33 +0000 | [diff] [blame] | 34 | #include "llvm/MC/MCAsmInfo.h" |
Rafael Espindola | cecbc3d | 2010-10-25 17:50:35 +0000 | [diff] [blame^] | 35 | #include "llvm/MC/MCAssembler.h" |
Chris Lattner | b0f294c | 2009-10-19 18:38:33 +0000 | [diff] [blame] | 36 | #include "llvm/MC/MCContext.h" |
Bill Wendling | becd83e | 2010-03-09 00:40:17 +0000 | [diff] [blame] | 37 | #include "llvm/MC/MCExpr.h" |
Chris Lattner | 97f0693 | 2009-10-19 20:20:46 +0000 | [diff] [blame] | 38 | #include "llvm/MC/MCInst.h" |
Chris Lattner | f9bdedd | 2009-08-10 18:15:01 +0000 | [diff] [blame] | 39 | #include "llvm/MC/MCSectionMachO.h" |
Rafael Espindola | cecbc3d | 2010-10-25 17:50:35 +0000 | [diff] [blame^] | 40 | #include "llvm/MC/MCObjectStreamer.h" |
Chris Lattner | 6c2f9e1 | 2009-08-19 05:49:37 +0000 | [diff] [blame] | 41 | #include "llvm/MC/MCStreamer.h" |
Chris Lattner | 325d3dc | 2009-09-13 17:14:04 +0000 | [diff] [blame] | 42 | #include "llvm/MC/MCSymbol.h" |
Chris Lattner | d62f1b4 | 2010-03-12 21:19:23 +0000 | [diff] [blame] | 43 | #include "llvm/Target/Mangler.h" |
Rafael Espindola | b01c4bb | 2006-07-27 11:38:51 +0000 | [diff] [blame] | 44 | #include "llvm/Target/TargetData.h" |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 45 | #include "llvm/Target/TargetMachine.h" |
Evan Cheng | 5be54b0 | 2007-01-19 19:25:36 +0000 | [diff] [blame] | 46 | #include "llvm/Target/TargetOptions.h" |
Daniel Dunbar | 51b198a | 2009-07-15 20:24:03 +0000 | [diff] [blame] | 47 | #include "llvm/Target/TargetRegistry.h" |
Evan Cheng | c324ecb | 2009-07-24 18:19:46 +0000 | [diff] [blame] | 48 | #include "llvm/ADT/SmallPtrSet.h" |
Jim Grosbach | c40d9f9 | 2009-09-01 18:49:12 +0000 | [diff] [blame] | 49 | #include "llvm/ADT/SmallString.h" |
Bob Wilson | 54c78ef | 2009-11-06 23:33:28 +0000 | [diff] [blame] | 50 | #include "llvm/ADT/StringExtras.h" |
Chris Lattner | 97f0693 | 2009-10-19 20:20:46 +0000 | [diff] [blame] | 51 | #include "llvm/Support/CommandLine.h" |
Devang Patel | 59135f4 | 2010-08-04 22:39:39 +0000 | [diff] [blame] | 52 | #include "llvm/Support/Debug.h" |
Torok Edwin | 3046470 | 2009-07-08 20:55:50 +0000 | [diff] [blame] | 53 | #include "llvm/Support/ErrorHandling.h" |
Chris Lattner | b23569a | 2010-04-04 08:18:47 +0000 | [diff] [blame] | 54 | #include "llvm/Support/raw_ostream.h" |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 55 | #include <cctype> |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 56 | using namespace llvm; |
| 57 | |
Jim Grosbach | 9172900 | 2010-07-21 23:03:52 +0000 | [diff] [blame] | 58 | namespace llvm { |
| 59 | namespace ARM { |
| 60 | enum DW_ISA { |
| 61 | DW_ISA_ARM_thumb = 1, |
| 62 | DW_ISA_ARM_arm = 2 |
| 63 | }; |
| 64 | } |
| 65 | } |
| 66 | |
Chris Lattner | 95b2c7d | 2006-12-19 22:59:26 +0000 | [diff] [blame] | 67 | namespace { |
Rafael Espindola | cecbc3d | 2010-10-25 17:50:35 +0000 | [diff] [blame^] | 68 | |
| 69 | // Per section and per symbol attributes are not supported. |
| 70 | // To implement them we would need the ability to delay this emission |
| 71 | // until the assembly file is fully parsed/generated as only then do we |
| 72 | // know the symbol and section numbers. |
| 73 | class AttributeEmitter { |
| 74 | public: |
| 75 | virtual void MaybeSwitchVendor(StringRef Vendor) = 0; |
| 76 | virtual void EmitAttribute(unsigned Attribute, unsigned Value) = 0; |
| 77 | virtual void Finish() = 0; |
| 78 | }; |
| 79 | |
| 80 | class AsmAttributeEmitter : public AttributeEmitter { |
| 81 | MCStreamer &Streamer; |
| 82 | |
| 83 | public: |
| 84 | AsmAttributeEmitter(MCStreamer &Streamer_) : Streamer(Streamer_) {} |
| 85 | void MaybeSwitchVendor(StringRef Vendor) { } |
| 86 | |
| 87 | void EmitAttribute(unsigned Attribute, unsigned Value) { |
| 88 | Streamer.EmitRawText("\t.eabi_attribute " + |
| 89 | Twine(Attribute) + ", " + Twine(Value)); |
| 90 | } |
| 91 | |
| 92 | void Finish() { } |
| 93 | }; |
| 94 | |
| 95 | class ObjectAttributeEmitter : public AttributeEmitter { |
| 96 | MCObjectStreamer &Streamer; |
| 97 | size_t SectionStart; |
| 98 | size_t TagStart; |
| 99 | StringRef CurrentVendor; |
| 100 | SmallString<64> Contents; |
| 101 | |
| 102 | public: |
| 103 | ObjectAttributeEmitter(MCObjectStreamer &Streamer_) : |
| 104 | Streamer(Streamer_), CurrentVendor("") { } |
| 105 | |
| 106 | void MaybeSwitchVendor(StringRef Vendor) { |
| 107 | assert(!Vendor.empty() && "Vendor cannot be empty."); |
| 108 | |
| 109 | if (CurrentVendor.empty()) |
| 110 | CurrentVendor = Vendor; |
| 111 | else if (CurrentVendor == Vendor) |
| 112 | return; |
| 113 | else |
| 114 | Finish(); |
| 115 | |
| 116 | CurrentVendor = Vendor; |
| 117 | |
| 118 | SectionStart = Contents.size(); |
| 119 | |
| 120 | // Length of the data for this vendor. |
| 121 | Contents.append(4, (char)0); |
| 122 | |
| 123 | Contents.append(Vendor.begin(), Vendor.end()); |
| 124 | Contents += 0; |
| 125 | |
| 126 | Contents += ARMBuildAttrs::File; |
| 127 | |
| 128 | TagStart = Contents.size(); |
| 129 | |
| 130 | // Length of the data for this tag. |
| 131 | Contents.append(4, (char)0); |
| 132 | } |
| 133 | |
| 134 | void EmitAttribute(unsigned Attribute, unsigned Value) { |
| 135 | // FIXME: should be ULEB |
| 136 | Contents += Attribute; |
| 137 | Contents += Value; |
| 138 | } |
| 139 | |
| 140 | void Finish() { |
| 141 | size_t EndPos = Contents.size(); |
| 142 | |
| 143 | // FIXME: endian. |
| 144 | *((uint32_t*)&Contents[SectionStart]) = EndPos - SectionStart; |
| 145 | |
| 146 | // +1 since it includes the tag that came before it. |
| 147 | *((uint32_t*)&Contents[TagStart]) = EndPos - TagStart + 1; |
| 148 | |
| 149 | Streamer.EmitBytes(Contents, 0); |
| 150 | } |
| 151 | }; |
| 152 | |
Chris Lattner | 4a071d6 | 2009-10-19 17:59:19 +0000 | [diff] [blame] | 153 | class ARMAsmPrinter : public AsmPrinter { |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 154 | |
| 155 | /// Subtarget - Keep a pointer to the ARMSubtarget around so that we can |
| 156 | /// make the right decision when printing asm code for different targets. |
| 157 | const ARMSubtarget *Subtarget; |
| 158 | |
| 159 | /// AFI - Keep a pointer to ARMFunctionInfo for the current |
Evan Cheng | 6d63a72 | 2008-09-18 07:27:23 +0000 | [diff] [blame] | 160 | /// MachineFunction. |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 161 | ARMFunctionInfo *AFI; |
| 162 | |
Evan Cheng | 6d63a72 | 2008-09-18 07:27:23 +0000 | [diff] [blame] | 163 | /// MCP - Keep a pointer to constantpool entries of the current |
| 164 | /// MachineFunction. |
| 165 | const MachineConstantPool *MCP; |
| 166 | |
Bill Wendling | 57f0db8 | 2009-02-24 08:30:20 +0000 | [diff] [blame] | 167 | public: |
Chris Lattner | b23569a | 2010-04-04 08:18:47 +0000 | [diff] [blame] | 168 | explicit ARMAsmPrinter(TargetMachine &TM, MCStreamer &Streamer) |
| 169 | : AsmPrinter(TM, Streamer), AFI(NULL), MCP(NULL) { |
Bill Wendling | 57f0db8 | 2009-02-24 08:30:20 +0000 | [diff] [blame] | 170 | Subtarget = &TM.getSubtarget<ARMSubtarget>(); |
| 171 | } |
| 172 | |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 173 | virtual const char *getPassName() const { |
| 174 | return "ARM Assembly Printer"; |
| 175 | } |
Jim Grosbach | b0739b7 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 176 | |
Chris Lattner | 35c33bd | 2010-04-04 04:47:45 +0000 | [diff] [blame] | 177 | void printOperand(const MachineInstr *MI, int OpNum, raw_ostream &O, |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 178 | const char *Modifier = 0); |
Bob Wilson | 54c78ef | 2009-11-06 23:33:28 +0000 | [diff] [blame] | 179 | |
Evan Cheng | 055b031 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 180 | virtual bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNum, |
Chris Lattner | c75c028 | 2010-04-04 05:29:35 +0000 | [diff] [blame] | 181 | unsigned AsmVariant, const char *ExtraCode, |
| 182 | raw_ostream &O); |
Evan Cheng | 055b031 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 183 | virtual bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNum, |
Bob Wilson | 224c244 | 2009-05-19 05:53:42 +0000 | [diff] [blame] | 184 | unsigned AsmVariant, |
Chris Lattner | c75c028 | 2010-04-04 05:29:35 +0000 | [diff] [blame] | 185 | const char *ExtraCode, raw_ostream &O); |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 186 | |
Jim Grosbach | 2317e40 | 2010-09-30 01:57:53 +0000 | [diff] [blame] | 187 | void EmitJumpTable(const MachineInstr *MI); |
| 188 | void EmitJump2Table(const MachineInstr *MI); |
Chris Lattner | a786cea | 2010-01-28 01:10:34 +0000 | [diff] [blame] | 189 | virtual void EmitInstruction(const MachineInstr *MI); |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 190 | bool runOnMachineFunction(MachineFunction &F); |
Jim Grosbach | b0739b7 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 191 | |
Chris Lattner | a240619 | 2010-01-28 00:19:24 +0000 | [diff] [blame] | 192 | virtual void EmitConstantPool() {} // we emit constant pools customly! |
Chris Lattner | 953ebb7 | 2010-01-27 23:58:11 +0000 | [diff] [blame] | 193 | virtual void EmitFunctionEntryLabel(); |
Bob Wilson | 812209a | 2009-09-30 22:06:26 +0000 | [diff] [blame] | 194 | void EmitStartOfAsmFile(Module &M); |
Chris Lattner | 4a071d6 | 2009-10-19 17:59:19 +0000 | [diff] [blame] | 195 | void EmitEndOfAsmFile(Module &M); |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 196 | |
Jason W Kim | def9ac4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 197 | private: |
| 198 | // Helpers for EmitStartOfAsmFile() and EmitEndOfAsmFile() |
| 199 | void emitAttributes(); |
Jason W Kim | def9ac4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 200 | |
Jason W Kim | 17b443d | 2010-10-11 23:01:44 +0000 | [diff] [blame] | 201 | // Helper for ELF .o only |
| 202 | void emitARMAttributeSection(); |
| 203 | |
Jason W Kim | def9ac4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 204 | public: |
Jim Grosbach | 2d0f53b | 2010-09-28 17:05:56 +0000 | [diff] [blame] | 205 | void PrintDebugValueComment(const MachineInstr *MI, raw_ostream &OS); |
| 206 | |
Devang Patel | 59135f4 | 2010-08-04 22:39:39 +0000 | [diff] [blame] | 207 | MachineLocation getDebugValueLocation(const MachineInstr *MI) const { |
| 208 | MachineLocation Location; |
| 209 | assert (MI->getNumOperands() == 4 && "Invalid no. of machine operands!"); |
| 210 | // Frame address. Currently handles register +- offset only. |
| 211 | if (MI->getOperand(0).isReg() && MI->getOperand(1).isImm()) |
| 212 | Location.set(MI->getOperand(0).getReg(), MI->getOperand(1).getImm()); |
| 213 | else { |
| 214 | DEBUG(dbgs() << "DBG_VALUE instruction ignored! " << *MI << "\n"); |
| 215 | } |
| 216 | return Location; |
| 217 | } |
| 218 | |
Jim Grosbach | 9172900 | 2010-07-21 23:03:52 +0000 | [diff] [blame] | 219 | virtual unsigned getISAEncoding() { |
| 220 | // ARM/Darwin adds ISA to the DWARF info for each function. |
| 221 | if (!Subtarget->isTargetDarwin()) |
| 222 | return 0; |
| 223 | return Subtarget->isThumb() ? |
| 224 | llvm::ARM::DW_ISA_ARM_thumb : llvm::ARM::DW_ISA_ARM_arm; |
| 225 | } |
| 226 | |
Chris Lattner | 0890cf1 | 2010-01-25 19:51:38 +0000 | [diff] [blame] | 227 | MCSymbol *GetARMSetPICJumpTableLabel2(unsigned uid, unsigned uid2, |
| 228 | const MachineBasicBlock *MBB) const; |
| 229 | MCSymbol *GetARMJTIPICJumpTableLabel2(unsigned uid, unsigned uid2) const; |
Chris Lattner | bfcb096 | 2010-01-25 19:39:52 +0000 | [diff] [blame] | 230 | |
Jim Grosbach | 433a578 | 2010-09-24 20:47:58 +0000 | [diff] [blame] | 231 | MCSymbol *GetARMSJLJEHLabel(void) const; |
| 232 | |
Evan Cheng | 711b6dc | 2008-08-08 06:56:16 +0000 | [diff] [blame] | 233 | /// EmitMachineConstantPoolValue - Print a machine constantpool value to |
| 234 | /// the .s file. |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 235 | virtual void EmitMachineConstantPoolValue(MachineConstantPoolValue *MCPV) { |
Chris Lattner | 9d7efd3 | 2010-04-04 07:05:53 +0000 | [diff] [blame] | 236 | SmallString<128> Str; |
| 237 | raw_svector_ostream OS(Str); |
| 238 | EmitMachineConstantPoolValue(MCPV, OS); |
| 239 | OutStreamer.EmitRawText(OS.str()); |
| 240 | } |
Jim Grosbach | b0739b7 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 241 | |
Chris Lattner | 9d7efd3 | 2010-04-04 07:05:53 +0000 | [diff] [blame] | 242 | void EmitMachineConstantPoolValue(MachineConstantPoolValue *MCPV, |
| 243 | raw_ostream &O) { |
Chris Lattner | ea3cb40 | 2010-01-20 07:33:29 +0000 | [diff] [blame] | 244 | switch (TM.getTargetData()->getTypeAllocSize(MCPV->getType())) { |
| 245 | case 1: O << MAI->getData8bitsDirective(0); break; |
| 246 | case 2: O << MAI->getData16bitsDirective(0); break; |
| 247 | case 4: O << MAI->getData32bitsDirective(0); break; |
| 248 | default: assert(0 && "Unknown CPV size"); |
| 249 | } |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 250 | |
Evan Cheng | 711b6dc | 2008-08-08 06:56:16 +0000 | [diff] [blame] | 251 | ARMConstantPoolValue *ACPV = static_cast<ARMConstantPoolValue*>(MCPV); |
Jim Grosbach | 3fb2b1e | 2009-09-01 01:57:56 +0000 | [diff] [blame] | 252 | |
| 253 | if (ACPV->isLSDA()) { |
Chris Lattner | 9d7efd3 | 2010-04-04 07:05:53 +0000 | [diff] [blame] | 254 | O << MAI->getPrivateGlobalPrefix() << "_LSDA_" << getFunctionNumber(); |
Bob Wilson | 28989a8 | 2009-11-02 16:59:06 +0000 | [diff] [blame] | 255 | } else if (ACPV->isBlockAddress()) { |
Chris Lattner | 0752cda | 2010-04-05 16:32:14 +0000 | [diff] [blame] | 256 | O << *GetBlockAddressSymbol(ACPV->getBlockAddress()); |
Bob Wilson | 28989a8 | 2009-11-02 16:59:06 +0000 | [diff] [blame] | 257 | } else if (ACPV->isGlobalValue()) { |
Dan Gohman | 46510a7 | 2010-04-15 01:51:59 +0000 | [diff] [blame] | 258 | const GlobalValue *GV = ACPV->getGV(); |
Evan Cheng | e4e4ed3 | 2009-08-28 23:18:09 +0000 | [diff] [blame] | 259 | bool isIndirect = Subtarget->isTargetDarwin() && |
Evan Cheng | 63476a8 | 2009-09-03 07:04:02 +0000 | [diff] [blame] | 260 | Subtarget->GVIsIndirectSymbol(GV, TM.getRelocationModel()); |
Evan Cheng | e4e4ed3 | 2009-08-28 23:18:09 +0000 | [diff] [blame] | 261 | if (!isIndirect) |
Chris Lattner | d62f1b4 | 2010-03-12 21:19:23 +0000 | [diff] [blame] | 262 | O << *Mang->getSymbol(GV); |
Evan Cheng | e4e4ed3 | 2009-08-28 23:18:09 +0000 | [diff] [blame] | 263 | else { |
| 264 | // FIXME: Remove this when Darwin transition to @GOT like syntax. |
Chris Lattner | 7a2ba94 | 2010-01-16 18:37:32 +0000 | [diff] [blame] | 265 | MCSymbol *Sym = GetSymbolWithGlobalValueBase(GV, "$non_lazy_ptr"); |
Chris Lattner | 10b318b | 2010-01-17 21:43:43 +0000 | [diff] [blame] | 266 | O << *Sym; |
Jim Grosbach | b0739b7 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 267 | |
Chris Lattner | b8f64a7 | 2009-10-19 18:49:14 +0000 | [diff] [blame] | 268 | MachineModuleInfoMachO &MMIMachO = |
| 269 | MMI->getObjFileInfo<MachineModuleInfoMachO>(); |
Bill Wendling | cebae36 | 2010-03-10 22:34:10 +0000 | [diff] [blame] | 270 | MachineModuleInfoImpl::StubValueTy &StubSym = |
Chris Lattner | b8f64a7 | 2009-10-19 18:49:14 +0000 | [diff] [blame] | 271 | GV->hasHiddenVisibility() ? MMIMachO.getHiddenGVStubEntry(Sym) : |
| 272 | MMIMachO.getGVStubEntry(Sym); |
Bill Wendling | cebae36 | 2010-03-10 22:34:10 +0000 | [diff] [blame] | 273 | if (StubSym.getPointer() == 0) |
| 274 | StubSym = MachineModuleInfoImpl:: |
Chris Lattner | d62f1b4 | 2010-03-12 21:19:23 +0000 | [diff] [blame] | 275 | StubValueTy(Mang->getSymbol(GV), !GV->hasInternalLinkage()); |
Evan Cheng | e4e4ed3 | 2009-08-28 23:18:09 +0000 | [diff] [blame] | 276 | } |
Bob Wilson | 28989a8 | 2009-11-02 16:59:06 +0000 | [diff] [blame] | 277 | } else { |
| 278 | assert(ACPV->isExtSymbol() && "unrecognized constant pool value"); |
Chris Lattner | 10b318b | 2010-01-17 21:43:43 +0000 | [diff] [blame] | 279 | O << *GetExternalSymbolSymbol(ACPV->getSymbol()); |
Bob Wilson | 28989a8 | 2009-11-02 16:59:06 +0000 | [diff] [blame] | 280 | } |
Jim Grosbach | e995221 | 2009-09-04 01:38:51 +0000 | [diff] [blame] | 281 | |
Lauro Ramos Venancio | 0ae4a33 | 2007-04-22 00:04:12 +0000 | [diff] [blame] | 282 | if (ACPV->hasModifier()) O << "(" << ACPV->getModifier() << ")"; |
Lauro Ramos Venancio | 64f4fa5 | 2007-04-27 13:54:47 +0000 | [diff] [blame] | 283 | if (ACPV->getPCAdjustment() != 0) { |
Chris Lattner | 33adcfb | 2009-08-22 21:43:10 +0000 | [diff] [blame] | 284 | O << "-(" << MAI->getPrivateGlobalPrefix() << "PC" |
Evan Cheng | e7e0d62 | 2009-11-06 22:24:13 +0000 | [diff] [blame] | 285 | << getFunctionNumber() << "_" << ACPV->getLabelId() |
Lauro Ramos Venancio | 64f4fa5 | 2007-04-27 13:54:47 +0000 | [diff] [blame] | 286 | << "+" << (unsigned)ACPV->getPCAdjustment(); |
| 287 | if (ACPV->mustAddCurrentAddress()) |
| 288 | O << "-."; |
Chris Lattner | 8b37875 | 2010-01-15 23:26:49 +0000 | [diff] [blame] | 289 | O << ')'; |
Lauro Ramos Venancio | 64f4fa5 | 2007-04-27 13:54:47 +0000 | [diff] [blame] | 290 | } |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 291 | } |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 292 | }; |
| 293 | } // end of anonymous namespace |
| 294 | |
Chris Lattner | 953ebb7 | 2010-01-27 23:58:11 +0000 | [diff] [blame] | 295 | void ARMAsmPrinter::EmitFunctionEntryLabel() { |
| 296 | if (AFI->isThumbFunction()) { |
Chris Lattner | 9d7efd3 | 2010-04-04 07:05:53 +0000 | [diff] [blame] | 297 | OutStreamer.EmitRawText(StringRef("\t.code\t16")); |
Chris Lattner | 0752cda | 2010-04-05 16:32:14 +0000 | [diff] [blame] | 298 | if (!Subtarget->isTargetDarwin()) |
Chris Lattner | 9d7efd3 | 2010-04-04 07:05:53 +0000 | [diff] [blame] | 299 | OutStreamer.EmitRawText(StringRef("\t.thumb_func")); |
Chris Lattner | 0752cda | 2010-04-05 16:32:14 +0000 | [diff] [blame] | 300 | else { |
| 301 | // This needs to emit to a temporary string to get properly quoted |
| 302 | // MCSymbols when they have spaces in them. |
| 303 | SmallString<128> Tmp; |
| 304 | raw_svector_ostream OS(Tmp); |
| 305 | OS << "\t.thumb_func\t" << *CurrentFnSym; |
| 306 | OutStreamer.EmitRawText(OS.str()); |
| 307 | } |
Chris Lattner | 953ebb7 | 2010-01-27 23:58:11 +0000 | [diff] [blame] | 308 | } |
Jim Grosbach | b0739b7 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 309 | |
Chris Lattner | 953ebb7 | 2010-01-27 23:58:11 +0000 | [diff] [blame] | 310 | OutStreamer.EmitLabel(CurrentFnSym); |
| 311 | } |
| 312 | |
Jim Grosbach | 2317e40 | 2010-09-30 01:57:53 +0000 | [diff] [blame] | 313 | /// runOnMachineFunction - This uses the EmitInstruction() |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 314 | /// method to print assembly for each instruction. |
| 315 | /// |
| 316 | bool ARMAsmPrinter::runOnMachineFunction(MachineFunction &MF) { |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 317 | AFI = MF.getInfo<ARMFunctionInfo>(); |
Evan Cheng | 6d63a72 | 2008-09-18 07:27:23 +0000 | [diff] [blame] | 318 | MCP = MF.getConstantPool(); |
Rafael Espindola | 4b442b5 | 2006-05-23 02:48:20 +0000 | [diff] [blame] | 319 | |
Chris Lattner | d49fe1b | 2010-01-28 01:28:58 +0000 | [diff] [blame] | 320 | return AsmPrinter::runOnMachineFunction(MF); |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 321 | } |
| 322 | |
Evan Cheng | 055b031 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 323 | void ARMAsmPrinter::printOperand(const MachineInstr *MI, int OpNum, |
Chris Lattner | 35c33bd | 2010-04-04 04:47:45 +0000 | [diff] [blame] | 324 | raw_ostream &O, const char *Modifier) { |
Evan Cheng | 055b031 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 325 | const MachineOperand &MO = MI->getOperand(OpNum); |
Anton Korobeynikov | 5cdc3a9 | 2009-11-24 00:44:37 +0000 | [diff] [blame] | 326 | unsigned TF = MO.getTargetFlags(); |
| 327 | |
Rafael Espindola | 2f99b6b | 2006-05-25 12:57:06 +0000 | [diff] [blame] | 328 | switch (MO.getType()) { |
Chris Lattner | 8bc86cb | 2009-10-19 20:59:55 +0000 | [diff] [blame] | 329 | default: |
| 330 | assert(0 && "<unknown operand type>"); |
Bob Wilson | 5bafff3 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 331 | case MachineOperand::MO_Register: { |
| 332 | unsigned Reg = MO.getReg(); |
Chris Lattner | 8bc86cb | 2009-10-19 20:59:55 +0000 | [diff] [blame] | 333 | assert(TargetRegisterInfo::isPhysicalRegister(Reg)); |
Jim Grosbach | 3563628 | 2010-10-06 21:22:32 +0000 | [diff] [blame] | 334 | assert(!MO.getSubReg() && "Subregs should be eliminated!"); |
| 335 | O << ARMInstPrinter::getRegisterName(Reg); |
Rafael Espindola | 2f99b6b | 2006-05-25 12:57:06 +0000 | [diff] [blame] | 336 | break; |
Bob Wilson | 5bafff3 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 337 | } |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 338 | case MachineOperand::MO_Immediate: { |
Evan Cheng | 5adb66a | 2009-09-28 09:14:39 +0000 | [diff] [blame] | 339 | int64_t Imm = MO.getImm(); |
Anton Korobeynikov | 632606c | 2009-10-08 20:43:22 +0000 | [diff] [blame] | 340 | O << '#'; |
Anton Korobeynikov | 5cdc3a9 | 2009-11-24 00:44:37 +0000 | [diff] [blame] | 341 | if ((Modifier && strcmp(Modifier, "lo16") == 0) || |
Jim Grosbach | 4dea941 | 2010-10-06 16:51:55 +0000 | [diff] [blame] | 342 | (TF == ARMII::MO_LO16)) |
Anton Korobeynikov | 5cdc3a9 | 2009-11-24 00:44:37 +0000 | [diff] [blame] | 343 | O << ":lower16:"; |
| 344 | else if ((Modifier && strcmp(Modifier, "hi16") == 0) || |
Jim Grosbach | 4dea941 | 2010-10-06 16:51:55 +0000 | [diff] [blame] | 345 | (TF == ARMII::MO_HI16)) |
Anton Korobeynikov | 5cdc3a9 | 2009-11-24 00:44:37 +0000 | [diff] [blame] | 346 | O << ":upper16:"; |
Anton Korobeynikov | 632606c | 2009-10-08 20:43:22 +0000 | [diff] [blame] | 347 | O << Imm; |
Rafael Espindola | 2f99b6b | 2006-05-25 12:57:06 +0000 | [diff] [blame] | 348 | break; |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 349 | } |
Rafael Espindola | 2f99b6b | 2006-05-25 12:57:06 +0000 | [diff] [blame] | 350 | case MachineOperand::MO_MachineBasicBlock: |
Chris Lattner | 1b2eb0e | 2010-03-13 21:04:28 +0000 | [diff] [blame] | 351 | O << *MO.getMBB()->getSymbol(); |
Rafael Espindola | 2f99b6b | 2006-05-25 12:57:06 +0000 | [diff] [blame] | 352 | return; |
Rafael Espindola | 84b19be | 2006-07-16 01:02:57 +0000 | [diff] [blame] | 353 | case MachineOperand::MO_GlobalAddress: { |
Dan Gohman | 46510a7 | 2010-04-15 01:51:59 +0000 | [diff] [blame] | 354 | const GlobalValue *GV = MO.getGlobal(); |
Anton Korobeynikov | 5cdc3a9 | 2009-11-24 00:44:37 +0000 | [diff] [blame] | 355 | if ((Modifier && strcmp(Modifier, "lo16") == 0) || |
| 356 | (TF & ARMII::MO_LO16)) |
| 357 | O << ":lower16:"; |
| 358 | else if ((Modifier && strcmp(Modifier, "hi16") == 0) || |
| 359 | (TF & ARMII::MO_HI16)) |
| 360 | O << ":upper16:"; |
Chris Lattner | d62f1b4 | 2010-03-12 21:19:23 +0000 | [diff] [blame] | 361 | O << *Mang->getSymbol(GV); |
Anton Korobeynikov | 7751ad9 | 2008-11-22 16:15:34 +0000 | [diff] [blame] | 362 | |
Chris Lattner | 0c08d09 | 2010-04-03 22:28:33 +0000 | [diff] [blame] | 363 | printOffset(MO.getOffset(), O); |
Jim Grosbach | 1d6111c | 2010-10-06 21:36:43 +0000 | [diff] [blame] | 364 | if (TF == ARMII::MO_PLT) |
Lauro Ramos Venancio | 0ae4a33 | 2007-04-22 00:04:12 +0000 | [diff] [blame] | 365 | O << "(PLT)"; |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 366 | break; |
Rafael Espindola | 84b19be | 2006-07-16 01:02:57 +0000 | [diff] [blame] | 367 | } |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 368 | case MachineOperand::MO_ExternalSymbol: { |
Chris Lattner | 10b318b | 2010-01-17 21:43:43 +0000 | [diff] [blame] | 369 | O << *GetExternalSymbolSymbol(MO.getSymbolName()); |
Jim Grosbach | 1d6111c | 2010-10-06 21:36:43 +0000 | [diff] [blame] | 370 | if (TF == ARMII::MO_PLT) |
Lauro Ramos Venancio | 0ae4a33 | 2007-04-22 00:04:12 +0000 | [diff] [blame] | 371 | O << "(PLT)"; |
Rafael Espindola | 2f99b6b | 2006-05-25 12:57:06 +0000 | [diff] [blame] | 372 | break; |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 373 | } |
Rafael Espindola | 2f99b6b | 2006-05-25 12:57:06 +0000 | [diff] [blame] | 374 | case MachineOperand::MO_ConstantPoolIndex: |
Chris Lattner | 1b46f43 | 2010-01-23 07:00:21 +0000 | [diff] [blame] | 375 | O << *GetCPISymbol(MO.getIndex()); |
Rafael Espindola | 2f99b6b | 2006-05-25 12:57:06 +0000 | [diff] [blame] | 376 | break; |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 377 | case MachineOperand::MO_JumpTableIndex: |
Chris Lattner | 1b46f43 | 2010-01-23 07:00:21 +0000 | [diff] [blame] | 378 | O << *GetJTISymbol(MO.getIndex()); |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 379 | break; |
Rafael Espindola | 2f99b6b | 2006-05-25 12:57:06 +0000 | [diff] [blame] | 380 | } |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 381 | } |
| 382 | |
Evan Cheng | 055b031 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 383 | //===--------------------------------------------------------------------===// |
| 384 | |
Chris Lattner | 0890cf1 | 2010-01-25 19:51:38 +0000 | [diff] [blame] | 385 | MCSymbol *ARMAsmPrinter:: |
| 386 | GetARMSetPICJumpTableLabel2(unsigned uid, unsigned uid2, |
| 387 | const MachineBasicBlock *MBB) const { |
| 388 | SmallString<60> Name; |
| 389 | raw_svector_ostream(Name) << MAI->getPrivateGlobalPrefix() |
Chris Lattner | bfcb096 | 2010-01-25 19:39:52 +0000 | [diff] [blame] | 390 | << getFunctionNumber() << '_' << uid << '_' << uid2 |
Chris Lattner | 0890cf1 | 2010-01-25 19:51:38 +0000 | [diff] [blame] | 391 | << "_set_" << MBB->getNumber(); |
Chris Lattner | 9b97a73 | 2010-03-30 18:10:53 +0000 | [diff] [blame] | 392 | return OutContext.GetOrCreateSymbol(Name.str()); |
Chris Lattner | 0890cf1 | 2010-01-25 19:51:38 +0000 | [diff] [blame] | 393 | } |
| 394 | |
| 395 | MCSymbol *ARMAsmPrinter:: |
| 396 | GetARMJTIPICJumpTableLabel2(unsigned uid, unsigned uid2) const { |
| 397 | SmallString<60> Name; |
| 398 | raw_svector_ostream(Name) << MAI->getPrivateGlobalPrefix() << "JTI" |
Chris Lattner | 281e776 | 2010-01-25 23:28:03 +0000 | [diff] [blame] | 399 | << getFunctionNumber() << '_' << uid << '_' << uid2; |
Chris Lattner | 9b97a73 | 2010-03-30 18:10:53 +0000 | [diff] [blame] | 400 | return OutContext.GetOrCreateSymbol(Name.str()); |
Chris Lattner | bfcb096 | 2010-01-25 19:39:52 +0000 | [diff] [blame] | 401 | } |
| 402 | |
Jim Grosbach | 433a578 | 2010-09-24 20:47:58 +0000 | [diff] [blame] | 403 | |
| 404 | MCSymbol *ARMAsmPrinter::GetARMSJLJEHLabel(void) const { |
| 405 | SmallString<60> Name; |
| 406 | raw_svector_ostream(Name) << MAI->getPrivateGlobalPrefix() << "SJLJEH" |
| 407 | << getFunctionNumber(); |
| 408 | return OutContext.GetOrCreateSymbol(Name.str()); |
| 409 | } |
| 410 | |
Evan Cheng | 055b031 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 411 | bool ARMAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNum, |
Chris Lattner | c75c028 | 2010-04-04 05:29:35 +0000 | [diff] [blame] | 412 | unsigned AsmVariant, const char *ExtraCode, |
| 413 | raw_ostream &O) { |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 414 | // Does this asm operand have a single letter operand modifier? |
| 415 | if (ExtraCode && ExtraCode[0]) { |
| 416 | if (ExtraCode[1] != 0) return true; // Unknown modifier. |
Anton Korobeynikov | 8e9ece7 | 2009-08-08 23:10:41 +0000 | [diff] [blame] | 417 | |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 418 | switch (ExtraCode[0]) { |
| 419 | default: return true; // Unknown modifier. |
Bob Wilson | 9b4b00a | 2009-07-09 23:54:51 +0000 | [diff] [blame] | 420 | case 'a': // Print as a memory address. |
| 421 | if (MI->getOperand(OpNum).isReg()) { |
Jim Grosbach | 2f24c4e | 2010-09-30 15:25:22 +0000 | [diff] [blame] | 422 | O << "[" |
| 423 | << ARMInstPrinter::getRegisterName(MI->getOperand(OpNum).getReg()) |
| 424 | << "]"; |
Bob Wilson | 9b4b00a | 2009-07-09 23:54:51 +0000 | [diff] [blame] | 425 | return false; |
| 426 | } |
| 427 | // Fallthrough |
| 428 | case 'c': // Don't print "#" before an immediate operand. |
Bob Wilson | 4f38b38 | 2009-08-21 21:58:55 +0000 | [diff] [blame] | 429 | if (!MI->getOperand(OpNum).isImm()) |
| 430 | return true; |
Jim Grosbach | 2317e40 | 2010-09-30 01:57:53 +0000 | [diff] [blame] | 431 | O << MI->getOperand(OpNum).getImm(); |
Bob Wilson | 8f34346 | 2009-04-06 21:46:51 +0000 | [diff] [blame] | 432 | return false; |
Evan Cheng | e21e396 | 2007-04-04 00:13:29 +0000 | [diff] [blame] | 433 | case 'P': // Print a VFP double precision register. |
Evan Cheng | d831cda | 2009-12-08 23:06:22 +0000 | [diff] [blame] | 434 | case 'q': // Print a NEON quad precision register. |
Chris Lattner | 35c33bd | 2010-04-04 04:47:45 +0000 | [diff] [blame] | 435 | printOperand(MI, OpNum, O); |
Evan Cheng | 23a9570 | 2007-03-08 22:42:46 +0000 | [diff] [blame] | 436 | return false; |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 437 | case 'Q': |
Bob Wilson | d984eb6 | 2010-05-27 20:23:42 +0000 | [diff] [blame] | 438 | case 'R': |
Bob Wilson | d984eb6 | 2010-05-27 20:23:42 +0000 | [diff] [blame] | 439 | case 'H': |
Evan Cheng | 1261672 | 2010-05-27 23:45:31 +0000 | [diff] [blame] | 440 | report_fatal_error("llvm does not support 'Q', 'R', and 'H' modifiers!"); |
Bob Wilson | d984eb6 | 2010-05-27 20:23:42 +0000 | [diff] [blame] | 441 | return true; |
Evan Cheng | 84f60b7 | 2010-05-27 22:08:38 +0000 | [diff] [blame] | 442 | } |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 443 | } |
Jim Grosbach | e995221 | 2009-09-04 01:38:51 +0000 | [diff] [blame] | 444 | |
Chris Lattner | 35c33bd | 2010-04-04 04:47:45 +0000 | [diff] [blame] | 445 | printOperand(MI, OpNum, O); |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 446 | return false; |
| 447 | } |
| 448 | |
Bob Wilson | 224c244 | 2009-05-19 05:53:42 +0000 | [diff] [blame] | 449 | bool ARMAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI, |
Evan Cheng | 055b031 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 450 | unsigned OpNum, unsigned AsmVariant, |
Chris Lattner | c75c028 | 2010-04-04 05:29:35 +0000 | [diff] [blame] | 451 | const char *ExtraCode, |
| 452 | raw_ostream &O) { |
Bob Wilson | 224c244 | 2009-05-19 05:53:42 +0000 | [diff] [blame] | 453 | if (ExtraCode && ExtraCode[0]) |
| 454 | return true; // Unknown modifier. |
Bob Wilson | 765cc0b | 2009-10-13 20:50:28 +0000 | [diff] [blame] | 455 | |
| 456 | const MachineOperand &MO = MI->getOperand(OpNum); |
| 457 | assert(MO.isReg() && "unexpected inline asm memory operand"); |
Jim Grosbach | 2317e40 | 2010-09-30 01:57:53 +0000 | [diff] [blame] | 458 | O << "[" << ARMInstPrinter::getRegisterName(MO.getReg()) << "]"; |
Bob Wilson | 224c244 | 2009-05-19 05:53:42 +0000 | [diff] [blame] | 459 | return false; |
| 460 | } |
| 461 | |
Bob Wilson | 812209a | 2009-09-30 22:06:26 +0000 | [diff] [blame] | 462 | void ARMAsmPrinter::EmitStartOfAsmFile(Module &M) { |
Bob Wilson | 0fb3468 | 2009-09-30 00:23:42 +0000 | [diff] [blame] | 463 | if (Subtarget->isTargetDarwin()) { |
| 464 | Reloc::Model RelocM = TM.getRelocationModel(); |
| 465 | if (RelocM == Reloc::PIC_ || RelocM == Reloc::DynamicNoPIC) { |
| 466 | // Declare all the text sections up front (before the DWARF sections |
| 467 | // emitted by AsmPrinter::doInitialization) so the assembler will keep |
| 468 | // them together at the beginning of the object file. This helps |
| 469 | // avoid out-of-range branches that are due a fundamental limitation of |
| 470 | // the way symbol offsets are encoded with the current Darwin ARM |
| 471 | // relocations. |
Jim Grosbach | b0739b7 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 472 | const TargetLoweringObjectFileMachO &TLOFMacho = |
Dan Gohman | 0d805c3 | 2010-04-17 16:44:48 +0000 | [diff] [blame] | 473 | static_cast<const TargetLoweringObjectFileMachO &>( |
| 474 | getObjFileLowering()); |
Bob Wilson | 29e0669 | 2009-09-30 22:25:37 +0000 | [diff] [blame] | 475 | OutStreamer.SwitchSection(TLOFMacho.getTextSection()); |
| 476 | OutStreamer.SwitchSection(TLOFMacho.getTextCoalSection()); |
| 477 | OutStreamer.SwitchSection(TLOFMacho.getConstTextCoalSection()); |
| 478 | if (RelocM == Reloc::DynamicNoPIC) { |
| 479 | const MCSection *sect = |
Chris Lattner | 2277221 | 2010-04-08 20:40:11 +0000 | [diff] [blame] | 480 | OutContext.getMachOSection("__TEXT", "__symbol_stub4", |
| 481 | MCSectionMachO::S_SYMBOL_STUBS, |
| 482 | 12, SectionKind::getText()); |
Bob Wilson | 29e0669 | 2009-09-30 22:25:37 +0000 | [diff] [blame] | 483 | OutStreamer.SwitchSection(sect); |
| 484 | } else { |
| 485 | const MCSection *sect = |
Chris Lattner | 2277221 | 2010-04-08 20:40:11 +0000 | [diff] [blame] | 486 | OutContext.getMachOSection("__TEXT", "__picsymbolstub4", |
| 487 | MCSectionMachO::S_SYMBOL_STUBS, |
| 488 | 16, SectionKind::getText()); |
Bob Wilson | 29e0669 | 2009-09-30 22:25:37 +0000 | [diff] [blame] | 489 | OutStreamer.SwitchSection(sect); |
| 490 | } |
Bob Wilson | 63db594 | 2010-07-30 19:55:47 +0000 | [diff] [blame] | 491 | const MCSection *StaticInitSect = |
| 492 | OutContext.getMachOSection("__TEXT", "__StaticInit", |
| 493 | MCSectionMachO::S_REGULAR | |
| 494 | MCSectionMachO::S_ATTR_PURE_INSTRUCTIONS, |
| 495 | SectionKind::getText()); |
| 496 | OutStreamer.SwitchSection(StaticInitSect); |
Bob Wilson | 0fb3468 | 2009-09-30 00:23:42 +0000 | [diff] [blame] | 497 | } |
| 498 | } |
| 499 | |
Jim Grosbach | e516549 | 2009-11-09 00:11:35 +0000 | [diff] [blame] | 500 | // Use unified assembler syntax. |
Jason W Kim | afd1cc2 | 2010-09-30 02:45:56 +0000 | [diff] [blame] | 501 | OutStreamer.EmitAssemblerFlag(MCAF_SyntaxUnified); |
Anton Korobeynikov | d61eca5 | 2009-06-17 23:43:18 +0000 | [diff] [blame] | 502 | |
Anton Korobeynikov | 88ce667 | 2009-05-23 19:51:20 +0000 | [diff] [blame] | 503 | // Emit ARM Build Attributes |
| 504 | if (Subtarget->isTargetELF()) { |
Anton Korobeynikov | 88ce667 | 2009-05-23 19:51:20 +0000 | [diff] [blame] | 505 | |
Jason W Kim | def9ac4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 506 | emitAttributes(); |
Anton Korobeynikov | 88ce667 | 2009-05-23 19:51:20 +0000 | [diff] [blame] | 507 | } |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 508 | } |
| 509 | |
Anton Korobeynikov | 0f3cc65 | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 510 | |
Chris Lattner | 4a071d6 | 2009-10-19 17:59:19 +0000 | [diff] [blame] | 511 | void ARMAsmPrinter::EmitEndOfAsmFile(Module &M) { |
Evan Cheng | 5be54b0 | 2007-01-19 19:25:36 +0000 | [diff] [blame] | 512 | if (Subtarget->isTargetDarwin()) { |
Chris Lattner | f61159b | 2009-08-03 22:18:15 +0000 | [diff] [blame] | 513 | // All darwin targets use mach-o. |
Dan Gohman | 0d805c3 | 2010-04-17 16:44:48 +0000 | [diff] [blame] | 514 | const TargetLoweringObjectFileMachO &TLOFMacho = |
| 515 | static_cast<const TargetLoweringObjectFileMachO &>(getObjFileLowering()); |
Chris Lattner | b0f294c | 2009-10-19 18:38:33 +0000 | [diff] [blame] | 516 | MachineModuleInfoMachO &MMIMacho = |
| 517 | MMI->getObjFileInfo<MachineModuleInfoMachO>(); |
Jim Grosbach | e995221 | 2009-09-04 01:38:51 +0000 | [diff] [blame] | 518 | |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 519 | // Output non-lazy-pointers for external and common global variables. |
Chris Lattner | b0f294c | 2009-10-19 18:38:33 +0000 | [diff] [blame] | 520 | MachineModuleInfoMachO::SymbolListTy Stubs = MMIMacho.GetGVStubList(); |
Bill Wendling | cebae36 | 2010-03-10 22:34:10 +0000 | [diff] [blame] | 521 | |
Chris Lattner | b0f294c | 2009-10-19 18:38:33 +0000 | [diff] [blame] | 522 | if (!Stubs.empty()) { |
Chris Lattner | ff4bc46 | 2009-08-10 01:39:42 +0000 | [diff] [blame] | 523 | // Switch with ".non_lazy_symbol_pointer" directive. |
Chris Lattner | 6c2f9e1 | 2009-08-19 05:49:37 +0000 | [diff] [blame] | 524 | OutStreamer.SwitchSection(TLOFMacho.getNonLazySymbolPointerSection()); |
Chris Lattner | c076a97 | 2009-08-10 18:01:34 +0000 | [diff] [blame] | 525 | EmitAlignment(2); |
Chris Lattner | b0f294c | 2009-10-19 18:38:33 +0000 | [diff] [blame] | 526 | for (unsigned i = 0, e = Stubs.size(); i != e; ++i) { |
Bill Wendling | becd83e | 2010-03-09 00:40:17 +0000 | [diff] [blame] | 527 | // L_foo$stub: |
| 528 | OutStreamer.EmitLabel(Stubs[i].first); |
| 529 | // .indirect_symbol _foo |
Bill Wendling | 52a50e5 | 2010-03-11 01:18:13 +0000 | [diff] [blame] | 530 | MachineModuleInfoImpl::StubValueTy &MCSym = Stubs[i].second; |
| 531 | OutStreamer.EmitSymbolAttribute(MCSym.getPointer(),MCSA_IndirectSymbol); |
Bill Wendling | cf6f28d | 2010-03-09 00:43:34 +0000 | [diff] [blame] | 532 | |
Bill Wendling | 52a50e5 | 2010-03-11 01:18:13 +0000 | [diff] [blame] | 533 | if (MCSym.getInt()) |
Bill Wendling | cf6f28d | 2010-03-09 00:43:34 +0000 | [diff] [blame] | 534 | // External to current translation unit. |
| 535 | OutStreamer.EmitIntValue(0, 4/*size*/, 0/*addrspace*/); |
| 536 | else |
| 537 | // Internal to current translation unit. |
Bill Wendling | 5e1b55d | 2010-03-31 18:47:10 +0000 | [diff] [blame] | 538 | // |
Jim Grosbach | 1b935a3 | 2010-09-22 16:45:13 +0000 | [diff] [blame] | 539 | // When we place the LSDA into the TEXT section, the type info |
| 540 | // pointers need to be indirect and pc-rel. We accomplish this by |
| 541 | // using NLPs; however, sometimes the types are local to the file. |
| 542 | // We need to fill in the value for the NLP in those cases. |
Bill Wendling | 52a50e5 | 2010-03-11 01:18:13 +0000 | [diff] [blame] | 543 | OutStreamer.EmitValue(MCSymbolRefExpr::Create(MCSym.getPointer(), |
| 544 | OutContext), |
Bill Wendling | cf6f28d | 2010-03-09 00:43:34 +0000 | [diff] [blame] | 545 | 4/*size*/, 0/*addrspace*/); |
Evan Cheng | ae94e59 | 2008-12-05 01:06:39 +0000 | [diff] [blame] | 546 | } |
Bill Wendling | becd83e | 2010-03-09 00:40:17 +0000 | [diff] [blame] | 547 | |
| 548 | Stubs.clear(); |
| 549 | OutStreamer.AddBlankLine(); |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 550 | } |
| 551 | |
Chris Lattner | e4d9ea8 | 2009-10-19 18:44:38 +0000 | [diff] [blame] | 552 | Stubs = MMIMacho.GetHiddenGVStubList(); |
| 553 | if (!Stubs.empty()) { |
Chris Lattner | 6c2f9e1 | 2009-08-19 05:49:37 +0000 | [diff] [blame] | 554 | OutStreamer.SwitchSection(getObjFileLowering().getDataSection()); |
Chris Lattner | f3231de | 2009-08-10 18:02:16 +0000 | [diff] [blame] | 555 | EmitAlignment(2); |
Bill Wendling | becd83e | 2010-03-09 00:40:17 +0000 | [diff] [blame] | 556 | for (unsigned i = 0, e = Stubs.size(); i != e; ++i) { |
| 557 | // L_foo$stub: |
| 558 | OutStreamer.EmitLabel(Stubs[i].first); |
| 559 | // .long _foo |
Bill Wendling | cebae36 | 2010-03-10 22:34:10 +0000 | [diff] [blame] | 560 | OutStreamer.EmitValue(MCSymbolRefExpr:: |
| 561 | Create(Stubs[i].second.getPointer(), |
| 562 | OutContext), |
Bill Wendling | becd83e | 2010-03-09 00:40:17 +0000 | [diff] [blame] | 563 | 4/*size*/, 0/*addrspace*/); |
| 564 | } |
Bill Wendling | cf6f28d | 2010-03-09 00:43:34 +0000 | [diff] [blame] | 565 | |
| 566 | Stubs.clear(); |
| 567 | OutStreamer.AddBlankLine(); |
Evan Cheng | ae94e59 | 2008-12-05 01:06:39 +0000 | [diff] [blame] | 568 | } |
| 569 | |
Evan Cheng | a8e2989 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 570 | // Funny Darwin hack: This flag tells the linker that no global symbols |
| 571 | // contain code that falls through to other global symbols (e.g. the obvious |
| 572 | // implementation of multiple entry points). If this doesn't occur, the |
| 573 | // linker can safely perform dead code stripping. Since LLVM never |
| 574 | // generates code that does this, it is always safe to set. |
Chris Lattner | a5ad93a | 2010-01-23 06:39:22 +0000 | [diff] [blame] | 575 | OutStreamer.EmitAssemblerFlag(MCAF_SubsectionsViaSymbols); |
Rafael Espindola | b01c4bb | 2006-07-27 11:38:51 +0000 | [diff] [blame] | 576 | } |
Rafael Espindola | 7bc59bc | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 577 | } |
Anton Korobeynikov | 0bd8971 | 2008-08-17 13:55:10 +0000 | [diff] [blame] | 578 | |
Chris Lattner | 97f0693 | 2009-10-19 20:20:46 +0000 | [diff] [blame] | 579 | //===----------------------------------------------------------------------===// |
Jason W Kim | def9ac4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 580 | // Helper routines for EmitStartOfAsmFile() and EmitEndOfAsmFile() |
| 581 | // FIXME: |
| 582 | // The following seem like one-off assembler flags, but they actually need |
Jim Grosbach | fa7fb64 | 2010-10-06 22:46:47 +0000 | [diff] [blame] | 583 | // to appear in the .ARM.attributes section in ELF. |
Jason W Kim | def9ac4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 584 | // Instead of subclassing the MCELFStreamer, we do the work here. |
| 585 | |
| 586 | void ARMAsmPrinter::emitAttributes() { |
Jim Grosbach | fa7fb64 | 2010-10-06 22:46:47 +0000 | [diff] [blame] | 587 | |
Jason W Kim | 17b443d | 2010-10-11 23:01:44 +0000 | [diff] [blame] | 588 | emitARMAttributeSection(); |
| 589 | |
Rafael Espindola | cecbc3d | 2010-10-25 17:50:35 +0000 | [diff] [blame^] | 590 | AttributeEmitter *AttrEmitter; |
| 591 | if (OutStreamer.hasRawTextSupport()) |
| 592 | AttrEmitter = new AsmAttributeEmitter(OutStreamer); |
| 593 | else { |
| 594 | MCObjectStreamer &O = static_cast<MCObjectStreamer&>(OutStreamer); |
| 595 | AttrEmitter = new ObjectAttributeEmitter(O); |
| 596 | } |
| 597 | |
| 598 | AttrEmitter->MaybeSwitchVendor("aeabi"); |
| 599 | |
Jason W Kim | def9ac4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 600 | std::string CPUString = Subtarget->getCPUString(); |
Rafael Espindola | cecbc3d | 2010-10-25 17:50:35 +0000 | [diff] [blame^] | 601 | if (OutStreamer.hasRawTextSupport()) { |
| 602 | if (CPUString != "generic") |
| 603 | OutStreamer.EmitRawText(StringRef("\t.cpu ") + CPUString); |
| 604 | } else { |
| 605 | assert(CPUString == "generic" && "Unsupported .cpu attribute for ELF/.o"); |
| 606 | // FIXME: Why these defaults? |
| 607 | AttrEmitter->EmitAttribute(ARMBuildAttrs::CPU_arch, ARMBuildAttrs::v4T); |
| 608 | AttrEmitter->EmitAttribute(ARMBuildAttrs::ARM_ISA_use, 1); |
| 609 | AttrEmitter->EmitAttribute(ARMBuildAttrs::THUMB_ISA_use, 1); |
| 610 | } |
Jason W Kim | def9ac4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 611 | |
| 612 | // FIXME: Emit FPU type |
| 613 | if (Subtarget->hasVFP2()) |
Rafael Espindola | cecbc3d | 2010-10-25 17:50:35 +0000 | [diff] [blame^] | 614 | AttrEmitter->EmitAttribute(ARMBuildAttrs::VFP_arch, 2); |
Jason W Kim | def9ac4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 615 | |
| 616 | // Signal various FP modes. |
| 617 | if (!UnsafeFPMath) { |
Rafael Espindola | cecbc3d | 2010-10-25 17:50:35 +0000 | [diff] [blame^] | 618 | AttrEmitter->EmitAttribute(ARMBuildAttrs::ABI_FP_denormal, 1); |
| 619 | AttrEmitter->EmitAttribute(ARMBuildAttrs::ABI_FP_exceptions, 1); |
Jason W Kim | def9ac4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 620 | } |
| 621 | |
| 622 | if (NoInfsFPMath && NoNaNsFPMath) |
Rafael Espindola | cecbc3d | 2010-10-25 17:50:35 +0000 | [diff] [blame^] | 623 | AttrEmitter->EmitAttribute(ARMBuildAttrs::ABI_FP_number_model, 1); |
Jason W Kim | def9ac4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 624 | else |
Rafael Espindola | cecbc3d | 2010-10-25 17:50:35 +0000 | [diff] [blame^] | 625 | AttrEmitter->EmitAttribute(ARMBuildAttrs::ABI_FP_number_model, 3); |
Jason W Kim | def9ac4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 626 | |
| 627 | // 8-bytes alignment stuff. |
Rafael Espindola | cecbc3d | 2010-10-25 17:50:35 +0000 | [diff] [blame^] | 628 | AttrEmitter->EmitAttribute(ARMBuildAttrs::ABI_align8_needed, 1); |
| 629 | AttrEmitter->EmitAttribute(ARMBuildAttrs::ABI_align8_preserved, 1); |
Jason W Kim | def9ac4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 630 | |
| 631 | // Hard float. Use both S and D registers and conform to AAPCS-VFP. |
| 632 | if (Subtarget->isAAPCS_ABI() && FloatABIType == FloatABI::Hard) { |
Rafael Espindola | cecbc3d | 2010-10-25 17:50:35 +0000 | [diff] [blame^] | 633 | AttrEmitter->EmitAttribute(ARMBuildAttrs::ABI_HardFP_use, 3); |
| 634 | AttrEmitter->EmitAttribute(ARMBuildAttrs::ABI_VFP_args, 1); |
Jason W Kim | def9ac4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 635 | } |
| 636 | // FIXME: Should we signal R9 usage? |
Rafael Espindola | cecbc3d | 2010-10-25 17:50:35 +0000 | [diff] [blame^] | 637 | |
| 638 | AttrEmitter->EmitAttribute(ARMBuildAttrs::DIV_use, 1); |
| 639 | |
| 640 | AttrEmitter->Finish(); |
| 641 | delete AttrEmitter; |
Jason W Kim | def9ac4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 642 | } |
| 643 | |
Jason W Kim | 17b443d | 2010-10-11 23:01:44 +0000 | [diff] [blame] | 644 | void ARMAsmPrinter::emitARMAttributeSection() { |
| 645 | // <format-version> |
| 646 | // [ <section-length> "vendor-name" |
| 647 | // [ <file-tag> <size> <attribute>* |
| 648 | // | <section-tag> <size> <section-number>* 0 <attribute>* |
| 649 | // | <symbol-tag> <size> <symbol-number>* 0 <attribute>* |
| 650 | // ]+ |
| 651 | // ]* |
| 652 | |
| 653 | if (OutStreamer.hasRawTextSupport()) |
| 654 | return; |
| 655 | |
| 656 | const ARMElfTargetObjectFile &TLOFELF = |
| 657 | static_cast<const ARMElfTargetObjectFile &> |
| 658 | (getObjFileLowering()); |
| 659 | |
| 660 | OutStreamer.SwitchSection(TLOFELF.getAttributesSection()); |
Jason W Kim | 17b443d | 2010-10-11 23:01:44 +0000 | [diff] [blame] | 661 | |
Rafael Espindola | cecbc3d | 2010-10-25 17:50:35 +0000 | [diff] [blame^] | 662 | // Format version |
| 663 | OutStreamer.EmitIntValue(0x41, 1); |
Jason W Kim | 17b443d | 2010-10-11 23:01:44 +0000 | [diff] [blame] | 664 | } |
| 665 | |
Jason W Kim | def9ac4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 666 | //===----------------------------------------------------------------------===// |
Chris Lattner | 97f0693 | 2009-10-19 20:20:46 +0000 | [diff] [blame] | 667 | |
Jim Grosbach | 988ce09 | 2010-09-18 00:05:05 +0000 | [diff] [blame] | 668 | static MCSymbol *getPICLabel(const char *Prefix, unsigned FunctionNumber, |
| 669 | unsigned LabelId, MCContext &Ctx) { |
| 670 | |
| 671 | MCSymbol *Label = Ctx.GetOrCreateSymbol(Twine(Prefix) |
| 672 | + "PC" + Twine(FunctionNumber) + "_" + Twine(LabelId)); |
| 673 | return Label; |
| 674 | } |
| 675 | |
Jim Grosbach | a2244cb | 2010-09-22 17:39:48 +0000 | [diff] [blame] | 676 | void ARMAsmPrinter::EmitJumpTable(const MachineInstr *MI) { |
| 677 | unsigned Opcode = MI->getOpcode(); |
| 678 | int OpNum = 1; |
| 679 | if (Opcode == ARM::BR_JTadd) |
| 680 | OpNum = 2; |
| 681 | else if (Opcode == ARM::BR_JTm) |
| 682 | OpNum = 3; |
| 683 | |
| 684 | const MachineOperand &MO1 = MI->getOperand(OpNum); |
| 685 | const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id |
| 686 | unsigned JTI = MO1.getIndex(); |
| 687 | |
| 688 | // Emit a label for the jump table. |
| 689 | MCSymbol *JTISymbol = GetARMJTIPICJumpTableLabel2(JTI, MO2.getImm()); |
| 690 | OutStreamer.EmitLabel(JTISymbol); |
| 691 | |
| 692 | // Emit each entry of the table. |
| 693 | const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo(); |
| 694 | const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables(); |
| 695 | const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs; |
| 696 | |
| 697 | for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) { |
| 698 | MachineBasicBlock *MBB = JTBBs[i]; |
| 699 | // Construct an MCExpr for the entry. We want a value of the form: |
| 700 | // (BasicBlockAddr - TableBeginAddr) |
| 701 | // |
| 702 | // For example, a table with entries jumping to basic blocks BB0 and BB1 |
| 703 | // would look like: |
| 704 | // LJTI_0_0: |
| 705 | // .word (LBB0 - LJTI_0_0) |
| 706 | // .word (LBB1 - LJTI_0_0) |
| 707 | const MCExpr *Expr = MCSymbolRefExpr::Create(MBB->getSymbol(), OutContext); |
| 708 | |
| 709 | if (TM.getRelocationModel() == Reloc::PIC_) |
| 710 | Expr = MCBinaryExpr::CreateSub(Expr, MCSymbolRefExpr::Create(JTISymbol, |
| 711 | OutContext), |
| 712 | OutContext); |
| 713 | OutStreamer.EmitValue(Expr, 4); |
| 714 | } |
| 715 | } |
| 716 | |
Jim Grosbach | 882ef2b | 2010-09-21 23:28:16 +0000 | [diff] [blame] | 717 | void ARMAsmPrinter::EmitJump2Table(const MachineInstr *MI) { |
| 718 | unsigned Opcode = MI->getOpcode(); |
| 719 | int OpNum = (Opcode == ARM::t2BR_JT) ? 2 : 1; |
| 720 | const MachineOperand &MO1 = MI->getOperand(OpNum); |
| 721 | const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id |
| 722 | unsigned JTI = MO1.getIndex(); |
| 723 | |
| 724 | // Emit a label for the jump table. |
| 725 | MCSymbol *JTISymbol = GetARMJTIPICJumpTableLabel2(JTI, MO2.getImm()); |
| 726 | OutStreamer.EmitLabel(JTISymbol); |
| 727 | |
| 728 | // Emit each entry of the table. |
| 729 | const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo(); |
| 730 | const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables(); |
| 731 | const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs; |
Jim Grosbach | 205a5fa | 2010-09-22 17:15:35 +0000 | [diff] [blame] | 732 | unsigned OffsetWidth = 4; |
Jim Grosbach | 882ef2b | 2010-09-21 23:28:16 +0000 | [diff] [blame] | 733 | if (MI->getOpcode() == ARM::t2TBB) |
Jim Grosbach | 205a5fa | 2010-09-22 17:15:35 +0000 | [diff] [blame] | 734 | OffsetWidth = 1; |
Jim Grosbach | 882ef2b | 2010-09-21 23:28:16 +0000 | [diff] [blame] | 735 | else if (MI->getOpcode() == ARM::t2TBH) |
Jim Grosbach | 205a5fa | 2010-09-22 17:15:35 +0000 | [diff] [blame] | 736 | OffsetWidth = 2; |
Jim Grosbach | 882ef2b | 2010-09-21 23:28:16 +0000 | [diff] [blame] | 737 | |
| 738 | for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) { |
| 739 | MachineBasicBlock *MBB = JTBBs[i]; |
Jim Grosbach | 205a5fa | 2010-09-22 17:15:35 +0000 | [diff] [blame] | 740 | const MCExpr *MBBSymbolExpr = MCSymbolRefExpr::Create(MBB->getSymbol(), |
| 741 | OutContext); |
Jim Grosbach | 882ef2b | 2010-09-21 23:28:16 +0000 | [diff] [blame] | 742 | // If this isn't a TBB or TBH, the entries are direct branch instructions. |
Jim Grosbach | 205a5fa | 2010-09-22 17:15:35 +0000 | [diff] [blame] | 743 | if (OffsetWidth == 4) { |
Jim Grosbach | 882ef2b | 2010-09-21 23:28:16 +0000 | [diff] [blame] | 744 | MCInst BrInst; |
| 745 | BrInst.setOpcode(ARM::t2B); |
Jim Grosbach | 205a5fa | 2010-09-22 17:15:35 +0000 | [diff] [blame] | 746 | BrInst.addOperand(MCOperand::CreateExpr(MBBSymbolExpr)); |
Jim Grosbach | 882ef2b | 2010-09-21 23:28:16 +0000 | [diff] [blame] | 747 | OutStreamer.EmitInstruction(BrInst); |
| 748 | continue; |
| 749 | } |
| 750 | // Otherwise it's an offset from the dispatch instruction. Construct an |
Jim Grosbach | 205a5fa | 2010-09-22 17:15:35 +0000 | [diff] [blame] | 751 | // MCExpr for the entry. We want a value of the form: |
| 752 | // (BasicBlockAddr - TableBeginAddr) / 2 |
| 753 | // |
| 754 | // For example, a TBB table with entries jumping to basic blocks BB0 and BB1 |
| 755 | // would look like: |
| 756 | // LJTI_0_0: |
| 757 | // .byte (LBB0 - LJTI_0_0) / 2 |
| 758 | // .byte (LBB1 - LJTI_0_0) / 2 |
| 759 | const MCExpr *Expr = |
| 760 | MCBinaryExpr::CreateSub(MBBSymbolExpr, |
| 761 | MCSymbolRefExpr::Create(JTISymbol, OutContext), |
| 762 | OutContext); |
| 763 | Expr = MCBinaryExpr::CreateDiv(Expr, MCConstantExpr::Create(2, OutContext), |
| 764 | OutContext); |
| 765 | OutStreamer.EmitValue(Expr, OffsetWidth); |
Jim Grosbach | 882ef2b | 2010-09-21 23:28:16 +0000 | [diff] [blame] | 766 | } |
Jim Grosbach | 205a5fa | 2010-09-22 17:15:35 +0000 | [diff] [blame] | 767 | |
| 768 | // Make sure the instruction that follows TBB is 2-byte aligned. |
| 769 | // FIXME: Constant island pass should insert an "ALIGN" instruction instead. |
| 770 | if (MI->getOpcode() == ARM::t2TBB) |
| 771 | EmitAlignment(1); |
Jim Grosbach | 882ef2b | 2010-09-21 23:28:16 +0000 | [diff] [blame] | 772 | } |
| 773 | |
Jim Grosbach | 2d0f53b | 2010-09-28 17:05:56 +0000 | [diff] [blame] | 774 | void ARMAsmPrinter::PrintDebugValueComment(const MachineInstr *MI, |
| 775 | raw_ostream &OS) { |
| 776 | unsigned NOps = MI->getNumOperands(); |
| 777 | assert(NOps==4); |
| 778 | OS << '\t' << MAI->getCommentString() << "DEBUG_VALUE: "; |
| 779 | // cast away const; DIetc do not take const operands for some reason. |
| 780 | DIVariable V(const_cast<MDNode *>(MI->getOperand(NOps-1).getMetadata())); |
| 781 | OS << V.getName(); |
| 782 | OS << " <- "; |
| 783 | // Frame address. Currently handles register +- offset only. |
| 784 | assert(MI->getOperand(0).isReg() && MI->getOperand(1).isImm()); |
| 785 | OS << '['; printOperand(MI, 0, OS); OS << '+'; printOperand(MI, 1, OS); |
| 786 | OS << ']'; |
| 787 | OS << "+"; |
| 788 | printOperand(MI, NOps-2, OS); |
| 789 | } |
| 790 | |
Jim Grosbach | b454cda | 2010-09-29 15:23:40 +0000 | [diff] [blame] | 791 | void ARMAsmPrinter::EmitInstruction(const MachineInstr *MI) { |
Chris Lattner | 96bc217 | 2009-10-20 00:52:47 +0000 | [diff] [blame] | 792 | ARMMCInstLower MCInstLowering(OutContext, *Mang, *this); |
Chris Lattner | 97f0693 | 2009-10-19 20:20:46 +0000 | [diff] [blame] | 793 | switch (MI->getOpcode()) { |
Chris Lattner | c6b8a99 | 2009-10-20 05:58:02 +0000 | [diff] [blame] | 794 | case ARM::t2MOVi32imm: |
| 795 | assert(0 && "Should be lowered by thumb2it pass"); |
Chris Lattner | 4d15222 | 2009-10-19 22:23:04 +0000 | [diff] [blame] | 796 | default: break; |
Jim Grosbach | 2d0f53b | 2010-09-28 17:05:56 +0000 | [diff] [blame] | 797 | case ARM::DBG_VALUE: { |
| 798 | if (isVerbose() && OutStreamer.hasRawTextSupport()) { |
| 799 | SmallString<128> TmpStr; |
| 800 | raw_svector_ostream OS(TmpStr); |
| 801 | PrintDebugValueComment(MI, OS); |
| 802 | OutStreamer.EmitRawText(StringRef(OS.str())); |
| 803 | } |
| 804 | return; |
| 805 | } |
Jim Grosbach | fbd1873 | 2010-09-17 23:41:53 +0000 | [diff] [blame] | 806 | case ARM::tPICADD: { |
| 807 | // This is a pseudo op for a label + instruction sequence, which looks like: |
| 808 | // LPC0: |
| 809 | // add r0, pc |
| 810 | // This adds the address of LPC0 to r0. |
| 811 | |
| 812 | // Emit the label. |
Jim Grosbach | 988ce09 | 2010-09-18 00:05:05 +0000 | [diff] [blame] | 813 | OutStreamer.EmitLabel(getPICLabel(MAI->getPrivateGlobalPrefix(), |
| 814 | getFunctionNumber(), MI->getOperand(2).getImm(), |
| 815 | OutContext)); |
Jim Grosbach | fbd1873 | 2010-09-17 23:41:53 +0000 | [diff] [blame] | 816 | |
| 817 | // Form and emit the add. |
| 818 | MCInst AddInst; |
| 819 | AddInst.setOpcode(ARM::tADDhirr); |
| 820 | AddInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg())); |
| 821 | AddInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg())); |
| 822 | AddInst.addOperand(MCOperand::CreateReg(ARM::PC)); |
| 823 | // Add predicate operands. |
| 824 | AddInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 825 | AddInst.addOperand(MCOperand::CreateReg(0)); |
| 826 | OutStreamer.EmitInstruction(AddInst); |
| 827 | return; |
| 828 | } |
Jim Grosbach | a3fbadf | 2010-09-30 19:53:58 +0000 | [diff] [blame] | 829 | case ARM::PICADD: { |
Chris Lattner | 4d15222 | 2009-10-19 22:23:04 +0000 | [diff] [blame] | 830 | // This is a pseudo op for a label + instruction sequence, which looks like: |
| 831 | // LPC0: |
| 832 | // add r0, pc, r0 |
| 833 | // This adds the address of LPC0 to r0. |
Jim Grosbach | b0739b7 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 834 | |
Chris Lattner | 4d15222 | 2009-10-19 22:23:04 +0000 | [diff] [blame] | 835 | // Emit the label. |
Jim Grosbach | 988ce09 | 2010-09-18 00:05:05 +0000 | [diff] [blame] | 836 | OutStreamer.EmitLabel(getPICLabel(MAI->getPrivateGlobalPrefix(), |
| 837 | getFunctionNumber(), MI->getOperand(2).getImm(), |
| 838 | OutContext)); |
Jim Grosbach | b0739b7 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 839 | |
Jim Grosbach | f3f0952 | 2010-09-14 21:05:34 +0000 | [diff] [blame] | 840 | // Form and emit the add. |
Chris Lattner | 4d15222 | 2009-10-19 22:23:04 +0000 | [diff] [blame] | 841 | MCInst AddInst; |
| 842 | AddInst.setOpcode(ARM::ADDrr); |
| 843 | AddInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg())); |
| 844 | AddInst.addOperand(MCOperand::CreateReg(ARM::PC)); |
| 845 | AddInst.addOperand(MCOperand::CreateReg(MI->getOperand(1).getReg())); |
Jim Grosbach | 5b46d62 | 2010-09-14 21:28:17 +0000 | [diff] [blame] | 846 | // Add predicate operands. |
| 847 | AddInst.addOperand(MCOperand::CreateImm(MI->getOperand(3).getImm())); |
| 848 | AddInst.addOperand(MCOperand::CreateReg(MI->getOperand(4).getReg())); |
| 849 | // Add 's' bit operand (always reg0 for this) |
| 850 | AddInst.addOperand(MCOperand::CreateReg(0)); |
Chris Lattner | 850d2e2 | 2010-02-03 01:16:28 +0000 | [diff] [blame] | 851 | OutStreamer.EmitInstruction(AddInst); |
Chris Lattner | 4d15222 | 2009-10-19 22:23:04 +0000 | [diff] [blame] | 852 | return; |
| 853 | } |
Jim Grosbach | a28abbe | 2010-09-17 16:25:52 +0000 | [diff] [blame] | 854 | case ARM::PICSTR: |
| 855 | case ARM::PICSTRB: |
| 856 | case ARM::PICSTRH: |
| 857 | case ARM::PICLDR: |
| 858 | case ARM::PICLDRB: |
| 859 | case ARM::PICLDRH: |
| 860 | case ARM::PICLDRSB: |
| 861 | case ARM::PICLDRSH: { |
Jim Grosbach | b74ca9d | 2010-09-16 17:43:25 +0000 | [diff] [blame] | 862 | // This is a pseudo op for a label + instruction sequence, which looks like: |
| 863 | // LPC0: |
Jim Grosbach | a28abbe | 2010-09-17 16:25:52 +0000 | [diff] [blame] | 864 | // OP r0, [pc, r0] |
Jim Grosbach | b74ca9d | 2010-09-16 17:43:25 +0000 | [diff] [blame] | 865 | // The LCP0 label is referenced by a constant pool entry in order to get |
| 866 | // a PC-relative address at the ldr instruction. |
| 867 | |
| 868 | // Emit the label. |
Jim Grosbach | 988ce09 | 2010-09-18 00:05:05 +0000 | [diff] [blame] | 869 | OutStreamer.EmitLabel(getPICLabel(MAI->getPrivateGlobalPrefix(), |
| 870 | getFunctionNumber(), MI->getOperand(2).getImm(), |
| 871 | OutContext)); |
Jim Grosbach | b74ca9d | 2010-09-16 17:43:25 +0000 | [diff] [blame] | 872 | |
| 873 | // Form and emit the load |
Jim Grosbach | a28abbe | 2010-09-17 16:25:52 +0000 | [diff] [blame] | 874 | unsigned Opcode; |
| 875 | switch (MI->getOpcode()) { |
| 876 | default: |
| 877 | llvm_unreachable("Unexpected opcode!"); |
| 878 | case ARM::PICSTR: Opcode = ARM::STR; break; |
| 879 | case ARM::PICSTRB: Opcode = ARM::STRB; break; |
| 880 | case ARM::PICSTRH: Opcode = ARM::STRH; break; |
| 881 | case ARM::PICLDR: Opcode = ARM::LDR; break; |
| 882 | case ARM::PICLDRB: Opcode = ARM::LDRB; break; |
| 883 | case ARM::PICLDRH: Opcode = ARM::LDRH; break; |
| 884 | case ARM::PICLDRSB: Opcode = ARM::LDRSB; break; |
| 885 | case ARM::PICLDRSH: Opcode = ARM::LDRSH; break; |
| 886 | } |
| 887 | MCInst LdStInst; |
| 888 | LdStInst.setOpcode(Opcode); |
| 889 | LdStInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg())); |
| 890 | LdStInst.addOperand(MCOperand::CreateReg(ARM::PC)); |
| 891 | LdStInst.addOperand(MCOperand::CreateReg(MI->getOperand(1).getReg())); |
| 892 | LdStInst.addOperand(MCOperand::CreateImm(0)); |
Jim Grosbach | b74ca9d | 2010-09-16 17:43:25 +0000 | [diff] [blame] | 893 | // Add predicate operands. |
Jim Grosbach | a28abbe | 2010-09-17 16:25:52 +0000 | [diff] [blame] | 894 | LdStInst.addOperand(MCOperand::CreateImm(MI->getOperand(3).getImm())); |
| 895 | LdStInst.addOperand(MCOperand::CreateReg(MI->getOperand(4).getReg())); |
| 896 | OutStreamer.EmitInstruction(LdStInst); |
Jim Grosbach | b74ca9d | 2010-09-16 17:43:25 +0000 | [diff] [blame] | 897 | |
| 898 | return; |
| 899 | } |
Jim Grosbach | a3fbadf | 2010-09-30 19:53:58 +0000 | [diff] [blame] | 900 | case ARM::CONSTPOOL_ENTRY: { |
Chris Lattner | a70e644 | 2009-10-19 22:33:05 +0000 | [diff] [blame] | 901 | /// CONSTPOOL_ENTRY - This instruction represents a floating constant pool |
| 902 | /// in the function. The first operand is the ID# for this instruction, the |
| 903 | /// second is the index into the MachineConstantPool that this is, the third |
| 904 | /// is the size in bytes of this constant pool entry. |
| 905 | unsigned LabelId = (unsigned)MI->getOperand(0).getImm(); |
| 906 | unsigned CPIdx = (unsigned)MI->getOperand(1).getIndex(); |
| 907 | |
| 908 | EmitAlignment(2); |
Chris Lattner | 1b46f43 | 2010-01-23 07:00:21 +0000 | [diff] [blame] | 909 | OutStreamer.EmitLabel(GetCPISymbol(LabelId)); |
Chris Lattner | a70e644 | 2009-10-19 22:33:05 +0000 | [diff] [blame] | 910 | |
| 911 | const MachineConstantPoolEntry &MCPE = MCP->getConstants()[CPIdx]; |
| 912 | if (MCPE.isMachineConstantPoolEntry()) |
| 913 | EmitMachineConstantPoolValue(MCPE.Val.MachineCPVal); |
| 914 | else |
| 915 | EmitGlobalConstant(MCPE.Val.ConstVal); |
Jim Grosbach | b0739b7 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 916 | |
Chris Lattner | a70e644 | 2009-10-19 22:33:05 +0000 | [diff] [blame] | 917 | return; |
| 918 | } |
Jim Grosbach | a3fbadf | 2010-09-30 19:53:58 +0000 | [diff] [blame] | 919 | case ARM::MOVi2pieces: { |
| 920 | // FIXME: We'd like to remove the asm string in the .td file, but the |
Chris Lattner | 017d947 | 2009-10-20 00:40:56 +0000 | [diff] [blame] | 921 | // This is a hack that lowers as a two instruction sequence. |
| 922 | unsigned DstReg = MI->getOperand(0).getReg(); |
| 923 | unsigned ImmVal = (unsigned)MI->getOperand(1).getImm(); |
| 924 | |
| 925 | unsigned SOImmValV1 = ARM_AM::getSOImmTwoPartFirst(ImmVal); |
| 926 | unsigned SOImmValV2 = ARM_AM::getSOImmTwoPartSecond(ImmVal); |
Jim Grosbach | b0739b7 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 927 | |
Chris Lattner | 017d947 | 2009-10-20 00:40:56 +0000 | [diff] [blame] | 928 | { |
| 929 | MCInst TmpInst; |
| 930 | TmpInst.setOpcode(ARM::MOVi); |
| 931 | TmpInst.addOperand(MCOperand::CreateReg(DstReg)); |
| 932 | TmpInst.addOperand(MCOperand::CreateImm(SOImmValV1)); |
Jim Grosbach | b0739b7 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 933 | |
Chris Lattner | 017d947 | 2009-10-20 00:40:56 +0000 | [diff] [blame] | 934 | // Predicate. |
| 935 | TmpInst.addOperand(MCOperand::CreateImm(MI->getOperand(2).getImm())); |
| 936 | TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(3).getReg())); |
Chris Lattner | 233917c | 2009-10-20 00:46:11 +0000 | [diff] [blame] | 937 | |
| 938 | TmpInst.addOperand(MCOperand::CreateReg(0)); // cc_out |
Chris Lattner | 850d2e2 | 2010-02-03 01:16:28 +0000 | [diff] [blame] | 939 | OutStreamer.EmitInstruction(TmpInst); |
Chris Lattner | 017d947 | 2009-10-20 00:40:56 +0000 | [diff] [blame] | 940 | } |
| 941 | |
| 942 | { |
| 943 | MCInst TmpInst; |
| 944 | TmpInst.setOpcode(ARM::ORRri); |
| 945 | TmpInst.addOperand(MCOperand::CreateReg(DstReg)); // dstreg |
| 946 | TmpInst.addOperand(MCOperand::CreateReg(DstReg)); // inreg |
| 947 | TmpInst.addOperand(MCOperand::CreateImm(SOImmValV2)); // so_imm |
| 948 | // Predicate. |
| 949 | TmpInst.addOperand(MCOperand::CreateImm(MI->getOperand(2).getImm())); |
| 950 | TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(3).getReg())); |
Jim Grosbach | b0739b7 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 951 | |
Chris Lattner | 017d947 | 2009-10-20 00:40:56 +0000 | [diff] [blame] | 952 | TmpInst.addOperand(MCOperand::CreateReg(0)); // cc_out |
Chris Lattner | 850d2e2 | 2010-02-03 01:16:28 +0000 | [diff] [blame] | 953 | OutStreamer.EmitInstruction(TmpInst); |
Chris Lattner | 017d947 | 2009-10-20 00:40:56 +0000 | [diff] [blame] | 954 | } |
Jim Grosbach | b0739b7 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 955 | return; |
Chris Lattner | 017d947 | 2009-10-20 00:40:56 +0000 | [diff] [blame] | 956 | } |
Jim Grosbach | a3fbadf | 2010-09-30 19:53:58 +0000 | [diff] [blame] | 957 | case ARM::MOVi32imm: { |
| 958 | // FIXME: We'd like to remove the asm string in the .td file, but the |
Chris Lattner | 161dcbf | 2009-10-20 01:11:37 +0000 | [diff] [blame] | 959 | // This is a hack that lowers as a two instruction sequence. |
| 960 | unsigned DstReg = MI->getOperand(0).getReg(); |
Rafael Espindola | 18c1021 | 2010-05-12 05:16:34 +0000 | [diff] [blame] | 961 | const MachineOperand &MO = MI->getOperand(1); |
| 962 | MCOperand V1, V2; |
| 963 | if (MO.isImm()) { |
| 964 | unsigned ImmVal = (unsigned)MI->getOperand(1).getImm(); |
| 965 | V1 = MCOperand::CreateImm(ImmVal & 65535); |
| 966 | V2 = MCOperand::CreateImm(ImmVal >> 16); |
| 967 | } else if (MO.isGlobal()) { |
Jim Grosbach | c686e33 | 2010-09-17 18:25:25 +0000 | [diff] [blame] | 968 | MCSymbol *Symbol = MCInstLowering.GetGlobalAddressSymbol(MO.getGlobal()); |
Rafael Espindola | 18c1021 | 2010-05-12 05:16:34 +0000 | [diff] [blame] | 969 | const MCSymbolRefExpr *SymRef1 = |
Duncan Sands | 3472766 | 2010-07-12 08:16:59 +0000 | [diff] [blame] | 970 | MCSymbolRefExpr::Create(Symbol, |
| 971 | MCSymbolRefExpr::VK_ARM_LO16, OutContext); |
Rafael Espindola | 18c1021 | 2010-05-12 05:16:34 +0000 | [diff] [blame] | 972 | const MCSymbolRefExpr *SymRef2 = |
Duncan Sands | 3472766 | 2010-07-12 08:16:59 +0000 | [diff] [blame] | 973 | MCSymbolRefExpr::Create(Symbol, |
| 974 | MCSymbolRefExpr::VK_ARM_HI16, OutContext); |
Rafael Espindola | 18c1021 | 2010-05-12 05:16:34 +0000 | [diff] [blame] | 975 | V1 = MCOperand::CreateExpr(SymRef1); |
| 976 | V2 = MCOperand::CreateExpr(SymRef2); |
| 977 | } else { |
Jim Grosbach | f0633e4 | 2010-09-22 20:55:15 +0000 | [diff] [blame] | 978 | // FIXME: External symbol? |
Rafael Espindola | 18c1021 | 2010-05-12 05:16:34 +0000 | [diff] [blame] | 979 | MI->dump(); |
| 980 | llvm_unreachable("cannot handle this operand"); |
| 981 | } |
| 982 | |
Chris Lattner | 161dcbf | 2009-10-20 01:11:37 +0000 | [diff] [blame] | 983 | { |
| 984 | MCInst TmpInst; |
| 985 | TmpInst.setOpcode(ARM::MOVi16); |
| 986 | TmpInst.addOperand(MCOperand::CreateReg(DstReg)); // dstreg |
Rafael Espindola | 18c1021 | 2010-05-12 05:16:34 +0000 | [diff] [blame] | 987 | TmpInst.addOperand(V1); // lower16(imm) |
Jim Grosbach | b0739b7 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 988 | |
Chris Lattner | 161dcbf | 2009-10-20 01:11:37 +0000 | [diff] [blame] | 989 | // Predicate. |
| 990 | TmpInst.addOperand(MCOperand::CreateImm(MI->getOperand(2).getImm())); |
| 991 | TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(3).getReg())); |
Jim Grosbach | b0739b7 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 992 | |
Chris Lattner | 850d2e2 | 2010-02-03 01:16:28 +0000 | [diff] [blame] | 993 | OutStreamer.EmitInstruction(TmpInst); |
Chris Lattner | 161dcbf | 2009-10-20 01:11:37 +0000 | [diff] [blame] | 994 | } |
Jim Grosbach | b0739b7 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 995 | |
Chris Lattner | 161dcbf | 2009-10-20 01:11:37 +0000 | [diff] [blame] | 996 | { |
| 997 | MCInst TmpInst; |
| 998 | TmpInst.setOpcode(ARM::MOVTi16); |
| 999 | TmpInst.addOperand(MCOperand::CreateReg(DstReg)); // dstreg |
| 1000 | TmpInst.addOperand(MCOperand::CreateReg(DstReg)); // srcreg |
Rafael Espindola | 18c1021 | 2010-05-12 05:16:34 +0000 | [diff] [blame] | 1001 | TmpInst.addOperand(V2); // upper16(imm) |
Jim Grosbach | b0739b7 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 1002 | |
Chris Lattner | 161dcbf | 2009-10-20 01:11:37 +0000 | [diff] [blame] | 1003 | // Predicate. |
| 1004 | TmpInst.addOperand(MCOperand::CreateImm(MI->getOperand(2).getImm())); |
| 1005 | TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(3).getReg())); |
Jim Grosbach | b0739b7 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 1006 | |
Chris Lattner | 850d2e2 | 2010-02-03 01:16:28 +0000 | [diff] [blame] | 1007 | OutStreamer.EmitInstruction(TmpInst); |
Chris Lattner | 161dcbf | 2009-10-20 01:11:37 +0000 | [diff] [blame] | 1008 | } |
Jim Grosbach | b0739b7 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 1009 | |
Chris Lattner | 161dcbf | 2009-10-20 01:11:37 +0000 | [diff] [blame] | 1010 | return; |
| 1011 | } |
Jim Grosbach | 882ef2b | 2010-09-21 23:28:16 +0000 | [diff] [blame] | 1012 | case ARM::t2TBB: |
| 1013 | case ARM::t2TBH: |
| 1014 | case ARM::t2BR_JT: { |
| 1015 | // Lower and emit the instruction itself, then the jump table following it. |
| 1016 | MCInst TmpInst; |
| 1017 | MCInstLowering.Lower(MI, TmpInst); |
| 1018 | OutStreamer.EmitInstruction(TmpInst); |
Jim Grosbach | 882ef2b | 2010-09-21 23:28:16 +0000 | [diff] [blame] | 1019 | EmitJump2Table(MI); |
| 1020 | return; |
| 1021 | } |
| 1022 | case ARM::tBR_JTr: |
| 1023 | case ARM::BR_JTr: |
| 1024 | case ARM::BR_JTm: |
Jim Grosbach | a2244cb | 2010-09-22 17:39:48 +0000 | [diff] [blame] | 1025 | case ARM::BR_JTadd: { |
| 1026 | // Lower and emit the instruction itself, then the jump table following it. |
| 1027 | MCInst TmpInst; |
| 1028 | MCInstLowering.Lower(MI, TmpInst); |
| 1029 | OutStreamer.EmitInstruction(TmpInst); |
| 1030 | EmitJumpTable(MI); |
| 1031 | return; |
| 1032 | } |
Jim Grosbach | 2e6ae13 | 2010-09-23 18:05:37 +0000 | [diff] [blame] | 1033 | case ARM::TRAP: { |
| 1034 | // Non-Darwin binutils don't yet support the "trap" mnemonic. |
| 1035 | // FIXME: Remove this special case when they do. |
| 1036 | if (!Subtarget->isTargetDarwin()) { |
Jim Grosbach | 78890f4 | 2010-10-01 23:21:38 +0000 | [diff] [blame] | 1037 | //.long 0xe7ffdefe @ trap |
Jim Grosbach | b2dda4b | 2010-09-23 19:42:17 +0000 | [diff] [blame] | 1038 | uint32_t Val = 0xe7ffdefeUL; |
Jim Grosbach | 2e6ae13 | 2010-09-23 18:05:37 +0000 | [diff] [blame] | 1039 | OutStreamer.AddComment("trap"); |
| 1040 | OutStreamer.EmitIntValue(Val, 4); |
| 1041 | return; |
| 1042 | } |
| 1043 | break; |
| 1044 | } |
| 1045 | case ARM::tTRAP: { |
| 1046 | // Non-Darwin binutils don't yet support the "trap" mnemonic. |
| 1047 | // FIXME: Remove this special case when they do. |
| 1048 | if (!Subtarget->isTargetDarwin()) { |
Jim Grosbach | 78890f4 | 2010-10-01 23:21:38 +0000 | [diff] [blame] | 1049 | //.short 57086 @ trap |
Benjamin Kramer | c8ab9eb | 2010-09-23 18:57:26 +0000 | [diff] [blame] | 1050 | uint16_t Val = 0xdefe; |
Jim Grosbach | 2e6ae13 | 2010-09-23 18:05:37 +0000 | [diff] [blame] | 1051 | OutStreamer.AddComment("trap"); |
| 1052 | OutStreamer.EmitIntValue(Val, 2); |
| 1053 | return; |
| 1054 | } |
| 1055 | break; |
| 1056 | } |
Jim Grosbach | 433a578 | 2010-09-24 20:47:58 +0000 | [diff] [blame] | 1057 | case ARM::t2Int_eh_sjlj_setjmp: |
| 1058 | case ARM::t2Int_eh_sjlj_setjmp_nofp: |
Jim Grosbach | a3fbadf | 2010-09-30 19:53:58 +0000 | [diff] [blame] | 1059 | case ARM::tInt_eh_sjlj_setjmp: { |
Jim Grosbach | 433a578 | 2010-09-24 20:47:58 +0000 | [diff] [blame] | 1060 | // Two incoming args: GPR:$src, GPR:$val |
| 1061 | // mov $val, pc |
| 1062 | // adds $val, #7 |
| 1063 | // str $val, [$src, #4] |
| 1064 | // movs r0, #0 |
| 1065 | // b 1f |
| 1066 | // movs r0, #1 |
| 1067 | // 1: |
| 1068 | unsigned SrcReg = MI->getOperand(0).getReg(); |
| 1069 | unsigned ValReg = MI->getOperand(1).getReg(); |
| 1070 | MCSymbol *Label = GetARMSJLJEHLabel(); |
| 1071 | { |
| 1072 | MCInst TmpInst; |
| 1073 | TmpInst.setOpcode(ARM::tMOVgpr2tgpr); |
| 1074 | TmpInst.addOperand(MCOperand::CreateReg(ValReg)); |
| 1075 | TmpInst.addOperand(MCOperand::CreateReg(ARM::PC)); |
| 1076 | // 's' bit operand |
| 1077 | TmpInst.addOperand(MCOperand::CreateReg(ARM::CPSR)); |
| 1078 | OutStreamer.AddComment("eh_setjmp begin"); |
| 1079 | OutStreamer.EmitInstruction(TmpInst); |
| 1080 | } |
| 1081 | { |
| 1082 | MCInst TmpInst; |
| 1083 | TmpInst.setOpcode(ARM::tADDi3); |
| 1084 | TmpInst.addOperand(MCOperand::CreateReg(ValReg)); |
| 1085 | // 's' bit operand |
| 1086 | TmpInst.addOperand(MCOperand::CreateReg(ARM::CPSR)); |
| 1087 | TmpInst.addOperand(MCOperand::CreateReg(ValReg)); |
| 1088 | TmpInst.addOperand(MCOperand::CreateImm(7)); |
| 1089 | // Predicate. |
| 1090 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1091 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1092 | OutStreamer.EmitInstruction(TmpInst); |
| 1093 | } |
| 1094 | { |
| 1095 | MCInst TmpInst; |
| 1096 | TmpInst.setOpcode(ARM::tSTR); |
| 1097 | TmpInst.addOperand(MCOperand::CreateReg(ValReg)); |
| 1098 | TmpInst.addOperand(MCOperand::CreateReg(SrcReg)); |
| 1099 | // The offset immediate is #4. The operand value is scaled by 4 for the |
| 1100 | // tSTR instruction. |
| 1101 | TmpInst.addOperand(MCOperand::CreateImm(1)); |
| 1102 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1103 | // Predicate. |
| 1104 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1105 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1106 | OutStreamer.EmitInstruction(TmpInst); |
| 1107 | } |
| 1108 | { |
| 1109 | MCInst TmpInst; |
| 1110 | TmpInst.setOpcode(ARM::tMOVi8); |
| 1111 | TmpInst.addOperand(MCOperand::CreateReg(ARM::R0)); |
| 1112 | TmpInst.addOperand(MCOperand::CreateReg(ARM::CPSR)); |
| 1113 | TmpInst.addOperand(MCOperand::CreateImm(0)); |
| 1114 | // Predicate. |
| 1115 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1116 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1117 | OutStreamer.EmitInstruction(TmpInst); |
| 1118 | } |
| 1119 | { |
| 1120 | const MCExpr *SymbolExpr = MCSymbolRefExpr::Create(Label, OutContext); |
| 1121 | MCInst TmpInst; |
| 1122 | TmpInst.setOpcode(ARM::tB); |
| 1123 | TmpInst.addOperand(MCOperand::CreateExpr(SymbolExpr)); |
| 1124 | OutStreamer.EmitInstruction(TmpInst); |
| 1125 | } |
| 1126 | { |
| 1127 | MCInst TmpInst; |
| 1128 | TmpInst.setOpcode(ARM::tMOVi8); |
| 1129 | TmpInst.addOperand(MCOperand::CreateReg(ARM::R0)); |
| 1130 | TmpInst.addOperand(MCOperand::CreateReg(ARM::CPSR)); |
| 1131 | TmpInst.addOperand(MCOperand::CreateImm(1)); |
| 1132 | // Predicate. |
| 1133 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1134 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1135 | OutStreamer.AddComment("eh_setjmp end"); |
| 1136 | OutStreamer.EmitInstruction(TmpInst); |
| 1137 | } |
| 1138 | OutStreamer.EmitLabel(Label); |
| 1139 | return; |
| 1140 | } |
| 1141 | |
Jim Grosbach | 4539008 | 2010-09-23 23:33:56 +0000 | [diff] [blame] | 1142 | case ARM::Int_eh_sjlj_setjmp_nofp: |
Jim Grosbach | a3fbadf | 2010-09-30 19:53:58 +0000 | [diff] [blame] | 1143 | case ARM::Int_eh_sjlj_setjmp: { |
Jim Grosbach | 4539008 | 2010-09-23 23:33:56 +0000 | [diff] [blame] | 1144 | // Two incoming args: GPR:$src, GPR:$val |
| 1145 | // add $val, pc, #8 |
| 1146 | // str $val, [$src, #+4] |
| 1147 | // mov r0, #0 |
| 1148 | // add pc, pc, #0 |
| 1149 | // mov r0, #1 |
| 1150 | unsigned SrcReg = MI->getOperand(0).getReg(); |
| 1151 | unsigned ValReg = MI->getOperand(1).getReg(); |
| 1152 | |
| 1153 | { |
| 1154 | MCInst TmpInst; |
| 1155 | TmpInst.setOpcode(ARM::ADDri); |
| 1156 | TmpInst.addOperand(MCOperand::CreateReg(ValReg)); |
| 1157 | TmpInst.addOperand(MCOperand::CreateReg(ARM::PC)); |
| 1158 | TmpInst.addOperand(MCOperand::CreateImm(8)); |
| 1159 | // Predicate. |
| 1160 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1161 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1162 | // 's' bit operand (always reg0 for this). |
| 1163 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1164 | OutStreamer.AddComment("eh_setjmp begin"); |
| 1165 | OutStreamer.EmitInstruction(TmpInst); |
| 1166 | } |
| 1167 | { |
| 1168 | MCInst TmpInst; |
| 1169 | TmpInst.setOpcode(ARM::STR); |
| 1170 | TmpInst.addOperand(MCOperand::CreateReg(ValReg)); |
| 1171 | TmpInst.addOperand(MCOperand::CreateReg(SrcReg)); |
| 1172 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1173 | TmpInst.addOperand(MCOperand::CreateImm(4)); |
| 1174 | // Predicate. |
| 1175 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1176 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1177 | OutStreamer.EmitInstruction(TmpInst); |
| 1178 | } |
| 1179 | { |
| 1180 | MCInst TmpInst; |
| 1181 | TmpInst.setOpcode(ARM::MOVi); |
| 1182 | TmpInst.addOperand(MCOperand::CreateReg(ARM::R0)); |
| 1183 | TmpInst.addOperand(MCOperand::CreateImm(0)); |
| 1184 | // Predicate. |
| 1185 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1186 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1187 | // 's' bit operand (always reg0 for this). |
| 1188 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1189 | OutStreamer.EmitInstruction(TmpInst); |
| 1190 | } |
| 1191 | { |
| 1192 | MCInst TmpInst; |
| 1193 | TmpInst.setOpcode(ARM::ADDri); |
| 1194 | TmpInst.addOperand(MCOperand::CreateReg(ARM::PC)); |
| 1195 | TmpInst.addOperand(MCOperand::CreateReg(ARM::PC)); |
| 1196 | TmpInst.addOperand(MCOperand::CreateImm(0)); |
| 1197 | // Predicate. |
| 1198 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1199 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1200 | // 's' bit operand (always reg0 for this). |
| 1201 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1202 | OutStreamer.EmitInstruction(TmpInst); |
| 1203 | } |
| 1204 | { |
| 1205 | MCInst TmpInst; |
| 1206 | TmpInst.setOpcode(ARM::MOVi); |
| 1207 | TmpInst.addOperand(MCOperand::CreateReg(ARM::R0)); |
| 1208 | TmpInst.addOperand(MCOperand::CreateImm(1)); |
| 1209 | // Predicate. |
| 1210 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1211 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1212 | // 's' bit operand (always reg0 for this). |
| 1213 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1214 | OutStreamer.AddComment("eh_setjmp end"); |
| 1215 | OutStreamer.EmitInstruction(TmpInst); |
| 1216 | } |
| 1217 | return; |
| 1218 | } |
Jim Grosbach | 5acb3de | 2010-09-27 21:47:04 +0000 | [diff] [blame] | 1219 | case ARM::Int_eh_sjlj_longjmp: { |
| 1220 | // ldr sp, [$src, #8] |
| 1221 | // ldr $scratch, [$src, #4] |
| 1222 | // ldr r7, [$src] |
| 1223 | // bx $scratch |
| 1224 | unsigned SrcReg = MI->getOperand(0).getReg(); |
| 1225 | unsigned ScratchReg = MI->getOperand(1).getReg(); |
| 1226 | { |
| 1227 | MCInst TmpInst; |
| 1228 | TmpInst.setOpcode(ARM::LDR); |
| 1229 | TmpInst.addOperand(MCOperand::CreateReg(ARM::SP)); |
| 1230 | TmpInst.addOperand(MCOperand::CreateReg(SrcReg)); |
| 1231 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1232 | TmpInst.addOperand(MCOperand::CreateImm(8)); |
| 1233 | // Predicate. |
| 1234 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1235 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1236 | OutStreamer.EmitInstruction(TmpInst); |
| 1237 | } |
| 1238 | { |
| 1239 | MCInst TmpInst; |
| 1240 | TmpInst.setOpcode(ARM::LDR); |
| 1241 | TmpInst.addOperand(MCOperand::CreateReg(ScratchReg)); |
| 1242 | TmpInst.addOperand(MCOperand::CreateReg(SrcReg)); |
| 1243 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1244 | TmpInst.addOperand(MCOperand::CreateImm(4)); |
| 1245 | // Predicate. |
| 1246 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1247 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1248 | OutStreamer.EmitInstruction(TmpInst); |
| 1249 | } |
| 1250 | { |
| 1251 | MCInst TmpInst; |
| 1252 | TmpInst.setOpcode(ARM::LDR); |
| 1253 | TmpInst.addOperand(MCOperand::CreateReg(ARM::R7)); |
| 1254 | TmpInst.addOperand(MCOperand::CreateReg(SrcReg)); |
| 1255 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1256 | TmpInst.addOperand(MCOperand::CreateImm(0)); |
| 1257 | // Predicate. |
| 1258 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1259 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1260 | OutStreamer.EmitInstruction(TmpInst); |
| 1261 | } |
| 1262 | { |
| 1263 | MCInst TmpInst; |
| 1264 | TmpInst.setOpcode(ARM::BRIND); |
| 1265 | TmpInst.addOperand(MCOperand::CreateReg(ScratchReg)); |
| 1266 | // Predicate. |
| 1267 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1268 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1269 | OutStreamer.EmitInstruction(TmpInst); |
| 1270 | } |
| 1271 | return; |
| 1272 | } |
Jim Grosbach | 385cc5e | 2010-09-27 22:28:11 +0000 | [diff] [blame] | 1273 | case ARM::tInt_eh_sjlj_longjmp: { |
| 1274 | // ldr $scratch, [$src, #8] |
| 1275 | // mov sp, $scratch |
| 1276 | // ldr $scratch, [$src, #4] |
| 1277 | // ldr r7, [$src] |
| 1278 | // bx $scratch |
| 1279 | unsigned SrcReg = MI->getOperand(0).getReg(); |
| 1280 | unsigned ScratchReg = MI->getOperand(1).getReg(); |
| 1281 | { |
| 1282 | MCInst TmpInst; |
| 1283 | TmpInst.setOpcode(ARM::tLDR); |
| 1284 | TmpInst.addOperand(MCOperand::CreateReg(ScratchReg)); |
| 1285 | TmpInst.addOperand(MCOperand::CreateReg(SrcReg)); |
| 1286 | // The offset immediate is #8. The operand value is scaled by 4 for the |
| 1287 | // tSTR instruction. |
| 1288 | TmpInst.addOperand(MCOperand::CreateImm(2)); |
| 1289 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1290 | // Predicate. |
| 1291 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1292 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1293 | OutStreamer.EmitInstruction(TmpInst); |
| 1294 | } |
| 1295 | { |
| 1296 | MCInst TmpInst; |
| 1297 | TmpInst.setOpcode(ARM::tMOVtgpr2gpr); |
| 1298 | TmpInst.addOperand(MCOperand::CreateReg(ARM::SP)); |
| 1299 | TmpInst.addOperand(MCOperand::CreateReg(ScratchReg)); |
| 1300 | // Predicate. |
| 1301 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1302 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1303 | OutStreamer.EmitInstruction(TmpInst); |
| 1304 | } |
| 1305 | { |
| 1306 | MCInst TmpInst; |
| 1307 | TmpInst.setOpcode(ARM::tLDR); |
| 1308 | TmpInst.addOperand(MCOperand::CreateReg(ScratchReg)); |
| 1309 | TmpInst.addOperand(MCOperand::CreateReg(SrcReg)); |
| 1310 | TmpInst.addOperand(MCOperand::CreateImm(1)); |
| 1311 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1312 | // Predicate. |
| 1313 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1314 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1315 | OutStreamer.EmitInstruction(TmpInst); |
| 1316 | } |
| 1317 | { |
| 1318 | MCInst TmpInst; |
| 1319 | TmpInst.setOpcode(ARM::tLDR); |
| 1320 | TmpInst.addOperand(MCOperand::CreateReg(ARM::R7)); |
| 1321 | TmpInst.addOperand(MCOperand::CreateReg(SrcReg)); |
| 1322 | TmpInst.addOperand(MCOperand::CreateImm(0)); |
| 1323 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1324 | // Predicate. |
| 1325 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1326 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1327 | OutStreamer.EmitInstruction(TmpInst); |
| 1328 | } |
| 1329 | { |
| 1330 | MCInst TmpInst; |
| 1331 | TmpInst.setOpcode(ARM::tBX_RET_vararg); |
| 1332 | TmpInst.addOperand(MCOperand::CreateReg(ScratchReg)); |
| 1333 | // Predicate. |
| 1334 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1335 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1336 | OutStreamer.EmitInstruction(TmpInst); |
| 1337 | } |
| 1338 | return; |
| 1339 | } |
Chris Lattner | 97f0693 | 2009-10-19 20:20:46 +0000 | [diff] [blame] | 1340 | } |
Jim Grosbach | b0739b7 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 1341 | |
Chris Lattner | 97f0693 | 2009-10-19 20:20:46 +0000 | [diff] [blame] | 1342 | MCInst TmpInst; |
| 1343 | MCInstLowering.Lower(MI, TmpInst); |
Chris Lattner | 850d2e2 | 2010-02-03 01:16:28 +0000 | [diff] [blame] | 1344 | OutStreamer.EmitInstruction(TmpInst); |
Chris Lattner | 97f0693 | 2009-10-19 20:20:46 +0000 | [diff] [blame] | 1345 | } |
Daniel Dunbar | 2685a29 | 2009-10-20 05:15:36 +0000 | [diff] [blame] | 1346 | |
| 1347 | //===----------------------------------------------------------------------===// |
| 1348 | // Target Registry Stuff |
| 1349 | //===----------------------------------------------------------------------===// |
| 1350 | |
| 1351 | static MCInstPrinter *createARMMCInstPrinter(const Target &T, |
| 1352 | unsigned SyntaxVariant, |
Chris Lattner | d374087 | 2010-04-04 05:04:31 +0000 | [diff] [blame] | 1353 | const MCAsmInfo &MAI) { |
Daniel Dunbar | 2685a29 | 2009-10-20 05:15:36 +0000 | [diff] [blame] | 1354 | if (SyntaxVariant == 0) |
Jim Grosbach | 74d7e6c | 2010-09-17 21:33:25 +0000 | [diff] [blame] | 1355 | return new ARMInstPrinter(MAI); |
Daniel Dunbar | 2685a29 | 2009-10-20 05:15:36 +0000 | [diff] [blame] | 1356 | return 0; |
| 1357 | } |
| 1358 | |
| 1359 | // Force static initialization. |
| 1360 | extern "C" void LLVMInitializeARMAsmPrinter() { |
| 1361 | RegisterAsmPrinter<ARMAsmPrinter> X(TheARMTarget); |
| 1362 | RegisterAsmPrinter<ARMAsmPrinter> Y(TheThumbTarget); |
| 1363 | |
| 1364 | TargetRegistry::RegisterMCInstPrinter(TheARMTarget, createARMMCInstPrinter); |
| 1365 | TargetRegistry::RegisterMCInstPrinter(TheThumbTarget, createARMMCInstPrinter); |
| 1366 | } |
| 1367 | |