[NFC][mlir][MemRef] Make use of InferTypeOpInterface
authorQuentin Colombet <quentin.colombet@gmail.com>
Tue, 11 Oct 2022 20:53:25 +0000 (20:53 +0000)
committerQuentin Colombet <quentin.colombet@gmail.com>
Fri, 14 Oct 2022 18:49:37 +0000 (18:49 +0000)
commit657f68b1f2fd38deb63c23d8f46d12b7fd357e63
tree16339cf5c07b5370d88eac218bd9b9bc52af6b32
parent71a9b8833231a285b4d8d5587c699ed45881624b
[NFC][mlir][MemRef] Make use of InferTypeOpInterface

The `InferTypeOpInterface` generates builders for things it can infer
the types.
Thanks to that interface we can:
- Eliminate a builder for DimOp, and
- Describe how to infer the result types of `extract_strided_metadata`
  from its source, and get a simpler builder as a result

NFC

Differential Revision: https://reviews.llvm.org/D135734
mlir/include/mlir/Dialect/MemRef/IR/MemRef.h
mlir/include/mlir/Dialect/MemRef/IR/MemRefOps.td
mlir/lib/Dialect/MemRef/IR/MemRefOps.cpp
mlir/lib/Dialect/MemRef/Transforms/SimplifyExtractStridedMetadata.cpp