[Mlir-commits] [mlir] [MLIR][Arith] SelectOp fix invalid folding (PR #117555)

[Mehdi Amini]

joker-eph wrote:

> The pattern select %x, true, false => %x is only valid in case that the return type is identical to the type of %x (i.e., i1). Hence, the check isInteger(1) was replaced with isSignlessInteger(1).


Can we still replace by a bitcast when the types are different?

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