Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | //===-- ARMAsmPrinter.cpp - ARM LLVM assembly writer ----------------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 081ce94 | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +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 | |
| 15 | #define DEBUG_TYPE "asm-printer" |
| 16 | #include "ARM.h" |
Anton Korobeynikov | a229f0b | 2009-05-23 19:51:20 +0000 | [diff] [blame] | 17 | #include "ARMBuildAttrs.h" |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 18 | #include "ARMTargetMachine.h" |
| 19 | #include "ARMAddressingModes.h" |
| 20 | #include "ARMConstantPoolValue.h" |
| 21 | #include "ARMMachineFunctionInfo.h" |
| 22 | #include "llvm/Constants.h" |
| 23 | #include "llvm/Module.h" |
| 24 | #include "llvm/CodeGen/AsmPrinter.h" |
| 25 | #include "llvm/CodeGen/DwarfWriter.h" |
| 26 | #include "llvm/CodeGen/MachineModuleInfo.h" |
| 27 | #include "llvm/CodeGen/MachineFunctionPass.h" |
| 28 | #include "llvm/CodeGen/MachineJumpTableInfo.h" |
Chris Lattner | e6ad12f | 2009-07-31 18:48:30 +0000 | [diff] [blame] | 29 | #include "llvm/MC/MCSection.h" |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 30 | #include "llvm/Target/TargetAsmInfo.h" |
| 31 | #include "llvm/Target/TargetData.h" |
Chris Lattner | c4c40a9 | 2009-07-28 03:13:23 +0000 | [diff] [blame] | 32 | #include "llvm/Target/TargetLoweringObjectFile.h" |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 33 | #include "llvm/Target/TargetMachine.h" |
| 34 | #include "llvm/Target/TargetOptions.h" |
Daniel Dunbar | fe5939f | 2009-07-15 20:24:03 +0000 | [diff] [blame] | 35 | #include "llvm/Target/TargetRegistry.h" |
Evan Cheng | b437c25 | 2009-07-24 18:19:46 +0000 | [diff] [blame] | 36 | #include "llvm/ADT/SmallPtrSet.h" |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 37 | #include "llvm/ADT/Statistic.h" |
Evan Cheng | a65854f | 2008-12-05 01:06:39 +0000 | [diff] [blame] | 38 | #include "llvm/ADT/StringSet.h" |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 39 | #include "llvm/Support/Compiler.h" |
Edwin Török | 26cb025 | 2009-07-08 20:55:50 +0000 | [diff] [blame] | 40 | #include "llvm/Support/ErrorHandling.h" |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 41 | #include "llvm/Support/Mangler.h" |
| 42 | #include "llvm/Support/MathExtras.h" |
David Greene | 302008d | 2009-07-14 20:18:05 +0000 | [diff] [blame] | 43 | #include "llvm/Support/FormattedStream.h" |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 44 | #include <cctype> |
| 45 | using namespace llvm; |
| 46 | |
| 47 | STATISTIC(EmittedInsts, "Number of machine instrs printed"); |
| 48 | |
| 49 | namespace { |
Bill Wendling | 4f40531 | 2009-02-24 08:30:20 +0000 | [diff] [blame] | 50 | class VISIBILITY_HIDDEN ARMAsmPrinter : public AsmPrinter { |
Devang Patel | aa1e843 | 2009-01-08 23:40:34 +0000 | [diff] [blame] | 51 | DwarfWriter *DW; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 52 | |
| 53 | /// Subtarget - Keep a pointer to the ARMSubtarget around so that we can |
| 54 | /// make the right decision when printing asm code for different targets. |
| 55 | const ARMSubtarget *Subtarget; |
| 56 | |
| 57 | /// AFI - Keep a pointer to ARMFunctionInfo for the current |
Evan Cheng | e6c6162 | 2008-09-18 07:27:23 +0000 | [diff] [blame] | 58 | /// MachineFunction. |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 59 | ARMFunctionInfo *AFI; |
| 60 | |
Evan Cheng | e6c6162 | 2008-09-18 07:27:23 +0000 | [diff] [blame] | 61 | /// MCP - Keep a pointer to constantpool entries of the current |
| 62 | /// MachineFunction. |
| 63 | const MachineConstantPool *MCP; |
| 64 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 65 | /// We name each basic block in a Function with a unique number, so |
| 66 | /// that we can consistently refer to them later. This is cleared |
| 67 | /// at the beginning of each call to runOnMachineFunction(). |
| 68 | /// |
| 69 | typedef std::map<const Value *, unsigned> ValueMapTy; |
| 70 | ValueMapTy NumberForBB; |
| 71 | |
Evan Cheng | f1012ce | 2008-08-08 06:56:16 +0000 | [diff] [blame] | 72 | /// GVNonLazyPtrs - Keeps the set of GlobalValues that require |
| 73 | /// non-lazy-pointers for indirect access. |
Chris Lattner | 8735bec | 2009-07-15 03:12:43 +0000 | [diff] [blame] | 74 | StringMap<std::string> GVNonLazyPtrs; |
Evan Cheng | a65854f | 2008-12-05 01:06:39 +0000 | [diff] [blame] | 75 | |
| 76 | /// HiddenGVNonLazyPtrs - Keeps the set of GlobalValues with hidden |
| 77 | /// visibility that require non-lazy-pointers for indirect access. |
Chris Lattner | 8735bec | 2009-07-15 03:12:43 +0000 | [diff] [blame] | 78 | StringMap<std::string> HiddenGVNonLazyPtrs; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 79 | |
Chris Lattner | 48fe5b8 | 2009-07-15 04:41:01 +0000 | [diff] [blame] | 80 | struct FnStubInfo { |
| 81 | std::string Stub, LazyPtr, SLP, SCV; |
| 82 | |
| 83 | FnStubInfo() {} |
| 84 | |
| 85 | void Init(const GlobalValue *GV, Mangler *Mang) { |
| 86 | // Already initialized. |
| 87 | if (!Stub.empty()) return; |
| 88 | Stub = Mang->getMangledName(GV, "$stub", true); |
| 89 | LazyPtr = Mang->getMangledName(GV, "$lazy_ptr", true); |
| 90 | SLP = Mang->getMangledName(GV, "$slp", true); |
| 91 | SCV = Mang->getMangledName(GV, "$scv", true); |
| 92 | } |
| 93 | |
| 94 | void Init(const std::string &GV, Mangler *Mang) { |
| 95 | // Already initialized. |
| 96 | if (!Stub.empty()) return; |
Bill Wendling | e469911 | 2009-07-20 19:41:27 +0000 | [diff] [blame] | 97 | Stub = Mang->makeNameProper(GV + "$stub", Mangler::Private); |
| 98 | LazyPtr = Mang->makeNameProper(GV + "$lazy_ptr", Mangler::Private); |
| 99 | SLP = Mang->makeNameProper(GV + "$slp", Mangler::Private); |
| 100 | SCV = Mang->makeNameProper(GV + "$scv", Mangler::Private); |
Chris Lattner | 48fe5b8 | 2009-07-15 04:41:01 +0000 | [diff] [blame] | 101 | } |
Chris Lattner | 48fe5b8 | 2009-07-15 04:41:01 +0000 | [diff] [blame] | 102 | }; |
| 103 | |
Evan Cheng | f1012ce | 2008-08-08 06:56:16 +0000 | [diff] [blame] | 104 | /// FnStubs - Keeps the set of external function GlobalAddresses that the |
| 105 | /// asm printer should generate stubs for. |
Chris Lattner | 48fe5b8 | 2009-07-15 04:41:01 +0000 | [diff] [blame] | 106 | StringMap<FnStubInfo> FnStubs; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 107 | |
| 108 | /// True if asm printer is printing a series of CONSTPOOL_ENTRY. |
| 109 | bool InCPMode; |
Bill Wendling | 4f40531 | 2009-02-24 08:30:20 +0000 | [diff] [blame] | 110 | public: |
David Greene | 302008d | 2009-07-14 20:18:05 +0000 | [diff] [blame] | 111 | explicit ARMAsmPrinter(formatted_raw_ostream &O, TargetMachine &TM, |
Daniel Dunbar | b10d222 | 2009-07-01 01:48:54 +0000 | [diff] [blame] | 112 | const TargetAsmInfo *T, bool V) |
| 113 | : AsmPrinter(O, TM, T, V), DW(0), AFI(NULL), MCP(NULL), |
Bill Wendling | 4f40531 | 2009-02-24 08:30:20 +0000 | [diff] [blame] | 114 | InCPMode(false) { |
| 115 | Subtarget = &TM.getSubtarget<ARMSubtarget>(); |
| 116 | } |
| 117 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 118 | virtual const char *getPassName() const { |
| 119 | return "ARM Assembly Printer"; |
| 120 | } |
| 121 | |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 122 | void printOperand(const MachineInstr *MI, int OpNum, |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 123 | const char *Modifier = 0); |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 124 | void printSOImmOperand(const MachineInstr *MI, int OpNum); |
| 125 | void printSOImm2PartOperand(const MachineInstr *MI, int OpNum); |
| 126 | void printSORegOperand(const MachineInstr *MI, int OpNum); |
| 127 | void printAddrMode2Operand(const MachineInstr *MI, int OpNum); |
| 128 | void printAddrMode2OffsetOperand(const MachineInstr *MI, int OpNum); |
| 129 | void printAddrMode3Operand(const MachineInstr *MI, int OpNum); |
| 130 | void printAddrMode3OffsetOperand(const MachineInstr *MI, int OpNum); |
| 131 | void printAddrMode4Operand(const MachineInstr *MI, int OpNum, |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 132 | const char *Modifier = 0); |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 133 | void printAddrMode5Operand(const MachineInstr *MI, int OpNum, |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 134 | const char *Modifier = 0); |
Bob Wilson | 970a10d | 2009-07-01 23:16:05 +0000 | [diff] [blame] | 135 | void printAddrMode6Operand(const MachineInstr *MI, int OpNum); |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 136 | void printAddrModePCOperand(const MachineInstr *MI, int OpNum, |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 137 | const char *Modifier = 0); |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 138 | void printBitfieldInvMaskImmOperand (const MachineInstr *MI, int OpNum); |
Evan Cheng | 19bb7c7 | 2009-06-27 02:26:13 +0000 | [diff] [blame] | 139 | |
Evan Cheng | b8d0743 | 2009-07-09 23:43:36 +0000 | [diff] [blame] | 140 | void printThumbITMask(const MachineInstr *MI, int OpNum); |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 141 | void printThumbAddrModeRROperand(const MachineInstr *MI, int OpNum); |
| 142 | void printThumbAddrModeRI5Operand(const MachineInstr *MI, int OpNum, |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 143 | unsigned Scale); |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 144 | void printThumbAddrModeS1Operand(const MachineInstr *MI, int OpNum); |
| 145 | void printThumbAddrModeS2Operand(const MachineInstr *MI, int OpNum); |
| 146 | void printThumbAddrModeS4Operand(const MachineInstr *MI, int OpNum); |
| 147 | void printThumbAddrModeSPOperand(const MachineInstr *MI, int OpNum); |
Evan Cheng | 19bb7c7 | 2009-06-27 02:26:13 +0000 | [diff] [blame] | 148 | |
Evan Cheng | 19bb7c7 | 2009-06-27 02:26:13 +0000 | [diff] [blame] | 149 | void printT2SOOperand(const MachineInstr *MI, int OpNum); |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 150 | void printT2AddrModeImm12Operand(const MachineInstr *MI, int OpNum); |
| 151 | void printT2AddrModeImm8Operand(const MachineInstr *MI, int OpNum); |
Evan Cheng | 6bc6720 | 2009-07-09 22:21:59 +0000 | [diff] [blame] | 152 | void printT2AddrModeImm8s4Operand(const MachineInstr *MI, int OpNum); |
Evan Cheng | a90942e | 2009-07-02 07:28:31 +0000 | [diff] [blame] | 153 | void printT2AddrModeImm8OffsetOperand(const MachineInstr *MI, int OpNum); |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 154 | void printT2AddrModeSoRegOperand(const MachineInstr *MI, int OpNum); |
Evan Cheng | 19bb7c7 | 2009-06-27 02:26:13 +0000 | [diff] [blame] | 155 | |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 156 | void printPredicateOperand(const MachineInstr *MI, int OpNum); |
| 157 | void printSBitModifierOperand(const MachineInstr *MI, int OpNum); |
| 158 | void printPCLabel(const MachineInstr *MI, int OpNum); |
| 159 | void printRegisterList(const MachineInstr *MI, int OpNum); |
| 160 | void printCPInstOperand(const MachineInstr *MI, int OpNum, |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 161 | const char *Modifier); |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 162 | void printJTBlockOperand(const MachineInstr *MI, int OpNum); |
Evan Cheng | 6e2ebc9 | 2009-07-25 00:33:29 +0000 | [diff] [blame] | 163 | void printJT2BlockOperand(const MachineInstr *MI, int OpNum); |
Evan Cheng | 1b2b3e2 | 2009-07-29 02:18:14 +0000 | [diff] [blame] | 164 | void printTBAddrMode(const MachineInstr *MI, int OpNum); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 165 | |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 166 | virtual bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNum, |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 167 | unsigned AsmVariant, const char *ExtraCode); |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 168 | virtual bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNum, |
Bob Wilson | 6c982bb | 2009-05-19 05:53:42 +0000 | [diff] [blame] | 169 | unsigned AsmVariant, |
| 170 | const char *ExtraCode); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 171 | |
Chris Lattner | ae98221 | 2009-07-21 18:38:57 +0000 | [diff] [blame] | 172 | void PrintGlobalVariable(const GlobalVariable* GVar); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 173 | bool printInstruction(const MachineInstr *MI); // autogenerated. |
| 174 | void printMachineInstruction(const MachineInstr *MI); |
| 175 | bool runOnMachineFunction(MachineFunction &F); |
| 176 | bool doInitialization(Module &M); |
| 177 | bool doFinalization(Module &M); |
| 178 | |
Evan Cheng | f1012ce | 2008-08-08 06:56:16 +0000 | [diff] [blame] | 179 | /// EmitMachineConstantPoolValue - Print a machine constantpool value to |
| 180 | /// the .s file. |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 181 | virtual void EmitMachineConstantPoolValue(MachineConstantPoolValue *MCPV) { |
| 182 | printDataDirective(MCPV->getType()); |
| 183 | |
Evan Cheng | f1012ce | 2008-08-08 06:56:16 +0000 | [diff] [blame] | 184 | ARMConstantPoolValue *ACPV = static_cast<ARMConstantPoolValue*>(MCPV); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 185 | GlobalValue *GV = ACPV->getGV(); |
Chris Lattner | b3cdde6 | 2009-07-14 18:17:16 +0000 | [diff] [blame] | 186 | std::string Name; |
Chris Lattner | 8735bec | 2009-07-15 03:12:43 +0000 | [diff] [blame] | 187 | |
| 188 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 189 | if (ACPV->isNonLazyPointer()) { |
Chris Lattner | 8735bec | 2009-07-15 03:12:43 +0000 | [diff] [blame] | 190 | std::string SymName = Mang->getMangledName(GV); |
| 191 | Name = Mang->getMangledName(GV, "$non_lazy_ptr", true); |
| 192 | |
Evan Cheng | a65854f | 2008-12-05 01:06:39 +0000 | [diff] [blame] | 193 | if (GV->hasHiddenVisibility()) |
Chris Lattner | 8735bec | 2009-07-15 03:12:43 +0000 | [diff] [blame] | 194 | HiddenGVNonLazyPtrs[SymName] = Name; |
Evan Cheng | a65854f | 2008-12-05 01:06:39 +0000 | [diff] [blame] | 195 | else |
Chris Lattner | 8735bec | 2009-07-15 03:12:43 +0000 | [diff] [blame] | 196 | GVNonLazyPtrs[SymName] = Name; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 197 | } else if (ACPV->isStub()) { |
Chris Lattner | 48fe5b8 | 2009-07-15 04:41:01 +0000 | [diff] [blame] | 198 | if (GV) { |
| 199 | FnStubInfo &FnInfo = FnStubs[Mang->getMangledName(GV)]; |
| 200 | FnInfo.Init(GV, Mang); |
| 201 | Name = FnInfo.Stub; |
| 202 | } else { |
| 203 | FnStubInfo &FnInfo = FnStubs[Mang->makeNameProper(ACPV->getSymbol())]; |
| 204 | FnInfo.Init(ACPV->getSymbol(), Mang); |
| 205 | Name = FnInfo.Stub; |
| 206 | } |
Chris Lattner | 8735bec | 2009-07-15 03:12:43 +0000 | [diff] [blame] | 207 | } else { |
| 208 | if (GV) |
| 209 | Name = Mang->getMangledName(GV); |
| 210 | else |
| 211 | Name = Mang->makeNameProper(ACPV->getSymbol()); |
Chris Lattner | 8735bec | 2009-07-15 03:12:43 +0000 | [diff] [blame] | 212 | } |
Chris Lattner | 48fe5b8 | 2009-07-15 04:41:01 +0000 | [diff] [blame] | 213 | O << Name; |
Chris Lattner | 8735bec | 2009-07-15 03:12:43 +0000 | [diff] [blame] | 214 | |
| 215 | |
| 216 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 217 | if (ACPV->hasModifier()) O << "(" << ACPV->getModifier() << ")"; |
| 218 | if (ACPV->getPCAdjustment() != 0) { |
| 219 | O << "-(" << TAI->getPrivateGlobalPrefix() << "PC" |
Daniel Dunbar | bfea485 | 2009-07-30 04:20:37 +0000 | [diff] [blame] | 220 | << ACPV->getLabelId() |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 221 | << "+" << (unsigned)ACPV->getPCAdjustment(); |
| 222 | if (ACPV->mustAddCurrentAddress()) |
| 223 | O << "-."; |
| 224 | O << ")"; |
| 225 | } |
| 226 | O << "\n"; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 227 | } |
| 228 | |
| 229 | void getAnalysisUsage(AnalysisUsage &AU) const { |
Gordon Henriksen | 76e4b61 | 2007-09-30 13:39:29 +0000 | [diff] [blame] | 230 | AsmPrinter::getAnalysisUsage(AU); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 231 | AU.setPreservesAll(); |
| 232 | AU.addRequired<MachineModuleInfo>(); |
Devang Patel | aa1e843 | 2009-01-08 23:40:34 +0000 | [diff] [blame] | 233 | AU.addRequired<DwarfWriter>(); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 234 | } |
| 235 | }; |
| 236 | } // end of anonymous namespace |
| 237 | |
| 238 | #include "ARMGenAsmWriter.inc" |
| 239 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 240 | /// runOnMachineFunction - This uses the printInstruction() |
| 241 | /// method to print assembly for each instruction. |
| 242 | /// |
| 243 | bool ARMAsmPrinter::runOnMachineFunction(MachineFunction &MF) { |
Bill Wendling | 4f40531 | 2009-02-24 08:30:20 +0000 | [diff] [blame] | 244 | this->MF = &MF; |
| 245 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 246 | AFI = MF.getInfo<ARMFunctionInfo>(); |
Evan Cheng | e6c6162 | 2008-09-18 07:27:23 +0000 | [diff] [blame] | 247 | MCP = MF.getConstantPool(); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 248 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 249 | SetupMachineFunction(MF); |
| 250 | O << "\n"; |
| 251 | |
| 252 | // NOTE: we don't print out constant pools here, they are handled as |
| 253 | // instructions. |
| 254 | |
Chris Lattner | c3f5a2b | 2009-08-03 22:32:50 +0000 | [diff] [blame] | 255 | O << '\n'; |
| 256 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 257 | // Print out labels for the function. |
| 258 | const Function *F = MF.getFunction(); |
Chris Lattner | c3f5a2b | 2009-08-03 22:32:50 +0000 | [diff] [blame] | 259 | SwitchToSection(getObjFileLowering().SectionForGlobal(F, Mang, TM)); |
| 260 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 261 | switch (F->getLinkage()) { |
Edwin Török | bd448e3 | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 262 | default: llvm_unreachable("Unknown linkage type!"); |
Rafael Espindola | a168fc9 | 2009-01-15 20:18:42 +0000 | [diff] [blame] | 263 | case Function::PrivateLinkage: |
Bill Wendling | 41a0785 | 2009-07-20 01:03:30 +0000 | [diff] [blame] | 264 | case Function::LinkerPrivateLinkage: |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 265 | case Function::InternalLinkage: |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 266 | break; |
| 267 | case Function::ExternalLinkage: |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 268 | O << "\t.globl\t" << CurrentFnName << "\n"; |
| 269 | break; |
Duncan Sands | 19d161f | 2009-03-07 15:45:40 +0000 | [diff] [blame] | 270 | case Function::WeakAnyLinkage: |
| 271 | case Function::WeakODRLinkage: |
| 272 | case Function::LinkOnceAnyLinkage: |
| 273 | case Function::LinkOnceODRLinkage: |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 274 | if (Subtarget->isTargetDarwin()) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 275 | O << "\t.globl\t" << CurrentFnName << "\n"; |
| 276 | O << "\t.weak_definition\t" << CurrentFnName << "\n"; |
| 277 | } else { |
| 278 | O << TAI->getWeakRefDirective() << CurrentFnName << "\n"; |
| 279 | } |
| 280 | break; |
| 281 | } |
| 282 | |
Anton Korobeynikov | 78d69aa | 2008-08-08 18:25:07 +0000 | [diff] [blame] | 283 | printVisibility(CurrentFnName, F->getVisibility()); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 284 | |
| 285 | if (AFI->isThumbFunction()) { |
Bill Wendling | 25a8ae3 | 2009-06-30 22:38:32 +0000 | [diff] [blame] | 286 | EmitAlignment(MF.getAlignment(), F, AFI->getAlign()); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 287 | O << "\t.code\t16\n"; |
| 288 | O << "\t.thumb_func"; |
| 289 | if (Subtarget->isTargetDarwin()) |
| 290 | O << "\t" << CurrentFnName; |
| 291 | O << "\n"; |
| 292 | InCPMode = false; |
Bill Wendling | 25a8ae3 | 2009-06-30 22:38:32 +0000 | [diff] [blame] | 293 | } else { |
| 294 | EmitAlignment(MF.getAlignment(), F); |
| 295 | } |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 296 | |
| 297 | O << CurrentFnName << ":\n"; |
| 298 | // Emit pre-function debug information. |
Devang Patel | aa1e843 | 2009-01-08 23:40:34 +0000 | [diff] [blame] | 299 | DW->BeginFunction(&MF); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 300 | |
Bill Wendling | 43a7816 | 2008-01-28 09:15:03 +0000 | [diff] [blame] | 301 | if (Subtarget->isTargetDarwin()) { |
| 302 | // If the function is empty, then we need to emit *something*. Otherwise, |
| 303 | // the function's label might be associated with something that it wasn't |
| 304 | // meant to be associated with. We emit a noop in this situation. |
| 305 | MachineFunction::iterator I = MF.begin(); |
| 306 | |
| 307 | if (++I == MF.end() && MF.front().empty()) |
| 308 | O << "\tnop\n"; |
| 309 | } |
| 310 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 311 | // Print out code for the function. |
| 312 | for (MachineFunction::const_iterator I = MF.begin(), E = MF.end(); |
| 313 | I != E; ++I) { |
| 314 | // Print a label for the basic block. |
| 315 | if (I != MF.begin()) { |
Evan Cheng | 11db814 | 2009-03-24 00:17:40 +0000 | [diff] [blame] | 316 | printBasicBlockLabel(I, true, true, VerboseAsm); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 317 | O << '\n'; |
| 318 | } |
| 319 | for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end(); |
| 320 | II != E; ++II) { |
| 321 | // Print the assembly for the instruction. |
| 322 | printMachineInstruction(II); |
| 323 | } |
| 324 | } |
| 325 | |
| 326 | if (TAI->hasDotTypeDotSizeDirective()) |
| 327 | O << "\t.size " << CurrentFnName << ", .-" << CurrentFnName << "\n"; |
| 328 | |
| 329 | // Emit post-function debug information. |
Devang Patel | aa1e843 | 2009-01-08 23:40:34 +0000 | [diff] [blame] | 330 | DW->EndFunction(&MF); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 331 | |
| 332 | return false; |
| 333 | } |
| 334 | |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 335 | void ARMAsmPrinter::printOperand(const MachineInstr *MI, int OpNum, |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 336 | const char *Modifier) { |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 337 | const MachineOperand &MO = MI->getOperand(OpNum); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 338 | switch (MO.getType()) { |
Bob Wilson | e60fee0 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 339 | case MachineOperand::MO_Register: { |
| 340 | unsigned Reg = MO.getReg(); |
| 341 | if (TargetRegisterInfo::isPhysicalRegister(Reg)) { |
| 342 | if (Modifier && strcmp(Modifier, "dregpair") == 0) { |
| 343 | unsigned DRegLo = TRI->getSubReg(Reg, 5); // arm_dsubreg_0 |
| 344 | unsigned DRegHi = TRI->getSubReg(Reg, 6); // arm_dsubreg_1 |
| 345 | O << '{' |
Bob Wilson | ed592c0 | 2009-07-08 18:11:30 +0000 | [diff] [blame] | 346 | << TRI->getAsmName(DRegLo) << ',' << TRI->getAsmName(DRegHi) |
Bob Wilson | e60fee0 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 347 | << '}'; |
| 348 | } else { |
| 349 | O << TRI->getAsmName(Reg); |
| 350 | } |
| 351 | } else |
Edwin Török | bd448e3 | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 352 | llvm_unreachable("not implemented"); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 353 | break; |
Bob Wilson | e60fee0 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 354 | } |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 355 | case MachineOperand::MO_Immediate: { |
| 356 | if (!Modifier || strcmp(Modifier, "no_hash") != 0) |
| 357 | O << "#"; |
| 358 | |
Bob Wilson | bc2f9e7 | 2009-05-19 21:27:57 +0000 | [diff] [blame] | 359 | O << MO.getImm(); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 360 | break; |
| 361 | } |
| 362 | case MachineOperand::MO_MachineBasicBlock: |
Chris Lattner | 6017d48 | 2007-12-30 23:10:15 +0000 | [diff] [blame] | 363 | printBasicBlockLabel(MO.getMBB()); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 364 | return; |
| 365 | case MachineOperand::MO_GlobalAddress: { |
| 366 | bool isCallOp = Modifier && !strcmp(Modifier, "call"); |
| 367 | GlobalValue *GV = MO.getGlobal(); |
Chris Lattner | 48fe5b8 | 2009-07-15 04:41:01 +0000 | [diff] [blame] | 368 | std::string Name; |
Chris Lattner | 494cb89 | 2009-07-15 04:12:33 +0000 | [diff] [blame] | 369 | bool isExt = GV->isDeclaration() || GV->isWeakForLinker(); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 370 | if (isExt && isCallOp && Subtarget->isTargetDarwin() && |
| 371 | TM.getRelocationModel() != Reloc::Static) { |
Chris Lattner | 48fe5b8 | 2009-07-15 04:41:01 +0000 | [diff] [blame] | 372 | FnStubInfo &FnInfo = FnStubs[Mang->getMangledName(GV)]; |
| 373 | FnInfo.Init(GV, Mang); |
| 374 | Name = FnInfo.Stub; |
| 375 | } else { |
| 376 | Name = Mang->getMangledName(GV); |
| 377 | } |
| 378 | |
| 379 | O << Name; |
Anton Korobeynikov | 440f23d | 2008-11-22 16:15:34 +0000 | [diff] [blame] | 380 | |
| 381 | printOffset(MO.getOffset()); |
| 382 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 383 | if (isCallOp && Subtarget->isTargetELF() && |
| 384 | TM.getRelocationModel() == Reloc::PIC_) |
| 385 | O << "(PLT)"; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 386 | break; |
| 387 | } |
| 388 | case MachineOperand::MO_ExternalSymbol: { |
| 389 | bool isCallOp = Modifier && !strcmp(Modifier, "call"); |
Chris Lattner | 48fe5b8 | 2009-07-15 04:41:01 +0000 | [diff] [blame] | 390 | std::string Name; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 391 | if (isCallOp && Subtarget->isTargetDarwin() && |
| 392 | TM.getRelocationModel() != Reloc::Static) { |
Chris Lattner | 48fe5b8 | 2009-07-15 04:41:01 +0000 | [diff] [blame] | 393 | FnStubInfo &FnInfo = FnStubs[Mang->makeNameProper(MO.getSymbolName())]; |
| 394 | FnInfo.Init(MO.getSymbolName(), Mang); |
| 395 | Name = FnInfo.Stub; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 396 | } else |
Chris Lattner | 48fe5b8 | 2009-07-15 04:41:01 +0000 | [diff] [blame] | 397 | Name = Mang->makeNameProper(MO.getSymbolName()); |
| 398 | |
| 399 | O << Name; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 400 | if (isCallOp && Subtarget->isTargetELF() && |
| 401 | TM.getRelocationModel() == Reloc::PIC_) |
| 402 | O << "(PLT)"; |
| 403 | break; |
| 404 | } |
| 405 | case MachineOperand::MO_ConstantPoolIndex: |
Evan Cheng | 477013c | 2007-10-14 05:57:21 +0000 | [diff] [blame] | 406 | O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber() |
Chris Lattner | 6017d48 | 2007-12-30 23:10:15 +0000 | [diff] [blame] | 407 | << '_' << MO.getIndex(); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 408 | break; |
| 409 | case MachineOperand::MO_JumpTableIndex: |
Evan Cheng | 477013c | 2007-10-14 05:57:21 +0000 | [diff] [blame] | 410 | O << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber() |
Chris Lattner | 6017d48 | 2007-12-30 23:10:15 +0000 | [diff] [blame] | 411 | << '_' << MO.getIndex(); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 412 | break; |
| 413 | default: |
| 414 | O << "<unknown operand type>"; abort (); break; |
| 415 | } |
| 416 | } |
| 417 | |
David Greene | 302008d | 2009-07-14 20:18:05 +0000 | [diff] [blame] | 418 | static void printSOImm(formatted_raw_ostream &O, int64_t V, bool VerboseAsm, |
Evan Cheng | 42ceb47 | 2009-03-25 01:47:28 +0000 | [diff] [blame] | 419 | const TargetAsmInfo *TAI) { |
Evan Cheng | 8be2a5b | 2009-07-08 21:03:57 +0000 | [diff] [blame] | 420 | // Break it up into two parts that make up a shifter immediate. |
| 421 | V = ARM_AM::getSOImmVal(V); |
| 422 | assert(V != -1 && "Not a valid so_imm value!"); |
| 423 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 424 | unsigned Imm = ARM_AM::getSOImmValImm(V); |
| 425 | unsigned Rot = ARM_AM::getSOImmValRot(V); |
Anton Korobeynikov | 440f23d | 2008-11-22 16:15:34 +0000 | [diff] [blame] | 426 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 427 | // Print low-level immediate formation info, per |
| 428 | // A5.1.3: "Data-processing operands - Immediate". |
| 429 | if (Rot) { |
| 430 | O << "#" << Imm << ", " << Rot; |
| 431 | // Pretty printed version. |
Evan Cheng | 11db814 | 2009-03-24 00:17:40 +0000 | [diff] [blame] | 432 | if (VerboseAsm) |
| 433 | O << ' ' << TAI->getCommentString() |
| 434 | << ' ' << (int)ARM_AM::rotr32(Imm, Rot); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 435 | } else { |
| 436 | O << "#" << Imm; |
| 437 | } |
| 438 | } |
| 439 | |
| 440 | /// printSOImmOperand - SOImm is 4-bit rotate amount in bits 8-11 with 8-bit |
| 441 | /// immediate in bits 0-7. |
| 442 | void ARMAsmPrinter::printSOImmOperand(const MachineInstr *MI, int OpNum) { |
| 443 | const MachineOperand &MO = MI->getOperand(OpNum); |
Dan Gohman | b9f4fa7 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 444 | assert(MO.isImm() && "Not a valid so_imm value!"); |
Evan Cheng | 42ceb47 | 2009-03-25 01:47:28 +0000 | [diff] [blame] | 445 | printSOImm(O, MO.getImm(), VerboseAsm, TAI); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 446 | } |
| 447 | |
Evan Cheng | 7cd4acb | 2008-11-06 02:25:39 +0000 | [diff] [blame] | 448 | /// printSOImm2PartOperand - SOImm is broken into two pieces using a 'mov' |
| 449 | /// followed by an 'orr' to materialize. |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 450 | void ARMAsmPrinter::printSOImm2PartOperand(const MachineInstr *MI, int OpNum) { |
| 451 | const MachineOperand &MO = MI->getOperand(OpNum); |
Dan Gohman | b9f4fa7 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 452 | assert(MO.isImm() && "Not a valid so_imm value!"); |
Chris Lattner | a96056a | 2007-12-30 20:49:49 +0000 | [diff] [blame] | 453 | unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO.getImm()); |
| 454 | unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO.getImm()); |
Evan Cheng | 8be2a5b | 2009-07-08 21:03:57 +0000 | [diff] [blame] | 455 | printSOImm(O, V1, VerboseAsm, TAI); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 456 | O << "\n\torr"; |
| 457 | printPredicateOperand(MI, 2); |
| 458 | O << " "; |
| 459 | printOperand(MI, 0); |
| 460 | O << ", "; |
| 461 | printOperand(MI, 0); |
| 462 | O << ", "; |
Evan Cheng | 8be2a5b | 2009-07-08 21:03:57 +0000 | [diff] [blame] | 463 | printSOImm(O, V2, VerboseAsm, TAI); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 464 | } |
| 465 | |
| 466 | // so_reg is a 4-operand unit corresponding to register forms of the A5.1 |
| 467 | // "Addressing Mode 1 - Data-processing operands" forms. This includes: |
Evan Cheng | 19bb7c7 | 2009-06-27 02:26:13 +0000 | [diff] [blame] | 468 | // REG 0 0 - e.g. R5 |
| 469 | // REG REG 0,SH_OPC - e.g. R5, ROR R3 |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 470 | // REG 0 IMM,SH_OPC - e.g. R5, LSL #3 |
| 471 | void ARMAsmPrinter::printSORegOperand(const MachineInstr *MI, int Op) { |
| 472 | const MachineOperand &MO1 = MI->getOperand(Op); |
| 473 | const MachineOperand &MO2 = MI->getOperand(Op+1); |
| 474 | const MachineOperand &MO3 = MI->getOperand(Op+2); |
| 475 | |
Dan Gohman | 1e57df3 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 476 | assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg())); |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 477 | O << TRI->getAsmName(MO1.getReg()); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 478 | |
| 479 | // Print the shift opc. |
| 480 | O << ", " |
Chris Lattner | a96056a | 2007-12-30 20:49:49 +0000 | [diff] [blame] | 481 | << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO3.getImm())) |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 482 | << " "; |
| 483 | |
| 484 | if (MO2.getReg()) { |
Dan Gohman | 1e57df3 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 485 | assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg())); |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 486 | O << TRI->getAsmName(MO2.getReg()); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 487 | assert(ARM_AM::getSORegOffset(MO3.getImm()) == 0); |
| 488 | } else { |
| 489 | O << "#" << ARM_AM::getSORegOffset(MO3.getImm()); |
| 490 | } |
| 491 | } |
| 492 | |
| 493 | void ARMAsmPrinter::printAddrMode2Operand(const MachineInstr *MI, int Op) { |
| 494 | const MachineOperand &MO1 = MI->getOperand(Op); |
| 495 | const MachineOperand &MO2 = MI->getOperand(Op+1); |
| 496 | const MachineOperand &MO3 = MI->getOperand(Op+2); |
| 497 | |
Dan Gohman | b9f4fa7 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 498 | if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right. |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 499 | printOperand(MI, Op); |
| 500 | return; |
| 501 | } |
| 502 | |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 503 | O << "[" << TRI->getAsmName(MO1.getReg()); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 504 | |
| 505 | if (!MO2.getReg()) { |
| 506 | if (ARM_AM::getAM2Offset(MO3.getImm())) // Don't print +0. |
| 507 | O << ", #" |
| 508 | << (char)ARM_AM::getAM2Op(MO3.getImm()) |
| 509 | << ARM_AM::getAM2Offset(MO3.getImm()); |
| 510 | O << "]"; |
| 511 | return; |
| 512 | } |
| 513 | |
| 514 | O << ", " |
| 515 | << (char)ARM_AM::getAM2Op(MO3.getImm()) |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 516 | << TRI->getAsmName(MO2.getReg()); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 517 | |
| 518 | if (unsigned ShImm = ARM_AM::getAM2Offset(MO3.getImm())) |
| 519 | O << ", " |
Chris Lattner | a96056a | 2007-12-30 20:49:49 +0000 | [diff] [blame] | 520 | << ARM_AM::getShiftOpcStr(ARM_AM::getAM2ShiftOpc(MO3.getImm())) |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 521 | << " #" << ShImm; |
| 522 | O << "]"; |
| 523 | } |
| 524 | |
| 525 | void ARMAsmPrinter::printAddrMode2OffsetOperand(const MachineInstr *MI, int Op){ |
| 526 | const MachineOperand &MO1 = MI->getOperand(Op); |
| 527 | const MachineOperand &MO2 = MI->getOperand(Op+1); |
| 528 | |
| 529 | if (!MO1.getReg()) { |
| 530 | unsigned ImmOffs = ARM_AM::getAM2Offset(MO2.getImm()); |
| 531 | assert(ImmOffs && "Malformed indexed load / store!"); |
| 532 | O << "#" |
| 533 | << (char)ARM_AM::getAM2Op(MO2.getImm()) |
| 534 | << ImmOffs; |
| 535 | return; |
| 536 | } |
| 537 | |
| 538 | O << (char)ARM_AM::getAM2Op(MO2.getImm()) |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 539 | << TRI->getAsmName(MO1.getReg()); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 540 | |
| 541 | if (unsigned ShImm = ARM_AM::getAM2Offset(MO2.getImm())) |
| 542 | O << ", " |
Chris Lattner | a96056a | 2007-12-30 20:49:49 +0000 | [diff] [blame] | 543 | << ARM_AM::getShiftOpcStr(ARM_AM::getAM2ShiftOpc(MO2.getImm())) |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 544 | << " #" << ShImm; |
| 545 | } |
| 546 | |
| 547 | void ARMAsmPrinter::printAddrMode3Operand(const MachineInstr *MI, int Op) { |
| 548 | const MachineOperand &MO1 = MI->getOperand(Op); |
| 549 | const MachineOperand &MO2 = MI->getOperand(Op+1); |
| 550 | const MachineOperand &MO3 = MI->getOperand(Op+2); |
| 551 | |
Dan Gohman | 1e57df3 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 552 | assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg())); |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 553 | O << "[" << TRI->getAsmName(MO1.getReg()); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 554 | |
| 555 | if (MO2.getReg()) { |
| 556 | O << ", " |
| 557 | << (char)ARM_AM::getAM3Op(MO3.getImm()) |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 558 | << TRI->getAsmName(MO2.getReg()) |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 559 | << "]"; |
| 560 | return; |
| 561 | } |
| 562 | |
| 563 | if (unsigned ImmOffs = ARM_AM::getAM3Offset(MO3.getImm())) |
| 564 | O << ", #" |
| 565 | << (char)ARM_AM::getAM3Op(MO3.getImm()) |
| 566 | << ImmOffs; |
| 567 | O << "]"; |
| 568 | } |
| 569 | |
| 570 | void ARMAsmPrinter::printAddrMode3OffsetOperand(const MachineInstr *MI, int Op){ |
| 571 | const MachineOperand &MO1 = MI->getOperand(Op); |
| 572 | const MachineOperand &MO2 = MI->getOperand(Op+1); |
| 573 | |
| 574 | if (MO1.getReg()) { |
| 575 | O << (char)ARM_AM::getAM3Op(MO2.getImm()) |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 576 | << TRI->getAsmName(MO1.getReg()); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 577 | return; |
| 578 | } |
| 579 | |
| 580 | unsigned ImmOffs = ARM_AM::getAM3Offset(MO2.getImm()); |
| 581 | assert(ImmOffs && "Malformed indexed load / store!"); |
| 582 | O << "#" |
| 583 | << (char)ARM_AM::getAM3Op(MO2.getImm()) |
| 584 | << ImmOffs; |
| 585 | } |
| 586 | |
| 587 | void ARMAsmPrinter::printAddrMode4Operand(const MachineInstr *MI, int Op, |
| 588 | const char *Modifier) { |
| 589 | const MachineOperand &MO1 = MI->getOperand(Op); |
| 590 | const MachineOperand &MO2 = MI->getOperand(Op+1); |
| 591 | ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO2.getImm()); |
| 592 | if (Modifier && strcmp(Modifier, "submode") == 0) { |
| 593 | if (MO1.getReg() == ARM::SP) { |
Evan Cheng | 4bb74e7 | 2009-08-04 01:43:45 +0000 | [diff] [blame] | 594 | // FIXME |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 595 | bool isLDM = (MI->getOpcode() == ARM::LDM || |
Evan Cheng | 4bb74e7 | 2009-08-04 01:43:45 +0000 | [diff] [blame] | 596 | MI->getOpcode() == ARM::LDM_RET || |
Evan Cheng | 06c0e62 | 2009-08-04 21:12:13 +0000 | [diff] [blame] | 597 | MI->getOpcode() == ARM::t2LDM || |
Evan Cheng | 4bb74e7 | 2009-08-04 01:43:45 +0000 | [diff] [blame] | 598 | MI->getOpcode() == ARM::t2LDM_RET); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 599 | O << ARM_AM::getAMSubModeAltStr(Mode, isLDM); |
| 600 | } else |
| 601 | O << ARM_AM::getAMSubModeStr(Mode); |
Evan Cheng | 9b53104 | 2009-08-07 21:19:10 +0000 | [diff] [blame^] | 602 | } else if (Modifier && strcmp(Modifier, "wide") == 0) { |
| 603 | ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO2.getImm()); |
| 604 | if (Mode == ARM_AM::ia) |
| 605 | O << ".w"; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 606 | } else { |
| 607 | printOperand(MI, Op); |
| 608 | if (ARM_AM::getAM4WBFlag(MO2.getImm())) |
| 609 | O << "!"; |
| 610 | } |
| 611 | } |
| 612 | |
| 613 | void ARMAsmPrinter::printAddrMode5Operand(const MachineInstr *MI, int Op, |
| 614 | const char *Modifier) { |
| 615 | const MachineOperand &MO1 = MI->getOperand(Op); |
| 616 | const MachineOperand &MO2 = MI->getOperand(Op+1); |
| 617 | |
Dan Gohman | b9f4fa7 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 618 | if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right. |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 619 | printOperand(MI, Op); |
| 620 | return; |
| 621 | } |
| 622 | |
Dan Gohman | 1e57df3 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 623 | assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg())); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 624 | |
| 625 | if (Modifier && strcmp(Modifier, "submode") == 0) { |
| 626 | ARM_AM::AMSubMode Mode = ARM_AM::getAM5SubMode(MO2.getImm()); |
| 627 | if (MO1.getReg() == ARM::SP) { |
| 628 | bool isFLDM = (MI->getOpcode() == ARM::FLDMD || |
| 629 | MI->getOpcode() == ARM::FLDMS); |
| 630 | O << ARM_AM::getAMSubModeAltStr(Mode, isFLDM); |
| 631 | } else |
| 632 | O << ARM_AM::getAMSubModeStr(Mode); |
| 633 | return; |
| 634 | } else if (Modifier && strcmp(Modifier, "base") == 0) { |
| 635 | // Used for FSTM{D|S} and LSTM{D|S} operations. |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 636 | O << TRI->getAsmName(MO1.getReg()); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 637 | if (ARM_AM::getAM5WBFlag(MO2.getImm())) |
| 638 | O << "!"; |
| 639 | return; |
| 640 | } |
| 641 | |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 642 | O << "[" << TRI->getAsmName(MO1.getReg()); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 643 | |
| 644 | if (unsigned ImmOffs = ARM_AM::getAM5Offset(MO2.getImm())) { |
| 645 | O << ", #" |
| 646 | << (char)ARM_AM::getAM5Op(MO2.getImm()) |
| 647 | << ImmOffs*4; |
| 648 | } |
| 649 | O << "]"; |
| 650 | } |
| 651 | |
Bob Wilson | 970a10d | 2009-07-01 23:16:05 +0000 | [diff] [blame] | 652 | void ARMAsmPrinter::printAddrMode6Operand(const MachineInstr *MI, int Op) { |
| 653 | const MachineOperand &MO1 = MI->getOperand(Op); |
| 654 | const MachineOperand &MO2 = MI->getOperand(Op+1); |
| 655 | const MachineOperand &MO3 = MI->getOperand(Op+2); |
| 656 | |
| 657 | // FIXME: No support yet for specifying alignment. |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 658 | O << "[" << TRI->getAsmName(MO1.getReg()) << "]"; |
Bob Wilson | 970a10d | 2009-07-01 23:16:05 +0000 | [diff] [blame] | 659 | |
| 660 | if (ARM_AM::getAM6WBFlag(MO3.getImm())) { |
| 661 | if (MO2.getReg() == 0) |
| 662 | O << "!"; |
| 663 | else |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 664 | O << ", " << TRI->getAsmName(MO2.getReg()); |
Bob Wilson | 970a10d | 2009-07-01 23:16:05 +0000 | [diff] [blame] | 665 | } |
| 666 | } |
| 667 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 668 | void ARMAsmPrinter::printAddrModePCOperand(const MachineInstr *MI, int Op, |
| 669 | const char *Modifier) { |
| 670 | if (Modifier && strcmp(Modifier, "label") == 0) { |
| 671 | printPCLabel(MI, Op+1); |
| 672 | return; |
| 673 | } |
| 674 | |
| 675 | const MachineOperand &MO1 = MI->getOperand(Op); |
Dan Gohman | 1e57df3 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 676 | assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg())); |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 677 | O << "[pc, +" << TRI->getAsmName(MO1.getReg()) << "]"; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 678 | } |
| 679 | |
| 680 | void |
Evan Cheng | 3617371 | 2009-06-23 17:48:47 +0000 | [diff] [blame] | 681 | ARMAsmPrinter::printBitfieldInvMaskImmOperand(const MachineInstr *MI, int Op) { |
| 682 | const MachineOperand &MO = MI->getOperand(Op); |
| 683 | uint32_t v = ~MO.getImm(); |
Evan Cheng | 2305768 | 2009-06-25 22:04:44 +0000 | [diff] [blame] | 684 | int32_t lsb = CountTrailingZeros_32(v); |
Nick Lewycky | d2e271b | 2009-06-24 01:08:42 +0000 | [diff] [blame] | 685 | int32_t width = (32 - CountLeadingZeros_32 (v)) - lsb; |
Evan Cheng | 3617371 | 2009-06-23 17:48:47 +0000 | [diff] [blame] | 686 | assert(MO.isImm() && "Not a valid bf_inv_mask_imm value!"); |
| 687 | O << "#" << lsb << ", #" << width; |
| 688 | } |
| 689 | |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 690 | //===--------------------------------------------------------------------===// |
| 691 | |
Evan Cheng | 3617371 | 2009-06-23 17:48:47 +0000 | [diff] [blame] | 692 | void |
Evan Cheng | b8d0743 | 2009-07-09 23:43:36 +0000 | [diff] [blame] | 693 | ARMAsmPrinter::printThumbITMask(const MachineInstr *MI, int Op) { |
| 694 | // (3 - the number of trailing zeros) is the number of then / else. |
| 695 | unsigned Mask = MI->getOperand(Op).getImm(); |
| 696 | unsigned NumTZ = CountTrailingZeros_32(Mask); |
| 697 | assert(NumTZ <= 3 && "Invalid IT mask!"); |
Evan Cheng | d5b67fa | 2009-07-10 01:54:42 +0000 | [diff] [blame] | 698 | for (unsigned Pos = 3, e = NumTZ; Pos > e; --Pos) { |
Evan Cheng | b8d0743 | 2009-07-09 23:43:36 +0000 | [diff] [blame] | 699 | bool T = (Mask & (1 << Pos)) != 0; |
| 700 | if (T) |
| 701 | O << 't'; |
| 702 | else |
| 703 | O << 'e'; |
| 704 | } |
| 705 | } |
| 706 | |
| 707 | void |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 708 | ARMAsmPrinter::printThumbAddrModeRROperand(const MachineInstr *MI, int Op) { |
| 709 | const MachineOperand &MO1 = MI->getOperand(Op); |
| 710 | const MachineOperand &MO2 = MI->getOperand(Op+1); |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 711 | O << "[" << TRI->getAsmName(MO1.getReg()); |
| 712 | O << ", " << TRI->getAsmName(MO2.getReg()) << "]"; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 713 | } |
| 714 | |
| 715 | void |
| 716 | ARMAsmPrinter::printThumbAddrModeRI5Operand(const MachineInstr *MI, int Op, |
| 717 | unsigned Scale) { |
| 718 | const MachineOperand &MO1 = MI->getOperand(Op); |
| 719 | const MachineOperand &MO2 = MI->getOperand(Op+1); |
| 720 | const MachineOperand &MO3 = MI->getOperand(Op+2); |
| 721 | |
Dan Gohman | b9f4fa7 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 722 | if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right. |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 723 | printOperand(MI, Op); |
| 724 | return; |
| 725 | } |
| 726 | |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 727 | O << "[" << TRI->getAsmName(MO1.getReg()); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 728 | if (MO3.getReg()) |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 729 | O << ", " << TRI->getAsmName(MO3.getReg()); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 730 | else if (unsigned ImmOffs = MO2.getImm()) { |
| 731 | O << ", #" << ImmOffs; |
| 732 | if (Scale > 1) |
| 733 | O << " * " << Scale; |
| 734 | } |
| 735 | O << "]"; |
| 736 | } |
| 737 | |
| 738 | void |
| 739 | ARMAsmPrinter::printThumbAddrModeS1Operand(const MachineInstr *MI, int Op) { |
| 740 | printThumbAddrModeRI5Operand(MI, Op, 1); |
| 741 | } |
| 742 | void |
| 743 | ARMAsmPrinter::printThumbAddrModeS2Operand(const MachineInstr *MI, int Op) { |
| 744 | printThumbAddrModeRI5Operand(MI, Op, 2); |
| 745 | } |
| 746 | void |
| 747 | ARMAsmPrinter::printThumbAddrModeS4Operand(const MachineInstr *MI, int Op) { |
| 748 | printThumbAddrModeRI5Operand(MI, Op, 4); |
| 749 | } |
| 750 | |
| 751 | void ARMAsmPrinter::printThumbAddrModeSPOperand(const MachineInstr *MI,int Op) { |
| 752 | const MachineOperand &MO1 = MI->getOperand(Op); |
| 753 | const MachineOperand &MO2 = MI->getOperand(Op+1); |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 754 | O << "[" << TRI->getAsmName(MO1.getReg()); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 755 | if (unsigned ImmOffs = MO2.getImm()) |
| 756 | O << ", #" << ImmOffs << " * 4"; |
| 757 | O << "]"; |
| 758 | } |
| 759 | |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 760 | //===--------------------------------------------------------------------===// |
| 761 | |
Evan Cheng | 19bb7c7 | 2009-06-27 02:26:13 +0000 | [diff] [blame] | 762 | // Constant shifts t2_so_reg is a 2-operand unit corresponding to the Thumb2 |
| 763 | // register with shift forms. |
| 764 | // REG 0 0 - e.g. R5 |
| 765 | // REG IMM, SH_OPC - e.g. R5, LSL #3 |
| 766 | void ARMAsmPrinter::printT2SOOperand(const MachineInstr *MI, int OpNum) { |
| 767 | const MachineOperand &MO1 = MI->getOperand(OpNum); |
| 768 | const MachineOperand &MO2 = MI->getOperand(OpNum+1); |
| 769 | |
| 770 | unsigned Reg = MO1.getReg(); |
| 771 | assert(TargetRegisterInfo::isPhysicalRegister(Reg)); |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 772 | O << TRI->getAsmName(Reg); |
Evan Cheng | 19bb7c7 | 2009-06-27 02:26:13 +0000 | [diff] [blame] | 773 | |
| 774 | // Print the shift opc. |
| 775 | O << ", " |
| 776 | << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO2.getImm())) |
| 777 | << " "; |
| 778 | |
| 779 | assert(MO2.isImm() && "Not a valid t2_so_reg value!"); |
| 780 | O << "#" << ARM_AM::getSORegOffset(MO2.getImm()); |
| 781 | } |
| 782 | |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 783 | void ARMAsmPrinter::printT2AddrModeImm12Operand(const MachineInstr *MI, |
| 784 | int OpNum) { |
| 785 | const MachineOperand &MO1 = MI->getOperand(OpNum); |
| 786 | const MachineOperand &MO2 = MI->getOperand(OpNum+1); |
Evan Cheng | 19bb7c7 | 2009-06-27 02:26:13 +0000 | [diff] [blame] | 787 | |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 788 | O << "[" << TRI->getAsmName(MO1.getReg()); |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 789 | |
| 790 | unsigned OffImm = MO2.getImm(); |
| 791 | if (OffImm) // Don't print +0. |
| 792 | O << ", #+" << OffImm; |
| 793 | O << "]"; |
| 794 | } |
| 795 | |
| 796 | void ARMAsmPrinter::printT2AddrModeImm8Operand(const MachineInstr *MI, |
| 797 | int OpNum) { |
| 798 | const MachineOperand &MO1 = MI->getOperand(OpNum); |
| 799 | const MachineOperand &MO2 = MI->getOperand(OpNum+1); |
| 800 | |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 801 | O << "[" << TRI->getAsmName(MO1.getReg()); |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 802 | |
| 803 | int32_t OffImm = (int32_t)MO2.getImm(); |
| 804 | // Don't print +0. |
| 805 | if (OffImm < 0) |
| 806 | O << ", #-" << -OffImm; |
| 807 | else if (OffImm > 0) |
| 808 | O << ", #+" << OffImm; |
| 809 | O << "]"; |
| 810 | } |
| 811 | |
Evan Cheng | 6bc6720 | 2009-07-09 22:21:59 +0000 | [diff] [blame] | 812 | void ARMAsmPrinter::printT2AddrModeImm8s4Operand(const MachineInstr *MI, |
| 813 | int OpNum) { |
| 814 | const MachineOperand &MO1 = MI->getOperand(OpNum); |
| 815 | const MachineOperand &MO2 = MI->getOperand(OpNum+1); |
| 816 | |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 817 | O << "[" << TRI->getAsmName(MO1.getReg()); |
Evan Cheng | 6bc6720 | 2009-07-09 22:21:59 +0000 | [diff] [blame] | 818 | |
| 819 | int32_t OffImm = (int32_t)MO2.getImm() / 4; |
| 820 | // Don't print +0. |
| 821 | if (OffImm < 0) |
| 822 | O << ", #-" << -OffImm << " * 4"; |
| 823 | else if (OffImm > 0) |
| 824 | O << ", #+" << OffImm << " * 4"; |
| 825 | O << "]"; |
| 826 | } |
| 827 | |
Evan Cheng | a90942e | 2009-07-02 07:28:31 +0000 | [diff] [blame] | 828 | void ARMAsmPrinter::printT2AddrModeImm8OffsetOperand(const MachineInstr *MI, |
| 829 | int OpNum) { |
| 830 | const MachineOperand &MO1 = MI->getOperand(OpNum); |
| 831 | int32_t OffImm = (int32_t)MO1.getImm(); |
| 832 | // Don't print +0. |
| 833 | if (OffImm < 0) |
| 834 | O << "#-" << -OffImm; |
| 835 | else if (OffImm > 0) |
| 836 | O << "#+" << OffImm; |
| 837 | } |
| 838 | |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 839 | void ARMAsmPrinter::printT2AddrModeSoRegOperand(const MachineInstr *MI, |
| 840 | int OpNum) { |
| 841 | const MachineOperand &MO1 = MI->getOperand(OpNum); |
| 842 | const MachineOperand &MO2 = MI->getOperand(OpNum+1); |
| 843 | const MachineOperand &MO3 = MI->getOperand(OpNum+2); |
| 844 | |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 845 | O << "[" << TRI->getAsmName(MO1.getReg()); |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 846 | |
| 847 | if (MO2.getReg()) { |
Bob Wilson | 995f697 | 2009-07-10 00:14:05 +0000 | [diff] [blame] | 848 | O << ", +" << TRI->getAsmName(MO2.getReg()); |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 849 | |
| 850 | unsigned ShAmt = MO3.getImm(); |
| 851 | if (ShAmt) { |
| 852 | assert(ShAmt <= 3 && "Not a valid Thumb2 addressing mode!"); |
| 853 | O << ", lsl #" << ShAmt; |
| 854 | } |
| 855 | } |
| 856 | O << "]"; |
| 857 | } |
| 858 | |
| 859 | |
| 860 | //===--------------------------------------------------------------------===// |
| 861 | |
| 862 | void ARMAsmPrinter::printPredicateOperand(const MachineInstr *MI, int OpNum) { |
| 863 | ARMCC::CondCodes CC = (ARMCC::CondCodes)MI->getOperand(OpNum).getImm(); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 864 | if (CC != ARMCC::AL) |
| 865 | O << ARMCondCodeToString(CC); |
| 866 | } |
| 867 | |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 868 | void ARMAsmPrinter::printSBitModifierOperand(const MachineInstr *MI, int OpNum){ |
| 869 | unsigned Reg = MI->getOperand(OpNum).getReg(); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 870 | if (Reg) { |
| 871 | assert(Reg == ARM::CPSR && "Expect ARM CPSR register!"); |
| 872 | O << 's'; |
| 873 | } |
| 874 | } |
| 875 | |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 876 | void ARMAsmPrinter::printPCLabel(const MachineInstr *MI, int OpNum) { |
| 877 | int Id = (int)MI->getOperand(OpNum).getImm(); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 878 | O << TAI->getPrivateGlobalPrefix() << "PC" << Id; |
| 879 | } |
| 880 | |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 881 | void ARMAsmPrinter::printRegisterList(const MachineInstr *MI, int OpNum) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 882 | O << "{"; |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 883 | for (unsigned i = OpNum, e = MI->getNumOperands(); i != e; ++i) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 884 | printOperand(MI, i); |
| 885 | if (i != e-1) O << ", "; |
| 886 | } |
| 887 | O << "}"; |
| 888 | } |
| 889 | |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 890 | void ARMAsmPrinter::printCPInstOperand(const MachineInstr *MI, int OpNum, |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 891 | const char *Modifier) { |
| 892 | assert(Modifier && "This operand only works with a modifier!"); |
| 893 | // There are two aspects to a CONSTANTPOOL_ENTRY operand, the label and the |
| 894 | // data itself. |
| 895 | if (!strcmp(Modifier, "label")) { |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 896 | unsigned ID = MI->getOperand(OpNum).getImm(); |
Evan Cheng | 477013c | 2007-10-14 05:57:21 +0000 | [diff] [blame] | 897 | O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber() |
| 898 | << '_' << ID << ":\n"; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 899 | } else { |
| 900 | assert(!strcmp(Modifier, "cpentry") && "Unknown modifier for CPE"); |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 901 | unsigned CPI = MI->getOperand(OpNum).getIndex(); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 902 | |
Evan Cheng | e6c6162 | 2008-09-18 07:27:23 +0000 | [diff] [blame] | 903 | const MachineConstantPoolEntry &MCPE = MCP->getConstants()[CPI]; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 904 | |
Evan Cheng | f1012ce | 2008-08-08 06:56:16 +0000 | [diff] [blame] | 905 | if (MCPE.isMachineConstantPoolEntry()) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 906 | EmitMachineConstantPoolValue(MCPE.Val.MachineCPVal); |
Evan Cheng | f1012ce | 2008-08-08 06:56:16 +0000 | [diff] [blame] | 907 | } else { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 908 | EmitGlobalConstant(MCPE.Val.ConstVal); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 909 | } |
| 910 | } |
| 911 | } |
| 912 | |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 913 | void ARMAsmPrinter::printJTBlockOperand(const MachineInstr *MI, int OpNum) { |
Evan Cheng | 6e2ebc9 | 2009-07-25 00:33:29 +0000 | [diff] [blame] | 914 | assert(!Subtarget->isThumb2() && "Thumb2 should use double-jump jumptables!"); |
| 915 | |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 916 | const MachineOperand &MO1 = MI->getOperand(OpNum); |
| 917 | const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id |
Chris Lattner | 6017d48 | 2007-12-30 23:10:15 +0000 | [diff] [blame] | 918 | unsigned JTI = MO1.getIndex(); |
Evan Cheng | 477013c | 2007-10-14 05:57:21 +0000 | [diff] [blame] | 919 | O << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber() |
Chris Lattner | a96056a | 2007-12-30 20:49:49 +0000 | [diff] [blame] | 920 | << '_' << JTI << '_' << MO2.getImm() << ":\n"; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 921 | |
| 922 | const char *JTEntryDirective = TAI->getJumpTableDirective(); |
| 923 | if (!JTEntryDirective) |
| 924 | JTEntryDirective = TAI->getData32bitsDirective(); |
| 925 | |
| 926 | const MachineFunction *MF = MI->getParent()->getParent(); |
Dan Gohman | e4da641 | 2008-07-07 20:06:06 +0000 | [diff] [blame] | 927 | const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo(); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 928 | const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables(); |
| 929 | const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs; |
| 930 | bool UseSet= TAI->getSetDirective() && TM.getRelocationModel() == Reloc::PIC_; |
Evan Cheng | b437c25 | 2009-07-24 18:19:46 +0000 | [diff] [blame] | 931 | SmallPtrSet<MachineBasicBlock*, 8> JTSets; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 932 | for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) { |
| 933 | MachineBasicBlock *MBB = JTBBs[i]; |
Evan Cheng | 6e2ebc9 | 2009-07-25 00:33:29 +0000 | [diff] [blame] | 934 | bool isNew = JTSets.insert(MBB); |
| 935 | |
| 936 | if (UseSet && isNew) |
| 937 | printPICJumpTableSetLabel(JTI, MO2.getImm(), MBB); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 938 | |
| 939 | O << JTEntryDirective << ' '; |
| 940 | if (UseSet) |
Evan Cheng | 477013c | 2007-10-14 05:57:21 +0000 | [diff] [blame] | 941 | O << TAI->getPrivateGlobalPrefix() << getFunctionNumber() |
Chris Lattner | a96056a | 2007-12-30 20:49:49 +0000 | [diff] [blame] | 942 | << '_' << JTI << '_' << MO2.getImm() |
Evan Cheng | 477013c | 2007-10-14 05:57:21 +0000 | [diff] [blame] | 943 | << "_set_" << MBB->getNumber(); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 944 | else if (TM.getRelocationModel() == Reloc::PIC_) { |
Evan Cheng | 45c1edb | 2008-02-28 00:43:03 +0000 | [diff] [blame] | 945 | printBasicBlockLabel(MBB, false, false, false); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 946 | // If the arch uses custom Jump Table directives, don't calc relative to JT |
| 947 | if (!TAI->getJumpTableDirective()) |
| 948 | O << '-' << TAI->getPrivateGlobalPrefix() << "JTI" |
Chris Lattner | a96056a | 2007-12-30 20:49:49 +0000 | [diff] [blame] | 949 | << getFunctionNumber() << '_' << JTI << '_' << MO2.getImm(); |
Evan Cheng | b437c25 | 2009-07-24 18:19:46 +0000 | [diff] [blame] | 950 | } else { |
Evan Cheng | 45c1edb | 2008-02-28 00:43:03 +0000 | [diff] [blame] | 951 | printBasicBlockLabel(MBB, false, false, false); |
Evan Cheng | b437c25 | 2009-07-24 18:19:46 +0000 | [diff] [blame] | 952 | } |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 953 | if (i != e-1) |
| 954 | O << '\n'; |
| 955 | } |
| 956 | } |
| 957 | |
Evan Cheng | 6e2ebc9 | 2009-07-25 00:33:29 +0000 | [diff] [blame] | 958 | void ARMAsmPrinter::printJT2BlockOperand(const MachineInstr *MI, int OpNum) { |
| 959 | const MachineOperand &MO1 = MI->getOperand(OpNum); |
| 960 | const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id |
| 961 | unsigned JTI = MO1.getIndex(); |
| 962 | O << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber() |
| 963 | << '_' << JTI << '_' << MO2.getImm() << ":\n"; |
| 964 | |
| 965 | const MachineFunction *MF = MI->getParent()->getParent(); |
| 966 | const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo(); |
| 967 | const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables(); |
| 968 | const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs; |
Evan Cheng | 1b2b3e2 | 2009-07-29 02:18:14 +0000 | [diff] [blame] | 969 | bool ByteOffset = false, HalfWordOffset = false; |
| 970 | if (MI->getOpcode() == ARM::t2TBB) |
| 971 | ByteOffset = true; |
| 972 | else if (MI->getOpcode() == ARM::t2TBH) |
| 973 | HalfWordOffset = true; |
| 974 | |
Evan Cheng | 6e2ebc9 | 2009-07-25 00:33:29 +0000 | [diff] [blame] | 975 | for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) { |
| 976 | MachineBasicBlock *MBB = JTBBs[i]; |
Evan Cheng | 1b2b3e2 | 2009-07-29 02:18:14 +0000 | [diff] [blame] | 977 | if (ByteOffset) |
| 978 | O << TAI->getData8bitsDirective(); |
| 979 | else if (HalfWordOffset) |
| 980 | O << TAI->getData16bitsDirective(); |
| 981 | if (ByteOffset || HalfWordOffset) { |
| 982 | O << '('; |
| 983 | printBasicBlockLabel(MBB, false, false, false); |
| 984 | O << "-" << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber() |
| 985 | << '_' << JTI << '_' << MO2.getImm() << ")/2"; |
| 986 | } else { |
| 987 | O << "\tb.w "; |
| 988 | printBasicBlockLabel(MBB, false, false, false); |
| 989 | } |
Evan Cheng | 6e2ebc9 | 2009-07-25 00:33:29 +0000 | [diff] [blame] | 990 | if (i != e-1) |
| 991 | O << '\n'; |
| 992 | } |
Evan Cheng | 2ee6e2d | 2009-07-31 18:35:56 +0000 | [diff] [blame] | 993 | |
| 994 | // Make sure the instruction that follows TBB is 2-byte aligned. |
| 995 | // FIXME: Constant island pass should insert an "ALIGN" instruction instead. |
| 996 | if (ByteOffset && (JTBBs.size() & 1)) { |
| 997 | O << '\n'; |
| 998 | EmitAlignment(1); |
| 999 | } |
Evan Cheng | 6e2ebc9 | 2009-07-25 00:33:29 +0000 | [diff] [blame] | 1000 | } |
| 1001 | |
Evan Cheng | 1b2b3e2 | 2009-07-29 02:18:14 +0000 | [diff] [blame] | 1002 | void ARMAsmPrinter::printTBAddrMode(const MachineInstr *MI, int OpNum) { |
| 1003 | O << "[pc, " << TRI->getAsmName(MI->getOperand(OpNum).getReg()); |
| 1004 | if (MI->getOpcode() == ARM::t2TBH) |
| 1005 | O << ", lsl #1"; |
| 1006 | O << ']'; |
| 1007 | } |
| 1008 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1009 | |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 1010 | bool ARMAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNum, |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1011 | unsigned AsmVariant, const char *ExtraCode){ |
| 1012 | // Does this asm operand have a single letter operand modifier? |
| 1013 | if (ExtraCode && ExtraCode[0]) { |
| 1014 | if (ExtraCode[1] != 0) return true; // Unknown modifier. |
| 1015 | |
| 1016 | switch (ExtraCode[0]) { |
| 1017 | default: return true; // Unknown modifier. |
Bob Wilson | c675135 | 2009-07-09 23:54:51 +0000 | [diff] [blame] | 1018 | case 'a': // Print as a memory address. |
| 1019 | if (MI->getOperand(OpNum).isReg()) { |
| 1020 | O << "[" << TRI->getAsmName(MI->getOperand(OpNum).getReg()) << "]"; |
| 1021 | return false; |
| 1022 | } |
| 1023 | // Fallthrough |
| 1024 | case 'c': // Don't print "#" before an immediate operand. |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 1025 | printOperand(MI, OpNum, "no_hash"); |
Bob Wilson | 5260c4c | 2009-04-06 21:46:51 +0000 | [diff] [blame] | 1026 | return false; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1027 | case 'P': // Print a VFP double precision register. |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 1028 | printOperand(MI, OpNum); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1029 | return false; |
| 1030 | case 'Q': |
| 1031 | if (TM.getTargetData()->isLittleEndian()) |
| 1032 | break; |
| 1033 | // Fallthrough |
| 1034 | case 'R': |
| 1035 | if (TM.getTargetData()->isBigEndian()) |
| 1036 | break; |
| 1037 | // Fallthrough |
| 1038 | case 'H': // Write second word of DI / DF reference. |
| 1039 | // Verify that this operand has two consecutive registers. |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 1040 | if (!MI->getOperand(OpNum).isReg() || |
| 1041 | OpNum+1 == MI->getNumOperands() || |
| 1042 | !MI->getOperand(OpNum+1).isReg()) |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1043 | return true; |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 1044 | ++OpNum; // Return the high-part. |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1045 | } |
| 1046 | } |
| 1047 | |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 1048 | printOperand(MI, OpNum); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1049 | return false; |
| 1050 | } |
| 1051 | |
Bob Wilson | 6c982bb | 2009-05-19 05:53:42 +0000 | [diff] [blame] | 1052 | bool ARMAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI, |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 1053 | unsigned OpNum, unsigned AsmVariant, |
Bob Wilson | 6c982bb | 2009-05-19 05:53:42 +0000 | [diff] [blame] | 1054 | const char *ExtraCode) { |
| 1055 | if (ExtraCode && ExtraCode[0]) |
| 1056 | return true; // Unknown modifier. |
Evan Cheng | 532cdc5 | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 1057 | printAddrMode2Operand(MI, OpNum); |
Bob Wilson | 6c982bb | 2009-05-19 05:53:42 +0000 | [diff] [blame] | 1058 | return false; |
| 1059 | } |
| 1060 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1061 | void ARMAsmPrinter::printMachineInstruction(const MachineInstr *MI) { |
| 1062 | ++EmittedInsts; |
| 1063 | |
| 1064 | int Opc = MI->getOpcode(); |
| 1065 | switch (Opc) { |
| 1066 | case ARM::CONSTPOOL_ENTRY: |
| 1067 | if (!InCPMode && AFI->isThumbFunction()) { |
| 1068 | EmitAlignment(2); |
| 1069 | InCPMode = true; |
| 1070 | } |
| 1071 | break; |
| 1072 | default: { |
| 1073 | if (InCPMode && AFI->isThumbFunction()) |
| 1074 | InCPMode = false; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1075 | }} |
| 1076 | |
| 1077 | // Call the autogenerated instruction printer routines. |
| 1078 | printInstruction(MI); |
| 1079 | } |
| 1080 | |
| 1081 | bool ARMAsmPrinter::doInitialization(Module &M) { |
Evan Cheng | e442808 | 2008-12-10 21:54:21 +0000 | [diff] [blame] | 1082 | |
Dan Gohman | 4a558a3 | 2007-07-25 19:33:14 +0000 | [diff] [blame] | 1083 | bool Result = AsmPrinter::doInitialization(M); |
Duncan Sands | 4e0d6a7 | 2009-01-28 13:14:17 +0000 | [diff] [blame] | 1084 | DW = getAnalysisIfAvailable<DwarfWriter>(); |
Dale Johannesen | 2f85df1 | 2008-07-09 21:20:54 +0000 | [diff] [blame] | 1085 | |
Evan Cheng | 7bd2ad1 | 2009-07-11 06:43:01 +0000 | [diff] [blame] | 1086 | // Use unified assembler syntax mode for Thumb. |
| 1087 | if (Subtarget->isThumb()) |
Anton Korobeynikov | 9a2d230 | 2009-06-17 23:43:18 +0000 | [diff] [blame] | 1088 | O << "\t.syntax unified\n"; |
| 1089 | |
Anton Korobeynikov | a229f0b | 2009-05-23 19:51:20 +0000 | [diff] [blame] | 1090 | // Emit ARM Build Attributes |
| 1091 | if (Subtarget->isTargetELF()) { |
| 1092 | // CPU Type |
Anton Korobeynikov | 8452908 | 2009-06-01 19:03:17 +0000 | [diff] [blame] | 1093 | std::string CPUString = Subtarget->getCPUString(); |
| 1094 | if (CPUString != "generic") |
| 1095 | O << "\t.cpu " << CPUString << '\n'; |
Anton Korobeynikov | a229f0b | 2009-05-23 19:51:20 +0000 | [diff] [blame] | 1096 | |
| 1097 | // FIXME: Emit FPU type |
| 1098 | if (Subtarget->hasVFP2()) |
| 1099 | O << "\t.eabi_attribute " << ARMBuildAttrs::VFP_arch << ", 2\n"; |
| 1100 | |
| 1101 | // Signal various FP modes. |
| 1102 | if (!UnsafeFPMath) |
| 1103 | O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_FP_denormal << ", 1\n" |
| 1104 | << "\t.eabi_attribute " << ARMBuildAttrs::ABI_FP_exceptions << ", 1\n"; |
| 1105 | |
| 1106 | if (FiniteOnlyFPMath()) |
| 1107 | O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_FP_number_model << ", 1\n"; |
| 1108 | else |
| 1109 | O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_FP_number_model << ", 3\n"; |
| 1110 | |
| 1111 | // 8-bytes alignment stuff. |
| 1112 | O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_align8_needed << ", 1\n" |
| 1113 | << "\t.eabi_attribute " << ARMBuildAttrs::ABI_align8_preserved << ", 1\n"; |
| 1114 | |
Anton Korobeynikov | 02e15b8 | 2009-08-05 19:04:42 +0000 | [diff] [blame] | 1115 | // Hard float. Use both S and D registers and conform to AAPCS-VFP. |
| 1116 | if (Subtarget->isAAPCS_ABI() && FloatABIType == FloatABI::Hard) |
| 1117 | O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_HardFP_use << ", 3\n" |
| 1118 | << "\t.eabi_attribute " << ARMBuildAttrs::ABI_VFP_args << ", 1\n"; |
| 1119 | |
Anton Korobeynikov | a229f0b | 2009-05-23 19:51:20 +0000 | [diff] [blame] | 1120 | // FIXME: Should we signal R9 usage? |
| 1121 | } |
| 1122 | |
Dan Gohman | 4a558a3 | 2007-07-25 19:33:14 +0000 | [diff] [blame] | 1123 | return Result; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1124 | } |
| 1125 | |
Chris Lattner | 2b638a7 | 2008-02-15 19:04:54 +0000 | [diff] [blame] | 1126 | /// PrintUnmangledNameSafely - Print out the printable characters in the name. |
Dan Gohman | 8387bb3 | 2009-03-03 02:55:14 +0000 | [diff] [blame] | 1127 | /// Don't print things like \\n or \\0. |
Daniel Dunbar | 23e2b80 | 2009-07-26 07:49:05 +0000 | [diff] [blame] | 1128 | static void PrintUnmangledNameSafely(const Value *V, |
| 1129 | formatted_raw_ostream &OS) { |
| 1130 | for (StringRef::iterator it = V->getName().begin(), |
| 1131 | ie = V->getName().end(); it != ie; ++it) |
| 1132 | if (isprint(*it)) |
| 1133 | OS << *it; |
Chris Lattner | 2b638a7 | 2008-02-15 19:04:54 +0000 | [diff] [blame] | 1134 | } |
| 1135 | |
Chris Lattner | ae98221 | 2009-07-21 18:38:57 +0000 | [diff] [blame] | 1136 | void ARMAsmPrinter::PrintGlobalVariable(const GlobalVariable* GVar) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1137 | const TargetData *TD = TM.getTargetData(); |
| 1138 | |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1139 | if (!GVar->hasInitializer()) // External global require no code |
| 1140 | return; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1141 | |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1142 | // Check to see if this is a special global used by LLVM, if so, emit it. |
| 1143 | |
| 1144 | if (EmitSpecialLLVMGlobal(GVar)) { |
| 1145 | if (Subtarget->isTargetDarwin() && |
| 1146 | TM.getRelocationModel() == Reloc::Static) { |
Daniel Dunbar | e03513b | 2009-07-25 23:55:21 +0000 | [diff] [blame] | 1147 | if (GVar->getName() == "llvm.global_ctors") |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1148 | O << ".reference .constructors_used\n"; |
Daniel Dunbar | e03513b | 2009-07-25 23:55:21 +0000 | [diff] [blame] | 1149 | else if (GVar->getName() == "llvm.global_dtors") |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1150 | O << ".reference .destructors_used\n"; |
| 1151 | } |
| 1152 | return; |
| 1153 | } |
| 1154 | |
Chris Lattner | b3cdde6 | 2009-07-14 18:17:16 +0000 | [diff] [blame] | 1155 | std::string name = Mang->getMangledName(GVar); |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1156 | Constant *C = GVar->getInitializer(); |
| 1157 | const Type *Type = C->getType(); |
Duncan Sands | ec4f97d | 2009-05-09 07:06:46 +0000 | [diff] [blame] | 1158 | unsigned Size = TD->getTypeAllocSize(Type); |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1159 | unsigned Align = TD->getPreferredAlignmentLog(GVar); |
Evan Cheng | 43f73c6 | 2008-12-06 02:00:55 +0000 | [diff] [blame] | 1160 | bool isDarwin = Subtarget->isTargetDarwin(); |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1161 | |
Anton Korobeynikov | 78d69aa | 2008-08-08 18:25:07 +0000 | [diff] [blame] | 1162 | printVisibility(name, GVar->getVisibility()); |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1163 | |
| 1164 | if (Subtarget->isTargetELF()) |
| 1165 | O << "\t.type " << name << ",%object\n"; |
Chris Lattner | 16b8d7f | 2009-07-24 03:49:17 +0000 | [diff] [blame] | 1166 | |
Chris Lattner | e6ad12f | 2009-07-31 18:48:30 +0000 | [diff] [blame] | 1167 | const MCSection *TheSection = |
Chris Lattner | 2931fe4 | 2009-07-29 05:09:30 +0000 | [diff] [blame] | 1168 | getObjFileLowering().SectionForGlobal(GVar, Mang, TM); |
Chris Lattner | 16b8d7f | 2009-07-24 03:49:17 +0000 | [diff] [blame] | 1169 | SwitchToSection(TheSection); |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1170 | |
Chris Lattner | d831052 | 2009-07-27 05:32:16 +0000 | [diff] [blame] | 1171 | // FIXME: get this stuff from section kind flags. |
Evan Cheng | cf84b14 | 2009-02-18 02:19:52 +0000 | [diff] [blame] | 1172 | if (C->isNullValue() && !GVar->hasSection() && !GVar->isThreadLocal() && |
Chris Lattner | 87bc69b | 2009-07-24 04:08:17 +0000 | [diff] [blame] | 1173 | // Don't put things that should go in the cstring section into "comm". |
Chris Lattner | d831052 | 2009-07-27 05:32:16 +0000 | [diff] [blame] | 1174 | !TheSection->getKind().isMergeableCString()) { |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1175 | if (GVar->hasExternalLinkage()) { |
| 1176 | if (const char *Directive = TAI->getZeroFillDirective()) { |
| 1177 | O << "\t.globl\t" << name << "\n"; |
| 1178 | O << Directive << "__DATA, __common, " << name << ", " |
| 1179 | << Size << ", " << Align << "\n"; |
| 1180 | return; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1181 | } |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1182 | } |
| 1183 | |
Duncan Sands | 19d161f | 2009-03-07 15:45:40 +0000 | [diff] [blame] | 1184 | if (GVar->hasLocalLinkage() || GVar->isWeakForLinker()) { |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1185 | if (Size == 0) Size = 1; // .comm Foo, 0 is undefined, avoid it. |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1186 | |
Evan Cheng | 43f73c6 | 2008-12-06 02:00:55 +0000 | [diff] [blame] | 1187 | if (isDarwin) { |
Rafael Espindola | a168fc9 | 2009-01-15 20:18:42 +0000 | [diff] [blame] | 1188 | if (GVar->hasLocalLinkage()) { |
Evan Cheng | 43f73c6 | 2008-12-06 02:00:55 +0000 | [diff] [blame] | 1189 | O << TAI->getLCOMMDirective() << name << "," << Size |
| 1190 | << ',' << Align; |
| 1191 | } else if (GVar->hasCommonLinkage()) { |
| 1192 | O << TAI->getCOMMDirective() << name << "," << Size |
| 1193 | << ',' << Align; |
| 1194 | } else { |
Chris Lattner | 2931fe4 | 2009-07-29 05:09:30 +0000 | [diff] [blame] | 1195 | SwitchToSection(getObjFileLowering().SectionForGlobal(GVar, Mang,TM)); |
Evan Cheng | 43f73c6 | 2008-12-06 02:00:55 +0000 | [diff] [blame] | 1196 | O << "\t.globl " << name << '\n' |
| 1197 | << TAI->getWeakDefDirective() << name << '\n'; |
| 1198 | EmitAlignment(Align, GVar); |
Evan Cheng | 11db814 | 2009-03-24 00:17:40 +0000 | [diff] [blame] | 1199 | O << name << ":"; |
| 1200 | if (VerboseAsm) { |
| 1201 | O << "\t\t\t\t" << TAI->getCommentString() << ' '; |
| 1202 | PrintUnmangledNameSafely(GVar, O); |
| 1203 | } |
Evan Cheng | 43f73c6 | 2008-12-06 02:00:55 +0000 | [diff] [blame] | 1204 | O << '\n'; |
| 1205 | EmitGlobalConstant(C); |
| 1206 | return; |
| 1207 | } |
| 1208 | } else if (TAI->getLCOMMDirective() != NULL) { |
Rafael Espindola | a168fc9 | 2009-01-15 20:18:42 +0000 | [diff] [blame] | 1209 | if (GVar->hasLocalLinkage()) { |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1210 | O << TAI->getLCOMMDirective() << name << "," << Size; |
Evan Cheng | 43f73c6 | 2008-12-06 02:00:55 +0000 | [diff] [blame] | 1211 | } else { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1212 | O << TAI->getCOMMDirective() << name << "," << Size; |
Evan Cheng | 43f73c6 | 2008-12-06 02:00:55 +0000 | [diff] [blame] | 1213 | if (TAI->getCOMMDirectiveTakesAlignment()) |
| 1214 | O << ',' << (TAI->getAlignmentIsInBytes() ? (1 << Align) : Align); |
| 1215 | } |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1216 | } else { |
Rafael Espindola | a168fc9 | 2009-01-15 20:18:42 +0000 | [diff] [blame] | 1217 | if (GVar->hasLocalLinkage()) |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1218 | O << "\t.local\t" << name << "\n"; |
| 1219 | O << TAI->getCOMMDirective() << name << "," << Size; |
| 1220 | if (TAI->getCOMMDirectiveTakesAlignment()) |
| 1221 | O << "," << (TAI->getAlignmentIsInBytes() ? (1 << Align) : Align); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1222 | } |
Evan Cheng | 11db814 | 2009-03-24 00:17:40 +0000 | [diff] [blame] | 1223 | if (VerboseAsm) { |
| 1224 | O << "\t\t" << TAI->getCommentString() << " "; |
| 1225 | PrintUnmangledNameSafely(GVar, O); |
| 1226 | } |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1227 | O << "\n"; |
| 1228 | return; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1229 | } |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1230 | } |
Chris Lattner | 16b8d7f | 2009-07-24 03:49:17 +0000 | [diff] [blame] | 1231 | |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1232 | switch (GVar->getLinkage()) { |
Chris Lattner | 16b8d7f | 2009-07-24 03:49:17 +0000 | [diff] [blame] | 1233 | case GlobalValue::CommonLinkage: |
| 1234 | case GlobalValue::LinkOnceAnyLinkage: |
| 1235 | case GlobalValue::LinkOnceODRLinkage: |
| 1236 | case GlobalValue::WeakAnyLinkage: |
| 1237 | case GlobalValue::WeakODRLinkage: |
Evan Cheng | 43f73c6 | 2008-12-06 02:00:55 +0000 | [diff] [blame] | 1238 | if (isDarwin) { |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1239 | O << "\t.globl " << name << "\n" |
| 1240 | << "\t.weak_definition " << name << "\n"; |
| 1241 | } else { |
| 1242 | O << "\t.weak " << name << "\n"; |
| 1243 | } |
| 1244 | break; |
Chris Lattner | 16b8d7f | 2009-07-24 03:49:17 +0000 | [diff] [blame] | 1245 | case GlobalValue::AppendingLinkage: |
| 1246 | // FIXME: appending linkage variables should go into a section of |
| 1247 | // their name or something. For now, just emit them as external. |
| 1248 | case GlobalValue::ExternalLinkage: |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1249 | O << "\t.globl " << name << "\n"; |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1250 | break; |
Chris Lattner | 16b8d7f | 2009-07-24 03:49:17 +0000 | [diff] [blame] | 1251 | case GlobalValue::PrivateLinkage: |
| 1252 | case GlobalValue::LinkerPrivateLinkage: |
| 1253 | case GlobalValue::InternalLinkage: |
| 1254 | break; |
| 1255 | default: |
Edwin Török | bd448e3 | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 1256 | llvm_unreachable("Unknown linkage type!"); |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1257 | } |
| 1258 | |
| 1259 | EmitAlignment(Align, GVar); |
Evan Cheng | 11db814 | 2009-03-24 00:17:40 +0000 | [diff] [blame] | 1260 | O << name << ":"; |
| 1261 | if (VerboseAsm) { |
| 1262 | O << "\t\t\t\t" << TAI->getCommentString() << " "; |
| 1263 | PrintUnmangledNameSafely(GVar, O); |
| 1264 | } |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1265 | O << "\n"; |
| 1266 | if (TAI->hasDotTypeDotSizeDirective()) |
| 1267 | O << "\t.size " << name << ", " << Size << "\n"; |
| 1268 | |
Anton Korobeynikov | 3cc6efa | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 1269 | EmitGlobalConstant(C); |
| 1270 | O << '\n'; |
| 1271 | } |
| 1272 | |
| 1273 | |
| 1274 | bool ARMAsmPrinter::doFinalization(Module &M) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1275 | if (Subtarget->isTargetDarwin()) { |
Chris Lattner | 21f0cc2 | 2009-08-03 22:18:15 +0000 | [diff] [blame] | 1276 | // All darwin targets use mach-o. |
| 1277 | TargetLoweringObjectFileMachO &TLOFMacho = |
| 1278 | static_cast<TargetLoweringObjectFileMachO &>(getObjFileLowering()); |
| 1279 | |
Chris Lattner | 494cb89 | 2009-07-15 04:12:33 +0000 | [diff] [blame] | 1280 | O << '\n'; |
Chris Lattner | 21f0cc2 | 2009-08-03 22:18:15 +0000 | [diff] [blame] | 1281 | |
| 1282 | if (!FnStubs.empty()) { |
| 1283 | const MCSection *StubSection; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1284 | if (TM.getRelocationModel() == Reloc::PIC_) |
Chris Lattner | 21f0cc2 | 2009-08-03 22:18:15 +0000 | [diff] [blame] | 1285 | StubSection = TLOFMacho.getMachOSection(".section __TEXT,__picsymbolstu" |
| 1286 | "b4,symbol_stubs,none,16", true, |
| 1287 | SectionKind::getText()); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1288 | else |
Chris Lattner | 21f0cc2 | 2009-08-03 22:18:15 +0000 | [diff] [blame] | 1289 | StubSection = TLOFMacho.getMachOSection(".section __TEXT,__symbol_stub4" |
| 1290 | ",symbol_stubs,none,12", true, |
| 1291 | SectionKind::getText()); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1292 | |
Chris Lattner | 21f0cc2 | 2009-08-03 22:18:15 +0000 | [diff] [blame] | 1293 | const MCSection *LazySymbolPointerSection |
| 1294 | = TLOFMacho.getMachOSection(".lazy_symbol_pointer", true, |
| 1295 | SectionKind::getMetadata()); |
| 1296 | |
| 1297 | // Output stubs for dynamically-linked functions |
| 1298 | for (StringMap<FnStubInfo>::iterator I = FnStubs.begin(), |
| 1299 | E = FnStubs.end(); I != E; ++I) { |
| 1300 | const FnStubInfo &Info = I->second; |
| 1301 | |
| 1302 | SwitchToSection(StubSection); |
| 1303 | EmitAlignment(2); |
| 1304 | O << "\t.code\t32\n"; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1305 | |
Chris Lattner | 21f0cc2 | 2009-08-03 22:18:15 +0000 | [diff] [blame] | 1306 | O << Info.Stub << ":\n"; |
| 1307 | O << "\t.indirect_symbol " << I->getKeyData() << '\n'; |
| 1308 | O << "\tldr ip, " << Info.SLP << '\n'; |
| 1309 | if (TM.getRelocationModel() == Reloc::PIC_) { |
| 1310 | O << Info.SCV << ":\n"; |
| 1311 | O << "\tadd ip, pc, ip\n"; |
| 1312 | } |
| 1313 | O << "\tldr pc, [ip, #0]\n"; |
| 1314 | O << Info.SLP << ":\n"; |
| 1315 | O << "\t.long\t" << Info.LazyPtr; |
| 1316 | if (TM.getRelocationModel() == Reloc::PIC_) |
| 1317 | O << "-(" << Info.SCV << "+8)"; |
| 1318 | O << '\n'; |
| 1319 | |
| 1320 | SwitchToSection(LazySymbolPointerSection); |
| 1321 | O << Info.LazyPtr << ":\n"; |
| 1322 | O << "\t.indirect_symbol " << I->getKeyData() << "\n"; |
| 1323 | O << "\t.long\tdyld_stub_binding_helper\n"; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1324 | } |
Chris Lattner | 48fe5b8 | 2009-07-15 04:41:01 +0000 | [diff] [blame] | 1325 | O << '\n'; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1326 | } |
Chris Lattner | 21f0cc2 | 2009-08-03 22:18:15 +0000 | [diff] [blame] | 1327 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1328 | // Output non-lazy-pointers for external and common global variables. |
Evan Cheng | a65854f | 2008-12-05 01:06:39 +0000 | [diff] [blame] | 1329 | if (!GVNonLazyPtrs.empty()) { |
Chris Lattner | 21f0cc2 | 2009-08-03 22:18:15 +0000 | [diff] [blame] | 1330 | SwitchToSection(TLOFMacho.getMachOSection(".non_lazy_symbol_pointer", |
| 1331 | true, |
| 1332 | SectionKind::getMetadata())); |
| 1333 | for (StringMap<std::string>::iterator I = GVNonLazyPtrs.begin(), |
| 1334 | E = GVNonLazyPtrs.end(); I != E; ++I) { |
Chris Lattner | 8735bec | 2009-07-15 03:12:43 +0000 | [diff] [blame] | 1335 | O << I->second << ":\n"; |
| 1336 | O << "\t.indirect_symbol " << I->getKeyData() << "\n"; |
Evan Cheng | a65854f | 2008-12-05 01:06:39 +0000 | [diff] [blame] | 1337 | O << "\t.long\t0\n"; |
| 1338 | } |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1339 | } |
| 1340 | |
Evan Cheng | a65854f | 2008-12-05 01:06:39 +0000 | [diff] [blame] | 1341 | if (!HiddenGVNonLazyPtrs.empty()) { |
Chris Lattner | c4c40a9 | 2009-07-28 03:13:23 +0000 | [diff] [blame] | 1342 | SwitchToSection(getObjFileLowering().getDataSection()); |
Chris Lattner | 8735bec | 2009-07-15 03:12:43 +0000 | [diff] [blame] | 1343 | for (StringMap<std::string>::iterator I = HiddenGVNonLazyPtrs.begin(), |
| 1344 | E = HiddenGVNonLazyPtrs.end(); I != E; ++I) { |
Evan Cheng | a65854f | 2008-12-05 01:06:39 +0000 | [diff] [blame] | 1345 | EmitAlignment(2); |
Chris Lattner | 8735bec | 2009-07-15 03:12:43 +0000 | [diff] [blame] | 1346 | O << I->second << ":\n"; |
| 1347 | O << "\t.long " << I->getKeyData() << "\n"; |
Evan Cheng | a65854f | 2008-12-05 01:06:39 +0000 | [diff] [blame] | 1348 | } |
| 1349 | } |
| 1350 | |
| 1351 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1352 | // Funny Darwin hack: This flag tells the linker that no global symbols |
| 1353 | // contain code that falls through to other global symbols (e.g. the obvious |
| 1354 | // implementation of multiple entry points). If this doesn't occur, the |
| 1355 | // linker can safely perform dead code stripping. Since LLVM never |
| 1356 | // generates code that does this, it is always safe to set. |
| 1357 | O << "\t.subsections_via_symbols\n"; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1358 | } |
| 1359 | |
Dan Gohman | 4a558a3 | 2007-07-25 19:33:14 +0000 | [diff] [blame] | 1360 | return AsmPrinter::doFinalization(M); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1361 | } |
Anton Korobeynikov | 74b114b | 2008-08-17 13:55:10 +0000 | [diff] [blame] | 1362 | |
Bob Wilson | ebbc1c4 | 2009-06-23 23:59:40 +0000 | [diff] [blame] | 1363 | // Force static initialization. |
Daniel Dunbar | fe5939f | 2009-07-15 20:24:03 +0000 | [diff] [blame] | 1364 | extern "C" void LLVMInitializeARMAsmPrinter() { |
Daniel Dunbar | c680b01 | 2009-07-25 06:49:55 +0000 | [diff] [blame] | 1365 | RegisterAsmPrinter<ARMAsmPrinter> X(TheARMTarget); |
| 1366 | RegisterAsmPrinter<ARMAsmPrinter> Y(TheThumbTarget); |
Daniel Dunbar | fe5939f | 2009-07-15 20:24:03 +0000 | [diff] [blame] | 1367 | } |