[mlir] don't hardcode PDL_Operation in Transform dialect extensions
authorAlex Zinenko <zinenko@google.com>
Wed, 17 May 2023 14:01:08 +0000 (14:01 +0000)
committerAlex Zinenko <zinenko@google.com>
Wed, 17 May 2023 15:10:12 +0000 (15:10 +0000)
commit2f3ac28cb2f7fc24c6ff742af571b58419c0adaa
tree7e7fc2378356b1f414c73141d3e081cd99629eaf
parentcc1c1a55ea33e5f8278c70f1fb3b501bc07a3736
[mlir] don't hardcode PDL_Operation in Transform dialect extensions

Update operations in Transform dialect extensions defined in the Affine,
GPU, MemRef and Tensor dialects to use the more generic
`TransformHandleTypeInterface` type constraint instead of hardcoding
`PDL_Operation`. See
https://discourse.llvm.org/t/rfc-type-system-for-the-transform-dialect/65702
for motivation.

Remove the dependency on PDLDialect from these extensions.

Update tests to use `!transform.any_op` instead of `!pdl.operation`.

Reviewed By: nicolasvasilache

Differential Revision: https://reviews.llvm.org/D150781
27 files changed:
mlir/include/mlir/Dialect/Affine/TransformOps/AffineTransformOps.h
mlir/include/mlir/Dialect/Affine/TransformOps/AffineTransformOps.td
mlir/include/mlir/Dialect/Bufferization/TransformOps/BufferizationTransformOps.h
mlir/include/mlir/Dialect/Bufferization/TransformOps/BufferizationTransformOps.td
mlir/include/mlir/Dialect/GPU/TransformOps/GPUTransformOps.h
mlir/include/mlir/Dialect/GPU/TransformOps/GPUTransformOps.td
mlir/include/mlir/Dialect/MemRef/TransformOps/MemRefTransformOps.h
mlir/include/mlir/Dialect/MemRef/TransformOps/MemRefTransformOps.td
mlir/include/mlir/Dialect/Tensor/TransformOps/TensorTransformOps.h
mlir/include/mlir/Dialect/Tensor/TransformOps/TensorTransformOps.td
mlir/lib/Dialect/Affine/TransformOps/AffineTransformOps.cpp
mlir/lib/Dialect/Affine/TransformOps/CMakeLists.txt
mlir/lib/Dialect/Bufferization/TransformOps/BufferizationTransformOps.cpp
mlir/lib/Dialect/GPU/TransformOps/CMakeLists.txt
mlir/lib/Dialect/GPU/TransformOps/GPUTransformOps.cpp
mlir/lib/Dialect/MemRef/TransformOps/CMakeLists.txt
mlir/lib/Dialect/MemRef/TransformOps/MemRefTransformOps.cpp
mlir/lib/Dialect/Tensor/TransformOps/CMakeLists.txt
mlir/test/Dialect/Affine/transform-op-simplify-bounded-affine-ops.mlir
mlir/test/Dialect/Bufferization/Transforms/transform-ops.mlir
mlir/test/Dialect/GPU/transform-gpu-failing.mlir
mlir/test/Dialect/GPU/transform-gpu.mlir
mlir/test/Dialect/MemRef/extract-address-computations.mlir
mlir/test/Dialect/MemRef/make-loop-independent.mlir
mlir/test/Dialect/MemRef/transform-ops.mlir
mlir/test/Dialect/Tensor/transform-op-make-loop-independent.mlir
utils/bazel/llvm-project-overlay/mlir/BUILD.bazel