[Mlir-commits] [mlir] [mlir][arith] Fix SelectOp unsafe int range inference with unfinalized range case (PR #173716)

[Krzysztof Drewniak]

krzysz00 wrote:

That `nvptx` op should be defaulting to max range, not unitialized.

However, I'd also like to flag the https://github.com/llvm/llvm-project/issues/119045 / https://github.com/llvm/llvm-project/pull/134003 chain of unfinished work, where it's been concluded that we really should go back in and add some notion of "unknown" (or "not an integer") to the lattice, instead of abusing "uninitialized" or "max range" for that since it apparently breaks some invariants in subtle ways I can't fully recall the details of

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