diff options
author | Rafael Espindola <rafael.espindola@gmail.com> | 2010-12-18 06:27:54 +0000 |
---|---|---|
committer | Rafael Espindola <rafael.espindola@gmail.com> | 2010-12-18 06:27:54 +0000 |
commit | 3132780a2ed58945b0ec5033002be44bedb6b785 (patch) | |
tree | 8f502231ca110ff4398d04c0a39ec5b421032e9b /lib/MC | |
parent | 1ec5bd31fe491e610839ea448bd99fd171785837 (diff) | |
download | external_llvm-3132780a2ed58945b0ec5033002be44bedb6b785.zip external_llvm-3132780a2ed58945b0ec5033002be44bedb6b785.tar.gz external_llvm-3132780a2ed58945b0ec5033002be44bedb6b785.tar.bz2 |
Merge isAbsolute into IsSymbolRefDifferenceFullyResolved.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122148 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/MC')
-rw-r--r-- | lib/MC/ELFObjectWriter.cpp | 14 | ||||
-rw-r--r-- | lib/MC/MCExpr.cpp | 9 | ||||
-rw-r--r-- | lib/MC/MCObjectWriter.cpp | 21 | ||||
-rw-r--r-- | lib/MC/MachObjectWriter.cpp | 12 | ||||
-rw-r--r-- | lib/MC/WinCOFFObjectWriter.cpp | 14 |
5 files changed, 30 insertions, 40 deletions
diff --git a/lib/MC/ELFObjectWriter.cpp b/lib/MC/ELFObjectWriter.cpp index a6503b7..1bb4775 100644 --- a/lib/MC/ELFObjectWriter.cpp +++ b/lib/MC/ELFObjectWriter.cpp @@ -344,20 +344,6 @@ namespace { MCDataFragment *F, const MCSectionData *SD); - virtual bool - IsSymbolRefDifferenceFullyResolved(const MCAssembler &Asm, - const MCSymbolRefExpr *A, - const MCSymbolRefExpr *B) const { - // FIXME: Implement this! - return false; - } - - virtual bool isAbsolute(bool IsSet, const MCSymbol &A, - const MCSymbol &B) const { - // On ELF A - B is absolute if A and B are in the same section. - return &A.getSection() == &B.getSection(); - } - virtual bool IsFixupFullyResolved(const MCAssembler &Asm, const MCValue Target, bool IsPCRel, diff --git a/lib/MC/MCExpr.cpp b/lib/MC/MCExpr.cpp index 22d8740..94b9f00 100644 --- a/lib/MC/MCExpr.cpp +++ b/lib/MC/MCExpr.cpp @@ -300,7 +300,7 @@ static void AttemptToFoldSymbolOffsetDifference(const MCAsmLayout *Layout, const MCAssembler &Asm = Layout->getAssembler(); if (A && B && - Asm.getWriter().IsSymbolRefDifferenceFullyResolved(Asm, A, B)) { + Asm.getWriter().IsSymbolRefDifferenceFullyResolved(Asm, A, B, false)) { // Eagerly evaluate. Addend += (Layout->getSymbolOffset(&Asm.getSymbolData(A->getSymbol())) - Layout->getSymbolOffset(&Asm.getSymbolData(B->getSymbol()))); @@ -385,10 +385,9 @@ static bool EvaluateSymbolicAdd(const MCAssembler *Asm, "Must have an assembler object if layout is given!"); if (Asm && A && B) { - const MCSymbol &SA = A->getSymbol(); - const MCSymbol &SB = B->getSymbol(); - if (SA.isDefined() && SB.isDefined() && - Asm->getWriter().isAbsolute(InSet, SA, SB)) { + if (A->getSymbol().isDefined() && B->getSymbol().isDefined() && + Asm->getWriter().IsSymbolRefDifferenceFullyResolved(*Asm, A, B, + InSet)) { MCSymbolData &AD = Asm->getSymbolData(A->getSymbol()); MCSymbolData &BD = Asm->getSymbolData(B->getSymbol()); diff --git a/lib/MC/MCObjectWriter.cpp b/lib/MC/MCObjectWriter.cpp index 6cee76d..e5f5f70 100644 --- a/lib/MC/MCObjectWriter.cpp +++ b/lib/MC/MCObjectWriter.cpp @@ -7,7 +7,9 @@ // //===----------------------------------------------------------------------===// +#include "llvm/MC/MCExpr.h" #include "llvm/MC/MCObjectWriter.h" +#include "llvm/MC/MCSymbol.h" using namespace llvm; @@ -39,3 +41,22 @@ void MCObjectWriter::EncodeULEB128(uint64_t Value, raw_ostream &OS) { OS << char(Byte); } while (Value != 0); } + +bool +MCObjectWriter::IsSymbolRefDifferenceFullyResolved(const MCAssembler &Asm, + const MCSymbolRefExpr *A, + const MCSymbolRefExpr *B, + bool InSet) const { + // Modified symbol references cannot be resolved. + if (A->getKind() != MCSymbolRefExpr::VK_None || + B->getKind() != MCSymbolRefExpr::VK_None) + return false; + + const MCSymbol &SA = A->getSymbol(); + const MCSymbol &SB = B->getSymbol(); + if (SA.isUndefined() || SB.isUndefined()) + return false; + + // On ELF and COFF A - B is absolute if A and B are in the same section. + return &SA.getSection() == &SB.getSection(); +} diff --git a/lib/MC/MachObjectWriter.cpp b/lib/MC/MachObjectWriter.cpp index 42cf43f..11681ca 100644 --- a/lib/MC/MachObjectWriter.cpp +++ b/lib/MC/MachObjectWriter.cpp @@ -1123,15 +1123,13 @@ public: UndefinedSymbolData); } - bool isAbsolute(bool IsSet, const MCSymbol &A, - const MCSymbol &B) const { - // On MachO A - B is absolute only if in a set. - return IsSet; - } - bool IsSymbolRefDifferenceFullyResolved(const MCAssembler &Asm, const MCSymbolRefExpr *A, - const MCSymbolRefExpr *B) const { + const MCSymbolRefExpr *B, + bool InSet) const { + if (InSet) + return true; + if (!TargetObjectWriter->useAggressiveSymbolFolding()) return false; diff --git a/lib/MC/WinCOFFObjectWriter.cpp b/lib/MC/WinCOFFObjectWriter.cpp index 7f75662..3a88a03 100644 --- a/lib/MC/WinCOFFObjectWriter.cpp +++ b/lib/MC/WinCOFFObjectWriter.cpp @@ -179,20 +179,6 @@ public: MCValue Target, uint64_t &FixedValue); - virtual bool - IsSymbolRefDifferenceFullyResolved(const MCAssembler &Asm, - const MCSymbolRefExpr *A, - const MCSymbolRefExpr *B) const { - // FIXME: Implement this! - return false; - } - - virtual bool isAbsolute(bool IsSet, const MCSymbol &A, - const MCSymbol &B) const { - // On COFF A - B is absolute if A and B are in the same section. - return &A.getSection() == &B.getSection(); - } - virtual bool IsFixupFullyResolved(const MCAssembler &Asm, const MCValue Target, bool IsPCRel, |