xref: /llvm-project/mlir/lib/CAPI/ExecutionEngine/ExecutionEngine.cpp (revision 106f3074996c69ab732c6371d5ad6b25fcfd4fa5)
186c8a785SMehdi Amini //===- ExecutionEngine.cpp - C API for MLIR JIT ---------------------------===//
286c8a785SMehdi Amini //
386c8a785SMehdi Amini // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
486c8a785SMehdi Amini // See https://llvm.org/LICENSE.txt for license information.
586c8a785SMehdi Amini // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
686c8a785SMehdi Amini //
786c8a785SMehdi Amini //===----------------------------------------------------------------------===//
886c8a785SMehdi Amini 
986c8a785SMehdi Amini #include "mlir-c/ExecutionEngine.h"
1086c8a785SMehdi Amini #include "mlir/CAPI/ExecutionEngine.h"
1186c8a785SMehdi Amini #include "mlir/CAPI/IR.h"
1286c8a785SMehdi Amini #include "mlir/CAPI/Support.h"
13185ce8cdSUday Bondhugula #include "mlir/ExecutionEngine/OptUtils.h"
1419db802eSAlex Zinenko #include "mlir/Target/LLVMIR/Dialect/LLVMIR/LLVMToLLVMIRTranslation.h"
157a4d6307SMehdi Amini #include "llvm/ExecutionEngine/Orc/Mangling.h"
1686c8a785SMehdi Amini #include "llvm/Support/TargetSelect.h"
1786c8a785SMehdi Amini 
1886c8a785SMehdi Amini using namespace mlir;
1986c8a785SMehdi Amini 
20c8b8e8e0SUday Bondhugula extern "C" MlirExecutionEngine
21c8b8e8e0SUday Bondhugula mlirExecutionEngineCreate(MlirModule op, int optLevel, int numPaths,
22c8b8e8e0SUday Bondhugula                           const MlirStringRef *sharedLibPaths) {
23185ce8cdSUday Bondhugula   static bool initOnce = [] {
2486c8a785SMehdi Amini     llvm::InitializeNativeTarget();
25050cc1cdSNicolas Vasilache     llvm::InitializeNativeTargetAsmParser(); // needed for inline_asm
2686c8a785SMehdi Amini     llvm::InitializeNativeTargetAsmPrinter();
2786c8a785SMehdi Amini     return true;
2886c8a785SMehdi Amini   }();
29185ce8cdSUday Bondhugula   (void)initOnce;
3086c8a785SMehdi Amini 
3113cb4317SMehdi Amini   mlir::registerLLVMDialectTranslation(*unwrap(op)->getContext());
32185ce8cdSUday Bondhugula 
33185ce8cdSUday Bondhugula   auto tmBuilderOrError = llvm::orc::JITTargetMachineBuilder::detectHost();
34185ce8cdSUday Bondhugula   if (!tmBuilderOrError) {
35185ce8cdSUday Bondhugula     llvm::errs() << "Failed to create a JITTargetMachineBuilder for the host\n";
36185ce8cdSUday Bondhugula     return MlirExecutionEngine{nullptr};
37185ce8cdSUday Bondhugula   }
38185ce8cdSUday Bondhugula   auto tmOrError = tmBuilderOrError->createTargetMachine();
39185ce8cdSUday Bondhugula   if (!tmOrError) {
40185ce8cdSUday Bondhugula     llvm::errs() << "Failed to create a TargetMachine for the host\n";
41185ce8cdSUday Bondhugula     return MlirExecutionEngine{nullptr};
42185ce8cdSUday Bondhugula   }
43185ce8cdSUday Bondhugula 
44c8b8e8e0SUday Bondhugula   SmallVector<StringRef> libPaths;
45c8b8e8e0SUday Bondhugula   for (unsigned i = 0; i < static_cast<unsigned>(numPaths); ++i)
46c8b8e8e0SUday Bondhugula     libPaths.push_back(sharedLibPaths[i].data);
47c8b8e8e0SUday Bondhugula 
48185ce8cdSUday Bondhugula   // Create a transformer to run all LLVM optimization passes at the
49185ce8cdSUday Bondhugula   // specified optimization level.
50185ce8cdSUday Bondhugula   auto llvmOptLevel = static_cast<llvm::CodeGenOpt::Level>(optLevel);
51185ce8cdSUday Bondhugula   auto transformer = mlir::makeLLVMPassesTransformer(
52185ce8cdSUday Bondhugula       /*passes=*/{}, llvmOptLevel, /*targetMachine=*/tmOrError->get());
53c8b8e8e0SUday Bondhugula   auto jitOrError =
54c8b8e8e0SUday Bondhugula       ExecutionEngine::create(unwrap(op), /*llvmModuleBuilder=*/{}, transformer,
55c8b8e8e0SUday Bondhugula                               llvmOptLevel, libPaths);
5686c8a785SMehdi Amini   if (!jitOrError) {
5786c8a785SMehdi Amini     consumeError(jitOrError.takeError());
5886c8a785SMehdi Amini     return MlirExecutionEngine{nullptr};
5986c8a785SMehdi Amini   }
6086c8a785SMehdi Amini   return wrap(jitOrError->release());
6186c8a785SMehdi Amini }
6286c8a785SMehdi Amini 
6386c8a785SMehdi Amini extern "C" void mlirExecutionEngineDestroy(MlirExecutionEngine jit) {
6486c8a785SMehdi Amini   delete (unwrap(jit));
6586c8a785SMehdi Amini }
6686c8a785SMehdi Amini 
6786c8a785SMehdi Amini extern "C" MlirLogicalResult
6886c8a785SMehdi Amini mlirExecutionEngineInvokePacked(MlirExecutionEngine jit, MlirStringRef name,
6986c8a785SMehdi Amini                                 void **arguments) {
7086c8a785SMehdi Amini   const std::string ifaceName = ("_mlir_ciface_" + unwrap(name)).str();
7186c8a785SMehdi Amini   llvm::Error error = unwrap(jit)->invokePacked(
7286c8a785SMehdi Amini       ifaceName, MutableArrayRef<void *>{arguments, (size_t)0});
7386c8a785SMehdi Amini   if (error)
7486c8a785SMehdi Amini     return wrap(failure());
7586c8a785SMehdi Amini   return wrap(success());
7686c8a785SMehdi Amini }
7713cb4317SMehdi Amini 
78*106f3074STres Popp extern "C" void *mlirExecutionEngineLookupPacked(MlirExecutionEngine jit,
79*106f3074STres Popp                                                  MlirStringRef name) {
80*106f3074STres Popp   auto expectedFPtr = unwrap(jit)->lookupPacked(unwrap(name));
81*106f3074STres Popp   if (!expectedFPtr)
82*106f3074STres Popp     return nullptr;
83*106f3074STres Popp   return reinterpret_cast<void *>(*expectedFPtr);
84*106f3074STres Popp }
85*106f3074STres Popp 
8613cb4317SMehdi Amini extern "C" void *mlirExecutionEngineLookup(MlirExecutionEngine jit,
8713cb4317SMehdi Amini                                            MlirStringRef name) {
8813cb4317SMehdi Amini   auto expectedFPtr = unwrap(jit)->lookup(unwrap(name));
8913cb4317SMehdi Amini   if (!expectedFPtr)
9013cb4317SMehdi Amini     return nullptr;
9113cb4317SMehdi Amini   return reinterpret_cast<void *>(*expectedFPtr);
9213cb4317SMehdi Amini }
937a4d6307SMehdi Amini 
947a4d6307SMehdi Amini extern "C" void mlirExecutionEngineRegisterSymbol(MlirExecutionEngine jit,
957a4d6307SMehdi Amini                                                   MlirStringRef name,
967a4d6307SMehdi Amini                                                   void *sym) {
977a4d6307SMehdi Amini   unwrap(jit)->registerSymbols([&](llvm::orc::MangleAndInterner interner) {
987a4d6307SMehdi Amini     llvm::orc::SymbolMap symbolMap;
997a4d6307SMehdi Amini     symbolMap[interner(unwrap(name))] =
1007a4d6307SMehdi Amini         llvm::JITEvaluatedSymbol::fromPointer(sym);
1017a4d6307SMehdi Amini     return symbolMap;
1027a4d6307SMehdi Amini   });
1037a4d6307SMehdi Amini }
1041dc533ceSNicolas Vasilache 
1051dc533ceSNicolas Vasilache extern "C" void mlirExecutionEngineDumpToObjectFile(MlirExecutionEngine jit,
1061dc533ceSNicolas Vasilache                                                     MlirStringRef name) {
1071dc533ceSNicolas Vasilache   unwrap(jit)->dumpToObjectFile(unwrap(name));
1081dc533ceSNicolas Vasilache }
109