[Mlir-commits] [mlir] [mlir][arith] Check for valid IR in BitcastOp::fold. (PR #100743)

[Mehdi Amini]

joker-eph wrote:

> I take it that folders can generally assume that they work on valid IR, right?

I believe so. This is why you had to create a c++ unit-tests and none exists yet.

> Then BitcastOp::fold could assert that the types are cast compatible, with a message that says that the input IR is broken. 

Sure!

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