[Mlir-commits] [mlir] [mlir][dataflow] Fix for integer range analysis propagation bug (PR #93199)

[Spenser Bauman]

sabauma wrote:

@krzysz00 I've applied the suggested changes. Extending the interface resulted in a much cleaner design and I was able to revert most of the surgery done to the dialects using the `InferIntRangeInterface`.

> Provide a new method, possibly with the same name (or if not, something like inferResultRangesFromOptional) that takes ArrayRef<std::optional<ConstantIntRanges>> instead of ArrayRef<ConstantIntRanges>

I was not able to use the same name overloaded on different input types. This seems to be a limitation of the interface system.

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