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
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
|
//===---- Query.cpp - -----------------------------------------------------===//
//
// 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
//
//===----------------------------------------------------------------------===//
#include "mlir/Query/Query.h"
#include "QueryParser.h"
#include "mlir/Dialect/Func/IR/FuncOps.h"
#include "mlir/IR/IRMapping.h"
#include "mlir/Query/Matcher/MatchFinder.h"
#include "mlir/Query/QuerySession.h"
#include "llvm/Support/SourceMgr.h"
#include "llvm/Support/raw_ostream.h"
namespace mlir::query {
QueryRef parse(llvm::StringRef line, const QuerySession &qs) {
return QueryParser::parse(line, qs);
}
std::vector<llvm::LineEditor::Completion>
complete(llvm::StringRef line, size_t pos, const QuerySession &qs) {
return QueryParser::complete(line, pos, qs);
}
static void printMatch(llvm::raw_ostream &os, QuerySession &qs, Operation *op,
const std::string &binding) {
auto fileLoc = op->getLoc()->findInstanceOf<FileLineColLoc>();
auto smloc = qs.getSourceManager().FindLocForLineAndColumn(
qs.getBufferId(), fileLoc.getLine(), fileLoc.getColumn());
qs.getSourceManager().PrintMessage(os, smloc, llvm::SourceMgr::DK_Note,
"\"" + binding + "\" binds here");
}
// TODO: Extract into a helper function that can be reused outside query
// context.
static Operation *extractFunction(std::vector<Operation *> &ops,
MLIRContext *context,
llvm::StringRef functionName) {
context->loadDialect<func::FuncDialect>();
OpBuilder builder(context);
// Collect data for function creation
std::vector<Operation *> slice;
std::vector<Value> values;
std::vector<Type> outputTypes;
for (auto *op : ops) {
// Return op's operands are propagated, but the op itself isn't needed.
if (!isa<func::ReturnOp>(op))
slice.push_back(op);
// All results are returned by the extracted function.
outputTypes.insert(outputTypes.end(), op->getResults().getTypes().begin(),
op->getResults().getTypes().end());
// Track all values that need to be taken as input to function.
values.insert(values.end(), op->getOperands().begin(),
op->getOperands().end());
}
// Create the function
FunctionType funcType =
builder.getFunctionType(TypeRange(ValueRange(values)), outputTypes);
auto loc = builder.getUnknownLoc();
func::FuncOp funcOp = func::FuncOp::create(loc, functionName, funcType);
builder.setInsertionPointToEnd(funcOp.addEntryBlock());
// Map original values to function arguments
IRMapping mapper;
for (const auto &arg : llvm::enumerate(values))
mapper.map(arg.value(), funcOp.getArgument(arg.index()));
// Clone operations and build function body
std::vector<Operation *> clonedOps;
std::vector<Value> clonedVals;
for (Operation *slicedOp : slice) {
Operation *clonedOp =
clonedOps.emplace_back(builder.clone(*slicedOp, mapper));
clonedVals.insert(clonedVals.end(), clonedOp->result_begin(),
clonedOp->result_end());
}
// Add return operation
builder.create<func::ReturnOp>(loc, clonedVals);
// Remove unused function arguments
size_t currentIndex = 0;
while (currentIndex < funcOp.getNumArguments()) {
if (funcOp.getArgument(currentIndex).use_empty())
funcOp.eraseArgument(currentIndex);
else
++currentIndex;
}
return funcOp;
}
Query::~Query() = default;
LogicalResult InvalidQuery::run(llvm::raw_ostream &os, QuerySession &qs) const {
os << errStr << "\n";
return mlir::failure();
}
LogicalResult NoOpQuery::run(llvm::raw_ostream &os, QuerySession &qs) const {
return mlir::success();
}
LogicalResult HelpQuery::run(llvm::raw_ostream &os, QuerySession &qs) const {
os << "Available commands:\n\n"
" match MATCHER, m MATCHER "
"Match the mlir against the given matcher.\n"
" quit "
"Terminates the query session.\n\n";
return mlir::success();
}
LogicalResult QuitQuery::run(llvm::raw_ostream &os, QuerySession &qs) const {
qs.terminate = true;
return mlir::success();
}
LogicalResult MatchQuery::run(llvm::raw_ostream &os, QuerySession &qs) const {
Operation *rootOp = qs.getRootOp();
int matchCount = 0;
std::vector<Operation *> matches =
matcher::MatchFinder().getMatches(rootOp, matcher);
// An extract call is recognized by considering if the matcher has a name.
// TODO: Consider making the extract more explicit.
if (matcher.hasFunctionName()) {
auto functionName = matcher.getFunctionName();
Operation *function =
extractFunction(matches, rootOp->getContext(), functionName);
os << "\n" << *function << "\n\n";
function->erase();
return mlir::success();
}
os << "\n";
for (Operation *op : matches) {
os << "Match #" << ++matchCount << ":\n\n";
// Placeholder "root" binding for the initial draft.
printMatch(os, qs, op, "root");
}
os << matchCount << (matchCount == 1 ? " match.\n\n" : " matches.\n\n");
return mlir::success();
}
} // namespace mlir::query
|
