[MLIR][Shape] Canonicalize `assuming_all` when all operands are `cstr_eq` ops
authorFrederik Gossen <frgossen@google.com>
Fri, 9 Apr 2021 09:00:01 +0000 (11:00 +0200)
committerFrederik Gossen <frgossen@google.com>
Fri, 9 Apr 2021 09:49:29 +0000 (11:49 +0200)
commit79d12ded535b14e9af242944a588da7cea1202c7
tree9e87e19cfd1388943dce447d99925afdc5f1cc2f
parent735eac7c0bffd1c6ef0b92987bf72ff36cac9d11
[MLIR][Shape] Canonicalize `assuming_all` when all operands are `cstr_eq` ops

Differential Revision: https://reviews.llvm.org/D100104
mlir/lib/Dialect/Shape/IR/Shape.cpp
mlir/test/Dialect/Shape/canonicalize.mlir