xref: /llvm-project/mlir/lib/CAPI/ExecutionEngine/ExecutionEngine.cpp (revision 7ccd026cf2819ba9f0e89f5100e9363ce5f3bcad)
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);
51*7ccd026cSArthur Eubanks   auto transformer = mlir::makeOptimizingTransformer(
52*7ccd026cSArthur Eubanks       llvmOptLevel, /*sizeLevel=*/0, /*targetMachine=*/tmOrError->get());
53a7db3c61SEmilio Cota   ExecutionEngineOptions jitOptions;
54a7db3c61SEmilio Cota   jitOptions.transformer = transformer;
55a7db3c61SEmilio Cota   jitOptions.jitCodeGenOptLevel = llvmOptLevel;
56a7db3c61SEmilio Cota   jitOptions.sharedLibPaths = libPaths;
57a7db3c61SEmilio Cota   auto jitOrError = ExecutionEngine::create(unwrap(op), jitOptions);
5886c8a785SMehdi Amini   if (!jitOrError) {
5986c8a785SMehdi Amini     consumeError(jitOrError.takeError());
6086c8a785SMehdi Amini     return MlirExecutionEngine{nullptr};
6186c8a785SMehdi Amini   }
6286c8a785SMehdi Amini   return wrap(jitOrError->release());
6386c8a785SMehdi Amini }
6486c8a785SMehdi Amini 
6586c8a785SMehdi Amini extern "C" void mlirExecutionEngineDestroy(MlirExecutionEngine jit) {
6686c8a785SMehdi Amini   delete (unwrap(jit));
6786c8a785SMehdi Amini }
6886c8a785SMehdi Amini 
6986c8a785SMehdi Amini extern "C" MlirLogicalResult
7086c8a785SMehdi Amini mlirExecutionEngineInvokePacked(MlirExecutionEngine jit, MlirStringRef name,
7186c8a785SMehdi Amini                                 void **arguments) {
7286c8a785SMehdi Amini   const std::string ifaceName = ("_mlir_ciface_" + unwrap(name)).str();
7386c8a785SMehdi Amini   llvm::Error error = unwrap(jit)->invokePacked(
7486c8a785SMehdi Amini       ifaceName, MutableArrayRef<void *>{arguments, (size_t)0});
7586c8a785SMehdi Amini   if (error)
7686c8a785SMehdi Amini     return wrap(failure());
7786c8a785SMehdi Amini   return wrap(success());
7886c8a785SMehdi Amini }
7913cb4317SMehdi Amini 
80106f3074STres Popp extern "C" void *mlirExecutionEngineLookupPacked(MlirExecutionEngine jit,
81106f3074STres Popp                                                  MlirStringRef name) {
82106f3074STres Popp   auto expectedFPtr = unwrap(jit)->lookupPacked(unwrap(name));
83106f3074STres Popp   if (!expectedFPtr)
84106f3074STres Popp     return nullptr;
85106f3074STres Popp   return reinterpret_cast<void *>(*expectedFPtr);
86106f3074STres Popp }
87106f3074STres Popp 
8813cb4317SMehdi Amini extern "C" void *mlirExecutionEngineLookup(MlirExecutionEngine jit,
8913cb4317SMehdi Amini                                            MlirStringRef name) {
9013cb4317SMehdi Amini   auto expectedFPtr = unwrap(jit)->lookup(unwrap(name));
9113cb4317SMehdi Amini   if (!expectedFPtr)
9213cb4317SMehdi Amini     return nullptr;
9313cb4317SMehdi Amini   return reinterpret_cast<void *>(*expectedFPtr);
9413cb4317SMehdi Amini }
957a4d6307SMehdi Amini 
967a4d6307SMehdi Amini extern "C" void mlirExecutionEngineRegisterSymbol(MlirExecutionEngine jit,
977a4d6307SMehdi Amini                                                   MlirStringRef name,
987a4d6307SMehdi Amini                                                   void *sym) {
997a4d6307SMehdi Amini   unwrap(jit)->registerSymbols([&](llvm::orc::MangleAndInterner interner) {
1007a4d6307SMehdi Amini     llvm::orc::SymbolMap symbolMap;
1017a4d6307SMehdi Amini     symbolMap[interner(unwrap(name))] =
1027a4d6307SMehdi Amini         llvm::JITEvaluatedSymbol::fromPointer(sym);
1037a4d6307SMehdi Amini     return symbolMap;
1047a4d6307SMehdi Amini   });
1057a4d6307SMehdi Amini }
1061dc533ceSNicolas Vasilache 
1071dc533ceSNicolas Vasilache extern "C" void mlirExecutionEngineDumpToObjectFile(MlirExecutionEngine jit,
1081dc533ceSNicolas Vasilache                                                     MlirStringRef name) {
1091dc533ceSNicolas Vasilache   unwrap(jit)->dumpToObjectFile(unwrap(name));
1101dc533ceSNicolas Vasilache }
111