llvm/lib/MC/MCObjectWriter.cpp

   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 }