Cross-dialect folding and canonicalization

[MaheshRavishankar]

@vinograd47

Can’t this dim and alloc issue be solved with operation interfaces? The dim folder can rely on some interface for its operand’s producer ( MemRefCreateOpInterface ?), while alloc can implement this interface. In that case dim will not depend on alloc or any other similar operations directly, but will support folding with any of them.

This is what is being attempted here ⚙ D97532 [mlir] Enhance InferShapedTypeOpInterface and move LinalgOps to use them. . Planning to land it this week.