Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 1 | //===-- ARMAsmBackend.cpp - ARM Assembler Backend -------------------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | |
Jim Grosbach | d0d3f7e | 2011-08-16 17:06:20 +0000 | [diff] [blame] | 10 | #include "MCTargetDesc/ARMMCTargetDesc.h" |
Evan Cheng | be74029 | 2011-07-23 00:00:19 +0000 | [diff] [blame] | 11 | #include "MCTargetDesc/ARMBaseInfo.h" |
| 12 | #include "MCTargetDesc/ARMFixupKinds.h" |
Evan Cheng | ee04a6d | 2011-07-20 23:34:39 +0000 | [diff] [blame] | 13 | #include "MCTargetDesc/ARMAddressingModes.h" |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 14 | #include "llvm/ADT/Twine.h" |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 15 | #include "llvm/MC/MCAssembler.h" |
Jim Grosbach | 5be6d2a | 2010-12-08 01:16:55 +0000 | [diff] [blame] | 16 | #include "llvm/MC/MCDirectives.h" |
Rafael Espindola | 285b3e5 | 2010-12-17 16:59:53 +0000 | [diff] [blame] | 17 | #include "llvm/MC/MCELFObjectWriter.h" |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 18 | #include "llvm/MC/MCExpr.h" |
Daniel Dunbar | aa4b7dd | 2010-12-16 16:08:33 +0000 | [diff] [blame] | 19 | #include "llvm/MC/MCMachObjectWriter.h" |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 20 | #include "llvm/MC/MCObjectWriter.h" |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 21 | #include "llvm/MC/MCSectionELF.h" |
| 22 | #include "llvm/MC/MCSectionMachO.h" |
Evan Cheng | 78c10ee | 2011-07-25 23:24:55 +0000 | [diff] [blame] | 23 | #include "llvm/MC/MCAsmBackend.h" |
Jim Grosbach | d0d3f7e | 2011-08-16 17:06:20 +0000 | [diff] [blame] | 24 | #include "llvm/MC/MCSubtargetInfo.h" |
Jim Grosbach | 9b5b125 | 2012-01-18 00:23:57 +0000 | [diff] [blame] | 25 | #include "llvm/MC/MCValue.h" |
Daniel Dunbar | 36d76a8 | 2010-11-27 04:38:36 +0000 | [diff] [blame] | 26 | #include "llvm/Object/MachOFormat.h" |
Wesley Peck | eecb858 | 2010-10-22 15:52:49 +0000 | [diff] [blame] | 27 | #include "llvm/Support/ELF.h" |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 28 | #include "llvm/Support/ErrorHandling.h" |
| 29 | #include "llvm/Support/raw_ostream.h" |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 30 | using namespace llvm; |
| 31 | |
| 32 | namespace { |
Rafael Espindola | 6024c97 | 2010-12-17 17:45:22 +0000 | [diff] [blame] | 33 | class ARMELFObjectWriter : public MCELFObjectTargetWriter { |
| 34 | public: |
Rafael Espindola | dc9a8a3 | 2011-12-21 17:00:36 +0000 | [diff] [blame] | 35 | ARMELFObjectWriter(uint8_t OSABI) |
| 36 | : MCELFObjectTargetWriter(/*Is64Bit*/ false, OSABI, ELF::EM_ARM, |
Rafael Espindola | bff66a8 | 2010-12-18 03:27:34 +0000 | [diff] [blame] | 37 | /*HasRelocationAddend*/ false) {} |
Rafael Espindola | 6024c97 | 2010-12-17 17:45:22 +0000 | [diff] [blame] | 38 | }; |
| 39 | |
Evan Cheng | 78c10ee | 2011-07-25 23:24:55 +0000 | [diff] [blame] | 40 | class ARMAsmBackend : public MCAsmBackend { |
Jim Grosbach | d0d3f7e | 2011-08-16 17:06:20 +0000 | [diff] [blame] | 41 | const MCSubtargetInfo* STI; |
Jim Grosbach | 5be6d2a | 2010-12-08 01:16:55 +0000 | [diff] [blame] | 42 | bool isThumbMode; // Currently emitting Thumb code. |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 43 | public: |
Jim Grosbach | d0d3f7e | 2011-08-16 17:06:20 +0000 | [diff] [blame] | 44 | ARMAsmBackend(const Target &T, const StringRef TT) |
| 45 | : MCAsmBackend(), STI(ARM_MC::createARMMCSubtargetInfo(TT, "", "")), |
Jim Grosbach | b9d3ff8 | 2011-08-24 22:27:35 +0000 | [diff] [blame] | 46 | isThumbMode(TT.startswith("thumb")) {} |
Jim Grosbach | d0d3f7e | 2011-08-16 17:06:20 +0000 | [diff] [blame] | 47 | |
| 48 | ~ARMAsmBackend() { |
| 49 | delete STI; |
| 50 | } |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 51 | |
Daniel Dunbar | 2761fc4 | 2010-12-16 03:20:06 +0000 | [diff] [blame] | 52 | unsigned getNumFixupKinds() const { return ARM::NumTargetFixupKinds; } |
| 53 | |
Jim Grosbach | d0d3f7e | 2011-08-16 17:06:20 +0000 | [diff] [blame] | 54 | bool hasNOP() const { |
| 55 | return (STI->getFeatureBits() & ARM::HasV6T2Ops) != 0; |
| 56 | } |
| 57 | |
Daniel Dunbar | 2761fc4 | 2010-12-16 03:20:06 +0000 | [diff] [blame] | 58 | const MCFixupKindInfo &getFixupKindInfo(MCFixupKind Kind) const { |
| 59 | const static MCFixupKindInfo Infos[ARM::NumTargetFixupKinds] = { |
| 60 | // This table *must* be in the order that the fixup_* kinds are defined in |
| 61 | // ARMFixupKinds.h. |
| 62 | // |
| 63 | // Name Offset (bits) Size (bits) Flags |
Jim Grosbach | 2abba84 | 2011-11-16 22:48:37 +0000 | [diff] [blame] | 64 | { "fixup_arm_ldst_pcrel_12", 0, 32, MCFixupKindInfo::FKF_IsPCRel }, |
Daniel Dunbar | 2761fc4 | 2010-12-16 03:20:06 +0000 | [diff] [blame] | 65 | { "fixup_t2_ldst_pcrel_12", 0, 32, MCFixupKindInfo::FKF_IsPCRel | |
| 66 | MCFixupKindInfo::FKF_IsAlignedDownTo32Bits}, |
Jim Grosbach | 2f19674 | 2011-12-19 23:06:24 +0000 | [diff] [blame] | 67 | { "fixup_arm_pcrel_10_unscaled", 0, 32, MCFixupKindInfo::FKF_IsPCRel }, |
Jim Grosbach | 681460f | 2011-11-01 01:24:45 +0000 | [diff] [blame] | 68 | { "fixup_arm_pcrel_10", 0, 32, MCFixupKindInfo::FKF_IsPCRel }, |
Daniel Dunbar | 2761fc4 | 2010-12-16 03:20:06 +0000 | [diff] [blame] | 69 | { "fixup_t2_pcrel_10", 0, 32, MCFixupKindInfo::FKF_IsPCRel | |
| 70 | MCFixupKindInfo::FKF_IsAlignedDownTo32Bits}, |
| 71 | { "fixup_thumb_adr_pcrel_10",0, 8, MCFixupKindInfo::FKF_IsPCRel | |
| 72 | MCFixupKindInfo::FKF_IsAlignedDownTo32Bits}, |
Jim Grosbach | 2abba84 | 2011-11-16 22:48:37 +0000 | [diff] [blame] | 73 | { "fixup_arm_adr_pcrel_12", 0, 32, MCFixupKindInfo::FKF_IsPCRel }, |
Daniel Dunbar | 2761fc4 | 2010-12-16 03:20:06 +0000 | [diff] [blame] | 74 | { "fixup_t2_adr_pcrel_12", 0, 32, MCFixupKindInfo::FKF_IsPCRel | |
| 75 | MCFixupKindInfo::FKF_IsAlignedDownTo32Bits}, |
Jason W Kim | 685c350 | 2011-02-04 19:47:15 +0000 | [diff] [blame] | 76 | { "fixup_arm_condbranch", 0, 24, MCFixupKindInfo::FKF_IsPCRel }, |
| 77 | { "fixup_arm_uncondbranch", 0, 24, MCFixupKindInfo::FKF_IsPCRel }, |
Daniel Dunbar | 2761fc4 | 2010-12-16 03:20:06 +0000 | [diff] [blame] | 78 | { "fixup_t2_condbranch", 0, 32, MCFixupKindInfo::FKF_IsPCRel }, |
| 79 | { "fixup_t2_uncondbranch", 0, 32, MCFixupKindInfo::FKF_IsPCRel }, |
| 80 | { "fixup_arm_thumb_br", 0, 16, MCFixupKindInfo::FKF_IsPCRel }, |
| 81 | { "fixup_arm_thumb_bl", 0, 32, MCFixupKindInfo::FKF_IsPCRel }, |
Jim Grosbach | 90b5a08 | 2011-08-18 16:57:50 +0000 | [diff] [blame] | 82 | { "fixup_arm_thumb_blx", 0, 32, MCFixupKindInfo::FKF_IsPCRel }, |
Daniel Dunbar | 2761fc4 | 2010-12-16 03:20:06 +0000 | [diff] [blame] | 83 | { "fixup_arm_thumb_cb", 0, 16, MCFixupKindInfo::FKF_IsPCRel }, |
Jim Grosbach | 67b95f9 | 2011-08-19 18:20:48 +0000 | [diff] [blame] | 84 | { "fixup_arm_thumb_cp", 0, 8, MCFixupKindInfo::FKF_IsPCRel }, |
Eric Christopher | fea51fc | 2011-05-28 03:16:22 +0000 | [diff] [blame] | 85 | { "fixup_arm_thumb_bcc", 0, 8, MCFixupKindInfo::FKF_IsPCRel }, |
Evan Cheng | f3eb3bb | 2011-01-14 02:38:49 +0000 | [diff] [blame] | 86 | // movw / movt: 16-bits immediate but scattered into two chunks 0 - 12, 16 - 19. |
| 87 | { "fixup_arm_movt_hi16", 0, 20, 0 }, |
| 88 | { "fixup_arm_movw_lo16", 0, 20, 0 }, |
| 89 | { "fixup_t2_movt_hi16", 0, 20, 0 }, |
| 90 | { "fixup_t2_movw_lo16", 0, 20, 0 }, |
| 91 | { "fixup_arm_movt_hi16_pcrel", 0, 20, MCFixupKindInfo::FKF_IsPCRel }, |
| 92 | { "fixup_arm_movw_lo16_pcrel", 0, 20, MCFixupKindInfo::FKF_IsPCRel }, |
| 93 | { "fixup_t2_movt_hi16_pcrel", 0, 20, MCFixupKindInfo::FKF_IsPCRel }, |
| 94 | { "fixup_t2_movw_lo16_pcrel", 0, 20, MCFixupKindInfo::FKF_IsPCRel }, |
Daniel Dunbar | 2761fc4 | 2010-12-16 03:20:06 +0000 | [diff] [blame] | 95 | }; |
| 96 | |
| 97 | if (Kind < FirstTargetFixupKind) |
Evan Cheng | 78c10ee | 2011-07-25 23:24:55 +0000 | [diff] [blame] | 98 | return MCAsmBackend::getFixupKindInfo(Kind); |
Daniel Dunbar | 2761fc4 | 2010-12-16 03:20:06 +0000 | [diff] [blame] | 99 | |
| 100 | assert(unsigned(Kind - FirstTargetFixupKind) < getNumFixupKinds() && |
| 101 | "Invalid kind!"); |
| 102 | return Infos[Kind - FirstTargetFixupKind]; |
| 103 | } |
| 104 | |
Jim Grosbach | 9b5b125 | 2012-01-18 00:23:57 +0000 | [diff] [blame] | 105 | /// processFixupValue - Target hook to process the literal value of a fixup |
| 106 | /// if necessary. |
| 107 | void processFixupValue(const MCAssembler &Asm, const MCAsmLayout &Layout, |
| 108 | const MCFixup &Fixup, const MCFragment *DF, |
| 109 | MCValue &Target, uint64_t &Value) { |
| 110 | // Some fixups to thumb function symbols need the low bit (thumb bit) |
| 111 | // twiddled. |
Jim Grosbach | 5a7efa7 | 2012-01-18 00:40:25 +0000 | [diff] [blame] | 112 | if ((unsigned)Fixup.getKind() != ARM::fixup_arm_ldst_pcrel_12 && |
| 113 | (unsigned)Fixup.getKind() != ARM::fixup_t2_ldst_pcrel_12 && |
| 114 | (unsigned)Fixup.getKind() != ARM::fixup_arm_thumb_cp) { |
| 115 | if (const MCSymbolRefExpr *A = Target.getSymA()) { |
| 116 | const MCSymbol &Sym = A->getSymbol().AliasedSymbol(); |
| 117 | if (Asm.isThumbFunc(&Sym)) |
| 118 | Value |= 1; |
| 119 | } |
Jim Grosbach | 9b5b125 | 2012-01-18 00:23:57 +0000 | [diff] [blame] | 120 | } |
| 121 | } |
| 122 | |
Jim Grosbach | ec34338 | 2012-01-18 18:52:16 +0000 | [diff] [blame] | 123 | bool mayNeedRelaxation(const MCInst &Inst) const; |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 124 | |
Jim Grosbach | 370b78d | 2011-12-06 00:47:03 +0000 | [diff] [blame] | 125 | bool fixupNeedsRelaxation(const MCFixup &Fixup, |
| 126 | uint64_t Value, |
| 127 | const MCInstFragment *DF, |
| 128 | const MCAsmLayout &Layout) const; |
| 129 | |
Jim Grosbach | ec34338 | 2012-01-18 18:52:16 +0000 | [diff] [blame] | 130 | void relaxInstruction(const MCInst &Inst, MCInst &Res) const; |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 131 | |
Jim Grosbach | ec34338 | 2012-01-18 18:52:16 +0000 | [diff] [blame] | 132 | bool writeNopData(uint64_t Count, MCObjectWriter *OW) const; |
Jim Grosbach | 3787a40 | 2010-09-30 17:45:51 +0000 | [diff] [blame] | 133 | |
Jim Grosbach | ec34338 | 2012-01-18 18:52:16 +0000 | [diff] [blame] | 134 | void handleAssemblerFlag(MCAssemblerFlag Flag) { |
Jim Grosbach | 5be6d2a | 2010-12-08 01:16:55 +0000 | [diff] [blame] | 135 | switch (Flag) { |
| 136 | default: break; |
| 137 | case MCAF_Code16: |
| 138 | setIsThumb(true); |
| 139 | break; |
| 140 | case MCAF_Code32: |
| 141 | setIsThumb(false); |
| 142 | break; |
| 143 | } |
Jim Grosbach | 3787a40 | 2010-09-30 17:45:51 +0000 | [diff] [blame] | 144 | } |
Jim Grosbach | 5be6d2a | 2010-12-08 01:16:55 +0000 | [diff] [blame] | 145 | |
| 146 | unsigned getPointerSize() const { return 4; } |
| 147 | bool isThumb() const { return isThumbMode; } |
| 148 | void setIsThumb(bool it) { isThumbMode = it; } |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 149 | }; |
Chris Lattner | b75c651 | 2010-11-17 05:41:32 +0000 | [diff] [blame] | 150 | } // end anonymous namespace |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 151 | |
Jim Grosbach | f503ef6 | 2011-12-05 23:45:46 +0000 | [diff] [blame] | 152 | static unsigned getRelaxedOpcode(unsigned Op) { |
| 153 | switch (Op) { |
| 154 | default: return Op; |
Jim Grosbach | 256ba4f | 2012-01-18 21:54:16 +0000 | [diff] [blame] | 155 | case ARM::tBcc: return ARM::t2Bcc; |
| 156 | case ARM::tLDRpciASM: return ARM::t2LDRpci; |
Jim Grosbach | 9363c58 | 2012-01-19 02:09:38 +0000 | [diff] [blame] | 157 | case ARM::tADR: return ARM::t2ADR; |
Jim Grosbach | f503ef6 | 2011-12-05 23:45:46 +0000 | [diff] [blame] | 158 | } |
| 159 | } |
| 160 | |
Jim Grosbach | ec34338 | 2012-01-18 18:52:16 +0000 | [diff] [blame] | 161 | bool ARMAsmBackend::mayNeedRelaxation(const MCInst &Inst) const { |
Jim Grosbach | f503ef6 | 2011-12-05 23:45:46 +0000 | [diff] [blame] | 162 | if (getRelaxedOpcode(Inst.getOpcode()) != Inst.getOpcode()) |
| 163 | return true; |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 164 | return false; |
| 165 | } |
| 166 | |
Jim Grosbach | 370b78d | 2011-12-06 00:47:03 +0000 | [diff] [blame] | 167 | bool ARMAsmBackend::fixupNeedsRelaxation(const MCFixup &Fixup, |
| 168 | uint64_t Value, |
| 169 | const MCInstFragment *DF, |
| 170 | const MCAsmLayout &Layout) const { |
Benjamin Kramer | e545ee2 | 2012-01-19 21:11:13 +0000 | [diff] [blame^] | 171 | switch ((unsigned)Fixup.getKind()) { |
Jim Grosbach | 256ba4f | 2012-01-18 21:54:16 +0000 | [diff] [blame] | 172 | case ARM::fixup_arm_thumb_bcc: { |
| 173 | // Relaxing tBcc to t2Bcc. tBcc has a signed 9-bit displacement with the |
| 174 | // low bit being an implied zero. There's an implied +4 offset for the |
| 175 | // branch, so we adjust the other way here to determine what's |
| 176 | // encodable. |
| 177 | // |
| 178 | // Relax if the value is too big for a (signed) i8. |
| 179 | int64_t Offset = int64_t(Value) - 4; |
| 180 | return Offset > 254 || Offset < -256; |
| 181 | } |
Jim Grosbach | 9363c58 | 2012-01-19 02:09:38 +0000 | [diff] [blame] | 182 | case ARM::fixup_thumb_adr_pcrel_10: |
Jim Grosbach | 256ba4f | 2012-01-18 21:54:16 +0000 | [diff] [blame] | 183 | case ARM::fixup_arm_thumb_cp: { |
Jim Grosbach | d26bad0 | 2012-01-19 01:50:30 +0000 | [diff] [blame] | 184 | // If the immediate is negative, greater than 1020, or not a multiple |
| 185 | // of four, the wide version of the instruction must be used. |
Jim Grosbach | 256ba4f | 2012-01-18 21:54:16 +0000 | [diff] [blame] | 186 | int64_t Offset = int64_t(Value) - 4; |
Jim Grosbach | d26bad0 | 2012-01-19 01:50:30 +0000 | [diff] [blame] | 187 | return Offset > 1020 || Offset < 0 || Offset & 3; |
Jim Grosbach | 256ba4f | 2012-01-18 21:54:16 +0000 | [diff] [blame] | 188 | } |
| 189 | } |
Benjamin Kramer | e545ee2 | 2012-01-19 21:11:13 +0000 | [diff] [blame^] | 190 | llvm_unreachable("Unexpected fixup kind in fixupNeedsRelaxation()!"); |
Jim Grosbach | 370b78d | 2011-12-06 00:47:03 +0000 | [diff] [blame] | 191 | } |
| 192 | |
Jim Grosbach | ec34338 | 2012-01-18 18:52:16 +0000 | [diff] [blame] | 193 | void ARMAsmBackend::relaxInstruction(const MCInst &Inst, MCInst &Res) const { |
Jim Grosbach | f503ef6 | 2011-12-05 23:45:46 +0000 | [diff] [blame] | 194 | unsigned RelaxedOp = getRelaxedOpcode(Inst.getOpcode()); |
| 195 | |
| 196 | // Sanity check w/ diagnostic if we get here w/ a bogus instruction. |
| 197 | if (RelaxedOp == Inst.getOpcode()) { |
| 198 | SmallString<256> Tmp; |
| 199 | raw_svector_ostream OS(Tmp); |
| 200 | Inst.dump_pretty(OS); |
| 201 | OS << "\n"; |
| 202 | report_fatal_error("unexpected instruction to relax: " + OS.str()); |
| 203 | } |
| 204 | |
| 205 | // The instructions we're relaxing have (so far) the same operands. |
| 206 | // We just need to update to the proper opcode. |
| 207 | Res = Inst; |
| 208 | Res.setOpcode(RelaxedOp); |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 209 | } |
| 210 | |
Jim Grosbach | ec34338 | 2012-01-18 18:52:16 +0000 | [diff] [blame] | 211 | bool ARMAsmBackend::writeNopData(uint64_t Count, MCObjectWriter *OW) const { |
Jim Grosbach | d0d3f7e | 2011-08-16 17:06:20 +0000 | [diff] [blame] | 212 | const uint16_t Thumb1_16bitNopEncoding = 0x46c0; // using MOV r8,r8 |
| 213 | const uint16_t Thumb2_16bitNopEncoding = 0xbf00; // NOP |
| 214 | const uint32_t ARMv4_NopEncoding = 0xe1a0000; // using MOV r0,r0 |
Jim Grosbach | b84acd2 | 2011-11-16 22:40:25 +0000 | [diff] [blame] | 215 | const uint32_t ARMv6T2_NopEncoding = 0xe320f000; // NOP |
Jim Grosbach | 5be6d2a | 2010-12-08 01:16:55 +0000 | [diff] [blame] | 216 | if (isThumb()) { |
Jim Grosbach | d0d3f7e | 2011-08-16 17:06:20 +0000 | [diff] [blame] | 217 | const uint16_t nopEncoding = hasNOP() ? Thumb2_16bitNopEncoding |
| 218 | : Thumb1_16bitNopEncoding; |
Jim Grosbach | a3dbd3a | 2010-12-17 19:03:02 +0000 | [diff] [blame] | 219 | uint64_t NumNops = Count / 2; |
| 220 | for (uint64_t i = 0; i != NumNops; ++i) |
Jim Grosbach | d0d3f7e | 2011-08-16 17:06:20 +0000 | [diff] [blame] | 221 | OW->Write16(nopEncoding); |
Jim Grosbach | a3dbd3a | 2010-12-17 19:03:02 +0000 | [diff] [blame] | 222 | if (Count & 1) |
| 223 | OW->Write8(0); |
Jim Grosbach | 5be6d2a | 2010-12-08 01:16:55 +0000 | [diff] [blame] | 224 | return true; |
| 225 | } |
| 226 | // ARM mode |
Jim Grosbach | d0d3f7e | 2011-08-16 17:06:20 +0000 | [diff] [blame] | 227 | const uint32_t nopEncoding = hasNOP() ? ARMv6T2_NopEncoding |
| 228 | : ARMv4_NopEncoding; |
Jim Grosbach | a3dbd3a | 2010-12-17 19:03:02 +0000 | [diff] [blame] | 229 | uint64_t NumNops = Count / 4; |
| 230 | for (uint64_t i = 0; i != NumNops; ++i) |
Jim Grosbach | d0d3f7e | 2011-08-16 17:06:20 +0000 | [diff] [blame] | 231 | OW->Write32(nopEncoding); |
| 232 | // FIXME: should this function return false when unable to write exactly |
| 233 | // 'Count' bytes with NOP encodings? |
Jim Grosbach | a3dbd3a | 2010-12-17 19:03:02 +0000 | [diff] [blame] | 234 | switch (Count % 4) { |
| 235 | default: break; // No leftover bytes to write |
| 236 | case 1: OW->Write8(0); break; |
| 237 | case 2: OW->Write16(0); break; |
| 238 | case 3: OW->Write16(0); OW->Write8(0xa0); break; |
| 239 | } |
| 240 | |
Rafael Espindola | cecbc3d | 2010-10-25 17:50:35 +0000 | [diff] [blame] | 241 | return true; |
Jim Grosbach | 87dc3aa | 2010-09-30 03:20:34 +0000 | [diff] [blame] | 242 | } |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 243 | |
Jason W Kim | 0c628c2 | 2010-12-01 22:46:50 +0000 | [diff] [blame] | 244 | static unsigned adjustFixupValue(unsigned Kind, uint64_t Value) { |
| 245 | switch (Kind) { |
| 246 | default: |
| 247 | llvm_unreachable("Unknown fixup kind!"); |
Jim Grosbach | 6ec6eeb | 2010-12-17 18:39:10 +0000 | [diff] [blame] | 248 | case FK_Data_1: |
| 249 | case FK_Data_2: |
Jason W Kim | 0c628c2 | 2010-12-01 22:46:50 +0000 | [diff] [blame] | 250 | case FK_Data_4: |
Jason W Kim | 0c628c2 | 2010-12-01 22:46:50 +0000 | [diff] [blame] | 251 | return Value; |
Jason W Kim | 2ccf148 | 2010-12-03 19:40:23 +0000 | [diff] [blame] | 252 | case ARM::fixup_arm_movt_hi16: |
Evan Cheng | f3eb3bb | 2011-01-14 02:38:49 +0000 | [diff] [blame] | 253 | Value >>= 16; |
| 254 | // Fallthrough |
| 255 | case ARM::fixup_arm_movw_lo16: |
Jason W Kim | 861b9c6 | 2011-05-19 20:55:25 +0000 | [diff] [blame] | 256 | case ARM::fixup_arm_movt_hi16_pcrel: |
Jason W Kim | 86a97f2 | 2011-01-12 00:19:25 +0000 | [diff] [blame] | 257 | case ARM::fixup_arm_movw_lo16_pcrel: { |
Jason W Kim | 2ccf148 | 2010-12-03 19:40:23 +0000 | [diff] [blame] | 258 | unsigned Hi4 = (Value & 0xF000) >> 12; |
| 259 | unsigned Lo12 = Value & 0x0FFF; |
| 260 | // inst{19-16} = Hi4; |
| 261 | // inst{11-0} = Lo12; |
| 262 | Value = (Hi4 << 16) | (Lo12); |
| 263 | return Value; |
| 264 | } |
Evan Cheng | f3eb3bb | 2011-01-14 02:38:49 +0000 | [diff] [blame] | 265 | case ARM::fixup_t2_movt_hi16: |
Evan Cheng | f3eb3bb | 2011-01-14 02:38:49 +0000 | [diff] [blame] | 266 | Value >>= 16; |
| 267 | // Fallthrough |
| 268 | case ARM::fixup_t2_movw_lo16: |
Jim Grosbach | 8b45456 | 2011-06-24 20:06:59 +0000 | [diff] [blame] | 269 | case ARM::fixup_t2_movt_hi16_pcrel: //FIXME: Shouldn't this be shifted like |
| 270 | // the other hi16 fixup? |
Evan Cheng | f3eb3bb | 2011-01-14 02:38:49 +0000 | [diff] [blame] | 271 | case ARM::fixup_t2_movw_lo16_pcrel: { |
| 272 | unsigned Hi4 = (Value & 0xF000) >> 12; |
| 273 | unsigned i = (Value & 0x800) >> 11; |
| 274 | unsigned Mid3 = (Value & 0x700) >> 8; |
| 275 | unsigned Lo8 = Value & 0x0FF; |
| 276 | // inst{19-16} = Hi4; |
| 277 | // inst{26} = i; |
| 278 | // inst{14-12} = Mid3; |
| 279 | // inst{7-0} = Lo8; |
Jim Grosbach | f391e9f | 2011-09-30 22:02:45 +0000 | [diff] [blame] | 280 | Value = (Hi4 << 16) | (i << 26) | (Mid3 << 12) | (Lo8); |
Evan Cheng | f3eb3bb | 2011-01-14 02:38:49 +0000 | [diff] [blame] | 281 | uint64_t swapped = (Value & 0xFFFF0000) >> 16; |
| 282 | swapped |= (Value & 0x0000FFFF) << 16; |
| 283 | return swapped; |
| 284 | } |
Owen Anderson | d7b3f58 | 2010-12-09 01:51:07 +0000 | [diff] [blame] | 285 | case ARM::fixup_arm_ldst_pcrel_12: |
Jason W Kim | 0c628c2 | 2010-12-01 22:46:50 +0000 | [diff] [blame] | 286 | // ARM PC-relative values are offset by 8. |
Owen Anderson | 05018c2 | 2010-12-09 20:27:52 +0000 | [diff] [blame] | 287 | Value -= 4; |
Owen Anderson | fe7fac7 | 2010-12-09 21:34:47 +0000 | [diff] [blame] | 288 | // FALLTHROUGH |
Owen Anderson | d7b3f58 | 2010-12-09 01:51:07 +0000 | [diff] [blame] | 289 | case ARM::fixup_t2_ldst_pcrel_12: { |
| 290 | // Offset by 4, adjusted by two due to the half-word ordering of thumb. |
Owen Anderson | 05018c2 | 2010-12-09 20:27:52 +0000 | [diff] [blame] | 291 | Value -= 4; |
Owen Anderson | d7b3f58 | 2010-12-09 01:51:07 +0000 | [diff] [blame] | 292 | bool isAdd = true; |
Jason W Kim | 0c628c2 | 2010-12-01 22:46:50 +0000 | [diff] [blame] | 293 | if ((int64_t)Value < 0) { |
| 294 | Value = -Value; |
| 295 | isAdd = false; |
| 296 | } |
| 297 | assert ((Value < 4096) && "Out of range pc-relative fixup value!"); |
| 298 | Value |= isAdd << 23; |
Jim Grosbach | 7e294cf | 2010-12-13 19:18:13 +0000 | [diff] [blame] | 299 | |
Owen Anderson | d7b3f58 | 2010-12-09 01:51:07 +0000 | [diff] [blame] | 300 | // Same addressing mode as fixup_arm_pcrel_10, |
| 301 | // but with 16-bit halfwords swapped. |
| 302 | if (Kind == ARM::fixup_t2_ldst_pcrel_12) { |
| 303 | uint64_t swapped = (Value & 0xFFFF0000) >> 16; |
| 304 | swapped |= (Value & 0x0000FFFF) << 16; |
| 305 | return swapped; |
| 306 | } |
Jim Grosbach | 7e294cf | 2010-12-13 19:18:13 +0000 | [diff] [blame] | 307 | |
Jason W Kim | 0c628c2 | 2010-12-01 22:46:50 +0000 | [diff] [blame] | 308 | return Value; |
| 309 | } |
Jim Grosbach | d40963c | 2010-12-14 22:28:03 +0000 | [diff] [blame] | 310 | case ARM::fixup_thumb_adr_pcrel_10: |
| 311 | return ((Value - 4) >> 2) & 0xff; |
Jim Grosbach | dff84b0 | 2010-12-02 00:28:45 +0000 | [diff] [blame] | 312 | case ARM::fixup_arm_adr_pcrel_12: { |
| 313 | // ARM PC-relative values are offset by 8. |
| 314 | Value -= 8; |
| 315 | unsigned opc = 4; // bits {24-21}. Default to add: 0b0100 |
| 316 | if ((int64_t)Value < 0) { |
| 317 | Value = -Value; |
| 318 | opc = 2; // 0b0010 |
| 319 | } |
| 320 | assert(ARM_AM::getSOImmVal(Value) != -1 && |
| 321 | "Out of range pc-relative fixup value!"); |
| 322 | // Encode the immediate and shift the opcode into place. |
| 323 | return ARM_AM::getSOImmVal(Value) | (opc << 21); |
| 324 | } |
Jim Grosbach | e8eb1ea | 2010-12-14 16:25:15 +0000 | [diff] [blame] | 325 | |
Owen Anderson | a838a25 | 2010-12-14 00:36:49 +0000 | [diff] [blame] | 326 | case ARM::fixup_t2_adr_pcrel_12: { |
| 327 | Value -= 4; |
| 328 | unsigned opc = 0; |
| 329 | if ((int64_t)Value < 0) { |
| 330 | Value = -Value; |
| 331 | opc = 5; |
| 332 | } |
| 333 | |
| 334 | uint32_t out = (opc << 21); |
Owen Anderson | 741ad15 | 2011-03-23 22:03:44 +0000 | [diff] [blame] | 335 | out |= (Value & 0x800) << 15; |
Owen Anderson | a838a25 | 2010-12-14 00:36:49 +0000 | [diff] [blame] | 336 | out |= (Value & 0x700) << 4; |
| 337 | out |= (Value & 0x0FF); |
Jim Grosbach | e8eb1ea | 2010-12-14 16:25:15 +0000 | [diff] [blame] | 338 | |
Owen Anderson | a838a25 | 2010-12-14 00:36:49 +0000 | [diff] [blame] | 339 | uint64_t swapped = (out & 0xFFFF0000) >> 16; |
| 340 | swapped |= (out & 0x0000FFFF) << 16; |
| 341 | return swapped; |
| 342 | } |
Jim Grosbach | e8eb1ea | 2010-12-14 16:25:15 +0000 | [diff] [blame] | 343 | |
Jason W Kim | 685c350 | 2011-02-04 19:47:15 +0000 | [diff] [blame] | 344 | case ARM::fixup_arm_condbranch: |
| 345 | case ARM::fixup_arm_uncondbranch: |
Jason W Kim | 0c628c2 | 2010-12-01 22:46:50 +0000 | [diff] [blame] | 346 | // These values don't encode the low two bits since they're always zero. |
| 347 | // Offset by 8 just as above. |
Jim Grosbach | 662a816 | 2010-12-06 23:57:07 +0000 | [diff] [blame] | 348 | return 0xffffff & ((Value - 8) >> 2); |
Owen Anderson | c266600 | 2010-12-13 19:31:11 +0000 | [diff] [blame] | 349 | case ARM::fixup_t2_uncondbranch: { |
Owen Anderson | 63ee220 | 2010-12-10 23:02:28 +0000 | [diff] [blame] | 350 | Value = Value - 4; |
Owen Anderson | fb20d89 | 2010-12-09 00:27:41 +0000 | [diff] [blame] | 351 | Value >>= 1; // Low bit is not encoded. |
Jim Grosbach | 7e294cf | 2010-12-13 19:18:13 +0000 | [diff] [blame] | 352 | |
Jim Grosbach | 56a2535 | 2010-12-13 19:25:46 +0000 | [diff] [blame] | 353 | uint32_t out = 0; |
Owen Anderson | c266600 | 2010-12-13 19:31:11 +0000 | [diff] [blame] | 354 | bool I = Value & 0x800000; |
| 355 | bool J1 = Value & 0x400000; |
| 356 | bool J2 = Value & 0x200000; |
| 357 | J1 ^= I; |
| 358 | J2 ^= I; |
Jim Grosbach | e8eb1ea | 2010-12-14 16:25:15 +0000 | [diff] [blame] | 359 | |
Owen Anderson | c266600 | 2010-12-13 19:31:11 +0000 | [diff] [blame] | 360 | out |= I << 26; // S bit |
| 361 | out |= !J1 << 13; // J1 bit |
| 362 | out |= !J2 << 11; // J2 bit |
| 363 | out |= (Value & 0x1FF800) << 5; // imm6 field |
| 364 | out |= (Value & 0x0007FF); // imm11 field |
Jim Grosbach | e8eb1ea | 2010-12-14 16:25:15 +0000 | [diff] [blame] | 365 | |
Owen Anderson | c266600 | 2010-12-13 19:31:11 +0000 | [diff] [blame] | 366 | uint64_t swapped = (out & 0xFFFF0000) >> 16; |
| 367 | swapped |= (out & 0x0000FFFF) << 16; |
| 368 | return swapped; |
| 369 | } |
| 370 | case ARM::fixup_t2_condbranch: { |
| 371 | Value = Value - 4; |
| 372 | Value >>= 1; // Low bit is not encoded. |
Jim Grosbach | e8eb1ea | 2010-12-14 16:25:15 +0000 | [diff] [blame] | 373 | |
Owen Anderson | c266600 | 2010-12-13 19:31:11 +0000 | [diff] [blame] | 374 | uint64_t out = 0; |
Owen Anderson | 8f07943 | 2010-12-09 01:02:09 +0000 | [diff] [blame] | 375 | out |= (Value & 0x80000) << 7; // S bit |
| 376 | out |= (Value & 0x40000) >> 7; // J2 bit |
| 377 | out |= (Value & 0x20000) >> 4; // J1 bit |
| 378 | out |= (Value & 0x1F800) << 5; // imm6 field |
| 379 | out |= (Value & 0x007FF); // imm11 field |
Jim Grosbach | 7e294cf | 2010-12-13 19:18:13 +0000 | [diff] [blame] | 380 | |
Jim Grosbach | 56a2535 | 2010-12-13 19:25:46 +0000 | [diff] [blame] | 381 | uint32_t swapped = (out & 0xFFFF0000) >> 16; |
Owen Anderson | fb20d89 | 2010-12-09 00:27:41 +0000 | [diff] [blame] | 382 | swapped |= (out & 0x0000FFFF) << 16; |
| 383 | return swapped; |
| 384 | } |
Jim Grosbach | 662a816 | 2010-12-06 23:57:07 +0000 | [diff] [blame] | 385 | case ARM::fixup_arm_thumb_bl: { |
| 386 | // The value doesn't encode the low bit (always zero) and is offset by |
| 387 | // four. The value is encoded into disjoint bit positions in the destination |
| 388 | // opcode. x = unchanged, I = immediate value bit, S = sign extension bit |
Jim Grosbach | 7e294cf | 2010-12-13 19:18:13 +0000 | [diff] [blame] | 389 | // |
Bill Wendling | 09aa3f0 | 2010-12-09 00:39:08 +0000 | [diff] [blame] | 390 | // BL: xxxxxSIIIIIIIIII xxxxxIIIIIIIIIII |
Jim Grosbach | 7e294cf | 2010-12-13 19:18:13 +0000 | [diff] [blame] | 391 | // |
Jim Grosbach | 662a816 | 2010-12-06 23:57:07 +0000 | [diff] [blame] | 392 | // Note that the halfwords are stored high first, low second; so we need |
| 393 | // to transpose the fixup value here to map properly. |
Rafael Espindola | 298c8e1 | 2011-05-20 20:01:01 +0000 | [diff] [blame] | 394 | unsigned isNeg = (int64_t(Value - 4) < 0) ? 1 : 0; |
Bill Wendling | 797b7aa | 2010-12-09 00:44:33 +0000 | [diff] [blame] | 395 | uint32_t Binary = 0; |
| 396 | Value = 0x3fffff & ((Value - 4) >> 1); |
| 397 | Binary = (Value & 0x7ff) << 16; // Low imm11 value. |
| 398 | Binary |= (Value & 0x1ffc00) >> 11; // High imm10 value. |
| 399 | Binary |= isNeg << 10; // Sign bit. |
Bill Wendling | 09aa3f0 | 2010-12-09 00:39:08 +0000 | [diff] [blame] | 400 | return Binary; |
| 401 | } |
| 402 | case ARM::fixup_arm_thumb_blx: { |
| 403 | // The value doesn't encode the low two bits (always zero) and is offset by |
| 404 | // four (see fixup_arm_thumb_cp). The value is encoded into disjoint bit |
| 405 | // positions in the destination opcode. x = unchanged, I = immediate value |
| 406 | // bit, S = sign extension bit, 0 = zero. |
Jim Grosbach | 7e294cf | 2010-12-13 19:18:13 +0000 | [diff] [blame] | 407 | // |
Bill Wendling | 09aa3f0 | 2010-12-09 00:39:08 +0000 | [diff] [blame] | 408 | // BLX: xxxxxSIIIIIIIIII xxxxxIIIIIIIIII0 |
Jim Grosbach | 7e294cf | 2010-12-13 19:18:13 +0000 | [diff] [blame] | 409 | // |
Bill Wendling | 09aa3f0 | 2010-12-09 00:39:08 +0000 | [diff] [blame] | 410 | // Note that the halfwords are stored high first, low second; so we need |
| 411 | // to transpose the fixup value here to map properly. |
Rafael Espindola | 298c8e1 | 2011-05-20 20:01:01 +0000 | [diff] [blame] | 412 | unsigned isNeg = (int64_t(Value-4) < 0) ? 1 : 0; |
Bill Wendling | 797b7aa | 2010-12-09 00:44:33 +0000 | [diff] [blame] | 413 | uint32_t Binary = 0; |
| 414 | Value = 0xfffff & ((Value - 2) >> 2); |
| 415 | Binary = (Value & 0x3ff) << 17; // Low imm10L value. |
| 416 | Binary |= (Value & 0xffc00) >> 10; // High imm10H value. |
| 417 | Binary |= isNeg << 10; // Sign bit. |
Jim Grosbach | 662a816 | 2010-12-06 23:57:07 +0000 | [diff] [blame] | 418 | return Binary; |
| 419 | } |
Bill Wendling | b8958b0 | 2010-12-08 01:57:09 +0000 | [diff] [blame] | 420 | case ARM::fixup_arm_thumb_cp: |
Jim Grosbach | 0c2c217 | 2010-12-08 20:32:07 +0000 | [diff] [blame] | 421 | // Offset by 4, and don't encode the low two bits. Two bytes of that |
| 422 | // 'off by 4' is implicitly handled by the half-word ordering of the |
| 423 | // Thumb encoding, so we only need to adjust by 2 here. |
| 424 | return ((Value - 2) >> 2) & 0xff; |
Jim Grosbach | b492a7c | 2010-12-09 19:50:12 +0000 | [diff] [blame] | 425 | case ARM::fixup_arm_thumb_cb: { |
Bill Wendling | dff2f71 | 2010-12-08 23:01:43 +0000 | [diff] [blame] | 426 | // Offset by 4 and don't encode the lower bit, which is always 0. |
| 427 | uint32_t Binary = (Value - 4) >> 1; |
Owen Anderson | 86abd48 | 2010-12-14 19:42:53 +0000 | [diff] [blame] | 428 | return ((Binary & 0x20) << 4) | ((Binary & 0x1f) << 3); |
Bill Wendling | dff2f71 | 2010-12-08 23:01:43 +0000 | [diff] [blame] | 429 | } |
Jim Grosbach | e246717 | 2010-12-10 18:21:33 +0000 | [diff] [blame] | 430 | case ARM::fixup_arm_thumb_br: |
| 431 | // Offset by 4 and don't encode the lower bit, which is always 0. |
| 432 | return ((Value - 4) >> 1) & 0x7ff; |
Jim Grosbach | 0108645 | 2010-12-10 17:13:40 +0000 | [diff] [blame] | 433 | case ARM::fixup_arm_thumb_bcc: |
| 434 | // Offset by 4 and don't encode the lower bit, which is always 0. |
| 435 | return ((Value - 4) >> 1) & 0xff; |
Jim Grosbach | 2f19674 | 2011-12-19 23:06:24 +0000 | [diff] [blame] | 436 | case ARM::fixup_arm_pcrel_10_unscaled: { |
| 437 | Value = Value - 8; // ARM fixups offset by an additional word and don't |
| 438 | // need to adjust for the half-word ordering. |
| 439 | bool isAdd = true; |
| 440 | if ((int64_t)Value < 0) { |
| 441 | Value = -Value; |
| 442 | isAdd = false; |
| 443 | } |
| 444 | assert ((Value < 256) && "Out of range pc-relative fixup value!"); |
| 445 | return Value | (isAdd << 23); |
| 446 | } |
Jim Grosbach | 0c2c217 | 2010-12-08 20:32:07 +0000 | [diff] [blame] | 447 | case ARM::fixup_arm_pcrel_10: |
Owen Anderson | e2e0f58 | 2010-12-10 22:46:47 +0000 | [diff] [blame] | 448 | Value = Value - 4; // ARM fixups offset by an additional word and don't |
Jim Grosbach | 0c2c217 | 2010-12-08 20:32:07 +0000 | [diff] [blame] | 449 | // need to adjust for the half-word ordering. |
| 450 | // Fall through. |
| 451 | case ARM::fixup_t2_pcrel_10: { |
| 452 | // Offset by 4, adjusted by two due to the half-word ordering of thumb. |
Owen Anderson | e2e0f58 | 2010-12-10 22:46:47 +0000 | [diff] [blame] | 453 | Value = Value - 4; |
Jason W Kim | 0c628c2 | 2010-12-01 22:46:50 +0000 | [diff] [blame] | 454 | bool isAdd = true; |
| 455 | if ((int64_t)Value < 0) { |
| 456 | Value = -Value; |
| 457 | isAdd = false; |
| 458 | } |
| 459 | // These values don't encode the low two bits since they're always zero. |
| 460 | Value >>= 2; |
| 461 | assert ((Value < 256) && "Out of range pc-relative fixup value!"); |
| 462 | Value |= isAdd << 23; |
Jim Grosbach | 0c2c217 | 2010-12-08 20:32:07 +0000 | [diff] [blame] | 463 | |
Jim Grosbach | 2f19674 | 2011-12-19 23:06:24 +0000 | [diff] [blame] | 464 | // Same addressing mode as fixup_arm_pcrel_10, but with 16-bit halfwords |
| 465 | // swapped. |
Owen Anderson | d8e351b | 2010-12-08 00:18:36 +0000 | [diff] [blame] | 466 | if (Kind == ARM::fixup_t2_pcrel_10) { |
Jim Grosbach | 56a2535 | 2010-12-13 19:25:46 +0000 | [diff] [blame] | 467 | uint32_t swapped = (Value & 0xFFFF0000) >> 16; |
Owen Anderson | 255eafb | 2010-12-08 00:21:33 +0000 | [diff] [blame] | 468 | swapped |= (Value & 0x0000FFFF) << 16; |
Owen Anderson | d8e351b | 2010-12-08 00:18:36 +0000 | [diff] [blame] | 469 | return swapped; |
| 470 | } |
Jim Grosbach | 0c2c217 | 2010-12-08 20:32:07 +0000 | [diff] [blame] | 471 | |
Jason W Kim | 0c628c2 | 2010-12-01 22:46:50 +0000 | [diff] [blame] | 472 | return Value; |
| 473 | } |
| 474 | } |
| 475 | } |
| 476 | |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 477 | namespace { |
Bill Wendling | 52e635e | 2010-12-07 23:05:20 +0000 | [diff] [blame] | 478 | |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 479 | // FIXME: This should be in a separate file. |
| 480 | // ELF is an ELF of course... |
| 481 | class ELFARMAsmBackend : public ARMAsmBackend { |
| 482 | public: |
Rafael Espindola | dc9a8a3 | 2011-12-21 17:00:36 +0000 | [diff] [blame] | 483 | uint8_t OSABI; |
Jim Grosbach | d0d3f7e | 2011-08-16 17:06:20 +0000 | [diff] [blame] | 484 | ELFARMAsmBackend(const Target &T, const StringRef TT, |
Rafael Espindola | dc9a8a3 | 2011-12-21 17:00:36 +0000 | [diff] [blame] | 485 | uint8_t _OSABI) |
| 486 | : ARMAsmBackend(T, TT), OSABI(_OSABI) { } |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 487 | |
Jim Grosbach | ec34338 | 2012-01-18 18:52:16 +0000 | [diff] [blame] | 488 | void applyFixup(const MCFixup &Fixup, char *Data, unsigned DataSize, |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 489 | uint64_t Value) const; |
| 490 | |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 491 | MCObjectWriter *createObjectWriter(raw_ostream &OS) const { |
Rafael Espindola | 69bbda0 | 2011-12-22 00:37:50 +0000 | [diff] [blame] | 492 | return createARMELFObjectWriter(OS, OSABI); |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 493 | } |
| 494 | }; |
| 495 | |
Bill Wendling | 52e635e | 2010-12-07 23:05:20 +0000 | [diff] [blame] | 496 | // FIXME: Raise this to share code between Darwin and ELF. |
Jim Grosbach | ec34338 | 2012-01-18 18:52:16 +0000 | [diff] [blame] | 497 | void ELFARMAsmBackend::applyFixup(const MCFixup &Fixup, char *Data, |
Rafael Espindola | 179821a | 2010-12-06 19:08:48 +0000 | [diff] [blame] | 498 | unsigned DataSize, uint64_t Value) const { |
Bill Wendling | 52e635e | 2010-12-07 23:05:20 +0000 | [diff] [blame] | 499 | unsigned NumBytes = 4; // FIXME: 2 for Thumb |
Bill Wendling | 52e635e | 2010-12-07 23:05:20 +0000 | [diff] [blame] | 500 | Value = adjustFixupValue(Fixup.getKind(), Value); |
Bill Wendling | d832fa0 | 2010-12-07 23:11:00 +0000 | [diff] [blame] | 501 | if (!Value) return; // Doesn't change encoding. |
Bill Wendling | 52e635e | 2010-12-07 23:05:20 +0000 | [diff] [blame] | 502 | |
| 503 | unsigned Offset = Fixup.getOffset(); |
Bill Wendling | 52e635e | 2010-12-07 23:05:20 +0000 | [diff] [blame] | 504 | |
| 505 | // For each byte of the fragment that the fixup touches, mask in the bits from |
| 506 | // the fixup value. The Value has been "split up" into the appropriate |
| 507 | // bitfields above. |
| 508 | for (unsigned i = 0; i != NumBytes; ++i) |
| 509 | Data[Offset + i] |= uint8_t((Value >> (i * 8)) & 0xff); |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 510 | } |
| 511 | |
| 512 | // FIXME: This should be in a separate file. |
| 513 | class DarwinARMAsmBackend : public ARMAsmBackend { |
| 514 | public: |
Owen Anderson | 1721324 | 2011-04-01 21:07:39 +0000 | [diff] [blame] | 515 | const object::mach::CPUSubtypeARM Subtype; |
Jim Grosbach | d0d3f7e | 2011-08-16 17:06:20 +0000 | [diff] [blame] | 516 | DarwinARMAsmBackend(const Target &T, const StringRef TT, |
| 517 | object::mach::CPUSubtypeARM st) |
| 518 | : ARMAsmBackend(T, TT), Subtype(st) { } |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 519 | |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 520 | MCObjectWriter *createObjectWriter(raw_ostream &OS) const { |
Jim Grosbach | 2fc6898 | 2011-06-22 20:14:52 +0000 | [diff] [blame] | 521 | return createARMMachObjectWriter(OS, /*Is64Bit=*/false, |
| 522 | object::mach::CTM_ARM, |
| 523 | Subtype); |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 524 | } |
| 525 | |
Jim Grosbach | ec34338 | 2012-01-18 18:52:16 +0000 | [diff] [blame] | 526 | void applyFixup(const MCFixup &Fixup, char *Data, unsigned DataSize, |
Owen Anderson | 1721324 | 2011-04-01 21:07:39 +0000 | [diff] [blame] | 527 | uint64_t Value) const; |
| 528 | |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 529 | virtual bool doesSectionRequireSymbols(const MCSection &Section) const { |
| 530 | return false; |
| 531 | } |
| 532 | }; |
| 533 | |
Bill Wendling | d832fa0 | 2010-12-07 23:11:00 +0000 | [diff] [blame] | 534 | /// getFixupKindNumBytes - The number of bytes the fixup may change. |
Jim Grosbach | c466b93 | 2010-11-11 18:04:49 +0000 | [diff] [blame] | 535 | static unsigned getFixupKindNumBytes(unsigned Kind) { |
Jim Grosbach | 679cbd3 | 2010-11-09 01:37:15 +0000 | [diff] [blame] | 536 | switch (Kind) { |
Jim Grosbach | 662a816 | 2010-12-06 23:57:07 +0000 | [diff] [blame] | 537 | default: |
| 538 | llvm_unreachable("Unknown fixup kind!"); |
Bill Wendling | b8958b0 | 2010-12-08 01:57:09 +0000 | [diff] [blame] | 539 | |
Jim Grosbach | 6ec6eeb | 2010-12-17 18:39:10 +0000 | [diff] [blame] | 540 | case FK_Data_1: |
Jim Grosbach | 0108645 | 2010-12-10 17:13:40 +0000 | [diff] [blame] | 541 | case ARM::fixup_arm_thumb_bcc: |
Bill Wendling | b8958b0 | 2010-12-08 01:57:09 +0000 | [diff] [blame] | 542 | case ARM::fixup_arm_thumb_cp: |
Jim Grosbach | d40963c | 2010-12-14 22:28:03 +0000 | [diff] [blame] | 543 | case ARM::fixup_thumb_adr_pcrel_10: |
Bill Wendling | b8958b0 | 2010-12-08 01:57:09 +0000 | [diff] [blame] | 544 | return 1; |
| 545 | |
Jim Grosbach | 6ec6eeb | 2010-12-17 18:39:10 +0000 | [diff] [blame] | 546 | case FK_Data_2: |
Jim Grosbach | e246717 | 2010-12-10 18:21:33 +0000 | [diff] [blame] | 547 | case ARM::fixup_arm_thumb_br: |
Jim Grosbach | b492a7c | 2010-12-09 19:50:12 +0000 | [diff] [blame] | 548 | case ARM::fixup_arm_thumb_cb: |
Bill Wendling | dff2f71 | 2010-12-08 23:01:43 +0000 | [diff] [blame] | 549 | return 2; |
| 550 | |
Jim Grosbach | 2f19674 | 2011-12-19 23:06:24 +0000 | [diff] [blame] | 551 | case ARM::fixup_arm_pcrel_10_unscaled: |
Jim Grosbach | 662a816 | 2010-12-06 23:57:07 +0000 | [diff] [blame] | 552 | case ARM::fixup_arm_ldst_pcrel_12: |
| 553 | case ARM::fixup_arm_pcrel_10: |
| 554 | case ARM::fixup_arm_adr_pcrel_12: |
Jason W Kim | 685c350 | 2011-02-04 19:47:15 +0000 | [diff] [blame] | 555 | case ARM::fixup_arm_condbranch: |
| 556 | case ARM::fixup_arm_uncondbranch: |
Jim Grosbach | 662a816 | 2010-12-06 23:57:07 +0000 | [diff] [blame] | 557 | return 3; |
Bill Wendling | b8958b0 | 2010-12-08 01:57:09 +0000 | [diff] [blame] | 558 | |
| 559 | case FK_Data_4: |
Owen Anderson | d7b3f58 | 2010-12-09 01:51:07 +0000 | [diff] [blame] | 560 | case ARM::fixup_t2_ldst_pcrel_12: |
Owen Anderson | c266600 | 2010-12-13 19:31:11 +0000 | [diff] [blame] | 561 | case ARM::fixup_t2_condbranch: |
| 562 | case ARM::fixup_t2_uncondbranch: |
Owen Anderson | d8e351b | 2010-12-08 00:18:36 +0000 | [diff] [blame] | 563 | case ARM::fixup_t2_pcrel_10: |
Owen Anderson | a838a25 | 2010-12-14 00:36:49 +0000 | [diff] [blame] | 564 | case ARM::fixup_t2_adr_pcrel_12: |
Jim Grosbach | 662a816 | 2010-12-06 23:57:07 +0000 | [diff] [blame] | 565 | case ARM::fixup_arm_thumb_bl: |
Bill Wendling | 09aa3f0 | 2010-12-09 00:39:08 +0000 | [diff] [blame] | 566 | case ARM::fixup_arm_thumb_blx: |
Evan Cheng | f3eb3bb | 2011-01-14 02:38:49 +0000 | [diff] [blame] | 567 | case ARM::fixup_arm_movt_hi16: |
| 568 | case ARM::fixup_arm_movw_lo16: |
| 569 | case ARM::fixup_arm_movt_hi16_pcrel: |
| 570 | case ARM::fixup_arm_movw_lo16_pcrel: |
| 571 | case ARM::fixup_t2_movt_hi16: |
| 572 | case ARM::fixup_t2_movw_lo16: |
| 573 | case ARM::fixup_t2_movt_hi16_pcrel: |
| 574 | case ARM::fixup_t2_movw_lo16_pcrel: |
Jim Grosbach | 662a816 | 2010-12-06 23:57:07 +0000 | [diff] [blame] | 575 | return 4; |
Jim Grosbach | 679cbd3 | 2010-11-09 01:37:15 +0000 | [diff] [blame] | 576 | } |
| 577 | } |
| 578 | |
Jim Grosbach | ec34338 | 2012-01-18 18:52:16 +0000 | [diff] [blame] | 579 | void DarwinARMAsmBackend::applyFixup(const MCFixup &Fixup, char *Data, |
Rafael Espindola | 179821a | 2010-12-06 19:08:48 +0000 | [diff] [blame] | 580 | unsigned DataSize, uint64_t Value) const { |
Jim Grosbach | c466b93 | 2010-11-11 18:04:49 +0000 | [diff] [blame] | 581 | unsigned NumBytes = getFixupKindNumBytes(Fixup.getKind()); |
Jim Grosbach | 679cbd3 | 2010-11-09 01:37:15 +0000 | [diff] [blame] | 582 | Value = adjustFixupValue(Fixup.getKind(), Value); |
Bill Wendling | d832fa0 | 2010-12-07 23:11:00 +0000 | [diff] [blame] | 583 | if (!Value) return; // Doesn't change encoding. |
Jim Grosbach | 679cbd3 | 2010-11-09 01:37:15 +0000 | [diff] [blame] | 584 | |
Bill Wendling | d832fa0 | 2010-12-07 23:11:00 +0000 | [diff] [blame] | 585 | unsigned Offset = Fixup.getOffset(); |
| 586 | assert(Offset + NumBytes <= DataSize && "Invalid fixup offset!"); |
| 587 | |
Jim Grosbach | 679cbd3 | 2010-11-09 01:37:15 +0000 | [diff] [blame] | 588 | // For each byte of the fragment that the fixup touches, mask in the |
| 589 | // bits from the fixup value. |
| 590 | for (unsigned i = 0; i != NumBytes; ++i) |
Bill Wendling | d832fa0 | 2010-12-07 23:11:00 +0000 | [diff] [blame] | 591 | Data[Offset + i] |= uint8_t((Value >> (i * 8)) & 0xff); |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 592 | } |
Bill Wendling | 52e635e | 2010-12-07 23:05:20 +0000 | [diff] [blame] | 593 | |
Jim Grosbach | f73fd72 | 2010-09-30 03:21:00 +0000 | [diff] [blame] | 594 | } // end anonymous namespace |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 595 | |
Evan Cheng | 78c10ee | 2011-07-25 23:24:55 +0000 | [diff] [blame] | 596 | MCAsmBackend *llvm::createARMAsmBackend(const Target &T, StringRef TT) { |
Owen Anderson | 1721324 | 2011-04-01 21:07:39 +0000 | [diff] [blame] | 597 | Triple TheTriple(TT); |
Daniel Dunbar | 912225e | 2011-04-19 21:14:45 +0000 | [diff] [blame] | 598 | |
| 599 | if (TheTriple.isOSDarwin()) { |
Evan Cheng | a6eb256 | 2011-06-14 18:08:33 +0000 | [diff] [blame] | 600 | if (TheTriple.getArchName() == "armv4t" || |
| 601 | TheTriple.getArchName() == "thumbv4t") |
Jim Grosbach | d0d3f7e | 2011-08-16 17:06:20 +0000 | [diff] [blame] | 602 | return new DarwinARMAsmBackend(T, TT, object::mach::CSARM_V4T); |
Evan Cheng | a6eb256 | 2011-06-14 18:08:33 +0000 | [diff] [blame] | 603 | else if (TheTriple.getArchName() == "armv5e" || |
| 604 | TheTriple.getArchName() == "thumbv5e") |
Jim Grosbach | d0d3f7e | 2011-08-16 17:06:20 +0000 | [diff] [blame] | 605 | return new DarwinARMAsmBackend(T, TT, object::mach::CSARM_V5TEJ); |
Evan Cheng | a6eb256 | 2011-06-14 18:08:33 +0000 | [diff] [blame] | 606 | else if (TheTriple.getArchName() == "armv6" || |
Owen Anderson | 1721324 | 2011-04-01 21:07:39 +0000 | [diff] [blame] | 607 | TheTriple.getArchName() == "thumbv6") |
Jim Grosbach | d0d3f7e | 2011-08-16 17:06:20 +0000 | [diff] [blame] | 608 | return new DarwinARMAsmBackend(T, TT, object::mach::CSARM_V6); |
| 609 | return new DarwinARMAsmBackend(T, TT, object::mach::CSARM_V7); |
Owen Anderson | 1721324 | 2011-04-01 21:07:39 +0000 | [diff] [blame] | 610 | } |
Daniel Dunbar | 912225e | 2011-04-19 21:14:45 +0000 | [diff] [blame] | 611 | |
| 612 | if (TheTriple.isOSWindows()) |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 613 | assert(0 && "Windows not supported on ARM"); |
Daniel Dunbar | 912225e | 2011-04-19 21:14:45 +0000 | [diff] [blame] | 614 | |
Rafael Espindola | dc9a8a3 | 2011-12-21 17:00:36 +0000 | [diff] [blame] | 615 | uint8_t OSABI = MCELFObjectTargetWriter::getOSABI(Triple(TT).getOS()); |
| 616 | return new ELFARMAsmBackend(T, TT, OSABI); |
Jason W Kim | d4d4f4f | 2010-09-30 02:17:26 +0000 | [diff] [blame] | 617 | } |