[mlir][MemRef] Move the forwarding patterns for `extract_strided_metadata`
authorQuentin Colombet <quentin.colombet@gmail.com>
Wed, 12 Oct 2022 00:53:52 +0000 (00:53 +0000)
committerQuentin Colombet <quentin.colombet@gmail.com>
Tue, 18 Oct 2022 22:34:50 +0000 (22:34 +0000)
commit98c529652af413eba8df34642613ca5a0e87e52c
treeb571405385b33d7e5d707640af3c2c58be21bbcf
parent25bac38a02e3d43a16282d66c38084bcd553c9b5
[mlir][MemRef] Move the forwarding patterns for `extract_strided_metadata`

The `SimplifyExtractStridedMetadata` pass features a pattern that forward
statically known information (offset, sizes, strides) to their respective
users.

This patch moves this pattern from this pass to the
`extract_strided_metadata` folding patterns.

Differential Revision: https://reviews.llvm.org/D135797
mlir/include/mlir/Dialect/MemRef/IR/MemRefOps.td
mlir/lib/Dialect/MemRef/IR/MemRefOps.cpp
mlir/lib/Dialect/MemRef/Transforms/SimplifyExtractStridedMetadata.cpp
mlir/test/Dialect/MemRef/canonicalize.mlir
mlir/test/Dialect/MemRef/simplify-extract-strided-metadata.mlir