[Mlir-commits] [mlir] [mlir][DLTI] Introduce an operation interface for scoped DLTI queries (PR #222776)

[Renato Golin]

rengolin wrote:

Thanks @joker-eph, it's about time we revamp DLTI and start using it more extensively. We did discuss similar strategies last year, but with the number of use cases small, there was no appetite (upstream) for larger changes.

Concerns we had were mainly how to keep the DLTI representation and the Op queries in sync, for example, across lowering. How do the new ops know what to query in the right depth? How do I annotate multiple ops of the same type that happens to have received (stored in DLTI) _different_ properties?

I think we need to go over a few examples and see if this strategy matches them. It's good to have new folks looking at this, so we can create infra that can be used across all dialects.

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