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
|
//===- MemRefToEmitC.cpp - MemRef to EmitC conversion ---------------------===//
//
// 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 pass to convert memref ops into emitc ops.
//
//===----------------------------------------------------------------------===//
#include "mlir/Conversion/MemRefToEmitC/MemRefToEmitCPass.h"
#include "mlir/Conversion/MemRefToEmitC/MemRefToEmitC.h"
#include "mlir/Dialect/EmitC/IR/EmitC.h"
#include "mlir/Dialect/MemRef/IR/MemRef.h"
#include "mlir/IR/Attributes.h"
#include "mlir/Pass/Pass.h"
#include "mlir/Transforms/DialectConversion.h"
#include "llvm/ADT/SmallSet.h"
#include "llvm/ADT/StringRef.h"
namespace mlir {
#define GEN_PASS_DEF_CONVERTMEMREFTOEMITC
#include "mlir/Conversion/Passes.h.inc"
} // namespace mlir
using namespace mlir;
namespace {
emitc::IncludeOp addStandardHeader(OpBuilder &builder, ModuleOp module,
StringRef headerName) {
StringAttr includeAttr = builder.getStringAttr(headerName);
return emitc::IncludeOp::create(
builder, module.getLoc(), includeAttr,
/*is_standard_include=*/builder.getUnitAttr());
}
struct ConvertMemRefToEmitCPass
: public impl::ConvertMemRefToEmitCBase<ConvertMemRefToEmitCPass> {
using Base::Base;
void runOnOperation() override {
TypeConverter converter;
ConvertMemRefToEmitCOptions options;
options.lowerToCpp = this->lowerToCpp;
// Fallback for other types.
converter.addConversion([](Type type) -> std::optional<Type> {
if (!emitc::isSupportedEmitCType(type))
return {};
return type;
});
populateMemRefToEmitCTypeConversion(converter);
RewritePatternSet patterns(&getContext());
populateMemRefToEmitCConversionPatterns(patterns, converter);
ConversionTarget target(getContext());
target.addIllegalDialect<memref::MemRefDialect>();
target.addLegalDialect<emitc::EmitCDialect>();
if (failed(applyPartialConversion(getOperation(), target,
std::move(patterns))))
return signalPassFailure();
mlir::ModuleOp module = getOperation();
llvm::SmallSet<StringRef, 4> existingHeaders;
mlir::OpBuilder builder(module.getBody(), module.getBody()->begin());
module.walk([&](mlir::emitc::IncludeOp includeOp) {
if (includeOp.getIsStandardInclude())
existingHeaders.insert(includeOp.getInclude());
});
module.walk([&](mlir::emitc::CallOpaqueOp callOp) {
StringRef expectedHeader;
if (callOp.getCallee() == alignedAllocFunctionName ||
callOp.getCallee() == mallocFunctionName)
expectedHeader = options.lowerToCpp ? cppStandardLibraryHeader
: cStandardLibraryHeader;
else if (callOp.getCallee() == memcpyFunctionName)
expectedHeader =
options.lowerToCpp ? cppStringLibraryHeader : cStringLibraryHeader;
else
return mlir::WalkResult::advance();
if (!existingHeaders.contains(expectedHeader)) {
addStandardHeader(builder, module, expectedHeader);
existingHeaders.insert(expectedHeader);
}
return mlir::WalkResult::advance();
});
}
};
} // namespace
|
