xref: /freebsd-src/contrib/llvm-project/llvm/lib/Target/X86/MCTargetDesc/X86WinCOFFObjectWriter.cpp (revision 349cc55c9796c4596a5b9904cd3281af295f878f)
10b57cec5SDimitry Andric //===-- X86WinCOFFObjectWriter.cpp - X86 Win COFF Writer ------------------===//
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 
90b57cec5SDimitry Andric #include "MCTargetDesc/X86FixupKinds.h"
100b57cec5SDimitry Andric #include "MCTargetDesc/X86MCTargetDesc.h"
110b57cec5SDimitry Andric #include "llvm/BinaryFormat/COFF.h"
120b57cec5SDimitry Andric #include "llvm/MC/MCContext.h"
130b57cec5SDimitry Andric #include "llvm/MC/MCExpr.h"
140b57cec5SDimitry Andric #include "llvm/MC/MCFixup.h"
150b57cec5SDimitry Andric #include "llvm/MC/MCObjectWriter.h"
160b57cec5SDimitry Andric #include "llvm/MC/MCValue.h"
170b57cec5SDimitry Andric #include "llvm/MC/MCWinCOFFObjectWriter.h"
180b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h"
190b57cec5SDimitry Andric 
200b57cec5SDimitry Andric using namespace llvm;
210b57cec5SDimitry Andric 
220b57cec5SDimitry Andric namespace {
230b57cec5SDimitry Andric 
240b57cec5SDimitry Andric class X86WinCOFFObjectWriter : public MCWinCOFFObjectTargetWriter {
250b57cec5SDimitry Andric public:
260b57cec5SDimitry Andric   X86WinCOFFObjectWriter(bool Is64Bit);
270b57cec5SDimitry Andric   ~X86WinCOFFObjectWriter() override = default;
280b57cec5SDimitry Andric 
290b57cec5SDimitry Andric   unsigned getRelocType(MCContext &Ctx, const MCValue &Target,
300b57cec5SDimitry Andric                         const MCFixup &Fixup, bool IsCrossSection,
310b57cec5SDimitry Andric                         const MCAsmBackend &MAB) const override;
320b57cec5SDimitry Andric };
330b57cec5SDimitry Andric 
340b57cec5SDimitry Andric } // end anonymous namespace
350b57cec5SDimitry Andric 
X86WinCOFFObjectWriter(bool Is64Bit)360b57cec5SDimitry Andric X86WinCOFFObjectWriter::X86WinCOFFObjectWriter(bool Is64Bit)
370b57cec5SDimitry Andric     : MCWinCOFFObjectTargetWriter(Is64Bit ? COFF::IMAGE_FILE_MACHINE_AMD64
380b57cec5SDimitry Andric                                           : COFF::IMAGE_FILE_MACHINE_I386) {}
390b57cec5SDimitry Andric 
getRelocType(MCContext & Ctx,const MCValue & Target,const MCFixup & Fixup,bool IsCrossSection,const MCAsmBackend & MAB) const400b57cec5SDimitry Andric unsigned X86WinCOFFObjectWriter::getRelocType(MCContext &Ctx,
410b57cec5SDimitry Andric                                               const MCValue &Target,
420b57cec5SDimitry Andric                                               const MCFixup &Fixup,
430b57cec5SDimitry Andric                                               bool IsCrossSection,
440b57cec5SDimitry Andric                                               const MCAsmBackend &MAB) const {
45fe6060f1SDimitry Andric   const bool Is64Bit = getMachine() == COFF::IMAGE_FILE_MACHINE_AMD64;
460b57cec5SDimitry Andric   unsigned FixupKind = Fixup.getKind();
470b57cec5SDimitry Andric   if (IsCrossSection) {
48fe6060f1SDimitry Andric     // IMAGE_REL_AMD64_REL64 does not exist. We treat FK_Data_8 as FK_PCRel_4 so
49fe6060f1SDimitry Andric     // that .quad a-b can lower to IMAGE_REL_AMD64_REL32. This allows generic
50fe6060f1SDimitry Andric     // instrumentation to not bother with the COFF limitation. A negative value
51fe6060f1SDimitry Andric     // needs attention.
52fe6060f1SDimitry Andric     if (FixupKind == FK_Data_4 || FixupKind == llvm::X86::reloc_signed_4byte ||
53fe6060f1SDimitry Andric         (FixupKind == FK_Data_8 && Is64Bit)) {
54fe6060f1SDimitry Andric       FixupKind = FK_PCRel_4;
55fe6060f1SDimitry Andric     } else {
560b57cec5SDimitry Andric       Ctx.reportError(Fixup.getLoc(), "Cannot represent this expression");
570b57cec5SDimitry Andric       return COFF::IMAGE_REL_AMD64_ADDR32;
580b57cec5SDimitry Andric     }
590b57cec5SDimitry Andric   }
600b57cec5SDimitry Andric 
610b57cec5SDimitry Andric   MCSymbolRefExpr::VariantKind Modifier = Target.isAbsolute() ?
620b57cec5SDimitry Andric     MCSymbolRefExpr::VK_None : Target.getSymA()->getKind();
630b57cec5SDimitry Andric 
64fe6060f1SDimitry Andric   if (Is64Bit) {
650b57cec5SDimitry Andric     switch (FixupKind) {
660b57cec5SDimitry Andric     case FK_PCRel_4:
670b57cec5SDimitry Andric     case X86::reloc_riprel_4byte:
680b57cec5SDimitry Andric     case X86::reloc_riprel_4byte_movq_load:
690b57cec5SDimitry Andric     case X86::reloc_riprel_4byte_relax:
700b57cec5SDimitry Andric     case X86::reloc_riprel_4byte_relax_rex:
710b57cec5SDimitry Andric     case X86::reloc_branch_4byte_pcrel:
720b57cec5SDimitry Andric       return COFF::IMAGE_REL_AMD64_REL32;
730b57cec5SDimitry Andric     case FK_Data_4:
740b57cec5SDimitry Andric     case X86::reloc_signed_4byte:
750b57cec5SDimitry Andric     case X86::reloc_signed_4byte_relax:
760b57cec5SDimitry Andric       if (Modifier == MCSymbolRefExpr::VK_COFF_IMGREL32)
770b57cec5SDimitry Andric         return COFF::IMAGE_REL_AMD64_ADDR32NB;
780b57cec5SDimitry Andric       if (Modifier == MCSymbolRefExpr::VK_SECREL)
790b57cec5SDimitry Andric         return COFF::IMAGE_REL_AMD64_SECREL;
800b57cec5SDimitry Andric       return COFF::IMAGE_REL_AMD64_ADDR32;
810b57cec5SDimitry Andric     case FK_Data_8:
820b57cec5SDimitry Andric       return COFF::IMAGE_REL_AMD64_ADDR64;
830b57cec5SDimitry Andric     case FK_SecRel_2:
840b57cec5SDimitry Andric       return COFF::IMAGE_REL_AMD64_SECTION;
850b57cec5SDimitry Andric     case FK_SecRel_4:
860b57cec5SDimitry Andric       return COFF::IMAGE_REL_AMD64_SECREL;
870b57cec5SDimitry Andric     default:
880b57cec5SDimitry Andric       Ctx.reportError(Fixup.getLoc(), "unsupported relocation type");
890b57cec5SDimitry Andric       return COFF::IMAGE_REL_AMD64_ADDR32;
900b57cec5SDimitry Andric     }
910b57cec5SDimitry Andric   } else if (getMachine() == COFF::IMAGE_FILE_MACHINE_I386) {
920b57cec5SDimitry Andric     switch (FixupKind) {
930b57cec5SDimitry Andric     case FK_PCRel_4:
940b57cec5SDimitry Andric     case X86::reloc_riprel_4byte:
950b57cec5SDimitry Andric     case X86::reloc_riprel_4byte_movq_load:
960b57cec5SDimitry Andric       return COFF::IMAGE_REL_I386_REL32;
970b57cec5SDimitry Andric     case FK_Data_4:
980b57cec5SDimitry Andric     case X86::reloc_signed_4byte:
990b57cec5SDimitry Andric     case X86::reloc_signed_4byte_relax:
1000b57cec5SDimitry Andric       if (Modifier == MCSymbolRefExpr::VK_COFF_IMGREL32)
1010b57cec5SDimitry Andric         return COFF::IMAGE_REL_I386_DIR32NB;
1020b57cec5SDimitry Andric       if (Modifier == MCSymbolRefExpr::VK_SECREL)
103*349cc55cSDimitry Andric         return COFF::IMAGE_REL_I386_SECREL;
1040b57cec5SDimitry Andric       return COFF::IMAGE_REL_I386_DIR32;
1050b57cec5SDimitry Andric     case FK_SecRel_2:
1060b57cec5SDimitry Andric       return COFF::IMAGE_REL_I386_SECTION;
1070b57cec5SDimitry Andric     case FK_SecRel_4:
1080b57cec5SDimitry Andric       return COFF::IMAGE_REL_I386_SECREL;
1090b57cec5SDimitry Andric     default:
1100b57cec5SDimitry Andric       Ctx.reportError(Fixup.getLoc(), "unsupported relocation type");
1110b57cec5SDimitry Andric       return COFF::IMAGE_REL_I386_DIR32;
1120b57cec5SDimitry Andric     }
1130b57cec5SDimitry Andric   } else
1140b57cec5SDimitry Andric     llvm_unreachable("Unsupported COFF machine type.");
1150b57cec5SDimitry Andric }
1160b57cec5SDimitry Andric 
1170b57cec5SDimitry Andric std::unique_ptr<MCObjectTargetWriter>
createX86WinCOFFObjectWriter(bool Is64Bit)1180b57cec5SDimitry Andric llvm::createX86WinCOFFObjectWriter(bool Is64Bit) {
1198bcb0991SDimitry Andric   return std::make_unique<X86WinCOFFObjectWriter>(Is64Bit);
1200b57cec5SDimitry Andric }
121