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

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

clementval wrote:

> The size of a memref is not permitted to be negative
> 
> Statically negative memref sizes have every right to be an error

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. 

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