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
|
# RUN: %PYTHON %s | FileCheck %s
from mlir.ir import *
from mlir.dialects import transform
from mlir.dialects import pdl
from mlir.dialects.transform import loop
def run(f):
with Context(), Location.unknown():
module = Module.create()
with InsertionPoint(module.body):
print("\nTEST:", f.__name__)
f()
print(module)
return f
@run
def loopOutline():
sequence = transform.SequenceOp(
transform.FailurePropagationMode.Propagate,
[],
transform.OperationType.get("scf.for"),
)
with InsertionPoint(sequence.body):
loop.LoopOutlineOp(
transform.AnyOpType.get(),
transform.AnyOpType.get(),
sequence.bodyTarget,
func_name="foo",
)
transform.YieldOp()
# CHECK-LABEL: TEST: loopOutline
# CHECK: = transform.loop.outline %
# CHECK: func_name = "foo"
@run
def loopPeel():
sequence = transform.SequenceOp(
transform.FailurePropagationMode.Propagate,
[],
transform.OperationType.get("scf.for"),
)
with InsertionPoint(sequence.body):
loop.LoopPeelOp(transform.AnyOpType.get(), transform.AnyOpType.get(), sequence.bodyTarget)
transform.YieldOp()
# CHECK-LABEL: TEST: loopPeel
# CHECK: = transform.loop.peel %
@run
def loopPeel_peel_front():
sequence = transform.SequenceOp(
transform.FailurePropagationMode.Propagate,
[],
transform.OperationType.get("scf.for"),
)
with InsertionPoint(sequence.body):
loop.LoopPeelOp(
transform.AnyOpType.get(),
transform.AnyOpType.get(),
sequence.bodyTarget,
peel_front=True,
)
transform.YieldOp()
# CHECK-LABEL: TEST: loopPeel_peel_front
# CHECK: = transform.loop.peel %[[ARG0:.*]] {peel_front = true}
@run
def loopPipeline():
sequence = transform.SequenceOp(
transform.FailurePropagationMode.Propagate,
[],
transform.OperationType.get("scf.for"),
)
with InsertionPoint(sequence.body):
loop.LoopPipelineOp(
pdl.OperationType.get(), sequence.bodyTarget, iteration_interval=3
)
transform.YieldOp()
# CHECK-LABEL: TEST: loopPipeline
# CHECK: = transform.loop.pipeline %
# CHECK-DAG: iteration_interval = 3
# (read_latency has default value and is not printed)
@run
def loopUnroll():
sequence = transform.SequenceOp(
transform.FailurePropagationMode.Propagate,
[],
transform.OperationType.get("scf.for"),
)
with InsertionPoint(sequence.body):
loop.LoopUnrollOp(sequence.bodyTarget, factor=42)
transform.YieldOp()
# CHECK-LABEL: TEST: loopUnroll
# CHECK: transform.loop.unroll %
# CHECK: factor = 42
|
