xref: /freebsd/contrib/llvm-project/lld/ELF/Arch/X86_64.cpp (revision bdd1243df58e60e85101c09001d9812a789b6bc4)
10b57cec5SDimitry Andric //===- X86_64.cpp ---------------------------------------------------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric 
95ffd83dbSDimitry Andric #include "OutputSections.h"
100b57cec5SDimitry Andric #include "Symbols.h"
110b57cec5SDimitry Andric #include "SyntheticSections.h"
120b57cec5SDimitry Andric #include "Target.h"
130b57cec5SDimitry Andric #include "lld/Common/ErrorHandler.h"
1481ad6265SDimitry Andric #include "llvm/BinaryFormat/ELF.h"
150b57cec5SDimitry Andric #include "llvm/Support/Endian.h"
160b57cec5SDimitry Andric 
170b57cec5SDimitry Andric using namespace llvm;
180b57cec5SDimitry Andric using namespace llvm::object;
190b57cec5SDimitry Andric using namespace llvm::support::endian;
200b57cec5SDimitry Andric using namespace llvm::ELF;
215ffd83dbSDimitry Andric using namespace lld;
225ffd83dbSDimitry Andric using namespace lld::elf;
230b57cec5SDimitry Andric 
240b57cec5SDimitry Andric namespace {
250b57cec5SDimitry Andric class X86_64 : public TargetInfo {
260b57cec5SDimitry Andric public:
270b57cec5SDimitry Andric   X86_64();
280b57cec5SDimitry Andric   int getTlsGdRelaxSkip(RelType type) const override;
290b57cec5SDimitry Andric   RelExpr getRelExpr(RelType type, const Symbol &s,
300b57cec5SDimitry Andric                      const uint8_t *loc) const override;
310b57cec5SDimitry Andric   RelType getDynRel(RelType type) const override;
320b57cec5SDimitry Andric   void writeGotPltHeader(uint8_t *buf) const override;
330b57cec5SDimitry Andric   void writeGotPlt(uint8_t *buf, const Symbol &s) const override;
34fe6060f1SDimitry Andric   void writeIgotPlt(uint8_t *buf, const Symbol &s) const override;
350b57cec5SDimitry Andric   void writePltHeader(uint8_t *buf) const override;
36480093f4SDimitry Andric   void writePlt(uint8_t *buf, const Symbol &sym,
37480093f4SDimitry Andric                 uint64_t pltEntryAddr) const override;
385ffd83dbSDimitry Andric   void relocate(uint8_t *loc, const Relocation &rel,
395ffd83dbSDimitry Andric                 uint64_t val) const override;
40fe6060f1SDimitry Andric   int64_t getImplicitAddend(const uint8_t *buf, RelType type) const override;
415ffd83dbSDimitry Andric   void applyJumpInstrMod(uint8_t *loc, JumpModType type,
425ffd83dbSDimitry Andric                          unsigned size) const override;
43e8d8bef9SDimitry Andric   RelExpr adjustGotPcExpr(RelType type, int64_t addend,
44e8d8bef9SDimitry Andric                           const uint8_t *loc) const override;
45*bdd1243dSDimitry Andric   void relocateAlloc(InputSectionBase &sec, uint8_t *buf) const override;
460b57cec5SDimitry Andric   bool adjustPrologueForCrossSplitStack(uint8_t *loc, uint8_t *end,
470b57cec5SDimitry Andric                                         uint8_t stOther) const override;
485ffd83dbSDimitry Andric   bool deleteFallThruJmpInsn(InputSection &is, InputFile *file,
495ffd83dbSDimitry Andric                              InputSection *nextIS) const override;
500b57cec5SDimitry Andric };
510b57cec5SDimitry Andric } // namespace
520b57cec5SDimitry Andric 
535ffd83dbSDimitry Andric // This is vector of NOP instructions of sizes from 1 to 8 bytes.  The
545ffd83dbSDimitry Andric // appropriately sized instructions are used to fill the gaps between sections
555ffd83dbSDimitry Andric // which are executed during fall through.
565ffd83dbSDimitry Andric static const std::vector<std::vector<uint8_t>> nopInstructions = {
575ffd83dbSDimitry Andric     {0x90},
585ffd83dbSDimitry Andric     {0x66, 0x90},
595ffd83dbSDimitry Andric     {0x0f, 0x1f, 0x00},
605ffd83dbSDimitry Andric     {0x0f, 0x1f, 0x40, 0x00},
615ffd83dbSDimitry Andric     {0x0f, 0x1f, 0x44, 0x00, 0x00},
625ffd83dbSDimitry Andric     {0x66, 0x0f, 0x1f, 0x44, 0x00, 0x00},
635ffd83dbSDimitry Andric     {0x0F, 0x1F, 0x80, 0x00, 0x00, 0x00, 0x00},
645ffd83dbSDimitry Andric     {0x0F, 0x1F, 0x84, 0x00, 0x00, 0x00, 0x00, 0x00},
655ffd83dbSDimitry Andric     {0x66, 0x0F, 0x1F, 0x84, 0x00, 0x00, 0x00, 0x00, 0x00}};
665ffd83dbSDimitry Andric 
670b57cec5SDimitry Andric X86_64::X86_64() {
680b57cec5SDimitry Andric   copyRel = R_X86_64_COPY;
690b57cec5SDimitry Andric   gotRel = R_X86_64_GLOB_DAT;
700b57cec5SDimitry Andric   pltRel = R_X86_64_JUMP_SLOT;
710b57cec5SDimitry Andric   relativeRel = R_X86_64_RELATIVE;
720b57cec5SDimitry Andric   iRelativeRel = R_X86_64_IRELATIVE;
730b57cec5SDimitry Andric   symbolicRel = R_X86_64_64;
740b57cec5SDimitry Andric   tlsDescRel = R_X86_64_TLSDESC;
750b57cec5SDimitry Andric   tlsGotRel = R_X86_64_TPOFF64;
760b57cec5SDimitry Andric   tlsModuleIndexRel = R_X86_64_DTPMOD64;
770b57cec5SDimitry Andric   tlsOffsetRel = R_X86_64_DTPOFF64;
78349cc55cSDimitry Andric   gotBaseSymInGotPlt = true;
79fe6060f1SDimitry Andric   gotEntrySize = 8;
800b57cec5SDimitry Andric   pltHeaderSize = 16;
81480093f4SDimitry Andric   pltEntrySize = 16;
82480093f4SDimitry Andric   ipltEntrySize = 16;
830b57cec5SDimitry Andric   trapInstr = {0xcc, 0xcc, 0xcc, 0xcc}; // 0xcc = INT3
845ffd83dbSDimitry Andric   nopInstrs = nopInstructions;
850b57cec5SDimitry Andric 
860b57cec5SDimitry Andric   // Align to the large page size (known as a superpage or huge page).
870b57cec5SDimitry Andric   // FreeBSD automatically promotes large, superpage-aligned allocations.
880b57cec5SDimitry Andric   defaultImageBase = 0x200000;
890b57cec5SDimitry Andric }
900b57cec5SDimitry Andric 
914824e7fdSDimitry Andric int X86_64::getTlsGdRelaxSkip(RelType type) const {
924824e7fdSDimitry Andric   // TLSDESC relocations are processed separately. See relaxTlsGdToLe below.
934824e7fdSDimitry Andric   return type == R_X86_64_GOTPC32_TLSDESC || type == R_X86_64_TLSDESC_CALL ? 1
944824e7fdSDimitry Andric                                                                            : 2;
954824e7fdSDimitry Andric }
960b57cec5SDimitry Andric 
975ffd83dbSDimitry Andric // Opcodes for the different X86_64 jmp instructions.
985ffd83dbSDimitry Andric enum JmpInsnOpcode : uint32_t {
995ffd83dbSDimitry Andric   J_JMP_32,
1005ffd83dbSDimitry Andric   J_JNE_32,
1015ffd83dbSDimitry Andric   J_JE_32,
1025ffd83dbSDimitry Andric   J_JG_32,
1035ffd83dbSDimitry Andric   J_JGE_32,
1045ffd83dbSDimitry Andric   J_JB_32,
1055ffd83dbSDimitry Andric   J_JBE_32,
1065ffd83dbSDimitry Andric   J_JL_32,
1075ffd83dbSDimitry Andric   J_JLE_32,
1085ffd83dbSDimitry Andric   J_JA_32,
1095ffd83dbSDimitry Andric   J_JAE_32,
1105ffd83dbSDimitry Andric   J_UNKNOWN,
1115ffd83dbSDimitry Andric };
1125ffd83dbSDimitry Andric 
1135ffd83dbSDimitry Andric // Given the first (optional) and second byte of the insn's opcode, this
1145ffd83dbSDimitry Andric // returns the corresponding enum value.
1155ffd83dbSDimitry Andric static JmpInsnOpcode getJmpInsnType(const uint8_t *first,
1165ffd83dbSDimitry Andric                                     const uint8_t *second) {
1175ffd83dbSDimitry Andric   if (*second == 0xe9)
1185ffd83dbSDimitry Andric     return J_JMP_32;
1195ffd83dbSDimitry Andric 
1205ffd83dbSDimitry Andric   if (first == nullptr)
1215ffd83dbSDimitry Andric     return J_UNKNOWN;
1225ffd83dbSDimitry Andric 
1235ffd83dbSDimitry Andric   if (*first == 0x0f) {
1245ffd83dbSDimitry Andric     switch (*second) {
1255ffd83dbSDimitry Andric     case 0x84:
1265ffd83dbSDimitry Andric       return J_JE_32;
1275ffd83dbSDimitry Andric     case 0x85:
1285ffd83dbSDimitry Andric       return J_JNE_32;
1295ffd83dbSDimitry Andric     case 0x8f:
1305ffd83dbSDimitry Andric       return J_JG_32;
1315ffd83dbSDimitry Andric     case 0x8d:
1325ffd83dbSDimitry Andric       return J_JGE_32;
1335ffd83dbSDimitry Andric     case 0x82:
1345ffd83dbSDimitry Andric       return J_JB_32;
1355ffd83dbSDimitry Andric     case 0x86:
1365ffd83dbSDimitry Andric       return J_JBE_32;
1375ffd83dbSDimitry Andric     case 0x8c:
1385ffd83dbSDimitry Andric       return J_JL_32;
1395ffd83dbSDimitry Andric     case 0x8e:
1405ffd83dbSDimitry Andric       return J_JLE_32;
1415ffd83dbSDimitry Andric     case 0x87:
1425ffd83dbSDimitry Andric       return J_JA_32;
1435ffd83dbSDimitry Andric     case 0x83:
1445ffd83dbSDimitry Andric       return J_JAE_32;
1455ffd83dbSDimitry Andric     }
1465ffd83dbSDimitry Andric   }
1475ffd83dbSDimitry Andric   return J_UNKNOWN;
1485ffd83dbSDimitry Andric }
1495ffd83dbSDimitry Andric 
1505ffd83dbSDimitry Andric // Return the relocation index for input section IS with a specific Offset.
1515ffd83dbSDimitry Andric // Returns the maximum size of the vector if no such relocation is found.
1525ffd83dbSDimitry Andric static unsigned getRelocationWithOffset(const InputSection &is,
1535ffd83dbSDimitry Andric                                         uint64_t offset) {
154*bdd1243dSDimitry Andric   unsigned size = is.relocs().size();
1555ffd83dbSDimitry Andric   for (unsigned i = size - 1; i + 1 > 0; --i) {
156*bdd1243dSDimitry Andric     if (is.relocs()[i].offset == offset && is.relocs()[i].expr != R_NONE)
1575ffd83dbSDimitry Andric       return i;
1585ffd83dbSDimitry Andric   }
1595ffd83dbSDimitry Andric   return size;
1605ffd83dbSDimitry Andric }
1615ffd83dbSDimitry Andric 
1625ffd83dbSDimitry Andric // Returns true if R corresponds to a relocation used for a jump instruction.
1635ffd83dbSDimitry Andric // TODO: Once special relocations for relaxable jump instructions are available,
1645ffd83dbSDimitry Andric // this should be modified to use those relocations.
1655ffd83dbSDimitry Andric static bool isRelocationForJmpInsn(Relocation &R) {
1665ffd83dbSDimitry Andric   return R.type == R_X86_64_PLT32 || R.type == R_X86_64_PC32 ||
1675ffd83dbSDimitry Andric          R.type == R_X86_64_PC8;
1685ffd83dbSDimitry Andric }
1695ffd83dbSDimitry Andric 
1705ffd83dbSDimitry Andric // Return true if Relocation R points to the first instruction in the
1715ffd83dbSDimitry Andric // next section.
1725ffd83dbSDimitry Andric // TODO: Delete this once psABI reserves a new relocation type for fall thru
1735ffd83dbSDimitry Andric // jumps.
1745ffd83dbSDimitry Andric static bool isFallThruRelocation(InputSection &is, InputFile *file,
1755ffd83dbSDimitry Andric                                  InputSection *nextIS, Relocation &r) {
1765ffd83dbSDimitry Andric   if (!isRelocationForJmpInsn(r))
1775ffd83dbSDimitry Andric     return false;
1785ffd83dbSDimitry Andric 
1795ffd83dbSDimitry Andric   uint64_t addrLoc = is.getOutputSection()->addr + is.outSecOff + r.offset;
1805ffd83dbSDimitry Andric   uint64_t targetOffset = InputSectionBase::getRelocTargetVA(
1815ffd83dbSDimitry Andric       file, r.type, r.addend, addrLoc, *r.sym, r.expr);
1825ffd83dbSDimitry Andric 
1835ffd83dbSDimitry Andric   // If this jmp is a fall thru, the target offset is the beginning of the
1845ffd83dbSDimitry Andric   // next section.
1855ffd83dbSDimitry Andric   uint64_t nextSectionOffset =
1865ffd83dbSDimitry Andric       nextIS->getOutputSection()->addr + nextIS->outSecOff;
1875ffd83dbSDimitry Andric   return (addrLoc + 4 + targetOffset) == nextSectionOffset;
1885ffd83dbSDimitry Andric }
1895ffd83dbSDimitry Andric 
1905ffd83dbSDimitry Andric // Return the jmp instruction opcode that is the inverse of the given
1915ffd83dbSDimitry Andric // opcode.  For example, JE inverted is JNE.
1925ffd83dbSDimitry Andric static JmpInsnOpcode invertJmpOpcode(const JmpInsnOpcode opcode) {
1935ffd83dbSDimitry Andric   switch (opcode) {
1945ffd83dbSDimitry Andric   case J_JE_32:
1955ffd83dbSDimitry Andric     return J_JNE_32;
1965ffd83dbSDimitry Andric   case J_JNE_32:
1975ffd83dbSDimitry Andric     return J_JE_32;
1985ffd83dbSDimitry Andric   case J_JG_32:
1995ffd83dbSDimitry Andric     return J_JLE_32;
2005ffd83dbSDimitry Andric   case J_JGE_32:
2015ffd83dbSDimitry Andric     return J_JL_32;
2025ffd83dbSDimitry Andric   case J_JB_32:
2035ffd83dbSDimitry Andric     return J_JAE_32;
2045ffd83dbSDimitry Andric   case J_JBE_32:
2055ffd83dbSDimitry Andric     return J_JA_32;
2065ffd83dbSDimitry Andric   case J_JL_32:
2075ffd83dbSDimitry Andric     return J_JGE_32;
2085ffd83dbSDimitry Andric   case J_JLE_32:
2095ffd83dbSDimitry Andric     return J_JG_32;
2105ffd83dbSDimitry Andric   case J_JA_32:
2115ffd83dbSDimitry Andric     return J_JBE_32;
2125ffd83dbSDimitry Andric   case J_JAE_32:
2135ffd83dbSDimitry Andric     return J_JB_32;
2145ffd83dbSDimitry Andric   default:
2155ffd83dbSDimitry Andric     return J_UNKNOWN;
2165ffd83dbSDimitry Andric   }
2175ffd83dbSDimitry Andric }
2185ffd83dbSDimitry Andric 
2195ffd83dbSDimitry Andric // Deletes direct jump instruction in input sections that jumps to the
2205ffd83dbSDimitry Andric // following section as it is not required.  If there are two consecutive jump
2215ffd83dbSDimitry Andric // instructions, it checks if they can be flipped and one can be deleted.
2225ffd83dbSDimitry Andric // For example:
2235ffd83dbSDimitry Andric // .section .text
2245ffd83dbSDimitry Andric // a.BB.foo:
2255ffd83dbSDimitry Andric //    ...
2265ffd83dbSDimitry Andric //    10: jne aa.BB.foo
2275ffd83dbSDimitry Andric //    16: jmp bar
2285ffd83dbSDimitry Andric // aa.BB.foo:
2295ffd83dbSDimitry Andric //    ...
2305ffd83dbSDimitry Andric //
2315ffd83dbSDimitry Andric // can be converted to:
2325ffd83dbSDimitry Andric // a.BB.foo:
2335ffd83dbSDimitry Andric //   ...
2345ffd83dbSDimitry Andric //   10: je bar  #jne flipped to je and the jmp is deleted.
2355ffd83dbSDimitry Andric // aa.BB.foo:
2365ffd83dbSDimitry Andric //   ...
2375ffd83dbSDimitry Andric bool X86_64::deleteFallThruJmpInsn(InputSection &is, InputFile *file,
2385ffd83dbSDimitry Andric                                    InputSection *nextIS) const {
2395ffd83dbSDimitry Andric   const unsigned sizeOfDirectJmpInsn = 5;
2405ffd83dbSDimitry Andric 
2415ffd83dbSDimitry Andric   if (nextIS == nullptr)
2425ffd83dbSDimitry Andric     return false;
2435ffd83dbSDimitry Andric 
2445ffd83dbSDimitry Andric   if (is.getSize() < sizeOfDirectJmpInsn)
2455ffd83dbSDimitry Andric     return false;
2465ffd83dbSDimitry Andric 
2475ffd83dbSDimitry Andric   // If this jmp insn can be removed, it is the last insn and the
2485ffd83dbSDimitry Andric   // relocation is 4 bytes before the end.
2495ffd83dbSDimitry Andric   unsigned rIndex = getRelocationWithOffset(is, is.getSize() - 4);
250*bdd1243dSDimitry Andric   if (rIndex == is.relocs().size())
2515ffd83dbSDimitry Andric     return false;
2525ffd83dbSDimitry Andric 
253*bdd1243dSDimitry Andric   Relocation &r = is.relocs()[rIndex];
2545ffd83dbSDimitry Andric 
2555ffd83dbSDimitry Andric   // Check if the relocation corresponds to a direct jmp.
256*bdd1243dSDimitry Andric   const uint8_t *secContents = is.content().data();
2575ffd83dbSDimitry Andric   // If it is not a direct jmp instruction, there is nothing to do here.
2585ffd83dbSDimitry Andric   if (*(secContents + r.offset - 1) != 0xe9)
2595ffd83dbSDimitry Andric     return false;
2605ffd83dbSDimitry Andric 
2615ffd83dbSDimitry Andric   if (isFallThruRelocation(is, file, nextIS, r)) {
2625ffd83dbSDimitry Andric     // This is a fall thru and can be deleted.
2635ffd83dbSDimitry Andric     r.expr = R_NONE;
2645ffd83dbSDimitry Andric     r.offset = 0;
2655ffd83dbSDimitry Andric     is.drop_back(sizeOfDirectJmpInsn);
2665ffd83dbSDimitry Andric     is.nopFiller = true;
2675ffd83dbSDimitry Andric     return true;
2685ffd83dbSDimitry Andric   }
2695ffd83dbSDimitry Andric 
2705ffd83dbSDimitry Andric   // Now, check if flip and delete is possible.
2715ffd83dbSDimitry Andric   const unsigned sizeOfJmpCCInsn = 6;
2725ffd83dbSDimitry Andric   // To flip, there must be at least one JmpCC and one direct jmp.
2735ffd83dbSDimitry Andric   if (is.getSize() < sizeOfDirectJmpInsn + sizeOfJmpCCInsn)
27404eeddc0SDimitry Andric     return false;
2755ffd83dbSDimitry Andric 
2765ffd83dbSDimitry Andric   unsigned rbIndex =
2775ffd83dbSDimitry Andric       getRelocationWithOffset(is, (is.getSize() - sizeOfDirectJmpInsn - 4));
278*bdd1243dSDimitry Andric   if (rbIndex == is.relocs().size())
27904eeddc0SDimitry Andric     return false;
2805ffd83dbSDimitry Andric 
281*bdd1243dSDimitry Andric   Relocation &rB = is.relocs()[rbIndex];
2825ffd83dbSDimitry Andric 
2835ffd83dbSDimitry Andric   const uint8_t *jmpInsnB = secContents + rB.offset - 1;
2845ffd83dbSDimitry Andric   JmpInsnOpcode jmpOpcodeB = getJmpInsnType(jmpInsnB - 1, jmpInsnB);
2855ffd83dbSDimitry Andric   if (jmpOpcodeB == J_UNKNOWN)
2865ffd83dbSDimitry Andric     return false;
2875ffd83dbSDimitry Andric 
2885ffd83dbSDimitry Andric   if (!isFallThruRelocation(is, file, nextIS, rB))
2895ffd83dbSDimitry Andric     return false;
2905ffd83dbSDimitry Andric 
2915ffd83dbSDimitry Andric   // jmpCC jumps to the fall thru block, the branch can be flipped and the
2925ffd83dbSDimitry Andric   // jmp can be deleted.
2935ffd83dbSDimitry Andric   JmpInsnOpcode jInvert = invertJmpOpcode(jmpOpcodeB);
2945ffd83dbSDimitry Andric   if (jInvert == J_UNKNOWN)
2955ffd83dbSDimitry Andric     return false;
29604eeddc0SDimitry Andric   is.jumpInstrMod = make<JumpInstrMod>();
29704eeddc0SDimitry Andric   *is.jumpInstrMod = {rB.offset - 1, jInvert, 4};
2985ffd83dbSDimitry Andric   // Move R's values to rB except the offset.
2995ffd83dbSDimitry Andric   rB = {r.expr, r.type, rB.offset, r.addend, r.sym};
3005ffd83dbSDimitry Andric   // Cancel R
3015ffd83dbSDimitry Andric   r.expr = R_NONE;
3025ffd83dbSDimitry Andric   r.offset = 0;
3035ffd83dbSDimitry Andric   is.drop_back(sizeOfDirectJmpInsn);
3045ffd83dbSDimitry Andric   is.nopFiller = true;
3055ffd83dbSDimitry Andric   return true;
3065ffd83dbSDimitry Andric }
3075ffd83dbSDimitry Andric 
3080b57cec5SDimitry Andric RelExpr X86_64::getRelExpr(RelType type, const Symbol &s,
3090b57cec5SDimitry Andric                            const uint8_t *loc) const {
3100b57cec5SDimitry Andric   switch (type) {
3110b57cec5SDimitry Andric   case R_X86_64_8:
3120b57cec5SDimitry Andric   case R_X86_64_16:
3130b57cec5SDimitry Andric   case R_X86_64_32:
3140b57cec5SDimitry Andric   case R_X86_64_32S:
3150b57cec5SDimitry Andric   case R_X86_64_64:
3160b57cec5SDimitry Andric     return R_ABS;
3170b57cec5SDimitry Andric   case R_X86_64_DTPOFF32:
3180b57cec5SDimitry Andric   case R_X86_64_DTPOFF64:
3190b57cec5SDimitry Andric     return R_DTPREL;
3200b57cec5SDimitry Andric   case R_X86_64_TPOFF32:
321e8d8bef9SDimitry Andric     return R_TPREL;
3220b57cec5SDimitry Andric   case R_X86_64_TLSDESC_CALL:
3230b57cec5SDimitry Andric     return R_TLSDESC_CALL;
3240b57cec5SDimitry Andric   case R_X86_64_TLSLD:
3250b57cec5SDimitry Andric     return R_TLSLD_PC;
3260b57cec5SDimitry Andric   case R_X86_64_TLSGD:
3270b57cec5SDimitry Andric     return R_TLSGD_PC;
3280b57cec5SDimitry Andric   case R_X86_64_SIZE32:
3290b57cec5SDimitry Andric   case R_X86_64_SIZE64:
3300b57cec5SDimitry Andric     return R_SIZE;
3310b57cec5SDimitry Andric   case R_X86_64_PLT32:
3320b57cec5SDimitry Andric     return R_PLT_PC;
3330b57cec5SDimitry Andric   case R_X86_64_PC8:
3340b57cec5SDimitry Andric   case R_X86_64_PC16:
3350b57cec5SDimitry Andric   case R_X86_64_PC32:
3360b57cec5SDimitry Andric   case R_X86_64_PC64:
3370b57cec5SDimitry Andric     return R_PC;
3380b57cec5SDimitry Andric   case R_X86_64_GOT32:
3390b57cec5SDimitry Andric   case R_X86_64_GOT64:
3400b57cec5SDimitry Andric     return R_GOTPLT;
3410b57cec5SDimitry Andric   case R_X86_64_GOTPC32_TLSDESC:
3420b57cec5SDimitry Andric     return R_TLSDESC_PC;
3430b57cec5SDimitry Andric   case R_X86_64_GOTPCREL:
3440b57cec5SDimitry Andric   case R_X86_64_GOTPCRELX:
3450b57cec5SDimitry Andric   case R_X86_64_REX_GOTPCRELX:
3460b57cec5SDimitry Andric   case R_X86_64_GOTTPOFF:
3470b57cec5SDimitry Andric     return R_GOT_PC;
3480b57cec5SDimitry Andric   case R_X86_64_GOTOFF64:
3490b57cec5SDimitry Andric     return R_GOTPLTREL;
350349cc55cSDimitry Andric   case R_X86_64_PLTOFF64:
351349cc55cSDimitry Andric     return R_PLT_GOTPLT;
3520b57cec5SDimitry Andric   case R_X86_64_GOTPC32:
3530b57cec5SDimitry Andric   case R_X86_64_GOTPC64:
3540b57cec5SDimitry Andric     return R_GOTPLTONLY_PC;
3550b57cec5SDimitry Andric   case R_X86_64_NONE:
3560b57cec5SDimitry Andric     return R_NONE;
3570b57cec5SDimitry Andric   default:
3580b57cec5SDimitry Andric     error(getErrorLocation(loc) + "unknown relocation (" + Twine(type) +
3590b57cec5SDimitry Andric           ") against symbol " + toString(s));
3600b57cec5SDimitry Andric     return R_NONE;
3610b57cec5SDimitry Andric   }
3620b57cec5SDimitry Andric }
3630b57cec5SDimitry Andric 
3640b57cec5SDimitry Andric void X86_64::writeGotPltHeader(uint8_t *buf) const {
3650b57cec5SDimitry Andric   // The first entry holds the value of _DYNAMIC. It is not clear why that is
3660b57cec5SDimitry Andric   // required, but it is documented in the psabi and the glibc dynamic linker
3670b57cec5SDimitry Andric   // seems to use it (note that this is relevant for linking ld.so, not any
3680b57cec5SDimitry Andric   // other program).
3690b57cec5SDimitry Andric   write64le(buf, mainPart->dynamic->getVA());
3700b57cec5SDimitry Andric }
3710b57cec5SDimitry Andric 
3720b57cec5SDimitry Andric void X86_64::writeGotPlt(uint8_t *buf, const Symbol &s) const {
3730b57cec5SDimitry Andric   // See comments in X86::writeGotPlt.
3740b57cec5SDimitry Andric   write64le(buf, s.getPltVA() + 6);
3750b57cec5SDimitry Andric }
3760b57cec5SDimitry Andric 
377fe6060f1SDimitry Andric void X86_64::writeIgotPlt(uint8_t *buf, const Symbol &s) const {
378fe6060f1SDimitry Andric   // An x86 entry is the address of the ifunc resolver function (for -z rel).
379fe6060f1SDimitry Andric   if (config->writeAddends)
380fe6060f1SDimitry Andric     write64le(buf, s.getVA());
381fe6060f1SDimitry Andric }
382fe6060f1SDimitry Andric 
3830b57cec5SDimitry Andric void X86_64::writePltHeader(uint8_t *buf) const {
3840b57cec5SDimitry Andric   const uint8_t pltData[] = {
3850b57cec5SDimitry Andric       0xff, 0x35, 0, 0, 0, 0, // pushq GOTPLT+8(%rip)
3860b57cec5SDimitry Andric       0xff, 0x25, 0, 0, 0, 0, // jmp *GOTPLT+16(%rip)
3870b57cec5SDimitry Andric       0x0f, 0x1f, 0x40, 0x00, // nop
3880b57cec5SDimitry Andric   };
3890b57cec5SDimitry Andric   memcpy(buf, pltData, sizeof(pltData));
3900b57cec5SDimitry Andric   uint64_t gotPlt = in.gotPlt->getVA();
391480093f4SDimitry Andric   uint64_t plt = in.ibtPlt ? in.ibtPlt->getVA() : in.plt->getVA();
3920b57cec5SDimitry Andric   write32le(buf + 2, gotPlt - plt + 2); // GOTPLT+8
3930b57cec5SDimitry Andric   write32le(buf + 8, gotPlt - plt + 4); // GOTPLT+16
3940b57cec5SDimitry Andric }
3950b57cec5SDimitry Andric 
396480093f4SDimitry Andric void X86_64::writePlt(uint8_t *buf, const Symbol &sym,
397480093f4SDimitry Andric                       uint64_t pltEntryAddr) const {
3980b57cec5SDimitry Andric   const uint8_t inst[] = {
3990b57cec5SDimitry Andric       0xff, 0x25, 0, 0, 0, 0, // jmpq *got(%rip)
4000b57cec5SDimitry Andric       0x68, 0, 0, 0, 0,       // pushq <relocation index>
4010b57cec5SDimitry Andric       0xe9, 0, 0, 0, 0,       // jmpq plt[0]
4020b57cec5SDimitry Andric   };
4030b57cec5SDimitry Andric   memcpy(buf, inst, sizeof(inst));
4040b57cec5SDimitry Andric 
405480093f4SDimitry Andric   write32le(buf + 2, sym.getGotPltVA() - pltEntryAddr - 6);
40604eeddc0SDimitry Andric   write32le(buf + 7, sym.getPltIdx());
407480093f4SDimitry Andric   write32le(buf + 12, in.plt->getVA() - pltEntryAddr - 16);
4080b57cec5SDimitry Andric }
4090b57cec5SDimitry Andric 
4100b57cec5SDimitry Andric RelType X86_64::getDynRel(RelType type) const {
4110b57cec5SDimitry Andric   if (type == R_X86_64_64 || type == R_X86_64_PC64 || type == R_X86_64_SIZE32 ||
4120b57cec5SDimitry Andric       type == R_X86_64_SIZE64)
4130b57cec5SDimitry Andric     return type;
4140b57cec5SDimitry Andric   return R_X86_64_NONE;
4150b57cec5SDimitry Andric }
4160b57cec5SDimitry Andric 
417*bdd1243dSDimitry Andric static void relaxTlsGdToLe(uint8_t *loc, const Relocation &rel, uint64_t val) {
4185ffd83dbSDimitry Andric   if (rel.type == R_X86_64_TLSGD) {
4190b57cec5SDimitry Andric     // Convert
4200b57cec5SDimitry Andric     //   .byte 0x66
4210b57cec5SDimitry Andric     //   leaq x@tlsgd(%rip), %rdi
4220b57cec5SDimitry Andric     //   .word 0x6666
4230b57cec5SDimitry Andric     //   rex64
4240b57cec5SDimitry Andric     //   call __tls_get_addr@plt
4250b57cec5SDimitry Andric     // to the following two instructions.
4260b57cec5SDimitry Andric     const uint8_t inst[] = {
4270b57cec5SDimitry Andric         0x64, 0x48, 0x8b, 0x04, 0x25, 0x00, 0x00,
4280b57cec5SDimitry Andric         0x00, 0x00,                            // mov %fs:0x0,%rax
4290b57cec5SDimitry Andric         0x48, 0x8d, 0x80, 0,    0,    0,    0, // lea x@tpoff,%rax
4300b57cec5SDimitry Andric     };
4310b57cec5SDimitry Andric     memcpy(loc - 4, inst, sizeof(inst));
4320b57cec5SDimitry Andric 
4330b57cec5SDimitry Andric     // The original code used a pc relative relocation and so we have to
4340b57cec5SDimitry Andric     // compensate for the -4 in had in the addend.
4350b57cec5SDimitry Andric     write32le(loc + 8, val + 4);
4364824e7fdSDimitry Andric   } else if (rel.type == R_X86_64_GOTPC32_TLSDESC) {
4374824e7fdSDimitry Andric     // Convert leaq x@tlsdesc(%rip), %REG to movq $x@tpoff, %REG.
4384824e7fdSDimitry Andric     if ((loc[-3] & 0xfb) != 0x48 || loc[-2] != 0x8d ||
4394824e7fdSDimitry Andric         (loc[-1] & 0xc7) != 0x05) {
4404824e7fdSDimitry Andric       errorOrWarn(getErrorLocation(loc - 3) +
4414824e7fdSDimitry Andric                   "R_X86_64_GOTPC32_TLSDESC must be used "
4424824e7fdSDimitry Andric                   "in leaq x@tlsdesc(%rip), %REG");
4430b57cec5SDimitry Andric       return;
4440b57cec5SDimitry Andric     }
4454824e7fdSDimitry Andric     loc[-3] = 0x48 | ((loc[-3] >> 2) & 1);
4460b57cec5SDimitry Andric     loc[-2] = 0xc7;
4474824e7fdSDimitry Andric     loc[-1] = 0xc0 | ((loc[-1] >> 3) & 7);
4480b57cec5SDimitry Andric     write32le(loc, val + 4);
4494824e7fdSDimitry Andric   } else {
4504824e7fdSDimitry Andric     // Convert call *x@tlsdesc(%REG) to xchg ax, ax.
4514824e7fdSDimitry Andric     assert(rel.type == R_X86_64_TLSDESC_CALL);
4524824e7fdSDimitry Andric     loc[0] = 0x66;
4534824e7fdSDimitry Andric     loc[1] = 0x90;
4540b57cec5SDimitry Andric   }
4550b57cec5SDimitry Andric }
4560b57cec5SDimitry Andric 
457*bdd1243dSDimitry Andric static void relaxTlsGdToIe(uint8_t *loc, const Relocation &rel, uint64_t val) {
4585ffd83dbSDimitry Andric   if (rel.type == R_X86_64_TLSGD) {
4590b57cec5SDimitry Andric     // Convert
4600b57cec5SDimitry Andric     //   .byte 0x66
4610b57cec5SDimitry Andric     //   leaq x@tlsgd(%rip), %rdi
4620b57cec5SDimitry Andric     //   .word 0x6666
4630b57cec5SDimitry Andric     //   rex64
4640b57cec5SDimitry Andric     //   call __tls_get_addr@plt
4650b57cec5SDimitry Andric     // to the following two instructions.
4660b57cec5SDimitry Andric     const uint8_t inst[] = {
4670b57cec5SDimitry Andric         0x64, 0x48, 0x8b, 0x04, 0x25, 0x00, 0x00,
4680b57cec5SDimitry Andric         0x00, 0x00,                            // mov %fs:0x0,%rax
4690b57cec5SDimitry Andric         0x48, 0x03, 0x05, 0,    0,    0,    0, // addq x@gottpoff(%rip),%rax
4700b57cec5SDimitry Andric     };
4710b57cec5SDimitry Andric     memcpy(loc - 4, inst, sizeof(inst));
4720b57cec5SDimitry Andric 
4730b57cec5SDimitry Andric     // Both code sequences are PC relatives, but since we are moving the
4740b57cec5SDimitry Andric     // constant forward by 8 bytes we have to subtract the value by 8.
4750b57cec5SDimitry Andric     write32le(loc + 8, val - 8);
4764824e7fdSDimitry Andric   } else if (rel.type == R_X86_64_GOTPC32_TLSDESC) {
4774824e7fdSDimitry Andric     // Convert leaq x@tlsdesc(%rip), %REG to movq x@gottpoff(%rip), %REG.
4785ffd83dbSDimitry Andric     assert(rel.type == R_X86_64_GOTPC32_TLSDESC);
4794824e7fdSDimitry Andric     if ((loc[-3] & 0xfb) != 0x48 || loc[-2] != 0x8d ||
4804824e7fdSDimitry Andric         (loc[-1] & 0xc7) != 0x05) {
4814824e7fdSDimitry Andric       errorOrWarn(getErrorLocation(loc - 3) +
4824824e7fdSDimitry Andric                   "R_X86_64_GOTPC32_TLSDESC must be used "
4834824e7fdSDimitry Andric                   "in leaq x@tlsdesc(%rip), %REG");
4840b57cec5SDimitry Andric       return;
4850b57cec5SDimitry Andric     }
4860b57cec5SDimitry Andric     loc[-2] = 0x8b;
4870b57cec5SDimitry Andric     write32le(loc, val);
4884824e7fdSDimitry Andric   } else {
4894824e7fdSDimitry Andric     // Convert call *x@tlsdesc(%rax) to xchg ax, ax.
4904824e7fdSDimitry Andric     assert(rel.type == R_X86_64_TLSDESC_CALL);
4914824e7fdSDimitry Andric     loc[0] = 0x66;
4924824e7fdSDimitry Andric     loc[1] = 0x90;
4930b57cec5SDimitry Andric   }
4940b57cec5SDimitry Andric }
4950b57cec5SDimitry Andric 
4960b57cec5SDimitry Andric // In some conditions, R_X86_64_GOTTPOFF relocation can be optimized to
4970b57cec5SDimitry Andric // R_X86_64_TPOFF32 so that it does not use GOT.
498*bdd1243dSDimitry Andric static void relaxTlsIeToLe(uint8_t *loc, const Relocation &, uint64_t val) {
4990b57cec5SDimitry Andric   uint8_t *inst = loc - 3;
5000b57cec5SDimitry Andric   uint8_t reg = loc[-1] >> 3;
5010b57cec5SDimitry Andric   uint8_t *regSlot = loc - 1;
5020b57cec5SDimitry Andric 
5030b57cec5SDimitry Andric   // Note that ADD with RSP or R12 is converted to ADD instead of LEA
5040b57cec5SDimitry Andric   // because LEA with these registers needs 4 bytes to encode and thus
5050b57cec5SDimitry Andric   // wouldn't fit the space.
5060b57cec5SDimitry Andric 
5070b57cec5SDimitry Andric   if (memcmp(inst, "\x48\x03\x25", 3) == 0) {
5080b57cec5SDimitry Andric     // "addq foo@gottpoff(%rip),%rsp" -> "addq $foo,%rsp"
5090b57cec5SDimitry Andric     memcpy(inst, "\x48\x81\xc4", 3);
5100b57cec5SDimitry Andric   } else if (memcmp(inst, "\x4c\x03\x25", 3) == 0) {
5110b57cec5SDimitry Andric     // "addq foo@gottpoff(%rip),%r12" -> "addq $foo,%r12"
5120b57cec5SDimitry Andric     memcpy(inst, "\x49\x81\xc4", 3);
5130b57cec5SDimitry Andric   } else if (memcmp(inst, "\x4c\x03", 2) == 0) {
5140b57cec5SDimitry Andric     // "addq foo@gottpoff(%rip),%r[8-15]" -> "leaq foo(%r[8-15]),%r[8-15]"
5150b57cec5SDimitry Andric     memcpy(inst, "\x4d\x8d", 2);
5160b57cec5SDimitry Andric     *regSlot = 0x80 | (reg << 3) | reg;
5170b57cec5SDimitry Andric   } else if (memcmp(inst, "\x48\x03", 2) == 0) {
5180b57cec5SDimitry Andric     // "addq foo@gottpoff(%rip),%reg -> "leaq foo(%reg),%reg"
5190b57cec5SDimitry Andric     memcpy(inst, "\x48\x8d", 2);
5200b57cec5SDimitry Andric     *regSlot = 0x80 | (reg << 3) | reg;
5210b57cec5SDimitry Andric   } else if (memcmp(inst, "\x4c\x8b", 2) == 0) {
5220b57cec5SDimitry Andric     // "movq foo@gottpoff(%rip),%r[8-15]" -> "movq $foo,%r[8-15]"
5230b57cec5SDimitry Andric     memcpy(inst, "\x49\xc7", 2);
5240b57cec5SDimitry Andric     *regSlot = 0xc0 | reg;
5250b57cec5SDimitry Andric   } else if (memcmp(inst, "\x48\x8b", 2) == 0) {
5260b57cec5SDimitry Andric     // "movq foo@gottpoff(%rip),%reg" -> "movq $foo,%reg"
5270b57cec5SDimitry Andric     memcpy(inst, "\x48\xc7", 2);
5280b57cec5SDimitry Andric     *regSlot = 0xc0 | reg;
5290b57cec5SDimitry Andric   } else {
5300b57cec5SDimitry Andric     error(getErrorLocation(loc - 3) +
5310b57cec5SDimitry Andric           "R_X86_64_GOTTPOFF must be used in MOVQ or ADDQ instructions only");
5320b57cec5SDimitry Andric   }
5330b57cec5SDimitry Andric 
5340b57cec5SDimitry Andric   // The original code used a PC relative relocation.
5350b57cec5SDimitry Andric   // Need to compensate for the -4 it had in the addend.
5360b57cec5SDimitry Andric   write32le(loc, val + 4);
5370b57cec5SDimitry Andric }
5380b57cec5SDimitry Andric 
539*bdd1243dSDimitry Andric static void relaxTlsLdToLe(uint8_t *loc, const Relocation &rel, uint64_t val) {
5400b57cec5SDimitry Andric   const uint8_t inst[] = {
5410b57cec5SDimitry Andric       0x66, 0x66,                                           // .word 0x6666
5420b57cec5SDimitry Andric       0x66,                                                 // .byte 0x66
5430b57cec5SDimitry Andric       0x64, 0x48, 0x8b, 0x04, 0x25, 0x00, 0x00, 0x00, 0x00, // mov %fs:0,%rax
5440b57cec5SDimitry Andric   };
5450b57cec5SDimitry Andric 
5460b57cec5SDimitry Andric   if (loc[4] == 0xe8) {
5470b57cec5SDimitry Andric     // Convert
5480b57cec5SDimitry Andric     //   leaq bar@tlsld(%rip), %rdi           # 48 8d 3d <Loc>
5490b57cec5SDimitry Andric     //   callq __tls_get_addr@PLT             # e8 <disp32>
5500b57cec5SDimitry Andric     //   leaq bar@dtpoff(%rax), %rcx
5510b57cec5SDimitry Andric     // to
5520b57cec5SDimitry Andric     //   .word 0x6666
5530b57cec5SDimitry Andric     //   .byte 0x66
5540b57cec5SDimitry Andric     //   mov %fs:0,%rax
5550b57cec5SDimitry Andric     //   leaq bar@tpoff(%rax), %rcx
5560b57cec5SDimitry Andric     memcpy(loc - 3, inst, sizeof(inst));
5570b57cec5SDimitry Andric     return;
5580b57cec5SDimitry Andric   }
5590b57cec5SDimitry Andric 
5600b57cec5SDimitry Andric   if (loc[4] == 0xff && loc[5] == 0x15) {
5610b57cec5SDimitry Andric     // Convert
5620b57cec5SDimitry Andric     //   leaq  x@tlsld(%rip),%rdi               # 48 8d 3d <Loc>
5630b57cec5SDimitry Andric     //   call *__tls_get_addr@GOTPCREL(%rip)    # ff 15 <disp32>
5640b57cec5SDimitry Andric     // to
5650b57cec5SDimitry Andric     //   .long  0x66666666
5660b57cec5SDimitry Andric     //   movq   %fs:0,%rax
5670b57cec5SDimitry Andric     // See "Table 11.9: LD -> LE Code Transition (LP64)" in
5680b57cec5SDimitry Andric     // https://raw.githubusercontent.com/wiki/hjl-tools/x86-psABI/x86-64-psABI-1.0.pdf
5690b57cec5SDimitry Andric     loc[-3] = 0x66;
5700b57cec5SDimitry Andric     memcpy(loc - 2, inst, sizeof(inst));
5710b57cec5SDimitry Andric     return;
5720b57cec5SDimitry Andric   }
5730b57cec5SDimitry Andric 
5740b57cec5SDimitry Andric   error(getErrorLocation(loc - 3) +
5750b57cec5SDimitry Andric         "expected R_X86_64_PLT32 or R_X86_64_GOTPCRELX after R_X86_64_TLSLD");
5760b57cec5SDimitry Andric }
5770b57cec5SDimitry Andric 
5785ffd83dbSDimitry Andric // A JumpInstrMod at a specific offset indicates that the jump instruction
5795ffd83dbSDimitry Andric // opcode at that offset must be modified.  This is specifically used to relax
5805ffd83dbSDimitry Andric // jump instructions with basic block sections.  This function looks at the
5815ffd83dbSDimitry Andric // JumpMod and effects the change.
5825ffd83dbSDimitry Andric void X86_64::applyJumpInstrMod(uint8_t *loc, JumpModType type,
5835ffd83dbSDimitry Andric                                unsigned size) const {
5840b57cec5SDimitry Andric   switch (type) {
5855ffd83dbSDimitry Andric   case J_JMP_32:
5865ffd83dbSDimitry Andric     if (size == 4)
5875ffd83dbSDimitry Andric       *loc = 0xe9;
5885ffd83dbSDimitry Andric     else
5895ffd83dbSDimitry Andric       *loc = 0xeb;
5905ffd83dbSDimitry Andric     break;
5915ffd83dbSDimitry Andric   case J_JE_32:
5925ffd83dbSDimitry Andric     if (size == 4) {
5935ffd83dbSDimitry Andric       loc[-1] = 0x0f;
5945ffd83dbSDimitry Andric       *loc = 0x84;
5955ffd83dbSDimitry Andric     } else
5965ffd83dbSDimitry Andric       *loc = 0x74;
5975ffd83dbSDimitry Andric     break;
5985ffd83dbSDimitry Andric   case J_JNE_32:
5995ffd83dbSDimitry Andric     if (size == 4) {
6005ffd83dbSDimitry Andric       loc[-1] = 0x0f;
6015ffd83dbSDimitry Andric       *loc = 0x85;
6025ffd83dbSDimitry Andric     } else
6035ffd83dbSDimitry Andric       *loc = 0x75;
6045ffd83dbSDimitry Andric     break;
6055ffd83dbSDimitry Andric   case J_JG_32:
6065ffd83dbSDimitry Andric     if (size == 4) {
6075ffd83dbSDimitry Andric       loc[-1] = 0x0f;
6085ffd83dbSDimitry Andric       *loc = 0x8f;
6095ffd83dbSDimitry Andric     } else
6105ffd83dbSDimitry Andric       *loc = 0x7f;
6115ffd83dbSDimitry Andric     break;
6125ffd83dbSDimitry Andric   case J_JGE_32:
6135ffd83dbSDimitry Andric     if (size == 4) {
6145ffd83dbSDimitry Andric       loc[-1] = 0x0f;
6155ffd83dbSDimitry Andric       *loc = 0x8d;
6165ffd83dbSDimitry Andric     } else
6175ffd83dbSDimitry Andric       *loc = 0x7d;
6185ffd83dbSDimitry Andric     break;
6195ffd83dbSDimitry Andric   case J_JB_32:
6205ffd83dbSDimitry Andric     if (size == 4) {
6215ffd83dbSDimitry Andric       loc[-1] = 0x0f;
6225ffd83dbSDimitry Andric       *loc = 0x82;
6235ffd83dbSDimitry Andric     } else
6245ffd83dbSDimitry Andric       *loc = 0x72;
6255ffd83dbSDimitry Andric     break;
6265ffd83dbSDimitry Andric   case J_JBE_32:
6275ffd83dbSDimitry Andric     if (size == 4) {
6285ffd83dbSDimitry Andric       loc[-1] = 0x0f;
6295ffd83dbSDimitry Andric       *loc = 0x86;
6305ffd83dbSDimitry Andric     } else
6315ffd83dbSDimitry Andric       *loc = 0x76;
6325ffd83dbSDimitry Andric     break;
6335ffd83dbSDimitry Andric   case J_JL_32:
6345ffd83dbSDimitry Andric     if (size == 4) {
6355ffd83dbSDimitry Andric       loc[-1] = 0x0f;
6365ffd83dbSDimitry Andric       *loc = 0x8c;
6375ffd83dbSDimitry Andric     } else
6385ffd83dbSDimitry Andric       *loc = 0x7c;
6395ffd83dbSDimitry Andric     break;
6405ffd83dbSDimitry Andric   case J_JLE_32:
6415ffd83dbSDimitry Andric     if (size == 4) {
6425ffd83dbSDimitry Andric       loc[-1] = 0x0f;
6435ffd83dbSDimitry Andric       *loc = 0x8e;
6445ffd83dbSDimitry Andric     } else
6455ffd83dbSDimitry Andric       *loc = 0x7e;
6465ffd83dbSDimitry Andric     break;
6475ffd83dbSDimitry Andric   case J_JA_32:
6485ffd83dbSDimitry Andric     if (size == 4) {
6495ffd83dbSDimitry Andric       loc[-1] = 0x0f;
6505ffd83dbSDimitry Andric       *loc = 0x87;
6515ffd83dbSDimitry Andric     } else
6525ffd83dbSDimitry Andric       *loc = 0x77;
6535ffd83dbSDimitry Andric     break;
6545ffd83dbSDimitry Andric   case J_JAE_32:
6555ffd83dbSDimitry Andric     if (size == 4) {
6565ffd83dbSDimitry Andric       loc[-1] = 0x0f;
6575ffd83dbSDimitry Andric       *loc = 0x83;
6585ffd83dbSDimitry Andric     } else
6595ffd83dbSDimitry Andric       *loc = 0x73;
6605ffd83dbSDimitry Andric     break;
6615ffd83dbSDimitry Andric   case J_UNKNOWN:
6625ffd83dbSDimitry Andric     llvm_unreachable("Unknown Jump Relocation");
6635ffd83dbSDimitry Andric   }
6645ffd83dbSDimitry Andric }
6655ffd83dbSDimitry Andric 
666fe6060f1SDimitry Andric int64_t X86_64::getImplicitAddend(const uint8_t *buf, RelType type) const {
667fe6060f1SDimitry Andric   switch (type) {
668fe6060f1SDimitry Andric   case R_X86_64_8:
669fe6060f1SDimitry Andric   case R_X86_64_PC8:
670fe6060f1SDimitry Andric     return SignExtend64<8>(*buf);
671fe6060f1SDimitry Andric   case R_X86_64_16:
672fe6060f1SDimitry Andric   case R_X86_64_PC16:
673fe6060f1SDimitry Andric     return SignExtend64<16>(read16le(buf));
674fe6060f1SDimitry Andric   case R_X86_64_32:
675fe6060f1SDimitry Andric   case R_X86_64_32S:
676fe6060f1SDimitry Andric   case R_X86_64_TPOFF32:
677fe6060f1SDimitry Andric   case R_X86_64_GOT32:
678fe6060f1SDimitry Andric   case R_X86_64_GOTPC32:
679fe6060f1SDimitry Andric   case R_X86_64_GOTPC32_TLSDESC:
680fe6060f1SDimitry Andric   case R_X86_64_GOTPCREL:
681fe6060f1SDimitry Andric   case R_X86_64_GOTPCRELX:
682fe6060f1SDimitry Andric   case R_X86_64_REX_GOTPCRELX:
683fe6060f1SDimitry Andric   case R_X86_64_PC32:
684fe6060f1SDimitry Andric   case R_X86_64_GOTTPOFF:
685fe6060f1SDimitry Andric   case R_X86_64_PLT32:
686fe6060f1SDimitry Andric   case R_X86_64_TLSGD:
687fe6060f1SDimitry Andric   case R_X86_64_TLSLD:
688fe6060f1SDimitry Andric   case R_X86_64_DTPOFF32:
689fe6060f1SDimitry Andric   case R_X86_64_SIZE32:
690fe6060f1SDimitry Andric     return SignExtend64<32>(read32le(buf));
691fe6060f1SDimitry Andric   case R_X86_64_64:
692fe6060f1SDimitry Andric   case R_X86_64_TPOFF64:
693fe6060f1SDimitry Andric   case R_X86_64_DTPOFF64:
694fe6060f1SDimitry Andric   case R_X86_64_DTPMOD64:
695fe6060f1SDimitry Andric   case R_X86_64_PC64:
696fe6060f1SDimitry Andric   case R_X86_64_SIZE64:
697fe6060f1SDimitry Andric   case R_X86_64_GLOB_DAT:
698fe6060f1SDimitry Andric   case R_X86_64_GOT64:
699fe6060f1SDimitry Andric   case R_X86_64_GOTOFF64:
700fe6060f1SDimitry Andric   case R_X86_64_GOTPC64:
701349cc55cSDimitry Andric   case R_X86_64_PLTOFF64:
702fe6060f1SDimitry Andric   case R_X86_64_IRELATIVE:
703fe6060f1SDimitry Andric   case R_X86_64_RELATIVE:
704fe6060f1SDimitry Andric     return read64le(buf);
705349cc55cSDimitry Andric   case R_X86_64_TLSDESC:
706349cc55cSDimitry Andric     return read64le(buf + 8);
707fe6060f1SDimitry Andric   case R_X86_64_JUMP_SLOT:
708fe6060f1SDimitry Andric   case R_X86_64_NONE:
709fe6060f1SDimitry Andric     // These relocations are defined as not having an implicit addend.
710fe6060f1SDimitry Andric     return 0;
711fe6060f1SDimitry Andric   default:
712fe6060f1SDimitry Andric     internalLinkerError(getErrorLocation(buf),
713fe6060f1SDimitry Andric                         "cannot read addend for relocation " + toString(type));
714fe6060f1SDimitry Andric     return 0;
715fe6060f1SDimitry Andric   }
716fe6060f1SDimitry Andric }
717fe6060f1SDimitry Andric 
718*bdd1243dSDimitry Andric static void relaxGot(uint8_t *loc, const Relocation &rel, uint64_t val);
719*bdd1243dSDimitry Andric 
7205ffd83dbSDimitry Andric void X86_64::relocate(uint8_t *loc, const Relocation &rel, uint64_t val) const {
7215ffd83dbSDimitry Andric   switch (rel.type) {
7220b57cec5SDimitry Andric   case R_X86_64_8:
7235ffd83dbSDimitry Andric     checkIntUInt(loc, val, 8, rel);
7240b57cec5SDimitry Andric     *loc = val;
7250b57cec5SDimitry Andric     break;
7260b57cec5SDimitry Andric   case R_X86_64_PC8:
7275ffd83dbSDimitry Andric     checkInt(loc, val, 8, rel);
7280b57cec5SDimitry Andric     *loc = val;
7290b57cec5SDimitry Andric     break;
7300b57cec5SDimitry Andric   case R_X86_64_16:
7315ffd83dbSDimitry Andric     checkIntUInt(loc, val, 16, rel);
7320b57cec5SDimitry Andric     write16le(loc, val);
7330b57cec5SDimitry Andric     break;
7340b57cec5SDimitry Andric   case R_X86_64_PC16:
7355ffd83dbSDimitry Andric     checkInt(loc, val, 16, rel);
7360b57cec5SDimitry Andric     write16le(loc, val);
7370b57cec5SDimitry Andric     break;
7380b57cec5SDimitry Andric   case R_X86_64_32:
7395ffd83dbSDimitry Andric     checkUInt(loc, val, 32, rel);
7400b57cec5SDimitry Andric     write32le(loc, val);
7410b57cec5SDimitry Andric     break;
7420b57cec5SDimitry Andric   case R_X86_64_32S:
7430b57cec5SDimitry Andric   case R_X86_64_GOT32:
7440b57cec5SDimitry Andric   case R_X86_64_GOTPC32:
7450b57cec5SDimitry Andric   case R_X86_64_GOTPCREL:
7460b57cec5SDimitry Andric   case R_X86_64_PC32:
7470b57cec5SDimitry Andric   case R_X86_64_PLT32:
7480b57cec5SDimitry Andric   case R_X86_64_DTPOFF32:
7490b57cec5SDimitry Andric   case R_X86_64_SIZE32:
7505ffd83dbSDimitry Andric     checkInt(loc, val, 32, rel);
7510b57cec5SDimitry Andric     write32le(loc, val);
7520b57cec5SDimitry Andric     break;
7530b57cec5SDimitry Andric   case R_X86_64_64:
7540b57cec5SDimitry Andric   case R_X86_64_DTPOFF64:
7550b57cec5SDimitry Andric   case R_X86_64_PC64:
7560b57cec5SDimitry Andric   case R_X86_64_SIZE64:
7570b57cec5SDimitry Andric   case R_X86_64_GOT64:
7580b57cec5SDimitry Andric   case R_X86_64_GOTOFF64:
7590b57cec5SDimitry Andric   case R_X86_64_GOTPC64:
760349cc55cSDimitry Andric   case R_X86_64_PLTOFF64:
7610b57cec5SDimitry Andric     write64le(loc, val);
7620b57cec5SDimitry Andric     break;
763*bdd1243dSDimitry Andric   case R_X86_64_GOTPCRELX:
764*bdd1243dSDimitry Andric   case R_X86_64_REX_GOTPCRELX:
765*bdd1243dSDimitry Andric     if (rel.expr != R_GOT_PC) {
766*bdd1243dSDimitry Andric       relaxGot(loc, rel, val);
767*bdd1243dSDimitry Andric     } else {
768*bdd1243dSDimitry Andric       checkInt(loc, val, 32, rel);
769*bdd1243dSDimitry Andric       write32le(loc, val);
770*bdd1243dSDimitry Andric     }
771*bdd1243dSDimitry Andric     break;
772*bdd1243dSDimitry Andric   case R_X86_64_GOTPC32_TLSDESC:
773*bdd1243dSDimitry Andric   case R_X86_64_TLSDESC_CALL:
774*bdd1243dSDimitry Andric   case R_X86_64_TLSGD:
775*bdd1243dSDimitry Andric     if (rel.expr == R_RELAX_TLS_GD_TO_LE) {
776*bdd1243dSDimitry Andric       relaxTlsGdToLe(loc, rel, val);
777*bdd1243dSDimitry Andric     } else if (rel.expr == R_RELAX_TLS_GD_TO_IE) {
778*bdd1243dSDimitry Andric       relaxTlsGdToIe(loc, rel, val);
779*bdd1243dSDimitry Andric     } else {
780*bdd1243dSDimitry Andric       checkInt(loc, val, 32, rel);
781*bdd1243dSDimitry Andric       write32le(loc, val);
782*bdd1243dSDimitry Andric     }
783*bdd1243dSDimitry Andric     break;
784*bdd1243dSDimitry Andric   case R_X86_64_TLSLD:
785*bdd1243dSDimitry Andric     if (rel.expr == R_RELAX_TLS_LD_TO_LE) {
786*bdd1243dSDimitry Andric       relaxTlsLdToLe(loc, rel, val);
787*bdd1243dSDimitry Andric     } else {
788*bdd1243dSDimitry Andric       checkInt(loc, val, 32, rel);
789*bdd1243dSDimitry Andric       write32le(loc, val);
790*bdd1243dSDimitry Andric     }
791*bdd1243dSDimitry Andric     break;
792*bdd1243dSDimitry Andric   case R_X86_64_GOTTPOFF:
793*bdd1243dSDimitry Andric     if (rel.expr == R_RELAX_TLS_IE_TO_LE) {
794*bdd1243dSDimitry Andric       relaxTlsIeToLe(loc, rel, val);
795*bdd1243dSDimitry Andric     } else {
796*bdd1243dSDimitry Andric       checkInt(loc, val, 32, rel);
797*bdd1243dSDimitry Andric       write32le(loc, val);
798*bdd1243dSDimitry Andric     }
799*bdd1243dSDimitry Andric     break;
800*bdd1243dSDimitry Andric   case R_X86_64_TPOFF32:
801*bdd1243dSDimitry Andric     checkInt(loc, val, 32, rel);
802*bdd1243dSDimitry Andric     write32le(loc, val);
803*bdd1243dSDimitry Andric     break;
804*bdd1243dSDimitry Andric 
805349cc55cSDimitry Andric   case R_X86_64_TLSDESC:
806349cc55cSDimitry Andric     // The addend is stored in the second 64-bit word.
807349cc55cSDimitry Andric     write64le(loc + 8, val);
808349cc55cSDimitry Andric     break;
8090b57cec5SDimitry Andric   default:
8100b57cec5SDimitry Andric     llvm_unreachable("unknown relocation");
8110b57cec5SDimitry Andric   }
8120b57cec5SDimitry Andric }
8130b57cec5SDimitry Andric 
814e8d8bef9SDimitry Andric RelExpr X86_64::adjustGotPcExpr(RelType type, int64_t addend,
815e8d8bef9SDimitry Andric                                 const uint8_t *loc) const {
816e8d8bef9SDimitry Andric   // Only R_X86_64_[REX_]GOTPCRELX can be relaxed. GNU as may emit GOTPCRELX
817e8d8bef9SDimitry Andric   // with addend != -4. Such an instruction does not load the full GOT entry, so
818e8d8bef9SDimitry Andric   // we cannot relax the relocation. E.g. movl x@GOTPCREL+4(%rip), %rax
819e8d8bef9SDimitry Andric   // (addend=0) loads the high 32 bits of the GOT entry.
820349cc55cSDimitry Andric   if (!config->relax || addend != -4 ||
821349cc55cSDimitry Andric       (type != R_X86_64_GOTPCRELX && type != R_X86_64_REX_GOTPCRELX))
822e8d8bef9SDimitry Andric     return R_GOT_PC;
823e8d8bef9SDimitry Andric   const uint8_t op = loc[-2];
824e8d8bef9SDimitry Andric   const uint8_t modRm = loc[-1];
8250b57cec5SDimitry Andric 
8260b57cec5SDimitry Andric   // FIXME: When PIC is disabled and foo is defined locally in the
8270b57cec5SDimitry Andric   // lower 32 bit address space, memory operand in mov can be converted into
8280b57cec5SDimitry Andric   // immediate operand. Otherwise, mov must be changed to lea. We support only
8290b57cec5SDimitry Andric   // latter relaxation at this moment.
8300b57cec5SDimitry Andric   if (op == 0x8b)
8310b57cec5SDimitry Andric     return R_RELAX_GOT_PC;
8320b57cec5SDimitry Andric 
8330b57cec5SDimitry Andric   // Relax call and jmp.
8340b57cec5SDimitry Andric   if (op == 0xff && (modRm == 0x15 || modRm == 0x25))
8350b57cec5SDimitry Andric     return R_RELAX_GOT_PC;
8360b57cec5SDimitry Andric 
837e8d8bef9SDimitry Andric   // We don't support test/binop instructions without a REX prefix.
838e8d8bef9SDimitry Andric   if (type == R_X86_64_GOTPCRELX)
839e8d8bef9SDimitry Andric     return R_GOT_PC;
840e8d8bef9SDimitry Andric 
8410b57cec5SDimitry Andric   // Relaxation of test, adc, add, and, cmp, or, sbb, sub, xor.
8420b57cec5SDimitry Andric   // If PIC then no relaxation is available.
843e8d8bef9SDimitry Andric   return config->isPic ? R_GOT_PC : R_RELAX_GOT_PC_NOPIC;
8440b57cec5SDimitry Andric }
8450b57cec5SDimitry Andric 
8460b57cec5SDimitry Andric // A subset of relaxations can only be applied for no-PIC. This method
8470b57cec5SDimitry Andric // handles such relaxations. Instructions encoding information was taken from:
8480b57cec5SDimitry Andric // "Intel 64 and IA-32 Architectures Software Developer's Manual V2"
8490b57cec5SDimitry Andric // (http://www.intel.com/content/dam/www/public/us/en/documents/manuals/
8500b57cec5SDimitry Andric //    64-ia-32-architectures-software-developer-instruction-set-reference-manual-325383.pdf)
8510b57cec5SDimitry Andric static void relaxGotNoPic(uint8_t *loc, uint64_t val, uint8_t op,
8520b57cec5SDimitry Andric                           uint8_t modRm) {
8530b57cec5SDimitry Andric   const uint8_t rex = loc[-3];
8540b57cec5SDimitry Andric   // Convert "test %reg, foo@GOTPCREL(%rip)" to "test $foo, %reg".
8550b57cec5SDimitry Andric   if (op == 0x85) {
8560b57cec5SDimitry Andric     // See "TEST-Logical Compare" (4-428 Vol. 2B),
8570b57cec5SDimitry Andric     // TEST r/m64, r64 uses "full" ModR / M byte (no opcode extension).
8580b57cec5SDimitry Andric 
8590b57cec5SDimitry Andric     // ModR/M byte has form XX YYY ZZZ, where
8600b57cec5SDimitry Andric     // YYY is MODRM.reg(register 2), ZZZ is MODRM.rm(register 1).
8610b57cec5SDimitry Andric     // XX has different meanings:
8620b57cec5SDimitry Andric     // 00: The operand's memory address is in reg1.
8630b57cec5SDimitry Andric     // 01: The operand's memory address is reg1 + a byte-sized displacement.
8640b57cec5SDimitry Andric     // 10: The operand's memory address is reg1 + a word-sized displacement.
8650b57cec5SDimitry Andric     // 11: The operand is reg1 itself.
8660b57cec5SDimitry Andric     // If an instruction requires only one operand, the unused reg2 field
8670b57cec5SDimitry Andric     // holds extra opcode bits rather than a register code
8680b57cec5SDimitry Andric     // 0xC0 == 11 000 000 binary.
8690b57cec5SDimitry Andric     // 0x38 == 00 111 000 binary.
8700b57cec5SDimitry Andric     // We transfer reg2 to reg1 here as operand.
8710b57cec5SDimitry Andric     // See "2.1.3 ModR/M and SIB Bytes" (Vol. 2A 2-3).
8720b57cec5SDimitry Andric     loc[-1] = 0xc0 | (modRm & 0x38) >> 3; // ModR/M byte.
8730b57cec5SDimitry Andric 
8740b57cec5SDimitry Andric     // Change opcode from TEST r/m64, r64 to TEST r/m64, imm32
8750b57cec5SDimitry Andric     // See "TEST-Logical Compare" (4-428 Vol. 2B).
8760b57cec5SDimitry Andric     loc[-2] = 0xf7;
8770b57cec5SDimitry Andric 
8780b57cec5SDimitry Andric     // Move R bit to the B bit in REX byte.
8790b57cec5SDimitry Andric     // REX byte is encoded as 0100WRXB, where
8800b57cec5SDimitry Andric     // 0100 is 4bit fixed pattern.
8810b57cec5SDimitry Andric     // REX.W When 1, a 64-bit operand size is used. Otherwise, when 0, the
8820b57cec5SDimitry Andric     //   default operand size is used (which is 32-bit for most but not all
8830b57cec5SDimitry Andric     //   instructions).
8840b57cec5SDimitry Andric     // REX.R This 1-bit value is an extension to the MODRM.reg field.
8850b57cec5SDimitry Andric     // REX.X This 1-bit value is an extension to the SIB.index field.
8860b57cec5SDimitry Andric     // REX.B This 1-bit value is an extension to the MODRM.rm field or the
8870b57cec5SDimitry Andric     // SIB.base field.
8880b57cec5SDimitry Andric     // See "2.2.1.2 More on REX Prefix Fields " (2-8 Vol. 2A).
8890b57cec5SDimitry Andric     loc[-3] = (rex & ~0x4) | (rex & 0x4) >> 2;
8900b57cec5SDimitry Andric     write32le(loc, val);
8910b57cec5SDimitry Andric     return;
8920b57cec5SDimitry Andric   }
8930b57cec5SDimitry Andric 
8940b57cec5SDimitry Andric   // If we are here then we need to relax the adc, add, and, cmp, or, sbb, sub
8950b57cec5SDimitry Andric   // or xor operations.
8960b57cec5SDimitry Andric 
8970b57cec5SDimitry Andric   // Convert "binop foo@GOTPCREL(%rip), %reg" to "binop $foo, %reg".
8980b57cec5SDimitry Andric   // Logic is close to one for test instruction above, but we also
8990b57cec5SDimitry Andric   // write opcode extension here, see below for details.
9000b57cec5SDimitry Andric   loc[-1] = 0xc0 | (modRm & 0x38) >> 3 | (op & 0x3c); // ModR/M byte.
9010b57cec5SDimitry Andric 
9020b57cec5SDimitry Andric   // Primary opcode is 0x81, opcode extension is one of:
9030b57cec5SDimitry Andric   // 000b = ADD, 001b is OR, 010b is ADC, 011b is SBB,
9040b57cec5SDimitry Andric   // 100b is AND, 101b is SUB, 110b is XOR, 111b is CMP.
9050b57cec5SDimitry Andric   // This value was wrote to MODRM.reg in a line above.
9060b57cec5SDimitry Andric   // See "3.2 INSTRUCTIONS (A-M)" (Vol. 2A 3-15),
9070b57cec5SDimitry Andric   // "INSTRUCTION SET REFERENCE, N-Z" (Vol. 2B 4-1) for
9080b57cec5SDimitry Andric   // descriptions about each operation.
9090b57cec5SDimitry Andric   loc[-2] = 0x81;
9100b57cec5SDimitry Andric   loc[-3] = (rex & ~0x4) | (rex & 0x4) >> 2;
9110b57cec5SDimitry Andric   write32le(loc, val);
9120b57cec5SDimitry Andric }
9130b57cec5SDimitry Andric 
914*bdd1243dSDimitry Andric static void relaxGot(uint8_t *loc, const Relocation &rel, uint64_t val) {
915e8d8bef9SDimitry Andric   checkInt(loc, val, 32, rel);
9160b57cec5SDimitry Andric   const uint8_t op = loc[-2];
9170b57cec5SDimitry Andric   const uint8_t modRm = loc[-1];
9180b57cec5SDimitry Andric 
9190b57cec5SDimitry Andric   // Convert "mov foo@GOTPCREL(%rip),%reg" to "lea foo(%rip),%reg".
9200b57cec5SDimitry Andric   if (op == 0x8b) {
9210b57cec5SDimitry Andric     loc[-2] = 0x8d;
9220b57cec5SDimitry Andric     write32le(loc, val);
9230b57cec5SDimitry Andric     return;
9240b57cec5SDimitry Andric   }
9250b57cec5SDimitry Andric 
9260b57cec5SDimitry Andric   if (op != 0xff) {
9270b57cec5SDimitry Andric     // We are relaxing a rip relative to an absolute, so compensate
9280b57cec5SDimitry Andric     // for the old -4 addend.
9290b57cec5SDimitry Andric     assert(!config->isPic);
9300b57cec5SDimitry Andric     relaxGotNoPic(loc, val + 4, op, modRm);
9310b57cec5SDimitry Andric     return;
9320b57cec5SDimitry Andric   }
9330b57cec5SDimitry Andric 
9340b57cec5SDimitry Andric   // Convert call/jmp instructions.
9350b57cec5SDimitry Andric   if (modRm == 0x15) {
9360b57cec5SDimitry Andric     // ABI says we can convert "call *foo@GOTPCREL(%rip)" to "nop; call foo".
9370b57cec5SDimitry Andric     // Instead we convert to "addr32 call foo" where addr32 is an instruction
9380b57cec5SDimitry Andric     // prefix. That makes result expression to be a single instruction.
9390b57cec5SDimitry Andric     loc[-2] = 0x67; // addr32 prefix
9400b57cec5SDimitry Andric     loc[-1] = 0xe8; // call
9410b57cec5SDimitry Andric     write32le(loc, val);
9420b57cec5SDimitry Andric     return;
9430b57cec5SDimitry Andric   }
9440b57cec5SDimitry Andric 
9450b57cec5SDimitry Andric   // Convert "jmp *foo@GOTPCREL(%rip)" to "jmp foo; nop".
9460b57cec5SDimitry Andric   // jmp doesn't return, so it is fine to use nop here, it is just a stub.
9470b57cec5SDimitry Andric   assert(modRm == 0x25);
9480b57cec5SDimitry Andric   loc[-2] = 0xe9; // jmp
9490b57cec5SDimitry Andric   loc[3] = 0x90;  // nop
9500b57cec5SDimitry Andric   write32le(loc - 1, val + 1);
9510b57cec5SDimitry Andric }
9520b57cec5SDimitry Andric 
9530b57cec5SDimitry Andric // A split-stack prologue starts by checking the amount of stack remaining
9540b57cec5SDimitry Andric // in one of two ways:
9550b57cec5SDimitry Andric // A) Comparing of the stack pointer to a field in the tcb.
9560b57cec5SDimitry Andric // B) Or a load of a stack pointer offset with an lea to r10 or r11.
9570b57cec5SDimitry Andric bool X86_64::adjustPrologueForCrossSplitStack(uint8_t *loc, uint8_t *end,
9580b57cec5SDimitry Andric                                               uint8_t stOther) const {
9590b57cec5SDimitry Andric   if (!config->is64) {
96004eeddc0SDimitry Andric     error("target doesn't support split stacks");
9610b57cec5SDimitry Andric     return false;
9620b57cec5SDimitry Andric   }
9630b57cec5SDimitry Andric 
9640b57cec5SDimitry Andric   if (loc + 8 >= end)
9650b57cec5SDimitry Andric     return false;
9660b57cec5SDimitry Andric 
9670b57cec5SDimitry Andric   // Replace "cmp %fs:0x70,%rsp" and subsequent branch
9680b57cec5SDimitry Andric   // with "stc, nopl 0x0(%rax,%rax,1)"
9690b57cec5SDimitry Andric   if (memcmp(loc, "\x64\x48\x3b\x24\x25", 5) == 0) {
9700b57cec5SDimitry Andric     memcpy(loc, "\xf9\x0f\x1f\x84\x00\x00\x00\x00", 8);
9710b57cec5SDimitry Andric     return true;
9720b57cec5SDimitry Andric   }
9730b57cec5SDimitry Andric 
9740b57cec5SDimitry Andric   // Adjust "lea X(%rsp),%rYY" to lea "(X - 0x4000)(%rsp),%rYY" where rYY could
9750b57cec5SDimitry Andric   // be r10 or r11. The lea instruction feeds a subsequent compare which checks
9760b57cec5SDimitry Andric   // if there is X available stack space. Making X larger effectively reserves
9770b57cec5SDimitry Andric   // that much additional space. The stack grows downward so subtract the value.
9780b57cec5SDimitry Andric   if (memcmp(loc, "\x4c\x8d\x94\x24", 4) == 0 ||
9790b57cec5SDimitry Andric       memcmp(loc, "\x4c\x8d\x9c\x24", 4) == 0) {
9800b57cec5SDimitry Andric     // The offset bytes are encoded four bytes after the start of the
9810b57cec5SDimitry Andric     // instruction.
9820b57cec5SDimitry Andric     write32le(loc + 4, read32le(loc + 4) - 0x4000);
9830b57cec5SDimitry Andric     return true;
9840b57cec5SDimitry Andric   }
9850b57cec5SDimitry Andric   return false;
9860b57cec5SDimitry Andric }
9870b57cec5SDimitry Andric 
988*bdd1243dSDimitry Andric void X86_64::relocateAlloc(InputSectionBase &sec, uint8_t *buf) const {
989*bdd1243dSDimitry Andric   uint64_t secAddr = sec.getOutputSection()->addr;
990*bdd1243dSDimitry Andric   if (auto *s = dyn_cast<InputSection>(&sec))
991*bdd1243dSDimitry Andric     secAddr += s->outSecOff;
992*bdd1243dSDimitry Andric   for (const Relocation &rel : sec.relocs()) {
993*bdd1243dSDimitry Andric     if (rel.expr == R_NONE) // See deleteFallThruJmpInsn
994*bdd1243dSDimitry Andric       continue;
995*bdd1243dSDimitry Andric     uint8_t *loc = buf + rel.offset;
996*bdd1243dSDimitry Andric     const uint64_t val =
997*bdd1243dSDimitry Andric         sec.getRelocTargetVA(sec.file, rel.type, rel.addend,
998*bdd1243dSDimitry Andric                              secAddr + rel.offset, *rel.sym, rel.expr);
999*bdd1243dSDimitry Andric     relocate(loc, rel, val);
1000*bdd1243dSDimitry Andric   }
1001*bdd1243dSDimitry Andric   if (sec.jumpInstrMod) {
1002*bdd1243dSDimitry Andric     applyJumpInstrMod(buf + sec.jumpInstrMod->offset,
1003*bdd1243dSDimitry Andric                       sec.jumpInstrMod->original, sec.jumpInstrMod->size);
1004*bdd1243dSDimitry Andric   }
1005*bdd1243dSDimitry Andric }
1006*bdd1243dSDimitry Andric 
1007480093f4SDimitry Andric // If Intel Indirect Branch Tracking is enabled, we have to emit special PLT
1008480093f4SDimitry Andric // entries containing endbr64 instructions. A PLT entry will be split into two
1009480093f4SDimitry Andric // parts, one in .plt.sec (writePlt), and the other in .plt (writeIBTPlt).
1010480093f4SDimitry Andric namespace {
1011480093f4SDimitry Andric class IntelIBT : public X86_64 {
1012480093f4SDimitry Andric public:
1013480093f4SDimitry Andric   IntelIBT();
1014480093f4SDimitry Andric   void writeGotPlt(uint8_t *buf, const Symbol &s) const override;
1015480093f4SDimitry Andric   void writePlt(uint8_t *buf, const Symbol &sym,
1016480093f4SDimitry Andric                 uint64_t pltEntryAddr) const override;
1017480093f4SDimitry Andric   void writeIBTPlt(uint8_t *buf, size_t numEntries) const override;
1018480093f4SDimitry Andric 
1019480093f4SDimitry Andric   static const unsigned IBTPltHeaderSize = 16;
1020480093f4SDimitry Andric };
1021480093f4SDimitry Andric } // namespace
1022480093f4SDimitry Andric 
1023480093f4SDimitry Andric IntelIBT::IntelIBT() { pltHeaderSize = 0; }
1024480093f4SDimitry Andric 
1025480093f4SDimitry Andric void IntelIBT::writeGotPlt(uint8_t *buf, const Symbol &s) const {
1026480093f4SDimitry Andric   uint64_t va =
102704eeddc0SDimitry Andric       in.ibtPlt->getVA() + IBTPltHeaderSize + s.getPltIdx() * pltEntrySize;
1028480093f4SDimitry Andric   write64le(buf, va);
1029480093f4SDimitry Andric }
1030480093f4SDimitry Andric 
1031480093f4SDimitry Andric void IntelIBT::writePlt(uint8_t *buf, const Symbol &sym,
1032480093f4SDimitry Andric                         uint64_t pltEntryAddr) const {
1033480093f4SDimitry Andric   const uint8_t Inst[] = {
1034480093f4SDimitry Andric       0xf3, 0x0f, 0x1e, 0xfa,       // endbr64
1035480093f4SDimitry Andric       0xff, 0x25, 0,    0,    0, 0, // jmpq *got(%rip)
1036480093f4SDimitry Andric       0x66, 0x0f, 0x1f, 0x44, 0, 0, // nop
1037480093f4SDimitry Andric   };
1038480093f4SDimitry Andric   memcpy(buf, Inst, sizeof(Inst));
1039480093f4SDimitry Andric   write32le(buf + 6, sym.getGotPltVA() - pltEntryAddr - 10);
1040480093f4SDimitry Andric }
1041480093f4SDimitry Andric 
1042480093f4SDimitry Andric void IntelIBT::writeIBTPlt(uint8_t *buf, size_t numEntries) const {
1043480093f4SDimitry Andric   writePltHeader(buf);
1044480093f4SDimitry Andric   buf += IBTPltHeaderSize;
1045480093f4SDimitry Andric 
1046480093f4SDimitry Andric   const uint8_t inst[] = {
1047480093f4SDimitry Andric       0xf3, 0x0f, 0x1e, 0xfa,    // endbr64
1048480093f4SDimitry Andric       0x68, 0,    0,    0,    0, // pushq <relocation index>
1049480093f4SDimitry Andric       0xe9, 0,    0,    0,    0, // jmpq plt[0]
1050480093f4SDimitry Andric       0x66, 0x90,                // nop
1051480093f4SDimitry Andric   };
1052480093f4SDimitry Andric 
1053480093f4SDimitry Andric   for (size_t i = 0; i < numEntries; ++i) {
1054480093f4SDimitry Andric     memcpy(buf, inst, sizeof(inst));
1055480093f4SDimitry Andric     write32le(buf + 5, i);
1056480093f4SDimitry Andric     write32le(buf + 10, -pltHeaderSize - sizeof(inst) * i - 30);
1057480093f4SDimitry Andric     buf += sizeof(inst);
1058480093f4SDimitry Andric   }
1059480093f4SDimitry Andric }
1060480093f4SDimitry Andric 
10610b57cec5SDimitry Andric // These nonstandard PLT entries are to migtigate Spectre v2 security
10620b57cec5SDimitry Andric // vulnerability. In order to mitigate Spectre v2, we want to avoid indirect
10630b57cec5SDimitry Andric // branch instructions such as `jmp *GOTPLT(%rip)`. So, in the following PLT
10640b57cec5SDimitry Andric // entries, we use a CALL followed by MOV and RET to do the same thing as an
10650b57cec5SDimitry Andric // indirect jump. That instruction sequence is so-called "retpoline".
10660b57cec5SDimitry Andric //
10670b57cec5SDimitry Andric // We have two types of retpoline PLTs as a size optimization. If `-z now`
10680b57cec5SDimitry Andric // is specified, all dynamic symbols are resolved at load-time. Thus, when
10690b57cec5SDimitry Andric // that option is given, we can omit code for symbol lazy resolution.
10700b57cec5SDimitry Andric namespace {
10710b57cec5SDimitry Andric class Retpoline : public X86_64 {
10720b57cec5SDimitry Andric public:
10730b57cec5SDimitry Andric   Retpoline();
10740b57cec5SDimitry Andric   void writeGotPlt(uint8_t *buf, const Symbol &s) const override;
10750b57cec5SDimitry Andric   void writePltHeader(uint8_t *buf) const override;
1076480093f4SDimitry Andric   void writePlt(uint8_t *buf, const Symbol &sym,
1077480093f4SDimitry Andric                 uint64_t pltEntryAddr) const override;
10780b57cec5SDimitry Andric };
10790b57cec5SDimitry Andric 
10800b57cec5SDimitry Andric class RetpolineZNow : public X86_64 {
10810b57cec5SDimitry Andric public:
10820b57cec5SDimitry Andric   RetpolineZNow();
10830b57cec5SDimitry Andric   void writeGotPlt(uint8_t *buf, const Symbol &s) const override {}
10840b57cec5SDimitry Andric   void writePltHeader(uint8_t *buf) const override;
1085480093f4SDimitry Andric   void writePlt(uint8_t *buf, const Symbol &sym,
1086480093f4SDimitry Andric                 uint64_t pltEntryAddr) const override;
10870b57cec5SDimitry Andric };
10880b57cec5SDimitry Andric } // namespace
10890b57cec5SDimitry Andric 
10900b57cec5SDimitry Andric Retpoline::Retpoline() {
10910b57cec5SDimitry Andric   pltHeaderSize = 48;
10920b57cec5SDimitry Andric   pltEntrySize = 32;
1093480093f4SDimitry Andric   ipltEntrySize = 32;
10940b57cec5SDimitry Andric }
10950b57cec5SDimitry Andric 
10960b57cec5SDimitry Andric void Retpoline::writeGotPlt(uint8_t *buf, const Symbol &s) const {
10970b57cec5SDimitry Andric   write64le(buf, s.getPltVA() + 17);
10980b57cec5SDimitry Andric }
10990b57cec5SDimitry Andric 
11000b57cec5SDimitry Andric void Retpoline::writePltHeader(uint8_t *buf) const {
11010b57cec5SDimitry Andric   const uint8_t insn[] = {
11020b57cec5SDimitry Andric       0xff, 0x35, 0,    0,    0,    0,          // 0:    pushq GOTPLT+8(%rip)
11030b57cec5SDimitry Andric       0x4c, 0x8b, 0x1d, 0,    0,    0,    0,    // 6:    mov GOTPLT+16(%rip), %r11
11040b57cec5SDimitry Andric       0xe8, 0x0e, 0x00, 0x00, 0x00,             // d:    callq next
11050b57cec5SDimitry Andric       0xf3, 0x90,                               // 12: loop: pause
11060b57cec5SDimitry Andric       0x0f, 0xae, 0xe8,                         // 14:   lfence
11070b57cec5SDimitry Andric       0xeb, 0xf9,                               // 17:   jmp loop
11080b57cec5SDimitry Andric       0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, // 19:   int3; .align 16
11090b57cec5SDimitry Andric       0x4c, 0x89, 0x1c, 0x24,                   // 20: next: mov %r11, (%rsp)
11100b57cec5SDimitry Andric       0xc3,                                     // 24:   ret
11110b57cec5SDimitry Andric       0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, // 25:   int3; padding
11120b57cec5SDimitry Andric       0xcc, 0xcc, 0xcc, 0xcc,                   // 2c:   int3; padding
11130b57cec5SDimitry Andric   };
11140b57cec5SDimitry Andric   memcpy(buf, insn, sizeof(insn));
11150b57cec5SDimitry Andric 
11160b57cec5SDimitry Andric   uint64_t gotPlt = in.gotPlt->getVA();
11170b57cec5SDimitry Andric   uint64_t plt = in.plt->getVA();
11180b57cec5SDimitry Andric   write32le(buf + 2, gotPlt - plt - 6 + 8);
11190b57cec5SDimitry Andric   write32le(buf + 9, gotPlt - plt - 13 + 16);
11200b57cec5SDimitry Andric }
11210b57cec5SDimitry Andric 
1122480093f4SDimitry Andric void Retpoline::writePlt(uint8_t *buf, const Symbol &sym,
1123480093f4SDimitry Andric                          uint64_t pltEntryAddr) const {
11240b57cec5SDimitry Andric   const uint8_t insn[] = {
11250b57cec5SDimitry Andric       0x4c, 0x8b, 0x1d, 0, 0, 0, 0, // 0:  mov foo@GOTPLT(%rip), %r11
11260b57cec5SDimitry Andric       0xe8, 0,    0,    0,    0,    // 7:  callq plt+0x20
11270b57cec5SDimitry Andric       0xe9, 0,    0,    0,    0,    // c:  jmp plt+0x12
11280b57cec5SDimitry Andric       0x68, 0,    0,    0,    0,    // 11: pushq <relocation index>
11290b57cec5SDimitry Andric       0xe9, 0,    0,    0,    0,    // 16: jmp plt+0
11300b57cec5SDimitry Andric       0xcc, 0xcc, 0xcc, 0xcc, 0xcc, // 1b: int3; padding
11310b57cec5SDimitry Andric   };
11320b57cec5SDimitry Andric   memcpy(buf, insn, sizeof(insn));
11330b57cec5SDimitry Andric 
1134480093f4SDimitry Andric   uint64_t off = pltEntryAddr - in.plt->getVA();
11350b57cec5SDimitry Andric 
1136480093f4SDimitry Andric   write32le(buf + 3, sym.getGotPltVA() - pltEntryAddr - 7);
11370b57cec5SDimitry Andric   write32le(buf + 8, -off - 12 + 32);
11380b57cec5SDimitry Andric   write32le(buf + 13, -off - 17 + 18);
113904eeddc0SDimitry Andric   write32le(buf + 18, sym.getPltIdx());
11400b57cec5SDimitry Andric   write32le(buf + 23, -off - 27);
11410b57cec5SDimitry Andric }
11420b57cec5SDimitry Andric 
11430b57cec5SDimitry Andric RetpolineZNow::RetpolineZNow() {
11440b57cec5SDimitry Andric   pltHeaderSize = 32;
11450b57cec5SDimitry Andric   pltEntrySize = 16;
1146480093f4SDimitry Andric   ipltEntrySize = 16;
11470b57cec5SDimitry Andric }
11480b57cec5SDimitry Andric 
11490b57cec5SDimitry Andric void RetpolineZNow::writePltHeader(uint8_t *buf) const {
11500b57cec5SDimitry Andric   const uint8_t insn[] = {
11510b57cec5SDimitry Andric       0xe8, 0x0b, 0x00, 0x00, 0x00, // 0:    call next
11520b57cec5SDimitry Andric       0xf3, 0x90,                   // 5:  loop: pause
11530b57cec5SDimitry Andric       0x0f, 0xae, 0xe8,             // 7:    lfence
11540b57cec5SDimitry Andric       0xeb, 0xf9,                   // a:    jmp loop
11550b57cec5SDimitry Andric       0xcc, 0xcc, 0xcc, 0xcc,       // c:    int3; .align 16
11560b57cec5SDimitry Andric       0x4c, 0x89, 0x1c, 0x24,       // 10: next: mov %r11, (%rsp)
11570b57cec5SDimitry Andric       0xc3,                         // 14:   ret
11580b57cec5SDimitry Andric       0xcc, 0xcc, 0xcc, 0xcc, 0xcc, // 15:   int3; padding
11590b57cec5SDimitry Andric       0xcc, 0xcc, 0xcc, 0xcc, 0xcc, // 1a:   int3; padding
11600b57cec5SDimitry Andric       0xcc,                         // 1f:   int3; padding
11610b57cec5SDimitry Andric   };
11620b57cec5SDimitry Andric   memcpy(buf, insn, sizeof(insn));
11630b57cec5SDimitry Andric }
11640b57cec5SDimitry Andric 
1165480093f4SDimitry Andric void RetpolineZNow::writePlt(uint8_t *buf, const Symbol &sym,
1166480093f4SDimitry Andric                              uint64_t pltEntryAddr) const {
11670b57cec5SDimitry Andric   const uint8_t insn[] = {
11680b57cec5SDimitry Andric       0x4c, 0x8b, 0x1d, 0,    0, 0, 0, // mov foo@GOTPLT(%rip), %r11
11690b57cec5SDimitry Andric       0xe9, 0,    0,    0,    0,       // jmp plt+0
11700b57cec5SDimitry Andric       0xcc, 0xcc, 0xcc, 0xcc,          // int3; padding
11710b57cec5SDimitry Andric   };
11720b57cec5SDimitry Andric   memcpy(buf, insn, sizeof(insn));
11730b57cec5SDimitry Andric 
1174480093f4SDimitry Andric   write32le(buf + 3, sym.getGotPltVA() - pltEntryAddr - 7);
1175480093f4SDimitry Andric   write32le(buf + 8, in.plt->getVA() - pltEntryAddr - 12);
11760b57cec5SDimitry Andric }
11770b57cec5SDimitry Andric 
11780b57cec5SDimitry Andric static TargetInfo *getTargetInfo() {
11790b57cec5SDimitry Andric   if (config->zRetpolineplt) {
11800b57cec5SDimitry Andric     if (config->zNow) {
11810b57cec5SDimitry Andric       static RetpolineZNow t;
11820b57cec5SDimitry Andric       return &t;
11830b57cec5SDimitry Andric     }
11840b57cec5SDimitry Andric     static Retpoline t;
11850b57cec5SDimitry Andric     return &t;
11860b57cec5SDimitry Andric   }
11870b57cec5SDimitry Andric 
1188480093f4SDimitry Andric   if (config->andFeatures & GNU_PROPERTY_X86_FEATURE_1_IBT) {
1189480093f4SDimitry Andric     static IntelIBT t;
1190480093f4SDimitry Andric     return &t;
1191480093f4SDimitry Andric   }
1192480093f4SDimitry Andric 
11930b57cec5SDimitry Andric   static X86_64 t;
11940b57cec5SDimitry Andric   return &t;
11950b57cec5SDimitry Andric }
11960b57cec5SDimitry Andric 
11975ffd83dbSDimitry Andric TargetInfo *elf::getX86_64TargetInfo() { return getTargetInfo(); }
1198