This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PATCH, middle-end/i386]: Fix PR88502, Inline built-in asinh, acosh, atanh for -ffast-math
- From: Uros Bizjak <ubizjak at gmail dot com>
- To: "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>
- Cc: Richard Guenther <rguenther at suse dot de>, "Joseph S. Myers" <joseph at codesourcery dot com>
- Date: Mon, 17 Dec 2018 08:58:58 +0100
- Subject: [PATCH, middle-end/i386]: Fix PR88502, Inline built-in asinh, acosh, atanh for -ffast-math
Attached patch inlines calls to asinh{,f}, acosh{,f,l} and atanh{,f,l}
using x87 XFmode arithmetic. In the patch, I left out asinhl due to
its reduced input argument range, but perhaps it could be added back,
since we are expanding under flag_unsafe_math_optimizations. The
expanders are modelled after the removed inlines in glibc [1] (which
also include asinhl, with a comment mentioning its reduced input
argument range).
2018-12-17 Uros Bizjak <ubizjak@gmail.com>
PR target/88502
* internal-fn.def (ACOSH): New.
(ASINH): Ditto.
(ATANH): Ditto.
* optabs.def (acosh_optab): New.
(asinh_optab): Ditto.
(atanh_optab): Ditto.
* config/i386/i386-protos.h (ix86_emit_i387_asinh): New prototype.
(ix86_emit_i387_acosh): Ditto.
(ix86_emit_i387_atanh): Ditto.
* config/i386/i386.c (ix86_emit_i387_asinh): New function.
(ix86_emit_i387_acosh): Ditto.
(ix86_emit_i387_atanh): Ditto.
* config/i386/i386.md (asinh<mode>2): New expander.
(acoshxf2): Ditto.
(acosh<mode>2): Ditto.
(atanhxf2): Ditto.
(atanh<mode>2): Ditto.
Bootstrapped and regression tested on x86_64-linux-gnu {,-m32}.
The patch also needs approval for its straightforward middle-end parts.
[1] https://sourceware.org/ml/libc-alpha/2018-12/msg00519.html
Uros.