matthias-springer 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? https://github.com/llvm/llvm-project/pull/206407