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
|
//===- DialectConversion.cpp - Dialect conversion unit tests --------------===//
//
// 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/IR/PatternMatch.h"
#include "mlir/Parser/Parser.h"
#include "mlir/Pass/PassManager.h"
#include "mlir/Transforms/GreedyPatternRewriteDriver.h"
#include "mlir/Transforms/Passes.h"
#include "gtest/gtest.h"
using namespace mlir;
namespace {
struct DisabledPattern : public RewritePattern {
DisabledPattern(MLIRContext *context)
: RewritePattern("test.foo", /*benefit=*/0, context,
/*generatedNamed=*/{}) {
setDebugName("DisabledPattern");
}
LogicalResult matchAndRewrite(Operation *op,
PatternRewriter &rewriter) const override {
if (op->getNumResults() != 1)
return failure();
rewriter.eraseOp(op);
return success();
}
};
struct EnabledPattern : public RewritePattern {
EnabledPattern(MLIRContext *context)
: RewritePattern("test.foo", /*benefit=*/0, context,
/*generatedNamed=*/{}) {
setDebugName("EnabledPattern");
}
LogicalResult matchAndRewrite(Operation *op,
PatternRewriter &rewriter) const override {
if (op->getNumResults() == 1)
return failure();
rewriter.eraseOp(op);
return success();
}
};
struct TestDialect : public Dialect {
MLIR_DEFINE_EXPLICIT_INTERNAL_INLINE_TYPE_ID(TestDialect)
static StringRef getDialectNamespace() { return "test"; }
TestDialect(MLIRContext *context)
: Dialect(getDialectNamespace(), context, TypeID::get<TestDialect>()) {
allowUnknownOperations();
}
void getCanonicalizationPatterns(RewritePatternSet &results) const override {
results.add<DisabledPattern, EnabledPattern>(results.getContext());
}
};
TEST(CanonicalizerTest, TestDisablePatterns) {
MLIRContext context;
context.getOrLoadDialect<TestDialect>();
PassManager mgr(&context);
mgr.addPass(
createCanonicalizerPass(GreedyRewriteConfig(), {"DisabledPattern"}));
const char *const code = R"mlir(
%0:2 = "test.foo"() {sym_name = "A"} : () -> (i32, i32)
%1 = "test.foo"() {sym_name = "B"} : () -> (f32)
)mlir";
OwningOpRef<ModuleOp> module = parseSourceString<ModuleOp>(code, &context);
ASSERT_TRUE(succeeded(mgr.run(*module)));
EXPECT_TRUE(module->lookupSymbol("B"));
EXPECT_FALSE(module->lookupSymbol("A"));
}
} // end anonymous namespace
|
