Hi Haochen,
on 2024/7/18 09:45, HAO CHEN GUI wrote:
> Hi,
> This patch implemented optab_isfinite for SFDF and IEEE128 by
> test data class instructions.
>
> Compared with previous version, the main change is to merge
> the patterns of SFDF and IEEE128 into one.
> https://gcc.gnu.org/pipermail/gcc-patches/2024-June/655780.html
>
> Bootstrapped and tested on powerpc64-linux BE and LE with no
> regressions. Is it OK for trunk?
>
> Thanks
> Gui Haochen
>
> ChangeLog
> rs6000: Implement optab_isfinite for SFDF and IEEE128
>
> gcc/
> PR target/97786
> * config/rs6000/vsx.md (isfinite<mode>2): New expand.
>
> gcc/testsuite/
> PR target/97786
> * gcc.target/powerpc/pr97786-4.c: New test.
> * gcc.target/powerpc/pr97786-5.c: New test.
>
> patch.diff
> diff --git a/gcc/config/rs6000/vsx.md b/gcc/config/rs6000/vsx.md
> index d30416a53e7..763cd916c8d 100644
> --- a/gcc/config/rs6000/vsx.md
> +++ b/gcc/config/rs6000/vsx.md
> @@ -5304,6 +5304,20 @@ (define_expand "isinf<mode>2"
> DONE;
> })
>
> +(define_expand "isfinite<mode>2"
> + [(use (match_operand:SI 0 "gpc_reg_operand"))
> + (use (match_operand:IEEE_FP 1 "<fp_register_op>"))]
> + "TARGET_P9_VECTOR
> + && (!FLOAT128_IEEE_P (<MODE>mode) || TARGET_FLOAT128_HW)"
> +{
> + rtx tmp = gen_reg_rtx (SImode);
Nit: maybe add one comment like
/* It is neither infinite nor NAN. */
OK for trunk with/without this tweaked, thanks.
BR,
Kewen
> + int mask = VSX_TEST_DATA_CLASS_POS_INF | VSX_TEST_DATA_CLASS_NEG_INF
> + | VSX_TEST_DATA_CLASS_NAN;
> + emit_insn (gen_xststdc_<mode> (tmp, operands[1], GEN_INT (mask)));
> + emit_insn (gen_xorsi3 (operands[0], tmp, const1_rtx));
> + DONE;
> +})
> +
> ;; The VSX Scalar Test Negative Quad-Precision
> (define_expand "xststdcnegqp_<mode>"
> [(set (match_dup 2)
> diff --git a/gcc/testsuite/gcc.target/powerpc/pr97786-4.c
> b/gcc/testsuite/gcc.target/powerpc/pr97786-4.c
> new file mode 100644
> index 00000000000..9cdde78257d
> --- /dev/null
> +++ b/gcc/testsuite/gcc.target/powerpc/pr97786-4.c
> @@ -0,0 +1,17 @@
> +/* { dg-do compile } */
> +/* { dg-options "-O2 -mdejagnu-cpu=power9" } */
> +/* { dg-require-effective-target powerpc_vsx } */
> +
> +int test1 (double x)
> +{
> + return __builtin_isfinite (x);
> +}
> +
> +int test2 (float x)
> +{
> + return __builtin_isfinite (x);
> +}
> +
> +/* { dg-final { scan-assembler-not {\mfcmp} } } */
> +/* { dg-final { scan-assembler-times {\mxststdcsp\M} 1 } } */
> +/* { dg-final { scan-assembler-times {\mxststdcdp\M} 1 } } */
> diff --git a/gcc/testsuite/gcc.target/powerpc/pr97786-5.c
> b/gcc/testsuite/gcc.target/powerpc/pr97786-5.c
> new file mode 100644
> index 00000000000..0ef8b86f6cb
> --- /dev/null
> +++ b/gcc/testsuite/gcc.target/powerpc/pr97786-5.c
> @@ -0,0 +1,12 @@
> +/* { dg-do compile } */
> +/* { dg-require-effective-target ppc_float128_hw } */
> +/* { dg-options "-O2 -mdejagnu-cpu=power9 -mabi=ieeelongdouble -Wno-psabi" }
> */
> +/* { dg-require-effective-target powerpc_vsx } */
> +
> +int test1 (long double x)
> +{
> + return __builtin_isfinite (x);
> +}
> +
> +/* { dg-final { scan-assembler-not {\mxscmpuqp\M} } } */
> +/* { dg-final { scan-assembler {\mxststdcqp\M} } } */
