xref: /freebsd/contrib/llvm-project/llvm/lib/MC/MCObjectWriter.cpp (revision 9f44a47fd07924afc035991af15d84e6585dea4f)
1 //===- lib/MC/MCObjectWriter.cpp - MCObjectWriter implementation ----------===//
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 "llvm/MC/MCObjectWriter.h"
10 #include "llvm/MC/MCExpr.h"
11 #include "llvm/MC/MCFragment.h"
12 #include "llvm/MC/MCSymbol.h"
13 namespace llvm {
14 class MCSection;
15 }
16 
17 using namespace llvm;
18 
19 MCObjectWriter::~MCObjectWriter() = default;
20 
21 bool MCObjectWriter::isSymbolRefDifferenceFullyResolved(
22     const MCAssembler &Asm, const MCSymbolRefExpr *A, const MCSymbolRefExpr *B,
23     bool InSet) const {
24   // Modified symbol references cannot be resolved.
25   if (A->getKind() != MCSymbolRefExpr::VK_None ||
26       B->getKind() != MCSymbolRefExpr::VK_None)
27     return false;
28 
29   const MCSymbol &SA = A->getSymbol();
30   const MCSymbol &SB = B->getSymbol();
31   if (SA.isUndefined() || SB.isUndefined())
32     return false;
33 
34   if (!SA.getFragment() || !SB.getFragment())
35     return false;
36 
37   return isSymbolRefDifferenceFullyResolvedImpl(Asm, SA, SB, InSet);
38 }
39 
40 bool MCObjectWriter::isSymbolRefDifferenceFullyResolvedImpl(
41     const MCAssembler &Asm, const MCSymbol &A, const MCSymbol &B,
42     bool InSet) const {
43   return isSymbolRefDifferenceFullyResolvedImpl(Asm, A, *B.getFragment(), InSet,
44                                                 false);
45 }
46 
47 bool MCObjectWriter::isSymbolRefDifferenceFullyResolvedImpl(
48     const MCAssembler &Asm, const MCSymbol &SymA, const MCFragment &FB,
49     bool InSet, bool IsPCRel) const {
50   const MCSection &SecA = SymA.getSection();
51   const MCSection &SecB = *FB.getParent();
52   // On ELF and COFF  A - B is absolute if A and B are in the same section.
53   return &SecA == &SecB;
54 }
55