[Mlir-commits] [mlir] add IntegerLikeTypeInterface to enable out-of-tree uses of built-in attributes that otherwise force integer types (PR #137061)

[Jeremy Kun]

j2kun wrote:

I can accept that MLIR doesn't want to support generalized integer types throughout the system. I didn't intend to imply that, but in retrospect the location and name of the interface suggested that.

I do want more than just parsing though, I want to be able to use the builtin attributes with out-of-tree types for all purposes (constant materialization, folding, etc.). Parsing is the first failure mode when trying to do this.

Would it be acceptable if we scoped the feature to "builtin attributes can use non-builtin types, when those types implement the appropriate interface?"

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