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

[Mehdi Amini]

joker-eph wrote:

I would really rather phase this out and move entirely away from this pattern. This was tried a long time ago and we quickly realized all the drawbacks. Seems like a lack of socialization around this led to more of this sneaking in the codebase over time.

**If** we want to optimize for operands that are either constants of value, then we should design a solution in the core infrastructure to provide first class support for it so that we have consistent API and uniform handling of what is today OpFoldResult. However this would only address it as an "optimization", but wouldn't  help with verifier (the "optimization" shouldn't affect the behavior).

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