[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.

What a coincidence — I am also working on the FIR to standard MLIR conversion.
I have already started experimenting, and preliminary results can be seen in my repository: https://github.com/NexMing/llvm-project/tree/dev/fir-to-mlir
I plan to push it to the main pipeline soon.

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