15a440378SAlex Zinenko //===- ExecutionEngine.cpp - MLIR Execution engine and utils --------------===// 25a440378SAlex Zinenko // 35a440378SAlex Zinenko // Copyright 2019 The MLIR Authors. 45a440378SAlex Zinenko // 55a440378SAlex Zinenko // Licensed under the Apache License, Version 2.0 (the "License"); 65a440378SAlex Zinenko // you may not use this file except in compliance with the License. 75a440378SAlex Zinenko // You may obtain a copy of the License at 85a440378SAlex Zinenko // 95a440378SAlex Zinenko // http://www.apache.org/licenses/LICENSE-2.0 105a440378SAlex Zinenko // 115a440378SAlex Zinenko // Unless required by applicable law or agreed to in writing, software 125a440378SAlex Zinenko // distributed under the License is distributed on an "AS IS" BASIS, 135a440378SAlex Zinenko // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 145a440378SAlex Zinenko // See the License for the specific language governing permissions and 155a440378SAlex Zinenko // limitations under the License. 165a440378SAlex Zinenko // ============================================================================= 175a440378SAlex Zinenko // 185a440378SAlex Zinenko // This file implements the execution engine for MLIR modules based on LLVM Orc 195a440378SAlex Zinenko // JIT engine. 205a440378SAlex Zinenko // 215a440378SAlex Zinenko //===----------------------------------------------------------------------===// 225a440378SAlex Zinenko #include "mlir/ExecutionEngine/ExecutionEngine.h" 235a440378SAlex Zinenko #include "mlir/IR/Function.h" 245a440378SAlex Zinenko #include "mlir/IR/Module.h" 25732160eaSMehdi Amini #include "mlir/LLVMIR/Transforms.h" 26091ff3dcSRiver Riddle #include "mlir/Pass/Pass.h" 27c6c53449SRiver Riddle #include "mlir/Pass/PassManager.h" 285a440378SAlex Zinenko #include "mlir/Target/LLVMIR.h" 295a440378SAlex Zinenko #include "mlir/Transforms/Passes.h" 305a440378SAlex Zinenko 315a440378SAlex Zinenko #include "llvm/ExecutionEngine/Orc/CompileUtils.h" 325a440378SAlex Zinenko #include "llvm/ExecutionEngine/Orc/ExecutionUtils.h" 335a440378SAlex Zinenko #include "llvm/ExecutionEngine/Orc/IRCompileLayer.h" 348093f17aSAlex Zinenko #include "llvm/ExecutionEngine/Orc/IRTransformLayer.h" 355a440378SAlex Zinenko #include "llvm/ExecutionEngine/Orc/JITTargetMachineBuilder.h" 365a440378SAlex Zinenko #include "llvm/ExecutionEngine/Orc/RTDyldObjectLinkingLayer.h" 375a440378SAlex Zinenko #include "llvm/ExecutionEngine/SectionMemoryManager.h" 385a440378SAlex Zinenko #include "llvm/IR/IRBuilder.h" 395a440378SAlex Zinenko #include "llvm/Support/Error.h" 405a440378SAlex Zinenko #include "llvm/Support/TargetRegistry.h" 415a440378SAlex Zinenko 425a440378SAlex Zinenko using namespace mlir; 435a440378SAlex Zinenko using llvm::Error; 445a440378SAlex Zinenko using llvm::Expected; 455a440378SAlex Zinenko 465a440378SAlex Zinenko namespace { 475a440378SAlex Zinenko // Memory manager for the JIT's objectLayer. Its main goal is to fallback to 485a440378SAlex Zinenko // resolving functions in the current process if they cannot be resolved in the 495a440378SAlex Zinenko // JIT-compiled modules. 505a440378SAlex Zinenko class MemoryManager : public llvm::SectionMemoryManager { 515a440378SAlex Zinenko public: 525a440378SAlex Zinenko MemoryManager(llvm::orc::ExecutionSession &execSession) 535a440378SAlex Zinenko : session(execSession) {} 545a440378SAlex Zinenko 555a440378SAlex Zinenko // Resolve the named symbol. First, try looking it up in the main library of 565a440378SAlex Zinenko // the execution session. If there is no such symbol, try looking it up in 575a440378SAlex Zinenko // the current process (for example, if it is a standard library function). 585a440378SAlex Zinenko // Return `nullptr` if lookup fails. 595a440378SAlex Zinenko llvm::JITSymbol findSymbol(const std::string &name) override { 605a440378SAlex Zinenko auto mainLibSymbol = session.lookup({&session.getMainJITDylib()}, name); 615a440378SAlex Zinenko if (mainLibSymbol) 625a440378SAlex Zinenko return mainLibSymbol.get(); 635a440378SAlex Zinenko auto address = llvm::RTDyldMemoryManager::getSymbolAddressInProcess(name); 645a440378SAlex Zinenko if (!address) { 655a440378SAlex Zinenko llvm::errs() << "Could not look up: " << name << '\n'; 665a440378SAlex Zinenko return nullptr; 675a440378SAlex Zinenko } 685a440378SAlex Zinenko return llvm::JITSymbol(address, llvm::JITSymbolFlags::Exported); 695a440378SAlex Zinenko } 705a440378SAlex Zinenko 715a440378SAlex Zinenko private: 725a440378SAlex Zinenko llvm::orc::ExecutionSession &session; 735a440378SAlex Zinenko }; 745a440378SAlex Zinenko } // end anonymous namespace 755a440378SAlex Zinenko 765a440378SAlex Zinenko namespace mlir { 775a440378SAlex Zinenko namespace impl { 785a440378SAlex Zinenko // Simple layered Orc JIT compilation engine. 795a440378SAlex Zinenko class OrcJIT { 805a440378SAlex Zinenko public: 818093f17aSAlex Zinenko using IRTransformer = std::function<Error(llvm::Module *)>; 828093f17aSAlex Zinenko 835a440378SAlex Zinenko // Construct a JIT engine for the target host defined by `machineBuilder`, 845a440378SAlex Zinenko // using the data layout provided as `dataLayout`. 855a440378SAlex Zinenko // Setup the object layer to use our custom memory manager in order to resolve 865a440378SAlex Zinenko // calls to library functions present in the process. 875a440378SAlex Zinenko OrcJIT(llvm::orc::JITTargetMachineBuilder machineBuilder, 888093f17aSAlex Zinenko llvm::DataLayout layout, IRTransformer transform) 898093f17aSAlex Zinenko : irTransformer(transform), 908093f17aSAlex Zinenko objectLayer( 915a440378SAlex Zinenko session, 925a440378SAlex Zinenko [this]() { return llvm::make_unique<MemoryManager>(session); }), 935a440378SAlex Zinenko compileLayer( 945a440378SAlex Zinenko session, objectLayer, 955a440378SAlex Zinenko llvm::orc::ConcurrentIRCompiler(std::move(machineBuilder))), 968093f17aSAlex Zinenko transformLayer(session, compileLayer, makeIRTransformFunction()), 975a440378SAlex Zinenko dataLayout(layout), mangler(session, this->dataLayout), 985a440378SAlex Zinenko threadSafeCtx(llvm::make_unique<llvm::LLVMContext>()) { 995a440378SAlex Zinenko session.getMainJITDylib().setGenerator( 1005a440378SAlex Zinenko cantFail(llvm::orc::DynamicLibrarySearchGenerator::GetForCurrentProcess( 1015a440378SAlex Zinenko layout))); 1025a440378SAlex Zinenko } 1035a440378SAlex Zinenko 1045a440378SAlex Zinenko // Create a JIT engine for the current host. 1058093f17aSAlex Zinenko static Expected<std::unique_ptr<OrcJIT>> 106f5b99275SAlex Zinenko createDefault(IRTransformer transformer) { 1075a440378SAlex Zinenko auto machineBuilder = llvm::orc::JITTargetMachineBuilder::detectHost(); 1085a440378SAlex Zinenko if (!machineBuilder) 1095a440378SAlex Zinenko return machineBuilder.takeError(); 1105a440378SAlex Zinenko 1115a440378SAlex Zinenko auto dataLayout = machineBuilder->getDefaultDataLayoutForTarget(); 1125a440378SAlex Zinenko if (!dataLayout) 1135a440378SAlex Zinenko return dataLayout.takeError(); 1145a440378SAlex Zinenko 1155a440378SAlex Zinenko return llvm::make_unique<OrcJIT>(std::move(*machineBuilder), 1168093f17aSAlex Zinenko std::move(*dataLayout), transformer); 1175a440378SAlex Zinenko } 1185a440378SAlex Zinenko 1195a440378SAlex Zinenko // Add an LLVM module to the main library managed by the JIT engine. 1205a440378SAlex Zinenko Error addModule(std::unique_ptr<llvm::Module> M) { 121f5b99275SAlex Zinenko return transformLayer.add( 1225a440378SAlex Zinenko session.getMainJITDylib(), 1235a440378SAlex Zinenko llvm::orc::ThreadSafeModule(std::move(M), threadSafeCtx)); 1245a440378SAlex Zinenko } 1255a440378SAlex Zinenko 1265a440378SAlex Zinenko // Lookup a symbol in the main library managed by the JIT engine. 1275a440378SAlex Zinenko Expected<llvm::JITEvaluatedSymbol> lookup(StringRef Name) { 1285a440378SAlex Zinenko return session.lookup({&session.getMainJITDylib()}, mangler(Name.str())); 1295a440378SAlex Zinenko } 1305a440378SAlex Zinenko 1315a440378SAlex Zinenko private: 1328093f17aSAlex Zinenko // Wrap the `irTransformer` into a function that can be called by the 1338093f17aSAlex Zinenko // IRTranformLayer. If `irTransformer` is not set up, return the module as is 1348093f17aSAlex Zinenko // without errors. 1358093f17aSAlex Zinenko llvm::orc::IRTransformLayer::TransformFunction makeIRTransformFunction() { 1368093f17aSAlex Zinenko return [this](llvm::orc::ThreadSafeModule module, 1378093f17aSAlex Zinenko const llvm::orc::MaterializationResponsibility &resp) 1388093f17aSAlex Zinenko -> Expected<llvm::orc::ThreadSafeModule> { 1398093f17aSAlex Zinenko (void)resp; 1408093f17aSAlex Zinenko if (!irTransformer) 141e7111fd6SJacques Pienaar return std::move(module); 1428093f17aSAlex Zinenko if (Error err = irTransformer(module.getModule())) 1438093f17aSAlex Zinenko return std::move(err); 144e7111fd6SJacques Pienaar return std::move(module); 1458093f17aSAlex Zinenko }; 1468093f17aSAlex Zinenko } 1478093f17aSAlex Zinenko 1488093f17aSAlex Zinenko IRTransformer irTransformer; 1495a440378SAlex Zinenko llvm::orc::ExecutionSession session; 1505a440378SAlex Zinenko llvm::orc::RTDyldObjectLinkingLayer objectLayer; 1515a440378SAlex Zinenko llvm::orc::IRCompileLayer compileLayer; 1528093f17aSAlex Zinenko llvm::orc::IRTransformLayer transformLayer; 1535a440378SAlex Zinenko llvm::DataLayout dataLayout; 1545a440378SAlex Zinenko llvm::orc::MangleAndInterner mangler; 1555a440378SAlex Zinenko llvm::orc::ThreadSafeContext threadSafeCtx; 1565a440378SAlex Zinenko }; 1575a440378SAlex Zinenko } // end namespace impl 1585a440378SAlex Zinenko } // namespace mlir 1595a440378SAlex Zinenko 1605a440378SAlex Zinenko // Wrap a string into an llvm::StringError. 1615a440378SAlex Zinenko static inline Error make_string_error(const llvm::Twine &message) { 1625a440378SAlex Zinenko return llvm::make_error<llvm::StringError>(message.str(), 1635a440378SAlex Zinenko llvm::inconvertibleErrorCode()); 1645a440378SAlex Zinenko } 1655a440378SAlex Zinenko 166091ff3dcSRiver Riddle // Given a list of PassRegistryEntry coming from a higher level, populates the 167091ff3dcSRiver Riddle // given pass manager and appends the default set of required passes to lower to 168091ff3dcSRiver Riddle // LLVMIR. 169091ff3dcSRiver Riddle // Currently, these passes are: 1705a440378SAlex Zinenko // - constant folding 1715a440378SAlex Zinenko // - CSE 1725a440378SAlex Zinenko // - canonicalization 1735a440378SAlex Zinenko // - affine lowering 174091ff3dcSRiver Riddle static void getDefaultPasses( 175091ff3dcSRiver Riddle PassManager &manager, 176091ff3dcSRiver Riddle const std::vector<const mlir::PassRegistryEntry *> &mlirPassRegistryList) { 1775a440378SAlex Zinenko // Run each of the passes that were selected. 178091ff3dcSRiver Riddle for (const auto *passEntry : mlirPassRegistryList) 179091ff3dcSRiver Riddle passEntry->addToPipeline(manager); 1805a440378SAlex Zinenko 181c6c53449SRiver Riddle // Append the extra passes for lowering to MLIR. 182*4e40c832SLei Zhang manager.addPass(mlir::createCanonicalizerPass()); 183c6c53449SRiver Riddle manager.addPass(mlir::createCSEPass()); 184c6c53449SRiver Riddle manager.addPass(mlir::createCanonicalizerPass()); 185c6c53449SRiver Riddle manager.addPass(mlir::createLowerAffinePass()); 186c6c53449SRiver Riddle manager.addPass(mlir::createConvertToLLVMIRPass()); 1875a440378SAlex Zinenko } 1885a440378SAlex Zinenko 1895a440378SAlex Zinenko // Setup LLVM target triple from the current machine. 1905a440378SAlex Zinenko static bool setupTargetTriple(llvm::Module *llvmModule) { 1915a440378SAlex Zinenko // Setup the machine properties from the current architecture. 1925a440378SAlex Zinenko auto targetTriple = llvm::sys::getDefaultTargetTriple(); 1935a440378SAlex Zinenko std::string errorMessage; 1945a440378SAlex Zinenko auto target = llvm::TargetRegistry::lookupTarget(targetTriple, errorMessage); 1955a440378SAlex Zinenko if (!target) { 1965a440378SAlex Zinenko llvm::errs() << "NO target: " << errorMessage << "\n"; 1975a440378SAlex Zinenko return true; 1985a440378SAlex Zinenko } 1995a440378SAlex Zinenko auto machine = 2005a440378SAlex Zinenko target->createTargetMachine(targetTriple, "generic", "", {}, {}); 2015a440378SAlex Zinenko llvmModule->setDataLayout(machine->createDataLayout()); 2025a440378SAlex Zinenko llvmModule->setTargetTriple(targetTriple); 2035a440378SAlex Zinenko return false; 2045a440378SAlex Zinenko } 2055a440378SAlex Zinenko 2065a440378SAlex Zinenko static std::string makePackedFunctionName(StringRef name) { 2075a440378SAlex Zinenko return "_mlir_" + name.str(); 2085a440378SAlex Zinenko } 2095a440378SAlex Zinenko 2105a440378SAlex Zinenko // For each function in the LLVM module, define an interface function that wraps 2115a440378SAlex Zinenko // all the arguments of the original function and all its results into an i8** 2125a440378SAlex Zinenko // pointer to provide a unified invocation interface. 2135a440378SAlex Zinenko void packFunctionArguments(llvm::Module *module) { 2145a440378SAlex Zinenko auto &ctx = module->getContext(); 2155a440378SAlex Zinenko llvm::IRBuilder<> builder(ctx); 2165a440378SAlex Zinenko llvm::DenseSet<llvm::Function *> interfaceFunctions; 2175a440378SAlex Zinenko for (auto &func : module->getFunctionList()) { 2185a440378SAlex Zinenko if (func.isDeclaration()) { 2195a440378SAlex Zinenko continue; 2205a440378SAlex Zinenko } 2215a440378SAlex Zinenko if (interfaceFunctions.count(&func)) { 2225a440378SAlex Zinenko continue; 2235a440378SAlex Zinenko } 2245a440378SAlex Zinenko 2255a440378SAlex Zinenko // Given a function `foo(<...>)`, define the interface function 2265a440378SAlex Zinenko // `mlir_foo(i8**)`. 2275a440378SAlex Zinenko auto newType = llvm::FunctionType::get( 2285a440378SAlex Zinenko builder.getVoidTy(), builder.getInt8PtrTy()->getPointerTo(), 2295a440378SAlex Zinenko /*isVarArg=*/false); 2305a440378SAlex Zinenko auto newName = makePackedFunctionName(func.getName()); 231c46b0feaSRiver Riddle auto funcCst = module->getOrInsertFunction(newName, newType); 232c46b0feaSRiver Riddle llvm::Function *interfaceFunc = 233c46b0feaSRiver Riddle llvm::cast<llvm::Function>(funcCst.getCallee()); 2345a440378SAlex Zinenko interfaceFunctions.insert(interfaceFunc); 2355a440378SAlex Zinenko 2365a440378SAlex Zinenko // Extract the arguments from the type-erased argument list and cast them to 2375a440378SAlex Zinenko // the proper types. 2385a440378SAlex Zinenko auto bb = llvm::BasicBlock::Create(ctx); 2395a440378SAlex Zinenko bb->insertInto(interfaceFunc); 2405a440378SAlex Zinenko builder.SetInsertPoint(bb); 2415a440378SAlex Zinenko llvm::Value *argList = interfaceFunc->arg_begin(); 2425a440378SAlex Zinenko llvm::SmallVector<llvm::Value *, 8> args; 2435a440378SAlex Zinenko args.reserve(llvm::size(func.args())); 2445a440378SAlex Zinenko for (auto &indexedArg : llvm::enumerate(func.args())) { 2455a440378SAlex Zinenko llvm::Value *argIndex = llvm::Constant::getIntegerValue( 2465a440378SAlex Zinenko builder.getInt64Ty(), llvm::APInt(64, indexedArg.index())); 2475a440378SAlex Zinenko llvm::Value *argPtrPtr = builder.CreateGEP(argList, argIndex); 2485a440378SAlex Zinenko llvm::Value *argPtr = builder.CreateLoad(argPtrPtr); 2495a440378SAlex Zinenko argPtr = builder.CreateBitCast( 2505a440378SAlex Zinenko argPtr, indexedArg.value().getType()->getPointerTo()); 2515a440378SAlex Zinenko llvm::Value *arg = builder.CreateLoad(argPtr); 2525a440378SAlex Zinenko args.push_back(arg); 2535a440378SAlex Zinenko } 2545a440378SAlex Zinenko 2555a440378SAlex Zinenko // Call the implementation function with the extracted arguments. 2565a440378SAlex Zinenko llvm::Value *result = builder.CreateCall(&func, args); 2575a440378SAlex Zinenko 2585a440378SAlex Zinenko // Assuming the result is one value, potentially of type `void`. 2595a440378SAlex Zinenko if (!result->getType()->isVoidTy()) { 2605a440378SAlex Zinenko llvm::Value *retIndex = llvm::Constant::getIntegerValue( 2615a440378SAlex Zinenko builder.getInt64Ty(), llvm::APInt(64, llvm::size(func.args()))); 2625a440378SAlex Zinenko llvm::Value *retPtrPtr = builder.CreateGEP(argList, retIndex); 2635a440378SAlex Zinenko llvm::Value *retPtr = builder.CreateLoad(retPtrPtr); 2645a440378SAlex Zinenko retPtr = builder.CreateBitCast(retPtr, result->getType()->getPointerTo()); 2655a440378SAlex Zinenko builder.CreateStore(result, retPtr); 2665a440378SAlex Zinenko } 2675a440378SAlex Zinenko 2685a440378SAlex Zinenko // The interface function returns void. 2695a440378SAlex Zinenko builder.CreateRetVoid(); 2705a440378SAlex Zinenko } 2715a440378SAlex Zinenko } 2725a440378SAlex Zinenko 273d9ce382fSMehdi Amini // Out of line for PIMPL unique_ptr. 274d9ce382fSMehdi Amini ExecutionEngine::~ExecutionEngine() = default; 2755a440378SAlex Zinenko 2768d526ef1SChris Lattner std::unique_ptr<llvm::Module> translateModuleToLLVMIR(Module &m); 27750700b81SAlex Zinenko 2788093f17aSAlex Zinenko Expected<std::unique_ptr<ExecutionEngine>> ExecutionEngine::create( 2798093f17aSAlex Zinenko Module *m, std::function<llvm::Error(llvm::Module *)> transformer) { 2805a440378SAlex Zinenko auto engine = llvm::make_unique<ExecutionEngine>(); 2818093f17aSAlex Zinenko auto expectedJIT = impl::OrcJIT::createDefault(transformer); 2825a440378SAlex Zinenko if (!expectedJIT) 2835a440378SAlex Zinenko return expectedJIT.takeError(); 2845a440378SAlex Zinenko 285c6c53449SRiver Riddle // Construct and run the default MLIR pipeline. 286c6c53449SRiver Riddle PassManager manager; 287c6c53449SRiver Riddle getDefaultPasses(manager, {}); 288f427bdddSRiver Riddle if (failed(manager.run(m))) 2895a440378SAlex Zinenko return make_string_error("passes failed"); 2905a440378SAlex Zinenko 29150700b81SAlex Zinenko auto llvmModule = translateModuleToLLVMIR(*m); 2925a440378SAlex Zinenko if (!llvmModule) 2935a440378SAlex Zinenko return make_string_error("could not convert to LLVM IR"); 2945a440378SAlex Zinenko // FIXME: the triple should be passed to the translation or dialect conversion 2955a440378SAlex Zinenko // instead of this. Currently, the LLVM module created above has no triple 2965a440378SAlex Zinenko // associated with it. 2975a440378SAlex Zinenko setupTargetTriple(llvmModule.get()); 2985a440378SAlex Zinenko packFunctionArguments(llvmModule.get()); 2995a440378SAlex Zinenko 300cacf0589SNicolas Vasilache if (auto err = (*expectedJIT)->addModule(std::move(llvmModule))) 3015a440378SAlex Zinenko return std::move(err); 302cacf0589SNicolas Vasilache engine->jit = std::move(*expectedJIT); 3035a440378SAlex Zinenko 304e7111fd6SJacques Pienaar return std::move(engine); 3055a440378SAlex Zinenko } 3065a440378SAlex Zinenko 3075a440378SAlex Zinenko Expected<void (*)(void **)> ExecutionEngine::lookup(StringRef name) const { 3085a440378SAlex Zinenko auto expectedSymbol = jit->lookup(makePackedFunctionName(name)); 3095a440378SAlex Zinenko if (!expectedSymbol) 3105a440378SAlex Zinenko return expectedSymbol.takeError(); 3115a440378SAlex Zinenko auto rawFPtr = expectedSymbol->getAddress(); 3125a440378SAlex Zinenko auto fptr = reinterpret_cast<void (*)(void **)>(rawFPtr); 3135a440378SAlex Zinenko if (!fptr) 3145a440378SAlex Zinenko return make_string_error("looked up function is null"); 3155a440378SAlex Zinenko return fptr; 3165a440378SAlex Zinenko } 317629f5b7fSNicolas Vasilache 318629f5b7fSNicolas Vasilache llvm::Error ExecutionEngine::invoke(StringRef name, 319629f5b7fSNicolas Vasilache MutableArrayRef<void *> args) { 320629f5b7fSNicolas Vasilache auto expectedFPtr = lookup(name); 321629f5b7fSNicolas Vasilache if (!expectedFPtr) 322629f5b7fSNicolas Vasilache return expectedFPtr.takeError(); 323629f5b7fSNicolas Vasilache auto fptr = *expectedFPtr; 324629f5b7fSNicolas Vasilache 325629f5b7fSNicolas Vasilache (*fptr)(args.data()); 326629f5b7fSNicolas Vasilache 327629f5b7fSNicolas Vasilache return llvm::Error::success(); 328629f5b7fSNicolas Vasilache } 329