public inbox for libc-alpha@sourceware.org
 help / color / mirror / Atom feed
From: Siddhesh Poyarekar <siddhesh@sourceware.org>
To: libc-alpha@sourceware.org
Cc: adhemerval.zanella@linaro.org, fweimer@redhat.com,
	joseph@codesourcery.com
Subject: [PATCH v2 0/5] x86 pseudo-normal numbers
Date: Wed, 23 Dec 2020 17:25:57 +0530	[thread overview]
Message-ID: <20201223115602.3472627-1-siddhesh@sourceware.org> (raw)

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:

- Update fpclassify to cater for pseudo-normal numbers
- Consolidate isnanl so that it can be used by isnanl as well as
  issignalingl.
- Update isnanl logic to return true for all pseudo-normal numbers
- Make issignalingl that returns true for all pseudo-normals.

Changes since v1:

- Consolidated the i386 and x86_64 versions of functions to x86.
- Update the test according to review comments

Siddhesh Poyarekar (5):
  x86 long double: Support pseudo numbers in fpclassifyl
  x86 long double: Support pseudo numbers in isnanl
  Partially revert 681900d29683722b1cb0a8e565a0585846ec5a61
  x86 long double: Consider pseudo numbers as signaling
  x86 long double: Add tests for pseudo normal numbers

 sysdeps/generic/nan-pseudo-number.h       |  27 +++++
 sysdeps/ieee754/ldbl-96/s_issignalingl.c  |   7 +-
 sysdeps/x86/fpu/Makefile                  |   3 +-
 sysdeps/x86/fpu/nan-pseudo-number.h       |  32 ++++++
 sysdeps/{i386 => x86}/fpu/s_fpclassifyl.c |   4 +
 sysdeps/{i386 => x86}/fpu/s_isnanl.c      |  12 +-
 sysdeps/x86/fpu/test-unnormal.c           | 132 ++++++++++++++++++++++
 sysdeps/x86/ldbl2mpn.c                    |   8 --
 sysdeps/x86/tst-ldbl-nonnormal-printf.c   |   5 +-
 sysdeps/x86_64/fpu/s_fpclassifyl.c        |   2 -
 sysdeps/x86_64/fpu/s_isnanl.c             |   1 -
 11 files changed, 211 insertions(+), 22 deletions(-)
 create mode 100644 sysdeps/generic/nan-pseudo-number.h
 create mode 100644 sysdeps/x86/fpu/nan-pseudo-number.h
 rename sysdeps/{i386 => x86}/fpu/s_fpclassifyl.c (87%)
 rename sysdeps/{i386 => x86}/fpu/s_isnanl.c (76%)
 create mode 100644 sysdeps/x86/fpu/test-unnormal.c
 delete mode 100644 sysdeps/x86_64/fpu/s_fpclassifyl.c
 delete mode 100644 sysdeps/x86_64/fpu/s_isnanl.c

-- 
2.29.2


             reply	other threads:[~2020-12-23 11:56 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-12-23 11:55 Siddhesh Poyarekar [this message]
2020-12-23 11:55 ` [PATCH v2 1/5] x86 long double: Support pseudo numbers in fpclassifyl Siddhesh Poyarekar
2020-12-23 17:59   ` Adhemerval Zanella
2020-12-23 11:55 ` [PATCH v2 2/5] x86 long double: Support pseudo numbers in isnanl Siddhesh Poyarekar
2020-12-23 18:03   ` Adhemerval Zanella
2020-12-23 11:56 ` [PATCH v2 3/5] Partially revert 681900d29683722b1cb0a8e565a0585846ec5a61 Siddhesh Poyarekar
2020-12-23 12:09   ` Florian Weimer
2020-12-23 11:56 ` [PATCH v2 4/5] x86 long double: Consider pseudo numbers as signaling Siddhesh Poyarekar
2020-12-23 18:14   ` Adhemerval Zanella
2020-12-23 11:56 ` [PATCH v2 5/5] x86 long double: Add tests for pseudo normal numbers Siddhesh Poyarekar

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20201223115602.3472627-1-siddhesh@sourceware.org \
    --to=siddhesh@sourceware.org \
    --cc=adhemerval.zanella@linaro.org \
    --cc=fweimer@redhat.com \
    --cc=joseph@codesourcery.com \
    --cc=libc-alpha@sourceware.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).