[Mlir-commits] [mlir] [mlir][memref] Add static_sizes attribute to memref.view (PR #183795)

[Mehdi Amini]

joker-eph wrote:

> Having a pass that verifies the static checks looks acceptable? I

Sure, but this has to be an opt-in sanitize pass, and for this you aren't bound by the "do not walk use-def- chain" anymore, and so you don't need static value as attributes.

I would like look into implementing such pass as:
- materialize runtime checks first
- run canonicalizer
- have a pass that surface all the runtime checks that are always firing.

Note: this will diagnose code that would be dynamically unreachable. 


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