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