contrib/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/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 }