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