1 //===- Invoke.cpp ------------------------------------*- C++ -*-===//
2 //
3 // This file is licensed under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 #include "mlir/Conversion/LinalgToLLVM/LinalgToLLVM.h"
10 #include "mlir/Conversion/StandardToLLVM/ConvertStandardToLLVMPass.h"
11 #include "mlir/Conversion/VectorToLLVM/ConvertVectorToLLVM.h"
12 #include "mlir/Conversion/VectorToSCF/VectorToSCF.h"
13 #include "mlir/Dialect/Linalg/Passes.h"
14 #include "mlir/ExecutionEngine/CRunnerUtils.h"
15 #include "mlir/ExecutionEngine/ExecutionEngine.h"
16 #include "mlir/ExecutionEngine/RunnerUtils.h"
17 #include "mlir/IR/MLIRContext.h"
18 #include "mlir/InitAllDialects.h"
19 #include "mlir/Parser.h"
20 #include "mlir/Pass/PassManager.h"
21 #include "llvm/Support/TargetSelect.h"
22 #include "llvm/Support/raw_ostream.h"
23 
24 #include "gmock/gmock.h"
25 
26 using namespace mlir;
27 
28 static struct LLVMInitializer {
29   LLVMInitializer() {
30     llvm::InitializeNativeTarget();
31     llvm::InitializeNativeTargetAsmPrinter();
32   }
33 } initializer;
34 
35 /// Simple conversion pipeline for the purpose of testing sources written in
36 /// dialects lowering to LLVM Dialect.
37 static LogicalResult lowerToLLVMDialect(ModuleOp module) {
38   PassManager pm(module.getContext());
39   pm.addPass(mlir::createLowerToLLVMPass());
40   return pm.run(module);
41 }
42 
43 // The JIT isn't supported on Windows at that time
44 #ifndef _WIN32
45 
46 TEST(MLIRExecutionEngine, AddInteger) {
47   std::string moduleStr = R"mlir(
48   func @foo(%arg0 : i32) -> i32 attributes { llvm.emit_c_interface } {
49     %res = std.addi %arg0, %arg0 : i32
50     return %res : i32
51   }
52   )mlir";
53   MLIRContext context;
54   registerAllDialects(context.getDialectRegistry());
55   OwningModuleRef module = parseSourceString(moduleStr, &context);
56   ASSERT_TRUE(!!module);
57   ASSERT_TRUE(succeeded(lowerToLLVMDialect(*module)));
58   auto jitOrError = ExecutionEngine::create(*module);
59   ASSERT_TRUE(!!jitOrError);
60   std::unique_ptr<ExecutionEngine> jit = std::move(jitOrError.get());
61   // The result of the function must be passed as output argument.
62   int result = 0;
63   llvm::Error error =
64       jit->invoke("foo", 42, ExecutionEngine::Result<int>(result));
65   ASSERT_TRUE(!error);
66   ASSERT_EQ(result, 42 + 42);
67 }
68 
69 TEST(MLIRExecutionEngine, SubtractFloat) {
70   std::string moduleStr = R"mlir(
71   func @foo(%arg0 : f32, %arg1 : f32) -> f32 attributes { llvm.emit_c_interface } {
72     %res = std.subf %arg0, %arg1 : f32
73     return %res : f32
74   }
75   )mlir";
76   MLIRContext context;
77   registerAllDialects(context.getDialectRegistry());
78   OwningModuleRef module = parseSourceString(moduleStr, &context);
79   ASSERT_TRUE(!!module);
80   ASSERT_TRUE(succeeded(lowerToLLVMDialect(*module)));
81   auto jitOrError = ExecutionEngine::create(*module);
82   ASSERT_TRUE(!!jitOrError);
83   std::unique_ptr<ExecutionEngine> jit = std::move(jitOrError.get());
84   // The result of the function must be passed as output argument.
85   float result = -1;
86   llvm::Error error =
87       jit->invoke("foo", 43.0f, 1.0f, ExecutionEngine::result(result));
88   ASSERT_TRUE(!error);
89   ASSERT_EQ(result, 42.f);
90 }
91 
92 #endif // _WIN32
93