arsenm wrote: > This appears to just assert today, but interpreting this as bitcast doesn't make sense. I would expect this to emit a pair of casts, fpext to float, and fptrunc down to half If we don't just reject it as an invalid cast https://github.com/llvm/llvm-project/pull/89051