From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mx0b-00154904.pphosted.com (mx0b-00154904.pphosted.com [148.163.137.20]) by sourceware.org (Postfix) with ESMTPS id 088AC3858D39; Thu, 10 Mar 2022 17:46:16 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 088AC3858D39 Received: from pps.filterd (m0170397.ppops.net [127.0.0.1]) by mx0b-00154904.pphosted.com (8.16.1.2/8.16.1.2) with ESMTP id 22ACnTco017324; Thu, 10 Mar 2022 12:46:15 -0500 Received: from mx0a-00154901.pphosted.com (mx0a-00154901.pphosted.com [67.231.149.39]) by mx0b-00154904.pphosted.com (PPS) with ESMTPS id 3eqhp61btq-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Thu, 10 Mar 2022 12:46:15 -0500 Received: from pps.filterd (m0133268.ppops.net [127.0.0.1]) by mx0a-00154901.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 22AHjFoC183149; Thu, 10 Mar 2022 12:46:14 -0500 Received: from nam11-bn8-obe.outbound.protection.outlook.com (mail-bn8nam11lp2173.outbound.protection.outlook.com [104.47.58.173]) by mx0a-00154901.pphosted.com with ESMTP id 3empc7f35u-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Thu, 10 Mar 2022 12:46:14 -0500 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=AvQK0hEJQ3wH7YusbW9S190Huq1nkkgTzY+B+CSEBSQbkVmodZuqi2C/F0ZVFrYzkqlCdTvc6nxuRnA0OovAnoM0XfwTA6OGHyB0Mv/HxWYWDank0PBT4XA1V5fz3uowuelY+CqxUW5qgwufl8it7PVDZScp0Gn/FM1yJHRYe3JlfuXITP4EpNM7DuUnd/QcmdfgNBIwit1RF6WZZnlMGunenKoOL0gZvnhoFXaFltPfQidnWf0OTckylUhQDuoDLNxXoM1xlZMWQWqb3uAHvLild2bvwgWlxPwONE06ngvRJ8lELsG9Nm9z+VZJOZkfMxn0LCuq+4huY4ZmddIt9Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=Bbj7NWHTcafQ3TP/csI4ZlX1dVliL3Iftws/wJ9SVgc=; b=PWBLvTe++7MbD4Te3wl+wrsAeLRjjORncZo61MMlVGAyb/scPPV3d5T+4yxrrD4udKG9R7IxjK75cs0ppasQqpNURRhLHkDJnf+kf7/p0hTKmr+i+SpV6Ay/wZkiwqzDbeJk7CtNHaEu3YByjczDcQVqj61yJFcwBWA0KlzuulPutY9scS1cVzZP7TxnEth1yVhbgwGlyZqUFmCXmnYKpy4qbcO6pNDMachXy74Os4F/QCbVqF9E2HJCKiqdBH/Rt7MDqBXW0YNge3IRivPDNktMrx8+uH4B1hqtqZ1IOZ+GGSbJWAM2diQefprzxsF6P1O05wx/7q7UHaVqiNtpew== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=dell.com; dmarc=pass action=none header.from=dell.com; dkim=pass header.d=dell.com; arc=none Received: from SA0PR19MB4508.namprd19.prod.outlook.com (2603:10b6:806:b8::7) by BN6PR19MB0097.namprd19.prod.outlook.com (2603:10b6:405:6a::15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5061.22; Thu, 10 Mar 2022 17:46:12 +0000 Received: from SA0PR19MB4508.namprd19.prod.outlook.com ([fe80::8484:198e:41cf:99c8]) by SA0PR19MB4508.namprd19.prod.outlook.com ([fe80::8484:198e:41cf:99c8%7]) with mapi id 15.20.5038.027; Thu, 10 Mar 2022 17:46:12 +0000 From: "Koning, Paul" To: Jonathan Wakely CC: libstdc++ , GCC Patches Subject: Re: [committed] libstdc++: Support VAX floats in std::strong_order Thread-Topic: [committed] libstdc++: Support VAX floats in std::strong_order Thread-Index: AQHYNKa7SFBfzvDiZkWAt7nEHfKvWw== Date: Thu, 10 Mar 2022 17:46:12 +0000 Message-ID: <0CD543BD-370B-431B-ABD0-414B9B7982FF@dell.com> References: <20220310115116.1716777-1-jwakely@redhat.com> In-Reply-To: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Apple Mail (2.3654.120.0.1.13) x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: f3170d91-5432-4661-7eaf-08da02bdde13 x-ms-traffictypediagnostic: BN6PR19MB0097:EE_ x-microsoft-antispam-prvs: x-exotenant: 2khUwGVqB6N9v58KS13ncyUmMJd8q4 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: Z7oHUCNgL2YtZjqBpClxCFg5Bctdc4Pz0xEoAfO2+UtFBrip3zPZzeOvQ1UZZgrN+c4cuyW+VK6m+hn1Wao33YAqRNLEwgVfdKPBoh1gghsNAFFkk5PX4vHQ77I6N7cS/0Q/kKiFtjRCztgiLgpWlJhTEE5R3Uh1BXk6EwOCHsgig4EZvI5/tlZ9maPp4lp2PMxifUeClzJDufxt1YVXCNSEdNog0eTl0fcfi4opdcDB6r11F7W7dfTxTyPsv5D6K+ZZxaHtlbBeRUY+AwDXU33iuwyk46qSbTsbfGKkAINzCHyAQ6Nr969p4nBBu8yUEIjjkcO7rs7TTuq/oaxyGVzE0CnKGMyG6BQT9KvQOQuA9XlHKn22QHMhU6FuMdsZaVMQ9ws6FWnFe78WJH4Otce7oEY210jL60xkkpSYzMGTvbc0RRHxrwuPiyFGQ1EdNY3H12VHPHU7RejEBDnYAeMv56gLYNyb39zajozQ3VEcd+T44+lxCElf1IuWSuwQvsBXFmNBbOwJGc79O9mrJ4EZzOQ7bPwjRsmnqZc5FWfRBgMuOHQL5ZPQjUkIrTMGeYdnDGqq3vC1Ojn4bn7HIcuXtM1NmSYwyYyXps51gJmJq0HIZLGD0ZtJX8PvcH46HEDc+c1aHjpfLW471cQmsds5M8Jrtb0odd4+owt/nlZdzMTlv0sqOtzDCY2QQh6FPX/FsrnRQtiM4kyoFTOtWWNDipcIUt/455WWnlJ48zqnuCmKefA4amOm4dc6TtIi x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:SA0PR19MB4508.namprd19.prod.outlook.com; PTR:; CAT:NONE; SFS:(13230001)(4636009)(366004)(6512007)(2616005)(66446008)(64756008)(38100700002)(2906002)(6506007)(122000001)(5660300002)(8936002)(4744005)(53546011)(26005)(186003)(36756003)(66556008)(66476007)(8676002)(4326008)(91956017)(66946007)(76116006)(33656002)(54906003)(6916009)(316002)(786003)(82960400001)(38070700005)(83380400001)(86362001)(508600001)(71200400001)(6486002)(45980500001); DIR:OUT; SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?yfDre2pKiDpwx8d3v3hR2GdV4dvDXXIDVxXrPBZ2kfUNHKx0TgaY2KHzgiJ2?= =?us-ascii?Q?EV7Vh8gXx6/ZPQZ7RBGJcpsFt6ZngUtgfrR+6QnVtY5JBSSx2edUQlnLcVzK?= =?us-ascii?Q?ApT3Y+pa/Wh1mpnT0PWSR6/mE5FDMYCXz0A7Wj93hMYvODe2wfHUPdREf6yU?= =?us-ascii?Q?3NrFg4XmsDPNC5tqMWuHEsDc003TDD6h+7gt4p5Ed5YPSD7RDhYcK1zEP1qF?= =?us-ascii?Q?ptVlHHodDlnufQLTb8ukt96tYC5paoJ9EHoQur3J5ADI9cC8g3iJS/TTPa/c?= =?us-ascii?Q?Ehu5nnXXhMxqpBYkIiOGSUEvEsxj5F69MrQP1SGJVAn4bGoupjoeKKWoozBQ?= =?us-ascii?Q?IeEsAZUAtSp0TPAB/4A1WLIZNv1y9QvcBage5I0IInyRJ+JhIL7xrLj3xb2i?= =?us-ascii?Q?u14GsVRvtQx7dpJG7uhRvjFDeeUuuxU1+y2g5T8iRZxJwj71PlyGyfLdmjzO?= =?us-ascii?Q?xQFyJzZxNBVJK5SkgjroIAqCVgMezz7flm96+bYHid5POHKoU7JsrOGcF9qR?= =?us-ascii?Q?+y+IKaYNvnqGxHwc065+IzPvnF9OgFJbT8QvpZhleI0che7/4JfjkgTTA3Uf?= =?us-ascii?Q?DUdcXK0bY8wZjaouamRBoXiA79Qu7A/WAzgF2b0fNzCwgq8IUmQUERUxgE5Q?= =?us-ascii?Q?WRjnQ9oC8Pr1YcUiJsmrqRD22L3ajutl5KSJyYb1IZk7oLpmg4DE3/WpT42m?= =?us-ascii?Q?SFCS6FoJJZfKko4KBIBJAayE9nEquN9dLWISS1n8G/IjO439471VTTbbePn3?= =?us-ascii?Q?TjgR6cZ/vrO0dqcb5D1VIiNOM2h/4AiV/zMdoMbZlRi+mD1A37f6epVsq7gC?= =?us-ascii?Q?6Kb6qLNyTZGkinfJLzg5qPWvpsjAq9fdfHzYx7gGJHr6dWirPxr4EiniBxsH?= =?us-ascii?Q?TAA+WGdhKMEvUef/3n5uKYUiFDMxGY9hoAlBpHbqL+BunXJVmUsd71hLGFbh?= =?us-ascii?Q?Spyv/pWh1lGYlpTsMwlCCs/VlI3jP0RqCtW4X+49RXNjXVDxYA9V8drTaGZi?= =?us-ascii?Q?wRUaWwoBetYflK3ZR9DKfm+YIYEZDQxAWSbfhjCwDJUu6+Hv1zkFDNMUdK70?= =?us-ascii?Q?I665FaqGS0oUMWPE+XIBSlEz197NukE+TWRs6NEAKb5ZyV75CgLlFsdWMlmu?= =?us-ascii?Q?ZCuKytv1rS9ggdxxEcqPOpGENwMpSaid8UtUAOeG5Q2SjcyJhrp9cMEhSZoT?= =?us-ascii?Q?0t9OC/ne7G8V8ehx3U6/ngbkoQQ1IZkEf/yB91Q4l+IKdkrbFPF4aq0IYivN?= =?us-ascii?Q?vdruQ3mvbcZnPcSNr8ukRqUbWI4vqiHq/3cN9lQKBp5SM805tB/wivx9OQ+m?= =?us-ascii?Q?f/A1nHKWWWmLQxRhoCC7ilOhGWJVVuyrqEsuzN4bTUn/316ORHsFCzJEzTUd?= =?us-ascii?Q?tpbgE06XpDUxD7Jj4xKu3+oCBjdpf2m9w/yUZutDmWCjQT0zn+iY/Yh0yd4b?= =?us-ascii?Q?83Yldg0HJqsgmu8/sfzbqhgtoxihaP/L6eN4wqfZQ4oYQYRlzpmVRg=3D=3D?= Content-Type: text/plain; charset="us-ascii" Content-ID: <4A59BA4CD0F2B94892662C8F71B68CE4@namprd19.prod.outlook.com> Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OriginatorOrg: Dell.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: SA0PR19MB4508.namprd19.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: f3170d91-5432-4661-7eaf-08da02bdde13 X-MS-Exchange-CrossTenant-originalarrivaltime: 10 Mar 2022 17:46:12.3147 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 945c199a-83a2-4e80-9f8c-5a91be5752dd X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: JiU+kbBjyS1XrxMhelpwXY3krQnfy7PUzuLX+DNL2h02D/Sqx9a+FrboRplWJ5X39lzlBp/YmLNOgoCAzy2Aow== X-MS-Exchange-Transport-CrossTenantHeadersStamped: BN6PR19MB0097 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.425, 18.0.816 definitions=2022-03-10_07:2022-03-09, 2022-03-10 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 mlxlogscore=844 bulkscore=0 phishscore=0 priorityscore=1501 adultscore=0 impostorscore=0 mlxscore=0 clxscore=1011 spamscore=0 suspectscore=0 malwarescore=0 lowpriorityscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2202240000 definitions=main-2203100093 X-Proofpoint-ORIG-GUID: lpWfnHDIXfioxIvwDbTew45f-LqPWb3t X-Proofpoint-GUID: lpWfnHDIXfioxIvwDbTew45f-LqPWb3t X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxscore=0 phishscore=0 malwarescore=0 suspectscore=0 bulkscore=0 adultscore=0 spamscore=0 mlxlogscore=999 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2202240000 definitions=main-2203100093 X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, RCVD_IN_MSPIKE_H5, RCVD_IN_MSPIKE_WL, SPF_HELO_NONE, SPF_NONE, TXREP, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-BeenThere: libstdc++@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Libstdc++ mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 10 Mar 2022 17:46:17 -0000 > On Mar 10, 2022, at 9:27 AM, Jonathan Wakely via Gcc-patches wrote: >=20 > On Thu, 10 Mar 2022 at 12:16, Jonathan Wakely wrote: >>=20 >> On Thu, 10 Mar 2022 at 11:53, Jonathan Wakely via Libstdc++ >> wrote: >>>=20 >>> Tested x86_64-linux, and basic soundness check on vax-dec-netbsdelf. >>=20 >> 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") i= s encoded as sign=3D1 and exponent=3D0. paul