[Mlir-commits] [mlir] [mlir] Add strided metadata range dataflow analysis (PR #161280)

[Krzysztof Drewniak]

krzysz00 wrote:

LGTM aside from maybe we can rely on non-negativity

We can also probably make all those `mul`s and `add`s be `nsw` by definition of `memref`.

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