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
|
//===- PatternBenefit.cpp - RewritePattern benefit 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/OwningOpRef.h"
#include "mlir/IR/PatternMatch.h"
#include "mlir/Rewrite/PatternApplicator.h"
#include "gtest/gtest.h"
using namespace mlir;
namespace {
TEST(PatternBenefitTest, BenefitOrder) {
// There was a bug which caused low-benefit op-specific patterns to never be
// called in presence of high-benefit op-agnostic pattern
MLIRContext context;
OpBuilder builder(&context);
OwningOpRef<ModuleOp> module = ModuleOp::create(builder.getUnknownLoc());
struct Pattern1 : public OpRewritePattern<ModuleOp> {
Pattern1(mlir::MLIRContext *context, bool *called)
: OpRewritePattern<ModuleOp>(context, /*benefit*/ 1), called(called) {}
llvm::LogicalResult
matchAndRewrite(ModuleOp /*op*/,
mlir::PatternRewriter & /*rewriter*/) const override {
*called = true;
return failure();
}
private:
bool *called;
};
struct Pattern2 : public RewritePattern {
Pattern2(MLIRContext *context, bool *called)
: RewritePattern(MatchAnyOpTypeTag(), /*benefit=*/2, context),
called(called) {}
llvm::LogicalResult
matchAndRewrite(Operation * /*op*/,
mlir::PatternRewriter & /*rewriter*/) const override {
*called = true;
return failure();
}
private:
bool *called;
};
RewritePatternSet patterns(&context);
bool called1 = false;
bool called2 = false;
patterns.add<Pattern1>(&context, &called1);
patterns.add<Pattern2>(&context, &called2);
FrozenRewritePatternSet frozenPatterns(std::move(patterns));
PatternApplicator pa(frozenPatterns);
pa.applyDefaultCostModel();
PatternRewriter rewriter(&context);
(void)pa.matchAndRewrite(*module, rewriter);
EXPECT_TRUE(called1);
EXPECT_TRUE(called2);
}
} // namespace
|
