[Mlir-commits] [mlir] [mlir][cf] Fix APInt comparison crash in `foldSwitch` (PR #206407)

[Longsheng Mou]

CoTinker wrote:

> I see. I would not fold in that case. We may also want to improve the verifier.
> 
> ```
> %c0_i32 = llvm.mlir.constant(1 : index) : i32
> ```
> 
> Can we enforce in the verifier that the attribute type matches the result type?

I think it's feasible.

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