[llvm-branch-commits] [mlir] [mlir][LLVM] Verify that constant attribute and result types match (PR #218887)

[Christian Ulmann via llvm-branch-commits]

Dinistro wrote:

> I wished we'd actually implement an exact matching for the SSA value type and the attribute type though (which the PR title seemed to imply)

That will need much deeper changes to LLVM Dialect first. The exceptions added for non-integer types and some of the array types cannot easily be resolved at the moment. I'll try to find a better PR title, though

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