[MLIR][Shape] Canonicalize subsequent `size_to_index` and `index_to_size`
authorFrederik Gossen <frgossen@google.com>
Thu, 25 Jun 2020 11:59:19 +0000 (11:59 +0000)
committerFrederik Gossen <frgossen@google.com>
Thu, 25 Jun 2020 12:43:17 +0000 (12:43 +0000)
commit66e0f66d8ffb9d889ccb3a411c2d1e04a5e0ec41
treec6e7c62f09c3bc2bd4f4e6b711b28852df08f137
parent32ea3397bec820f98f0b77ca37244142ce700207
[MLIR][Shape] Canonicalize subsequent `size_to_index` and `index_to_size`

Eliminate the subsequent applications of `size_to_index` and `index_to_size`.

Differential Revision: https://reviews.llvm.org/D82083
mlir/include/mlir/Dialect/Shape/IR/ShapeOps.td
mlir/lib/Dialect/Shape/IR/Shape.cpp
mlir/lib/Dialect/Shape/IR/ShapeCanonicalization.td
mlir/test/Dialect/Shape/canonicalize.mlir