[Mlir-commits] [mlir] [mlir][arith] Support bitcast with index type (PR #121455)

[Jeff Niu]

Mogball wrote:

> I think `arith.bitcast` should not be used with index type. The bitwidth is unknown, so a bitcast does not make sense. Can we improve the verifier and reject such ops? Note, there is a special `index_cast` op to convert from/to index type.

+1. A value of `index` type should be cast to a specific width, such as i32 or i64, before it can be bitcast.

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