[MLIR][Shape] Canonicalize subsequent `index_to_size` and `size_to_index`
authorFrederik Gossen <frgossen@google.com>
Fri, 19 Jun 2020 14:25:10 +0000 (14:25 +0000)
committerFrederik Gossen <frgossen@google.com>
Thu, 25 Jun 2020 12:02:49 +0000 (12:02 +0000)
commitbf2a4f3b3a0b31ce6cb5a031e696d3061e1e1160
treedb06d56e3fc328c067ef508bc9557003b6e1a9a2
parent03b902752e377e18f0cb10742df249bc855e00ec
[MLIR][Shape] Canonicalize subsequent `index_to_size` and `size_to_index`

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

Differential Revision: https://reviews.llvm.org/D82082
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