[Mlir-commits] [mlir] [mlir][spirv] Convert `bf16` to `spirv` as a `i16` (PR #76114)

[Jakub Kuderski]

https://github.com/kuhar commented:

I don't have much context on the state of bf16 in the codebase, but does it do anything meaningful after we convert it to i16 in the SPIR-V type converter?

I'd think that we end up in a situation where we have something like `arith.addf %x, %y : bf16` that flows into spir-v conversion patterns as `arith.addf %x, %y : i16` via the adaptor but nothing in the conversion pattern expects integer types and we and up generating something that doesn't typecheck and fails to verify, or crashes when we assume fp types.

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