EPCDynamicLibrarySearchGenerator.cpp

Go to the documentation of this file.

//===---------------- EPCDynamicLibrarySearchGenerator.cpp ----------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
 
#include "llvm/ExecutionEngine/Orc/EPCDynamicLibrarySearchGenerator.h"
 
#include "llvm/ExecutionEngine/Orc/AbsoluteSymbols.h"
#include "llvm/ExecutionEngine/Orc/DebugUtils.h"
#include "llvm/Support/Error.h"
 
#define DEBUG_TYPE "orc"
 
namespace llvm {
namespace orc {
 
Expected<std::unique_ptr<EPCDynamicLibrarySearchGenerator>>
EPCDynamicLibrarySearchGenerator::Load(
    DylibManager &DylibMgr, const char *LibraryPath, SymbolPredicate Allow,
    AddAbsoluteSymbolsFn AddAbsoluteSymbols) {
  auto Handle = DylibMgr.loadDylib(LibraryPath);
  if (!Handle)
    return Handle.takeError();
 
  return std::make_unique<EPCDynamicLibrarySearchGenerator>(
      DylibMgr, *Handle, std::move(Allow), std::move(AddAbsoluteSymbols));
}
 
Error EPCDynamicLibrarySearchGenerator::tryToGenerate(
    LookupState &LS, LookupKind K, JITDylib &JD,
    JITDylibLookupFlags JDLookupFlags, const SymbolLookupSet &Symbols) {
 
  if (Symbols.empty())
    return Error::success();
 
  LLVM_DEBUG({
      dbgs() << "EPCDynamicLibrarySearchGenerator trying to generate "
             << Symbols << "\n";
    });
 
  // If there's no handle then resolve all requested symbols to null.
  if (!H) {
    assert(Allow && "No handle or filter?");
    SymbolMap Nulls;
    for (auto &[Name, LookupFlags] : Symbols) {
      if (Allow(Name))
        Nulls[Name] = {};
    }
    return addAbsolutes(JD, std::move(Nulls));
  }
 
  // Otherwise proceed with lookup in the remote.
  SymbolLookupSet LookupSymbols;
 
  for (auto &KV : Symbols) {
    // Skip symbols that don't match the filter.
    if (Allow && !Allow(KV.first))
      continue;
    LookupSymbols.add(KV.first, SymbolLookupFlags::WeaklyReferencedSymbol);
  }
 
  DylibMgr.lookupSymbolsAsync(
      *H, LookupSymbols,
      [this, &JD, LS = std::move(LS), LookupSymbols](auto Result) mutable {
        if (!Result) {
          LLVM_DEBUG({
            dbgs() << "EPCDynamicLibrarySearchGenerator lookup failed due to "
                      "error";
          });
          return LS.continueLookup(Result.takeError());
        }
 
        assert(Result->size() == LookupSymbols.size() &&
               "Result has incorrect number of elements");
 
        auto SymsIt = Result->begin();
        SymbolMap NewSymbols;
        for (auto &[Name, Flags] : LookupSymbols) {
          const auto &Sym = *SymsIt++;
          if (Sym && *Sym)
            NewSymbols[Name] = {*Sym, JITSymbolFlags::Exported};
        }
 
        LLVM_DEBUG({
          dbgs() << "EPCDynamicLibrarySearchGenerator lookup returned "
                 << NewSymbols << "\n";
        });
 
        // If no resolved symbols then exit early with success.
        if (NewSymbols.empty())
          return LS.continueLookup(Error::success());
 
        // Define resolved symbols.
        LS.continueLookup(addAbsolutes(JD, std::move(NewSymbols)));
      });
 
  return Error::success();
}
 
Error EPCDynamicLibrarySearchGenerator::addAbsolutes(JITDylib &JD,
                                                     SymbolMap Symbols) {
  return AddAbsoluteSymbols ? AddAbsoluteSymbols(JD, std::move(Symbols))
                            : JD.define(absoluteSymbols(std::move(Symbols)));
}
 
} // end namespace orc
} // end namespace llvm