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
mlirExecutionEngineCreate(MlirModule op,int optLevel,int numPaths,const MlirStringRef * sharedLibPaths)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
mlirExecutionEngineDestroy(MlirExecutionEngine jit)6586c8a785SMehdi Amini extern "C" void mlirExecutionEngineDestroy(MlirExecutionEngine jit) {
6686c8a785SMehdi Amini delete (unwrap(jit));
6786c8a785SMehdi Amini }
6886c8a785SMehdi Amini
6986c8a785SMehdi Amini extern "C" MlirLogicalResult
mlirExecutionEngineInvokePacked(MlirExecutionEngine jit,MlirStringRef name,void ** arguments)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
mlirExecutionEngineLookupPacked(MlirExecutionEngine jit,MlirStringRef name)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
mlirExecutionEngineLookup(MlirExecutionEngine jit,MlirStringRef name)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
mlirExecutionEngineRegisterSymbol(MlirExecutionEngine jit,MlirStringRef name,void * sym)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
mlirExecutionEngineDumpToObjectFile(MlirExecutionEngine jit,MlirStringRef name)1071dc533ceSNicolas Vasilache extern "C" void mlirExecutionEngineDumpToObjectFile(MlirExecutionEngine jit,
1081dc533ceSNicolas Vasilache MlirStringRef name) {
1091dc533ceSNicolas Vasilache unwrap(jit)->dumpToObjectFile(unwrap(name));
1101dc533ceSNicolas Vasilache }
111