[Mlir-commits] [mlir] [MLIR] Let matchers work on int ranges (PR #102494)

[Tobias Gysi]

gysit wrote:

> I am not opposed to it, but don't have enough data to approve. It's not clear to me what actual overhead to expect and how much benefit to expect compared to plain constant checks.

I think the only place where I could see significant overhead is if the `inferResultRange` of an operation does some non-trivial computation which if it is the case should be fixed either way.

@zero9178 do you have a preference for using InferIntResultRange vs implementing a new operation interface for this specific case. 

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