[Mlir-commits] [mlir] [mlir][memref] Canonicalize memref.reinterpret_cast when offset/sizes/strides are constants. (PR #163505)

[Valentin Clement バレンタイン クレメン]

clementval wrote:

This is verifiable. The value comes from a constant so it can be checked in the verifier. 

> The size of a dimension - even a dynamic one - should always be nonnegative?

Dynamic size is defined by a negative value `std::numeric_limits<int64_t>::min()` in ShapedType. 

https://github.com/llvm/llvm-project/pull/163505