lld/MachO/Relocations.cpp

   1 //===- Relocations.cpp ----------------------------------------------------===//
   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 "Relocations.h"
  10 #include "Symbols.h"
  11 #include "SyntheticSections.h"
  12 #include "Target.h"
  13
  14 #include "lld/Common/ErrorHandler.h"
  15
  16 using namespace llvm;
  17 using namespace lld;
  18 using namespace lld::macho;
  19
  20 bool macho::validateSymbolRelocation(const Symbol *sym,
  21                                      const InputSection *isec, const Reloc &r) {
  22   const RelocAttrs &relocAttrs = target->getRelocAttrs(r.type);
  23   bool valid = true;
  24   auto message = [relocAttrs, sym, isec, &valid](const Twine &diagnostic) {
  25     valid = false;
  26     return (relocAttrs.name + " relocation " + diagnostic + " for `" +
  27             sym->getName() + "' in " + toString(isec))
  28         .str();
  29   };
  30
  31   if (relocAttrs.hasAttr(RelocAttrBits::TLV) != sym->isTlv())
  32     error(message(Twine("requires that variable ") +
  33                   (sym->isTlv() ? "not " : "") + "be thread-local"));
  34
  35   return valid;
  36 }
  37
  38 void macho::reportRangeError(const Reloc &r, const Twine &v, uint8_t bits,
  39                              int64_t min, uint64_t max) {
  40   std::string hint;
  41   if (auto *sym = r.referent.dyn_cast<Symbol *>())
  42     hint = "; references " + toString(*sym);
  43   // TODO: get location of reloc using something like LLD-ELF's getErrorPlace()
  44   error("relocation " + target->getRelocAttrs(r.type).name +
  45         " is out of range: " + v + " is not in [" + Twine(min) + ", " +
  46         Twine(max) + "]" + hint);
  47 }
  48
  49 void macho::reportRangeError(SymbolDiagnostic d, const Twine &v, uint8_t bits,
  50                              int64_t min, uint64_t max) {
  51   std::string hint;
  52   if (d.symbol)
  53     hint = "; references " + toString(*d.symbol);
  54   error(d.reason + " is out of range: " + v + " is not in [" + Twine(min) +
  55         ", " + Twine(max) + "]" + hint);
  56 }
  57
  58 const RelocAttrs macho::invalidRelocAttrs{"INVALID", RelocAttrBits::_0};