Are the correct semantics instead (llvm.maximum undef, %x) -> %x ?
NaNs are one of the bigger parts of IEEE754 that make me wish posits could take over...
NaNs are one of the bigger parts of IEEE754 that make me wish posits could take over...
Also, we are seeing the first papers trying to do numerical analysis of posit computations and... it is not better than IEEE-754, just different. Probably a better default for 16 bits arithmetic but highly debatable otherwise.
I personally think perhaps having two kinds of float/double, one for arithmetics, with full IEEE754-compliant semantics, and another for general-purpose code, where NaNs would be just normal values that you can compare with themselves and get "true", would make sense.