krzysz00 wrote: Yeah, having slept on it, sending negative numbers to 0 / 2^-127 makes sense, mostly because it's very weird for truncf to mess with the ordering between floats https://github.com/llvm/llvm-project/pull/140332