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

Spenser Bauman llvmlistbot at llvm.org
Fri May 24 03:46:29 PDT 2024


sabauma wrote:

> (Having an "intrusive" None value is the other option we could think of here ,but I can't see a way to do that to the range type, so ... yeah, optional is what it'll probably be)

@krzysz00 Another option I was considering was to rework the interfaces to take `IntegerRangeValue`. I think that might clarify the API of the interfaces a little.

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


More information about the Mlir-commits mailing list