From patchwork Thu Dec 24 02:45:52 2020 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Siddhesh Poyarekar X-Patchwork-Id: 41543 Return-Path: X-Original-To: patchwork@sourceware.org Delivered-To: patchwork@sourceware.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 19C783894C09; Thu, 24 Dec 2020 02:46:15 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 19C783894C09 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org; s=default; t=1608777975; bh=WL3vbFtBChM5XfM3SQtG4Ua91HzVVP+asnXy054kigg=; h=To:Subject:Date:List-Id:List-Unsubscribe:List-Archive:List-Post: List-Help:List-Subscribe:From:Reply-To:Cc:From; b=uCsiZU4rtbuFBNuldyL4BoFKXC5zI/bVGQCx/Eq7rvfYsqND4gGv8O8r8iWbrsjaT f6NMpwZcrew2ZttgitPj+w90suYNfLZDBH9jvRyHNJ1dvQD+4FtGWgF9cy7bYDQ59L BTi4I8KFlvTfC2NVb23H7+cPyYXQgkEtP+34JiHw= X-Original-To: libc-alpha@sourceware.org Delivered-To: libc-alpha@sourceware.org Received: from bumble.maple.relay.mailchannels.net (bumble.maple.relay.mailchannels.net [23.83.214.25]) by sourceware.org (Postfix) with ESMTPS id 98FF83857C70 for ; Thu, 24 Dec 2020 02:46:12 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 98FF83857C70 X-Sender-Id: dreamhost|x-authsender|siddhesh@gotplt.org Received: from relay.mailchannels.net (localhost [127.0.0.1]) by relay.mailchannels.net (Postfix) with ESMTP id 3795E1E0944; Thu, 24 Dec 2020 02:46:11 +0000 (UTC) Received: from pdx1-sub0-mail-a69.g.dreamhost.com (100-100-138-63.trex.outbound.svc.cluster.local [100.100.138.63]) (Authenticated sender: dreamhost) by relay.mailchannels.net (Postfix) with ESMTPA id DF9D81E19CA; Thu, 24 Dec 2020 02:46:08 +0000 (UTC) X-Sender-Id: dreamhost|x-authsender|siddhesh@gotplt.org Received: from pdx1-sub0-mail-a69.g.dreamhost.com (pop.dreamhost.com [64.90.62.162]) (using TLSv1.2 with cipher DHE-RSA-AES256-GCM-SHA384) by 0.0.0.0:2500 (trex/5.18.11); Thu, 24 Dec 2020 02:46:11 +0000 X-MC-Relay: Neutral X-MailChannels-SenderId: dreamhost|x-authsender|siddhesh@gotplt.org X-MailChannels-Auth-Id: dreamhost X-Trail-Obese: 713e22482de9252c_1608777969169_392013625 X-MC-Loop-Signature: 1608777969169:724657842 X-MC-Ingress-Time: 1608777969169 Received: from pdx1-sub0-mail-a69.g.dreamhost.com (localhost [127.0.0.1]) by pdx1-sub0-mail-a69.g.dreamhost.com (Postfix) with ESMTP id CF42688312; Wed, 23 Dec 2020 18:46:05 -0800 (PST) Received: from rhbox.intra.reserved-bit.com (unknown [1.186.101.110]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) (Authenticated sender: siddhesh@gotplt.org) by pdx1-sub0-mail-a69.g.dreamhost.com (Postfix) with ESMTPSA id 6EB7B88466; Wed, 23 Dec 2020 18:46:00 -0800 (PST) X-DH-BACKEND: pdx1-sub0-mail-a69 To: libc-alpha@sourceware.org Subject: [PATCH v3 0/2] x86 pseudo-normal numbers Date: Thu, 24 Dec 2020 08:15:52 +0530 Message-Id: <20201224024554.3579622-1-siddhesh@sourceware.org> X-Mailer: git-send-email 2.29.2 MIME-Version: 1.0 X-Spam-Status: No, score=1.5 required=5.0 tests=BAYES_00, JMQ_SPF_NEUTRAL, KAM_DMARC_NONE, KAM_DMARC_STATUS, RCVD_IN_BARRACUDACENTRAL, RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2, SPF_HELO_NONE, SPF_NEUTRAL, TXREP autolearn=no autolearn_force=no version=3.4.2 X-Spam-Level: * X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on server2.sourceware.org X-BeenThere: libc-alpha@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Libc-alpha mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-Patchwork-Original-From: Siddhesh Poyarekar via Libc-alpha From: Siddhesh Poyarekar Reply-To: Siddhesh Poyarekar Cc: fweimer@redhat.com, joseph@codesourcery.com Errors-To: libc-alpha-bounces@sourceware.org Sender: "Libc-alpha" Following is the patchset that harmonizes classification of pseudo-normal numbers with gcc. Pseudo-NaNs, Pseudo-Infinities and unnormal numbers are considered as signaling NaN as per classification since that is how they behave when used as operands in x86. In summary, the patchset does the following: - Make issignalingl return true for all pseudo-normals. - Add tests Changes since v1: - Committed patches 1-3, so these are the only two remaining. Siddhesh Poyarekar (2): x86 long double: Consider pseudo numbers as signaling x86 long double: Add tests for pseudo normal numbers math/libm-test-driver.c | 38 ++++++++++++++++++++++++ math/libm-test-fpclassify.inc | 14 +++++++++ math/libm-test-isnan.inc | 14 +++++++++ math/libm-test-issignaling.inc | 14 +++++++++ sysdeps/generic/nan-pseudo-number.h | 32 ++++++++++++++++++++ sysdeps/ieee754/ldbl-96/s_issignalingl.c | 11 +++++-- sysdeps/x86/fpu/nan-pseudo-number.h | 30 +++++++++++++++++++ 7 files changed, 150 insertions(+), 3 deletions(-) create mode 100644 sysdeps/generic/nan-pseudo-number.h create mode 100644 sysdeps/x86/fpu/nan-pseudo-number.h