1 //===-- X86MachObjectWriter.cpp - X86 Mach-O Writer -----------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8
9 #include "MCTargetDesc/X86FixupKinds.h"
10 #include "MCTargetDesc/X86MCTargetDesc.h"
11 #include "llvm/ADT/Twine.h"
12 #include "llvm/BinaryFormat/MachO.h"
13 #include "llvm/MC/MCAsmInfo.h"
14 #include "llvm/MC/MCAsmLayout.h"
15 #include "llvm/MC/MCAssembler.h"
16 #include "llvm/MC/MCContext.h"
17 #include "llvm/MC/MCMachObjectWriter.h"
18 #include "llvm/MC/MCSectionMachO.h"
19 #include "llvm/MC/MCValue.h"
20 #include "llvm/Support/ErrorHandling.h"
21 #include "llvm/Support/Format.h"
22
23 using namespace llvm;
24
25 namespace {
26 class X86MachObjectWriter : public MCMachObjectTargetWriter {
27 bool recordScatteredRelocation(MachObjectWriter *Writer,
28 const MCAssembler &Asm,
29 const MCAsmLayout &Layout,
30 const MCFragment *Fragment,
31 const MCFixup &Fixup,
32 MCValue Target,
33 unsigned Log2Size,
34 uint64_t &FixedValue);
35 void recordTLVPRelocation(MachObjectWriter *Writer,
36 const MCAssembler &Asm,
37 const MCAsmLayout &Layout,
38 const MCFragment *Fragment,
39 const MCFixup &Fixup,
40 MCValue Target,
41 uint64_t &FixedValue);
42
43 void RecordX86Relocation(MachObjectWriter *Writer,
44 const MCAssembler &Asm,
45 const MCAsmLayout &Layout,
46 const MCFragment *Fragment,
47 const MCFixup &Fixup,
48 MCValue Target,
49 uint64_t &FixedValue);
50 void RecordX86_64Relocation(MachObjectWriter *Writer, MCAssembler &Asm,
51 const MCAsmLayout &Layout,
52 const MCFragment *Fragment, const MCFixup &Fixup,
53 MCValue Target, uint64_t &FixedValue);
54
55 public:
X86MachObjectWriter(bool Is64Bit,uint32_t CPUType,uint32_t CPUSubtype)56 X86MachObjectWriter(bool Is64Bit, uint32_t CPUType, uint32_t CPUSubtype)
57 : MCMachObjectTargetWriter(Is64Bit, CPUType, CPUSubtype) {}
58
recordRelocation(MachObjectWriter * Writer,MCAssembler & Asm,const MCAsmLayout & Layout,const MCFragment * Fragment,const MCFixup & Fixup,MCValue Target,uint64_t & FixedValue)59 void recordRelocation(MachObjectWriter *Writer, MCAssembler &Asm,
60 const MCAsmLayout &Layout, const MCFragment *Fragment,
61 const MCFixup &Fixup, MCValue Target,
62 uint64_t &FixedValue) override {
63 if (Writer->is64Bit())
64 RecordX86_64Relocation(Writer, Asm, Layout, Fragment, Fixup, Target,
65 FixedValue);
66 else
67 RecordX86Relocation(Writer, Asm, Layout, Fragment, Fixup, Target,
68 FixedValue);
69 }
70 };
71 }
72
isFixupKindRIPRel(unsigned Kind)73 static bool isFixupKindRIPRel(unsigned Kind) {
74 return Kind == X86::reloc_riprel_4byte ||
75 Kind == X86::reloc_riprel_4byte_movq_load ||
76 Kind == X86::reloc_riprel_4byte_relax ||
77 Kind == X86::reloc_riprel_4byte_relax_rex;
78 }
79
getFixupKindLog2Size(unsigned Kind)80 static unsigned getFixupKindLog2Size(unsigned Kind) {
81 switch (Kind) {
82 default:
83 llvm_unreachable("invalid fixup kind!");
84 case FK_PCRel_1:
85 case FK_Data_1: return 0;
86 case FK_PCRel_2:
87 case FK_Data_2: return 1;
88 case FK_PCRel_4:
89 // FIXME: Remove these!!!
90 case X86::reloc_riprel_4byte:
91 case X86::reloc_riprel_4byte_relax:
92 case X86::reloc_riprel_4byte_relax_rex:
93 case X86::reloc_riprel_4byte_movq_load:
94 case X86::reloc_signed_4byte:
95 case X86::reloc_signed_4byte_relax:
96 case X86::reloc_branch_4byte_pcrel:
97 case FK_Data_4: return 2;
98 case FK_Data_8: return 3;
99 }
100 }
101
RecordX86_64Relocation(MachObjectWriter * Writer,MCAssembler & Asm,const MCAsmLayout & Layout,const MCFragment * Fragment,const MCFixup & Fixup,MCValue Target,uint64_t & FixedValue)102 void X86MachObjectWriter::RecordX86_64Relocation(
103 MachObjectWriter *Writer, MCAssembler &Asm, const MCAsmLayout &Layout,
104 const MCFragment *Fragment, const MCFixup &Fixup, MCValue Target,
105 uint64_t &FixedValue) {
106 unsigned IsPCRel = Writer->isFixupKindPCRel(Asm, Fixup.getKind());
107 unsigned IsRIPRel = isFixupKindRIPRel(Fixup.getKind());
108 unsigned Log2Size = getFixupKindLog2Size(Fixup.getKind());
109
110 // See <reloc.h>.
111 uint32_t FixupOffset =
112 Layout.getFragmentOffset(Fragment) + Fixup.getOffset();
113 uint32_t FixupAddress =
114 Writer->getFragmentAddress(Fragment, Layout) + Fixup.getOffset();
115 int64_t Value = 0;
116 unsigned Index = 0;
117 unsigned IsExtern = 0;
118 unsigned Type = 0;
119 const MCSymbol *RelSymbol = nullptr;
120
121 Value = Target.getConstant();
122
123 if (IsPCRel) {
124 // Compensate for the relocation offset, Darwin x86_64 relocations only have
125 // the addend and appear to have attempted to define it to be the actual
126 // expression addend without the PCrel bias. However, instructions with data
127 // following the relocation are not accommodated for (see comment below
128 // regarding SIGNED{1,2,4}), so it isn't exactly that either.
129 Value += 1LL << Log2Size;
130 }
131
132 if (Target.isAbsolute()) { // constant
133 // SymbolNum of 0 indicates the absolute section.
134 Type = MachO::X86_64_RELOC_UNSIGNED;
135
136 // FIXME: I believe this is broken, I don't think the linker can understand
137 // it. I think it would require a local relocation, but I'm not sure if that
138 // would work either. The official way to get an absolute PCrel relocation
139 // is to use an absolute symbol (which we don't support yet).
140 if (IsPCRel) {
141 IsExtern = 1;
142 Type = MachO::X86_64_RELOC_BRANCH;
143 }
144 } else if (Target.getSymB()) { // A - B + constant
145 const MCSymbol *A = &Target.getSymA()->getSymbol();
146 if (A->isTemporary())
147 A = &Writer->findAliasedSymbol(*A);
148 const MCSymbol *A_Base = Asm.getAtom(*A);
149
150 const MCSymbol *B = &Target.getSymB()->getSymbol();
151 if (B->isTemporary())
152 B = &Writer->findAliasedSymbol(*B);
153 const MCSymbol *B_Base = Asm.getAtom(*B);
154
155 // Neither symbol can be modified.
156 if (Target.getSymA()->getKind() != MCSymbolRefExpr::VK_None) {
157 Asm.getContext().reportError(Fixup.getLoc(),
158 "unsupported relocation of modified symbol");
159 return;
160 }
161
162 // We don't support PCrel relocations of differences. Darwin 'as' doesn't
163 // implement most of these correctly.
164 if (IsPCRel) {
165 Asm.getContext().reportError(
166 Fixup.getLoc(), "unsupported pc-relative relocation of difference");
167 return;
168 }
169
170 // The support for the situation where one or both of the symbols would
171 // require a local relocation is handled just like if the symbols were
172 // external. This is certainly used in the case of debug sections where the
173 // section has only temporary symbols and thus the symbols don't have base
174 // symbols. This is encoded using the section ordinal and non-extern
175 // relocation entries.
176
177 // Darwin 'as' doesn't emit correct relocations for this (it ends up with a
178 // single SIGNED relocation); reject it for now. Except the case where both
179 // symbols don't have a base, equal but both NULL.
180 if (A_Base == B_Base && A_Base) {
181 Asm.getContext().reportError(
182 Fixup.getLoc(), "unsupported relocation with identical base");
183 return;
184 }
185
186 // A subtraction expression where either symbol is undefined is a
187 // non-relocatable expression.
188 if (A->isUndefined() || B->isUndefined()) {
189 StringRef Name = A->isUndefined() ? A->getName() : B->getName();
190 Asm.getContext().reportError(Fixup.getLoc(),
191 "unsupported relocation with subtraction expression, symbol '" +
192 Name + "' can not be undefined in a subtraction expression");
193 return;
194 }
195
196 Value += Writer->getSymbolAddress(*A, Layout) -
197 (!A_Base ? 0 : Writer->getSymbolAddress(*A_Base, Layout));
198 Value -= Writer->getSymbolAddress(*B, Layout) -
199 (!B_Base ? 0 : Writer->getSymbolAddress(*B_Base, Layout));
200
201 if (!A_Base)
202 Index = A->getFragment()->getParent()->getOrdinal() + 1;
203 Type = MachO::X86_64_RELOC_UNSIGNED;
204
205 MachO::any_relocation_info MRE;
206 MRE.r_word0 = FixupOffset;
207 MRE.r_word1 =
208 (Index << 0) | (IsPCRel << 24) | (Log2Size << 25) | (Type << 28);
209 Writer->addRelocation(A_Base, Fragment->getParent(), MRE);
210
211 if (B_Base)
212 RelSymbol = B_Base;
213 else
214 Index = B->getFragment()->getParent()->getOrdinal() + 1;
215 Type = MachO::X86_64_RELOC_SUBTRACTOR;
216 } else {
217 const MCSymbol *Symbol = &Target.getSymA()->getSymbol();
218 if (Symbol->isTemporary() && Value) {
219 const MCSection &Sec = Symbol->getSection();
220 if (!Asm.getContext().getAsmInfo()->isSectionAtomizableBySymbols(Sec))
221 Symbol->setUsedInReloc();
222 }
223 RelSymbol = Asm.getAtom(*Symbol);
224
225 // Relocations inside debug sections always use local relocations when
226 // possible. This seems to be done because the debugger doesn't fully
227 // understand x86_64 relocation entries, and expects to find values that
228 // have already been fixed up.
229 if (Symbol->isInSection()) {
230 const MCSectionMachO &Section =
231 static_cast<const MCSectionMachO &>(*Fragment->getParent());
232 if (Section.hasAttribute(MachO::S_ATTR_DEBUG))
233 RelSymbol = nullptr;
234 }
235
236 // x86_64 almost always uses external relocations, except when there is no
237 // symbol to use as a base address (a local symbol with no preceding
238 // non-local symbol).
239 if (RelSymbol) {
240 // Add the local offset, if needed.
241 if (RelSymbol != Symbol)
242 Value += Layout.getSymbolOffset(*Symbol) -
243 Layout.getSymbolOffset(*RelSymbol);
244 } else if (Symbol->isInSection() && !Symbol->isVariable()) {
245 // The index is the section ordinal (1-based).
246 Index = Symbol->getFragment()->getParent()->getOrdinal() + 1;
247 Value += Writer->getSymbolAddress(*Symbol, Layout);
248
249 if (IsPCRel)
250 Value -= FixupAddress + (1 << Log2Size);
251 } else if (Symbol->isVariable()) {
252 const MCExpr *Value = Symbol->getVariableValue();
253 int64_t Res;
254 bool isAbs = Value->evaluateAsAbsolute(Res, Layout,
255 Writer->getSectionAddressMap());
256 if (isAbs) {
257 FixedValue = Res;
258 return;
259 } else {
260 Asm.getContext().reportError(Fixup.getLoc(),
261 "unsupported relocation of variable '" +
262 Symbol->getName() + "'");
263 return;
264 }
265 } else {
266 Asm.getContext().reportError(
267 Fixup.getLoc(), "unsupported relocation of undefined symbol '" +
268 Symbol->getName() + "'");
269 return;
270 }
271
272 MCSymbolRefExpr::VariantKind Modifier = Target.getSymA()->getKind();
273 if (IsPCRel) {
274 if (IsRIPRel) {
275 if (Modifier == MCSymbolRefExpr::VK_GOTPCREL) {
276 // x86_64 distinguishes movq foo@GOTPCREL so that the linker can
277 // rewrite the movq to an leaq at link time if the symbol ends up in
278 // the same linkage unit.
279 if (Fixup.getTargetKind() == X86::reloc_riprel_4byte_movq_load)
280 Type = MachO::X86_64_RELOC_GOT_LOAD;
281 else
282 Type = MachO::X86_64_RELOC_GOT;
283 } else if (Modifier == MCSymbolRefExpr::VK_TLVP) {
284 Type = MachO::X86_64_RELOC_TLV;
285 } else if (Modifier != MCSymbolRefExpr::VK_None) {
286 Asm.getContext().reportError(
287 Fixup.getLoc(), "unsupported symbol modifier in relocation");
288 return;
289 } else {
290 Type = MachO::X86_64_RELOC_SIGNED;
291
292 // The Darwin x86_64 relocation format has a problem where it cannot
293 // encode an address (L<foo> + <constant>) which is outside the atom
294 // containing L<foo>. Generally, this shouldn't occur but it does
295 // happen when we have a RIPrel instruction with data following the
296 // relocation entry (e.g., movb $012, L0(%rip)). Even with the PCrel
297 // adjustment Darwin x86_64 uses, the offset is still negative and the
298 // linker has no way to recognize this.
299 //
300 // To work around this, Darwin uses several special relocation types
301 // to indicate the offsets. However, the specification or
302 // implementation of these seems to also be incomplete; they should
303 // adjust the addend as well based on the actual encoded instruction
304 // (the additional bias), but instead appear to just look at the final
305 // offset.
306 switch (-(Target.getConstant() + (1LL << Log2Size))) {
307 case 1: Type = MachO::X86_64_RELOC_SIGNED_1; break;
308 case 2: Type = MachO::X86_64_RELOC_SIGNED_2; break;
309 case 4: Type = MachO::X86_64_RELOC_SIGNED_4; break;
310 }
311 }
312 } else {
313 if (Modifier != MCSymbolRefExpr::VK_None) {
314 Asm.getContext().reportError(
315 Fixup.getLoc(),
316 "unsupported symbol modifier in branch relocation");
317 return;
318 }
319
320 Type = MachO::X86_64_RELOC_BRANCH;
321 }
322 } else {
323 if (Modifier == MCSymbolRefExpr::VK_GOT) {
324 Type = MachO::X86_64_RELOC_GOT;
325 } else if (Modifier == MCSymbolRefExpr::VK_GOTPCREL) {
326 // GOTPCREL is allowed as a modifier on non-PCrel instructions, in which
327 // case all we do is set the PCrel bit in the relocation entry; this is
328 // used with exception handling, for example. The source is required to
329 // include any necessary offset directly.
330 Type = MachO::X86_64_RELOC_GOT;
331 IsPCRel = 1;
332 } else if (Modifier == MCSymbolRefExpr::VK_TLVP) {
333 Asm.getContext().reportError(
334 Fixup.getLoc(), "TLVP symbol modifier should have been rip-rel");
335 return;
336 } else if (Modifier != MCSymbolRefExpr::VK_None) {
337 Asm.getContext().reportError(
338 Fixup.getLoc(), "unsupported symbol modifier in relocation");
339 return;
340 } else {
341 Type = MachO::X86_64_RELOC_UNSIGNED;
342 if (Fixup.getTargetKind() == X86::reloc_signed_4byte) {
343 Asm.getContext().reportError(
344 Fixup.getLoc(),
345 "32-bit absolute addressing is not supported in 64-bit mode");
346 return;
347 }
348 }
349 }
350 }
351
352 // x86_64 always writes custom values into the fixups.
353 FixedValue = Value;
354
355 // struct relocation_info (8 bytes)
356 MachO::any_relocation_info MRE;
357 MRE.r_word0 = FixupOffset;
358 MRE.r_word1 = (Index << 0) | (IsPCRel << 24) | (Log2Size << 25) |
359 (IsExtern << 27) | (Type << 28);
360 Writer->addRelocation(RelSymbol, Fragment->getParent(), MRE);
361 }
362
recordScatteredRelocation(MachObjectWriter * Writer,const MCAssembler & Asm,const MCAsmLayout & Layout,const MCFragment * Fragment,const MCFixup & Fixup,MCValue Target,unsigned Log2Size,uint64_t & FixedValue)363 bool X86MachObjectWriter::recordScatteredRelocation(MachObjectWriter *Writer,
364 const MCAssembler &Asm,
365 const MCAsmLayout &Layout,
366 const MCFragment *Fragment,
367 const MCFixup &Fixup,
368 MCValue Target,
369 unsigned Log2Size,
370 uint64_t &FixedValue) {
371 uint64_t OriginalFixedValue = FixedValue;
372 uint32_t FixupOffset = Layout.getFragmentOffset(Fragment)+Fixup.getOffset();
373 unsigned IsPCRel = Writer->isFixupKindPCRel(Asm, Fixup.getKind());
374 unsigned Type = MachO::GENERIC_RELOC_VANILLA;
375
376 // See <reloc.h>.
377 const MCSymbol *A = &Target.getSymA()->getSymbol();
378
379 if (!A->getFragment()) {
380 Asm.getContext().reportError(
381 Fixup.getLoc(),
382 "symbol '" + A->getName() +
383 "' can not be undefined in a subtraction expression");
384 return false;
385 }
386
387 uint32_t Value = Writer->getSymbolAddress(*A, Layout);
388 uint64_t SecAddr = Writer->getSectionAddress(A->getFragment()->getParent());
389 FixedValue += SecAddr;
390 uint32_t Value2 = 0;
391
392 if (const MCSymbolRefExpr *B = Target.getSymB()) {
393 const MCSymbol *SB = &B->getSymbol();
394
395 if (!SB->getFragment()) {
396 Asm.getContext().reportError(
397 Fixup.getLoc(),
398 "symbol '" + SB->getName() +
399 "' can not be undefined in a subtraction expression");
400 return false;
401 }
402
403 // Select the appropriate difference relocation type.
404 //
405 // Note that there is no longer any semantic difference between these two
406 // relocation types from the linkers point of view, this is done solely for
407 // pedantic compatibility with 'as'.
408 Type = A->isExternal() ? (unsigned)MachO::GENERIC_RELOC_SECTDIFF
409 : (unsigned)MachO::GENERIC_RELOC_LOCAL_SECTDIFF;
410 Value2 = Writer->getSymbolAddress(*SB, Layout);
411 FixedValue -= Writer->getSectionAddress(SB->getFragment()->getParent());
412 }
413
414 // Relocations are written out in reverse order, so the PAIR comes first.
415 if (Type == MachO::GENERIC_RELOC_SECTDIFF ||
416 Type == MachO::GENERIC_RELOC_LOCAL_SECTDIFF) {
417 // If the offset is too large to fit in a scattered relocation,
418 // we're hosed. It's an unfortunate limitation of the MachO format.
419 if (FixupOffset > 0xffffff) {
420 char Buffer[32];
421 format("0x%x", FixupOffset).print(Buffer, sizeof(Buffer));
422 Asm.getContext().reportError(Fixup.getLoc(),
423 Twine("Section too large, can't encode "
424 "r_address (") + Buffer +
425 ") into 24 bits of scattered "
426 "relocation entry.");
427 return false;
428 }
429
430 MachO::any_relocation_info MRE;
431 MRE.r_word0 = ((0 << 0) | // r_address
432 (MachO::GENERIC_RELOC_PAIR << 24) | // r_type
433 (Log2Size << 28) |
434 (IsPCRel << 30) |
435 MachO::R_SCATTERED);
436 MRE.r_word1 = Value2;
437 Writer->addRelocation(nullptr, Fragment->getParent(), MRE);
438 } else {
439 // If the offset is more than 24-bits, it won't fit in a scattered
440 // relocation offset field, so we fall back to using a non-scattered
441 // relocation. This is a bit risky, as if the offset reaches out of
442 // the block and the linker is doing scattered loading on this
443 // symbol, things can go badly.
444 //
445 // Required for 'as' compatibility.
446 if (FixupOffset > 0xffffff) {
447 FixedValue = OriginalFixedValue;
448 return false;
449 }
450 }
451
452 MachO::any_relocation_info MRE;
453 MRE.r_word0 = ((FixupOffset << 0) |
454 (Type << 24) |
455 (Log2Size << 28) |
456 (IsPCRel << 30) |
457 MachO::R_SCATTERED);
458 MRE.r_word1 = Value;
459 Writer->addRelocation(nullptr, Fragment->getParent(), MRE);
460 return true;
461 }
462
recordTLVPRelocation(MachObjectWriter * Writer,const MCAssembler & Asm,const MCAsmLayout & Layout,const MCFragment * Fragment,const MCFixup & Fixup,MCValue Target,uint64_t & FixedValue)463 void X86MachObjectWriter::recordTLVPRelocation(MachObjectWriter *Writer,
464 const MCAssembler &Asm,
465 const MCAsmLayout &Layout,
466 const MCFragment *Fragment,
467 const MCFixup &Fixup,
468 MCValue Target,
469 uint64_t &FixedValue) {
470 const MCSymbolRefExpr *SymA = Target.getSymA();
471 assert(SymA->getKind() == MCSymbolRefExpr::VK_TLVP && !is64Bit() &&
472 "Should only be called with a 32-bit TLVP relocation!");
473
474 unsigned Log2Size = getFixupKindLog2Size(Fixup.getKind());
475 uint32_t Value = Layout.getFragmentOffset(Fragment)+Fixup.getOffset();
476 unsigned IsPCRel = 0;
477
478 // We're only going to have a second symbol in pic mode and it'll be a
479 // subtraction from the picbase. For 32-bit pic the addend is the difference
480 // between the picbase and the next address. For 32-bit static the addend is
481 // zero.
482 if (auto *SymB = Target.getSymB()) {
483 // If this is a subtraction then we're pcrel.
484 uint32_t FixupAddress =
485 Writer->getFragmentAddress(Fragment, Layout) + Fixup.getOffset();
486 IsPCRel = 1;
487 FixedValue = FixupAddress -
488 Writer->getSymbolAddress(SymB->getSymbol(), Layout) +
489 Target.getConstant();
490 FixedValue += 1ULL << Log2Size;
491 } else {
492 FixedValue = 0;
493 }
494
495 // struct relocation_info (8 bytes)
496 MachO::any_relocation_info MRE;
497 MRE.r_word0 = Value;
498 MRE.r_word1 =
499 (IsPCRel << 24) | (Log2Size << 25) | (MachO::GENERIC_RELOC_TLV << 28);
500 Writer->addRelocation(&SymA->getSymbol(), Fragment->getParent(), MRE);
501 }
502
RecordX86Relocation(MachObjectWriter * Writer,const MCAssembler & Asm,const MCAsmLayout & Layout,const MCFragment * Fragment,const MCFixup & Fixup,MCValue Target,uint64_t & FixedValue)503 void X86MachObjectWriter::RecordX86Relocation(MachObjectWriter *Writer,
504 const MCAssembler &Asm,
505 const MCAsmLayout &Layout,
506 const MCFragment *Fragment,
507 const MCFixup &Fixup,
508 MCValue Target,
509 uint64_t &FixedValue) {
510 unsigned IsPCRel = Writer->isFixupKindPCRel(Asm, Fixup.getKind());
511 unsigned Log2Size = getFixupKindLog2Size(Fixup.getKind());
512
513 // If this is a 32-bit TLVP reloc it's handled a bit differently.
514 if (Target.getSymA() &&
515 Target.getSymA()->getKind() == MCSymbolRefExpr::VK_TLVP) {
516 recordTLVPRelocation(Writer, Asm, Layout, Fragment, Fixup, Target,
517 FixedValue);
518 return;
519 }
520
521 // If this is a difference or a defined symbol plus an offset, then we need a
522 // scattered relocation entry. Differences always require scattered
523 // relocations.
524 if (Target.getSymB()) {
525 recordScatteredRelocation(Writer, Asm, Layout, Fragment, Fixup,
526 Target, Log2Size, FixedValue);
527 return;
528 }
529
530 // Get the symbol data, if any.
531 const MCSymbol *A = nullptr;
532 if (Target.getSymA())
533 A = &Target.getSymA()->getSymbol();
534
535 // If this is an internal relocation with an offset, it also needs a scattered
536 // relocation entry.
537 uint32_t Offset = Target.getConstant();
538 if (IsPCRel)
539 Offset += 1 << Log2Size;
540 // Try to record the scattered relocation if needed. Fall back to non
541 // scattered if necessary (see comments in recordScatteredRelocation()
542 // for details).
543 if (Offset && A && !Writer->doesSymbolRequireExternRelocation(*A) &&
544 recordScatteredRelocation(Writer, Asm, Layout, Fragment, Fixup, Target,
545 Log2Size, FixedValue))
546 return;
547
548 // See <reloc.h>.
549 uint32_t FixupOffset = Layout.getFragmentOffset(Fragment)+Fixup.getOffset();
550 unsigned Index = 0;
551 unsigned Type = 0;
552 const MCSymbol *RelSymbol = nullptr;
553
554 if (Target.isAbsolute()) { // constant
555 // SymbolNum of 0 indicates the absolute section.
556 //
557 // FIXME: Currently, these are never generated (see code below). I cannot
558 // find a case where they are actually emitted.
559 Type = MachO::GENERIC_RELOC_VANILLA;
560 } else {
561 // Resolve constant variables.
562 if (A->isVariable()) {
563 int64_t Res;
564 if (A->getVariableValue()->evaluateAsAbsolute(
565 Res, Layout, Writer->getSectionAddressMap())) {
566 FixedValue = Res;
567 return;
568 }
569 }
570
571 // Check whether we need an external or internal relocation.
572 if (Writer->doesSymbolRequireExternRelocation(*A)) {
573 RelSymbol = A;
574 // For external relocations, make sure to offset the fixup value to
575 // compensate for the addend of the symbol address, if it was
576 // undefined. This occurs with weak definitions, for example.
577 if (!A->isUndefined())
578 FixedValue -= Layout.getSymbolOffset(*A);
579 } else {
580 // The index is the section ordinal (1-based).
581 const MCSection &Sec = A->getSection();
582 Index = Sec.getOrdinal() + 1;
583 FixedValue += Writer->getSectionAddress(&Sec);
584 }
585 if (IsPCRel)
586 FixedValue -= Writer->getSectionAddress(Fragment->getParent());
587
588 Type = MachO::GENERIC_RELOC_VANILLA;
589 }
590
591 // struct relocation_info (8 bytes)
592 MachO::any_relocation_info MRE;
593 MRE.r_word0 = FixupOffset;
594 MRE.r_word1 =
595 (Index << 0) | (IsPCRel << 24) | (Log2Size << 25) | (Type << 28);
596 Writer->addRelocation(RelSymbol, Fragment->getParent(), MRE);
597 }
598
599 std::unique_ptr<MCObjectTargetWriter>
createX86MachObjectWriter(bool Is64Bit,uint32_t CPUType,uint32_t CPUSubtype)600 llvm::createX86MachObjectWriter(bool Is64Bit, uint32_t CPUType,
601 uint32_t CPUSubtype) {
602 return std::make_unique<X86MachObjectWriter>(Is64Bit, CPUType, CPUSubtype);
603 }
604