@@ -7,7 +7,9 @@ Up until now, we were applying transform dialect scripts under the assumption
7
7
that specific payload operations are identified by the caller when the transform
8
8
dialect interpreter is invoked. This may be seen as contrary to the idea of
9
9
driving transformations from a dialect since the transformation targets must be
10
- identified by the caller in C++. It also adds practical overhead due to
10
+ identified through mechanisms external to the transform dialect interpreter, for
11
+ example, when invoking the interpreter programmatically in C++ or through pass
12
+ arguments as seen in previous chapters. It also adds practical overhead due to
11
13
increased interaction with the interpreter in C++, and cognitive overhead of
12
14
manipulating two interfaces at once. To remedy this, Transform dialect proposes
13
15
a subset of operations for _ matching_ payload operations that need to be
@@ -24,8 +26,9 @@ directly within the transform dialect.
24
26
25
27
## Simple match
26
28
27
- Let us reconsider the “fully connected layer” example from Chapter 1, reproduced
28
- below for convenience.
29
+ Let us reconsider the “fully connected layer” example from [ Chapter
30
+ 1] ( Ch1.md#chaining-transformations-with-handles ) , reproduced below for
31
+ convenience.
29
32
30
33
31
34
``` mlir
@@ -123,12 +126,12 @@ module @transforms attributes { transform.with_named_sequence } {
123
126
124
127
This script can be executed using the non-test interpreter pass running on the
125
128
root operation of the translation unit without additional flags: `mlir-opt
126
- --transform-interpreter`. It will emit corresponding remarks at elementwise and
127
- matmul operations. In debug builds, the infrastructure provides a convenient
128
- method to understand the matching process by passing
129
- ` -debug-only=transform-matcher ` to ` mlir-opt ` or a derived tool. It will print
130
- the silenceable failure messages produced by the match operations into the debug
131
- stream, for example:
129
+ --transform-interpreter`. It will emit corresponding remarks at
130
+ ` linalg.elemwise_binary ` and ` linalg. matmul` operations. In debug builds, the
131
+ infrastructure provides a convenient method to understand the matching process
132
+ by passing ` -debug-only=transform-matcher ` to ` mlir-opt ` or a derived tool. It
133
+ will print the silenceable failure messages produced by the match operations
134
+ into the debug stream, for example:
132
135
133
136
134
137
```
0 commit comments