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
102
|
# RUN: %PYTHON %s | FileCheck %s
from mlir.ir import *
from mlir.dialects import transform
from mlir.dialects.transform import memref
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 testMemRefAllocaToAllocOpCompact():
sequence = transform.SequenceOp(
transform.FailurePropagationMode.Propagate,
[],
transform.OperationType.get("memref.alloca"),
)
with InsertionPoint(sequence.body):
memref.MemRefAllocaToGlobalOp(sequence.bodyTarget)
transform.YieldOp()
# CHECK-LABEL: TEST: testMemRefAllocaToAllocOpCompact
# CHECK: = transform.memref.alloca_to_global
# CHECK-SAME: (!transform.op<"memref.alloca">)
# CHECK-SAME: -> (!transform.any_op, !transform.any_op)
@run
def testMemRefAllocaToAllocOpTyped():
sequence = transform.SequenceOp(
transform.FailurePropagationMode.Propagate,
[],
transform.OperationType.get("memref.alloca"),
)
with InsertionPoint(sequence.body):
memref.MemRefAllocaToGlobalOp(
transform.OperationType.get("memref.get_global"),
transform.OperationType.get("memref.global"),
sequence.bodyTarget,
)
transform.YieldOp()
# CHECK-LABEL: TEST: testMemRefAllocaToAllocOpTyped
# CHECK: = transform.memref.alloca_to_global
# CHECK-SAME: -> (!transform.op<"memref.get_global">, !transform.op<"memref.global">)
@run
def testMemRefMultiBufferOpCompact():
sequence = transform.SequenceOp(
transform.FailurePropagationMode.Propagate,
[],
transform.OperationType.get("memref.alloc"),
)
with InsertionPoint(sequence.body):
memref.MemRefMultiBufferOp(sequence.bodyTarget, 4)
transform.YieldOp()
# CHECK-LABEL: TEST: testMemRefMultiBufferOpCompact
# CHECK: = transform.memref.multibuffer
# CHECK-SAME: factor = 4 : i64
# CHECK-SAME: (!transform.op<"memref.alloc">) -> !transform.any_op
@run
def testMemRefMultiBufferOpTyped():
sequence = transform.SequenceOp(
transform.FailurePropagationMode.Propagate,
[],
transform.OperationType.get("memref.alloc"),
)
with InsertionPoint(sequence.body):
memref.MemRefMultiBufferOp(
transform.OperationType.get("memref.alloc"), sequence.bodyTarget, 4
)
transform.YieldOp()
# CHECK-LABEL: TEST: testMemRefMultiBufferOpTyped
# CHECK: = transform.memref.multibuffer
# CHECK-SAME: factor = 4 : i64
# CHECK-SAME: (!transform.op<"memref.alloc">) -> !transform.op<"memref.alloc">
@run
def testMemRefMultiBufferOpAttributes():
sequence = transform.SequenceOp(
transform.FailurePropagationMode.Propagate,
[],
transform.OperationType.get("memref.alloc"),
)
with InsertionPoint(sequence.body):
memref.MemRefMultiBufferOp(sequence.bodyTarget, 4, skip_analysis=True)
transform.YieldOp()
# CHECK-LABEL: TEST: testMemRefMultiBufferOpAttributes
# CHECK: = transform.memref.multibuffer
# CHECK-SAME: factor = 4 : i64
# CHECK-SAME: skip_analysis
# CHECK-SAME: (!transform.op<"memref.alloc">) -> !transform.any_op
|
