[Mlir-commits] [mlir] [mlir][linalg] Emit proper diagnostic instead of crashing in SelectOp with index type (PR #183652)

[Renato Golin]

================

----------------
rengolin wrote:

While we only have one ternary (`select`), in theory, not all ternaries are selects.

I'm not sure how useful it is to generalize this, but the current semantics is not strict to `select`.

However, here it seems that the `tail` should not consider `arg0` at all, so I'd remove this check on both `tailFloatingPoint` and `tailInteger`. Then the check below makes more sense.

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