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

2023-10-07 Thread dave.anglin at bell dot net via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111709

--- Comment #10 from dave.anglin at bell dot net ---
On 2023-10-06 3:50 a.m., rguenth at gcc dot gnu.org wrote:
> Does it work on trunk? 
No.  Test results with gcc trunk are identical to with Debian gcc-13.

Tried just rebuilding s_fma.c, and a full build and check.

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

2023-10-06 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111709

Richard Biener  changed:

   What|Removed |Added

   Target Milestone|--- |13.3

--- Comment #9 from Richard Biener  ---
Does it work on trunk?

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

2023-10-05 Thread joseph at codesourcery dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111709

--- Comment #8 from joseph at codesourcery dot com  ---
Typically these sorts of issues result from floating-point operations 
being moved past environment manipulation (fesetround, feupdateenv, 
feholdexcept, etc.) - in either direction.  This might be a compiler 
issue, or it might well be a bug in the glibc function implementation 
(insufficient use of math_opt_barrier / math_force_eval to prevent such 
movement).  If the latter, make sure to fix it in all similar 
implementations of fma functions, not just the dbl-64 one.

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

2023-10-05 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

 CC||jsm28 at gcc dot gnu.org

--- Comment #7 from John David Anglin  ---
Joseph, is there a way to simplify the glibc test to the failing cases?

Maybe you have a clue as to what has changed.

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

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

--- Comment #6 from John David Anglin  ---
Created attachment 56062
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56062=edit
Diff between s_fma_12.s and s_fma_13.s

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

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

--- Comment #5 from John David Anglin  ---
Created attachment 56061
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56061=edit
non pic .s file for s_fma.c generated using gcc-13 without debug info

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

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

--- Comment #4 from John David Anglin  ---
Created attachment 56060
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56060=edit
non pic .s file for s_fma.c generated using gcc-12 without debug info

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

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

--- Comment #3 from John David Anglin  ---
Created attachment 56059
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56059=edit
.s file for s_fma.c generated using gcc-13

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

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

--- Comment #2 from John David Anglin  ---
Created attachment 56058
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56058=edit
.s file for s_fma.c generated using gcc-12

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

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

--- Comment #1 from John David Anglin  ---
Created attachment 56057
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56057=edit
Preprocessed source generated using gcc-13