Test results for m4-1.4.9b

[Bruno Haible]

Gary V. Vaughan wrote:
> mantissa = 0X2.051EB851EB851EB851EB851EB8P-2

That's correct.

> Run till exit from #0 my_ldexp (x=1.0121050218045312617883299999606451e-292, 
> d=969) at test-printf- frexpl.c:56

This value x has the mantissa 0x2.051EB851EB8520000000000000. Which
means, the hardware truncates the precision when converting a number from
normalized to denormalized range.

Can you try this patch, please? (Not yet committed in CVS.)


*** tests/test-printf-frexpl.c  29 Apr 2007 09:15:13 -0000      1.4
--- tests/test-printf-frexpl.c  4 Jun 2007 11:41:57 -0000
***************
*** 39,49 ****
    while (0)
  
  /* On MIPS IRIX machines, LDBL_MIN_EXP is -1021, but the smallest reliable
!    exponent for 'long double' is -964.  For exponents below that, the
!    precision may be truncated to the precision used for 'double'.  */
  #ifdef __sgi
  # define MIN_NORMAL_EXP (LDBL_MIN_EXP + 57)
  # define MIN_SUBNORMAL_EXP MIN_NORMAL_EXP
  #else
  # define MIN_NORMAL_EXP LDBL_MIN_EXP
  # define MIN_SUBNORMAL_EXP (LDBL_MIN_EXP - 100)
--- 39,54 ----
    while (0)
  
  /* On MIPS IRIX machines, LDBL_MIN_EXP is -1021, but the smallest reliable
!    exponent for 'long double' is -964.  Similarly, on PowerPC machines,
!    LDBL_MIN_EXP is -1021, but the smallest reliable exponent for 'long double'
!    is -968.  For exponents below that, the precision may be truncated to the
!    precision used for 'double'.  */
  #ifdef __sgi
  # define MIN_NORMAL_EXP (LDBL_MIN_EXP + 57)
  # define MIN_SUBNORMAL_EXP MIN_NORMAL_EXP
+ #elif defined __ppc || defined __ppc__ || defined __powerpc || defined 
__powerpc__
+ # define MIN_NORMAL_EXP (LDBL_MIN_EXP + 53)
+ # define MIN_SUBNORMAL_EXP MIN_NORMAL_EXP
  #else
  # define MIN_NORMAL_EXP LDBL_MIN_EXP
  # define MIN_SUBNORMAL_EXP (LDBL_MIN_EXP - 100)
*** tests/test-frexpl.c 29 Apr 2007 09:15:13 -0000      1.6
--- tests/test-frexpl.c 4 Jun 2007 11:41:57 -0000
***************
*** 40,49 ****
    while (0)
  
  /* On MIPS IRIX machines, LDBL_MIN_EXP is -1021, but the smallest reliable
!    exponent for 'long double' is -964.  For exponents below that, the
!    precision may be truncated to the precision used for 'double'.  */
  #ifdef __sgi
  # define MIN_NORMAL_EXP (LDBL_MIN_EXP + 57)
  #else
  # define MIN_NORMAL_EXP LDBL_MIN_EXP
  #endif
--- 40,53 ----
    while (0)
  
  /* On MIPS IRIX machines, LDBL_MIN_EXP is -1021, but the smallest reliable
!    exponent for 'long double' is -964.  Similarly, on PowerPC machines,
!    LDBL_MIN_EXP is -1021, but the smallest reliable exponent for 'long double'
!    is -968.  For exponents below that, the precision may be truncated to the
!    precision used for 'double'.  */
  #ifdef __sgi
  # define MIN_NORMAL_EXP (LDBL_MIN_EXP + 57)
+ #elif defined __ppc || defined __ppc__ || defined __powerpc || defined 
__powerpc__
+ # define MIN_NORMAL_EXP (LDBL_MIN_EXP + 53)
  #else
  # define MIN_NORMAL_EXP LDBL_MIN_EXP
  #endif