[Mlir-commits] [mlir] [mlir][arith] Add constraints to the MulIOp for preventing type mismatch while folding (PR #136093)

[Jakub Kuderski]

https://github.com/kuhar commented:

I don't get this PR -- why do we only fix this for mul folders but not other ones? It seems like this might have been merged prematurely.

Isn't the root cause that it's generally unsupported to have contants whose attribute types don't match ssa types? 

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