mbox series

[v3,0/2] x86 pseudo-normal numbers

Message ID 20201224024554.3579622-1-siddhesh@sourceware.org
Headers show
Series x86 pseudo-normal numbers | expand

Message

Siddhesh Poyarekar Dec. 24, 2020, 2:45 a.m. UTC 
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