https://github.com/kuhar approved this pull request. Thanks for the fixes. Look alright now, I'm still not 100% convinced that this is correct over all small fp types, but I don't have a counterexample at hand and don't want to block this. https://github.com/llvm/llvm-project/pull/128096