[committed] libstdc++: Support VAX floats in std::strong_order
Thu Mar 10 17:46:12 GMT 2022
> On Mar 10, 2022, at 9:27 AM, Jonathan Wakely via Gcc-patches <firstname.lastname@example.org> wrote:
> On Thu, 10 Mar 2022 at 12:16, Jonathan Wakely wrote:
>> On Thu, 10 Mar 2022 at 11:53, Jonathan Wakely via Libstdc++
>> <email@example.com> wrote:
>>> Tested x86_64-linux, and basic soundness check on vax-dec-netbsdelf.
>> But apparently not enough of a soundness check, because
>> isnan(__builtin_nan("")) is true for VAX, so GCC seems to have a NaN
>> pattern, despite what I read online about the format.
VAX float has signalling NaN, but not a non-signalling NaN nor an Inf. See the VAX architecture manual. Signalling NaN (called "reserved operand") is encoded as sign=1 and exponent=0.
More information about the Libstdc++