1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
//===- TestFromLLVMIRTranslation.cpp - Import Test dialect from LLVM IR ---===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// This file implements a translation between LLVM IR and the MLIR Test dialect.
//
//===----------------------------------------------------------------------===//
#include "TestDialect.h"
#include "TestOps.h"
#include "mlir/Dialect/LLVMIR/LLVMDialect.h"
#include "mlir/IR/Builders.h"
#include "mlir/IR/BuiltinAttributes.h"
#include "mlir/IR/BuiltinOps.h"
#include "mlir/Support/LLVM.h"
#include "mlir/Target/LLVMIR/Dialect/LLVMIR/LLVMIRToLLVMTranslation.h"
#include "mlir/Target/LLVMIR/Import.h"
#include "mlir/Target/LLVMIR/ModuleImport.h"
#include "mlir/Tools/mlir-translate/Translation.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/Module.h"
#include "llvm/IR/Verifier.h"
#include "llvm/IRReader/IRReader.h"
#include "llvm/Support/SourceMgr.h"
using namespace mlir;
using namespace test;
static ArrayRef<unsigned> getSupportedInstructionsImpl() {
static unsigned instructions[] = {llvm::Instruction::Load};
return instructions;
}
static LogicalResult convertLoad(OpBuilder &builder, llvm::Instruction *inst,
ArrayRef<llvm::Value *> llvmOperands,
LLVM::ModuleImport &moduleImport) {
FailureOr<Value> addr = moduleImport.convertValue(llvmOperands[0]);
if (failed(addr))
return failure();
// Create the LoadOp
Value loadOp = LLVM::LoadOp::create(
builder, moduleImport.translateLoc(inst->getDebugLoc()),
moduleImport.convertType(inst->getType()), *addr);
moduleImport.mapValue(inst) = SameOperandElementTypeOp::create(
builder, loadOp.getLoc(), loadOp.getType(), loadOp, loadOp);
return success();
}
namespace {
class TestDialectLLVMImportDialectInterface
: public LLVMImportDialectInterface {
public:
using LLVMImportDialectInterface::LLVMImportDialectInterface;
LogicalResult
convertInstruction(OpBuilder &builder, llvm::Instruction *inst,
ArrayRef<llvm::Value *> llvmOperands,
LLVM::ModuleImport &moduleImport) const override {
switch (inst->getOpcode()) {
case llvm::Instruction::Load:
return convertLoad(builder, inst, llvmOperands, moduleImport);
default:
break;
}
return failure();
}
ArrayRef<unsigned> getSupportedInstructions() const override {
return getSupportedInstructionsImpl();
}
};
} // namespace
namespace mlir {
void registerTestFromLLVMIR() {
TranslateToMLIRRegistration registration(
"test-import-llvmir", "test dialect from LLVM IR",
[](llvm::SourceMgr &sourceMgr,
MLIRContext *context) -> OwningOpRef<Operation *> {
llvm::SMDiagnostic err;
llvm::LLVMContext llvmContext;
std::unique_ptr<llvm::Module> llvmModule =
llvm::parseIR(*sourceMgr.getMemoryBuffer(sourceMgr.getMainFileID()),
err, llvmContext);
if (!llvmModule) {
std::string errStr;
llvm::raw_string_ostream errStream(errStr);
err.print(/*ProgName=*/"", errStream);
emitError(UnknownLoc::get(context)) << errStream.str();
return {};
}
if (llvm::verifyModule(*llvmModule, &llvm::errs()))
return nullptr;
return translateLLVMIRToModule(std::move(llvmModule), context, false);
},
[](DialectRegistry ®istry) {
registry.insert<DLTIDialect>();
registry.insert<test::TestDialect>();
registerLLVMDialectImport(registry);
registry.addExtension(
+[](MLIRContext *ctx, test::TestDialect *dialect) {
dialect->addInterfaces<TestDialectLLVMImportDialectInterface>();
});
});
}
} // namespace mlir
|
