1*0b57cec5SDimitry Andric //===- lib/MC/MCObjectWriter.cpp - MCObjectWriter implementation ----------===// 2*0b57cec5SDimitry Andric // 3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6*0b57cec5SDimitry Andric // 7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 8*0b57cec5SDimitry Andric 9*0b57cec5SDimitry Andric #include "llvm/MC/MCObjectWriter.h" 10*0b57cec5SDimitry Andric #include "llvm/MC/MCAssembler.h" 11*0b57cec5SDimitry Andric #include "llvm/MC/MCExpr.h" 12*0b57cec5SDimitry Andric #include "llvm/MC/MCFragment.h" 13*0b57cec5SDimitry Andric #include "llvm/MC/MCSymbol.h" 14*0b57cec5SDimitry Andric 15*0b57cec5SDimitry Andric using namespace llvm; 16*0b57cec5SDimitry Andric 17*0b57cec5SDimitry Andric MCObjectWriter::~MCObjectWriter() = default; 18*0b57cec5SDimitry Andric 19*0b57cec5SDimitry Andric bool MCObjectWriter::isSymbolRefDifferenceFullyResolved( 20*0b57cec5SDimitry Andric const MCAssembler &Asm, const MCSymbolRefExpr *A, const MCSymbolRefExpr *B, 21*0b57cec5SDimitry Andric bool InSet) const { 22*0b57cec5SDimitry Andric // Modified symbol references cannot be resolved. 23*0b57cec5SDimitry Andric if (A->getKind() != MCSymbolRefExpr::VK_None || 24*0b57cec5SDimitry Andric B->getKind() != MCSymbolRefExpr::VK_None) 25*0b57cec5SDimitry Andric return false; 26*0b57cec5SDimitry Andric 27*0b57cec5SDimitry Andric const MCSymbol &SA = A->getSymbol(); 28*0b57cec5SDimitry Andric const MCSymbol &SB = B->getSymbol(); 29*0b57cec5SDimitry Andric if (SA.isUndefined() || SB.isUndefined()) 30*0b57cec5SDimitry Andric return false; 31*0b57cec5SDimitry Andric 32*0b57cec5SDimitry Andric if (!SA.getFragment() || !SB.getFragment()) 33*0b57cec5SDimitry Andric return false; 34*0b57cec5SDimitry Andric 35*0b57cec5SDimitry Andric return isSymbolRefDifferenceFullyResolvedImpl(Asm, SA, SB, InSet); 36*0b57cec5SDimitry Andric } 37*0b57cec5SDimitry Andric 38*0b57cec5SDimitry Andric bool MCObjectWriter::isSymbolRefDifferenceFullyResolvedImpl( 39*0b57cec5SDimitry Andric const MCAssembler &Asm, const MCSymbol &A, const MCSymbol &B, 40*0b57cec5SDimitry Andric bool InSet) const { 41*0b57cec5SDimitry Andric return isSymbolRefDifferenceFullyResolvedImpl(Asm, A, *B.getFragment(), InSet, 42*0b57cec5SDimitry Andric false); 43*0b57cec5SDimitry Andric } 44*0b57cec5SDimitry Andric 45*0b57cec5SDimitry Andric bool MCObjectWriter::isSymbolRefDifferenceFullyResolvedImpl( 46*0b57cec5SDimitry Andric const MCAssembler &Asm, const MCSymbol &SymA, const MCFragment &FB, 47*0b57cec5SDimitry Andric bool InSet, bool IsPCRel) const { 48*0b57cec5SDimitry Andric const MCSection &SecA = SymA.getSection(); 49*0b57cec5SDimitry Andric const MCSection &SecB = *FB.getParent(); 50*0b57cec5SDimitry Andric // On ELF and COFF A - B is absolute if A and B are in the same section. 51*0b57cec5SDimitry Andric return &SecA == &SecB; 52*0b57cec5SDimitry Andric } 53