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

[Tobias Gysi]

gysit wrote:

> I think, given how LICM works / that we can't plumb in an IntRangeAnalysis (which is something that'd make sense) this makes sense, though I wonder if we should maybe do this for signed divisions.

I agree having access to a dataflow analysis `getSpeculatability` would be an interesting feature.

I added support for signed divisions. 

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