[Bug regression/111709] [13/14/15 Regression] Miscompilation of sysdeps/ieee754/dbl-64/s_fma.c

2024-05-01 Thread matoro_gcc_bugzilla at matoro dot tk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111709

--- Comment #13 from matoro  ---
Current state of this has expanded to more of the math tests.

FAIL: math/test-double-fma
FAIL: math/test-double-j0
FAIL: math/test-double-j1
FAIL: math/test-double-ldouble-fma
FAIL: math/test-double-log
FAIL: math/test-float32x-float64-fma
FAIL: math/test-float32x-fma
FAIL: math/test-float32x-j0
FAIL: math/test-float32x-j1
FAIL: math/test-float32x-log
FAIL: math/test-float64-fma
FAIL: math/test-float64-j0
FAIL: math/test-float64-j1
FAIL: math/test-float64-log
FAIL: math/test-ldouble-fma
FAIL: math/test-ldouble-j0
FAIL: math/test-ldouble-j1
FAIL: math/test-ldouble-log

[Bug regression/111709] [13/14/15 Regression] Miscompilation of sysdeps/ieee754/dbl-64/s_fma.c

2024-05-02 Thread danglin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111709

John David Anglin  changed:

   What|Removed |Added

   Last reconfirmed||2024-05-02
 Ever confirmed|0   |1
 Status|UNCONFIRMED |NEW

[Bug regression/111709] [13/14/15 Regression] Miscompilation of sysdeps/ieee754/dbl-64/s_fma.c

2024-05-21 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111709

Jakub Jelinek  changed:

   What|Removed |Added

   Target Milestone|13.3|13.4

--- Comment #14 from Jakub Jelinek  ---
GCC 13.3 is being released, retargeting bugs to GCC 13.4.

[Bug regression/111709] [13/14/15 Regression] Miscompilation of sysdeps/ieee754/dbl-64/s_fma.c since r13-1268-g8c99e307b20c50

2024-07-11 Thread dilfridge at gentoo dot org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111709

Andreas K. Huettel  changed:

   What|Removed |Added

 CC||dilfridge at gentoo dot org

--- Comment #15 from Andreas K. Huettel  ---
(In reply to matoro from comment #13)
> Current state of this has expanded to more of the math tests.
> 
> FAIL: math/test-double-fma
> FAIL: math/test-double-j0
> FAIL: math/test-double-j1
> FAIL: math/test-double-ldouble-fma
> FAIL: math/test-double-log
> FAIL: math/test-float32x-float64-fma
> FAIL: math/test-float32x-fma
> FAIL: math/test-float32x-j0
> FAIL: math/test-float32x-j1
> FAIL: math/test-float32x-log
> FAIL: math/test-float64-fma
> FAIL: math/test-float64-j0
> FAIL: math/test-float64-j1
> FAIL: math/test-float64-log
> FAIL: math/test-ldouble-fma
> FAIL: math/test-ldouble-j0
> FAIL: math/test-ldouble-j1
> FAIL: math/test-ldouble-log

I think the log, j0, j1 failures have a different origin (the glibc testsuite
needed an update of the ulps file). 

See for current results
https://sourceware.org/glibc/wiki/Release/2.40#HPPA

[Bug regression/111709] [13/14/15 Regression] Miscompilation of sysdeps/ieee754/dbl-64/s_fma.c since r13-1268-g8c99e307b20c50

2024-07-11 Thread danglin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111709

--- Comment #16 from John David Anglin  ---
Correct.  I recently did a couple of updates to the test ulps and now
only the fma tests fail when building glibc with PA 1.1 code.  Don't
know about PA 2.0.

I noticed that some RISCV processors have problems with underflow.  I
adapted fdiv test to test glibc fma function:

dave@atlas:~$ cat fma-repro.c
#include 
#include 
#include 

int main(void) {
  if (fesetround (FE_DOWNWARD)) {
printf("ERROR: Failed to set rounding mode!\n");
return 1;
  }
  fma(-0x7.p-1024, 0x8.8p-4, -0x4p-1076);
  if(fetestexcept (FE_UNDERFLOW)) {
printf("Failure: Exception Underflow is set!\n");
  } else {
printf("Success: Exception Underflow is not set!!!\n");
  }
}

dave@atlas:~$ gcc fma-repro.c  -lm -std=c2x -o fma-repro -fno-builtin
dave@atlas:~$ ./fma-repro
Failure: Exception Underflow is set!

Option -fno-builtin is needed to ensure fma call isn't optimized away.
Test passes if it is optimized away.