23aa5a7446
The last remaining operations in the standard dialect all revolve around FuncOp/function related constructs. This patch simply handles the initial renaming (which by itself is already huge), but there are a large number of cleanups unlocked/necessary afterwards: * Removing a bunch of unnecessary dependencies on Func * Cleaning up the From/ToStandard conversion passes * Preparing for the move of FuncOp to the Func dialect See the discussion at https://discourse.llvm.org/t/standard-dialect-the-final-chapter/6061 Differential Revision: https://reviews.llvm.org/D120624
60 lines
2.0 KiB
Python
60 lines
2.0 KiB
Python
# RUN: %PYTHON %s | FileCheck %s
|
|
|
|
from mlir.ir import *
|
|
import mlir.dialects.builtin as builtin
|
|
import mlir.dialects.func as func
|
|
import mlir.dialects.vector as vector
|
|
|
|
def run(f):
|
|
print("\nTEST:", f.__name__)
|
|
with Context(), Location.unknown():
|
|
f()
|
|
return f
|
|
|
|
# CHECK-LABEL: TEST: testPrintOp
|
|
@run
|
|
def testPrintOp():
|
|
module = Module.create()
|
|
with InsertionPoint(module.body):
|
|
|
|
@builtin.FuncOp.from_py_func(VectorType.get((12, 5), F32Type.get()))
|
|
def print_vector(arg):
|
|
return vector.PrintOp(arg)
|
|
|
|
# CHECK-LABEL: func @print_vector(
|
|
# CHECK-SAME: %[[ARG:.*]]: vector<12x5xf32>) {
|
|
# CHECK: vector.print %[[ARG]] : vector<12x5xf32>
|
|
# CHECK: return
|
|
# CHECK: }
|
|
print(module)
|
|
|
|
|
|
# CHECK-LABEL: TEST: testTransferReadOp
|
|
@run
|
|
def testTransferReadOp():
|
|
module = Module.create()
|
|
with InsertionPoint(module.body):
|
|
vector_type = VectorType.get([2, 3], F32Type.get())
|
|
memref_type = MemRefType.get([-1, -1], F32Type.get())
|
|
index_type = IndexType.get()
|
|
mask_type = VectorType.get(vector_type.shape, IntegerType.get_signless(1))
|
|
identity_map = AffineMap.get_identity(vector_type.rank)
|
|
identity_map_attr = AffineMapAttr.get(identity_map)
|
|
f = builtin.FuncOp("transfer_read",
|
|
([memref_type, index_type,
|
|
F32Type.get(), mask_type], []))
|
|
with InsertionPoint(f.add_entry_block()):
|
|
A, zero, padding, mask = f.arguments
|
|
vector.TransferReadOp(vector_type, A, [zero, zero], identity_map_attr,
|
|
padding, mask, None)
|
|
vector.TransferReadOp(vector_type, A, [zero, zero], identity_map_attr,
|
|
padding, None, None)
|
|
func.ReturnOp([])
|
|
|
|
# CHECK: @transfer_read(%[[MEM:.*]]: memref<?x?xf32>, %[[IDX:.*]]: index,
|
|
# CHECK: %[[PAD:.*]]: f32, %[[MASK:.*]]: vector<2x3xi1>)
|
|
# CHECK: vector.transfer_read %[[MEM]][%[[IDX]], %[[IDX]]], %[[PAD]], %[[MASK]]
|
|
# CHECK: vector.transfer_read %[[MEM]][%[[IDX]], %[[IDX]]], %[[PAD]]
|
|
# CHECK-NOT: %[[MASK]]
|
|
print(module)
|