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

[Ming Yan]

NexMing wrote:

> Ok so it could be enforced in the verifier. We are experiencing with some FIR to MemRef passes and Fir represents the dynamic size as `-1` where MemRef represents it as `std::numeric_limits<int64_t>::min()`. So I guess we need to align our representation.

Why not directly use the `ShapedType::kDynamic` dynamic size type? If you also cannot determine the current dynamic size at runtime, I suggest using the `ub.poison` value to represent it.

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