AcoSail/llvm-project
8
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
7b83a1438f
llvm-project/mlir/test/mlir-tblgen/rewriter-static-matcher.td

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

56 lines
1.4 KiB
TableGen
Raw Normal View History

[mlir-tblgen] Add DagNode StaticMatcher. Some patterns may share the common DAG structures. Generate a static function to do the match logic to reduce the binary size. Reviewed By: jpienaar Differential Revision: https://reviews.llvm.org/D105797
2021-09-21 06:59:56 +08:00
// RUN: mlir-tblgen -gen-rewriters -I %S/../../include %s | FileCheck %s
include "mlir/IR/OpBase.td"
[mlir] Split out AttrDef/TypeDef and pattern constructs from OpBase.td OpBase.td has formed into a huge monolith of all ODS constructs. This commits starts to rectify that by splitting out some constructs to their own .td files. Differential Revision: https://reviews.llvm.org/D118636
2022-01-28 13:58:31 +08:00
include "mlir/IR/PatternBase.td"
[mlir-tblgen] Add DagNode StaticMatcher. Some patterns may share the common DAG structures. Generate a static function to do the match logic to reduce the binary size. Reviewed By: jpienaar Differential Revision: https://reviews.llvm.org/D105797
2021-09-21 06:59:56 +08:00
def Test_Dialect : Dialect {
let name = "test";
}
Remove OpTrait, AttrTrait and TypeTrait - Remove the `{Op,Attr,Type}Trait` TableGen classes and replace with `Trait` - Rename `OpTraitList` to `TraitList` and use it in a few places The bulk of this change is a mechanical s/OpTrait/Trait/ throughout the codebase. Reviewed By: rriddle, jpienaar, herhut Differential Revision: https://reviews.llvm.org/D118543
2022-01-30 06:30:57 +08:00
class NS_Op<string mnemonic, list<Trait> traits> :
[mlir-tblgen] Add DagNode StaticMatcher. Some patterns may share the common DAG structures. Generate a static function to do the match logic to reduce the binary size. Reviewed By: jpienaar Differential Revision: https://reviews.llvm.org/D105797
2021-09-21 06:59:56 +08:00
Op<Test_Dialect, mnemonic, traits>;
def AOp : NS_Op<"a_op", []> {
let arguments = (ins
AnyInteger:$any_integer
);
let results = (outs AnyInteger);
}
def BOp : NS_Op<"b_op", []> {
let arguments = (ins
AnyAttr: $any_attr,
AnyInteger
);
let results = (outs AnyInteger);
}
def COp : NS_Op<"c_op", []> {
let arguments = (ins
AnyAttr: $any_attr,
AnyInteger
);
let results = (outs AnyInteger);
}
// Test static matcher for duplicate DagNode
// ---
[mlir][ods] Unique attribute, successor, region constraints With `-Os` turned on, results in 2-5% binary size reduction (depends on the original binary). Without it, the binary size is essentially unchanged. Depends on D113128 Differential Revision: https://reviews.llvm.org/D113331
2021-11-12 06:08:54 +08:00
// CHECK: static ::mlir::LogicalResult [[$TYPE_CONSTRAINT:__mlir_ods_local_type_constraint.*]](
// CHECK-NEXT: {{.*::mlir::Type type}}
// CHECK: static ::mlir::LogicalResult [[$ATTR_CONSTRAINT:__mlir_ods_local_attr_constraint.*]](
// CHECK-NEXT: {{.*::mlir::Attribute attr}}
// CHECK: static ::mlir::LogicalResult [[$DAG_MATCHER:static_dag_matcher.*]](
[mlir] Fully qualify generated C++ code in RewriterGen.cpp By fully qualifying the use of any types and functions from the mlir namespace, users are not required to add using namespace mlir; into the C++ file including the Tablegen output. Differential Revision: https://reviews.llvm.org/D118767
2022-02-02 18:57:16 +08:00
// CHECK: if(::mlir::failed([[$ATTR_CONSTRAINT]]
// CHECK: if(::mlir::failed([[$TYPE_CONSTRAINT]]
[mlir-tblgen] Add DagNode StaticMatcher. Some patterns may share the common DAG structures. Generate a static function to do the match logic to reduce the binary size. Reviewed By: jpienaar Differential Revision: https://reviews.llvm.org/D105797
2021-09-21 06:59:56 +08:00
[mlir] Fully qualify generated C++ code in RewriterGen.cpp By fully qualifying the use of any types and functions from the mlir namespace, users are not required to add using namespace mlir; into the C++ file including the Tablegen output. Differential Revision: https://reviews.llvm.org/D118767
2022-02-02 18:57:16 +08:00
// CHECK: if(::mlir::failed([[$DAG_MATCHER]](rewriter, op1, tblgen_ops
[mlir-tblgen] Add DagNode StaticMatcher. Some patterns may share the common DAG structures. Generate a static function to do the match logic to reduce the binary size. Reviewed By: jpienaar Differential Revision: https://reviews.llvm.org/D105797
2021-09-21 06:59:56 +08:00
def : Pat<(AOp (BOp I32Attr:$attr, I32:$int)),
(AOp $int)>;
[mlir] Fully qualify generated C++ code in RewriterGen.cpp By fully qualifying the use of any types and functions from the mlir namespace, users are not required to add using namespace mlir; into the C++ file including the Tablegen output. Differential Revision: https://reviews.llvm.org/D118767
2022-02-02 18:57:16 +08:00
// CHECK: if(::mlir::failed([[$DAG_MATCHER]](rewriter, op1, tblgen_ops
[mlir-tblgen] Add DagNode StaticMatcher. Some patterns may share the common DAG structures. Generate a static function to do the match logic to reduce the binary size. Reviewed By: jpienaar Differential Revision: https://reviews.llvm.org/D105797
2021-09-21 06:59:56 +08:00
def : Pat<(COp $_, (BOp I32Attr:$attr, I32:$int)),
(COp $attr, $int)>;
Reference in New Issue Copy Permalink