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

Krzysztof Drewniak llvmlistbot at llvm.org
Thu May 23 08:15:01 PDT 2024


krzysz00 wrote:

Re that check, I *think* the point was to prevent having to create fake constant ranges for non-integer inputs.

I think the right solution would be to change the interface from `ArrayRef<ConstantIntRanges>` to something like `ArrayRef<optional<ConstantIntRanges>>` 

Or we could fake things by, for example, declaring non-integers to be zero-width, for instance.

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


More information about the Mlir-commits mailing list