From 59a505da6b3e5e8b363d9ca87fe375a6a7553e5f Mon Sep 17 00:00:00 2001 From: Michael Meissner Date: Thu, 12 Jan 2017 22:02:57 +0000 Subject: [PATCH] re PR target/79004 (ICE in gcc.dg/torture/fp-int-convert-float128-ieee.c with -mcpu=power9) [gcc] 2017-01-12 Michael Meissner PR target/79004 * config/rs6000/rs6000.md (FP_ISA3): Do not optimize converting char or short to __float128/_Float128 directly. [gcc/testsuite] 2017-01-12 Michael Meissner PR target/79004 * gcc.target/powerpc/pr79004.c: New test. From-SVN: r244386 --- gcc/ChangeLog | 6 ++ gcc/config/rs6000/rs6000.md | 5 +- gcc/testsuite/ChangeLog | 4 + gcc/testsuite/gcc.target/powerpc/pr79004.c | 118 +++++++++++++++++++++++++++++ 4 files changed, 129 insertions(+), 4 deletions(-) create mode 100644 gcc/testsuite/gcc.target/powerpc/pr79004.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index dc749ab..a635cc7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-01-12 Michael Meissner + + PR target/79004 + * config/rs6000/rs6000.md (FP_ISA3): Do not optimize converting + char or short to __float128/_Float128 directly. + 2017-01-12 Martin Sebor to -Wformat-overflow. diff --git a/gcc/config/rs6000/rs6000.md b/gcc/config/rs6000/rs6000.md index f7c1ab2..a094b92 100644 --- a/gcc/config/rs6000/rs6000.md +++ b/gcc/config/rs6000/rs6000.md @@ -521,10 +521,7 @@ (TF "FLOAT128_VECTOR_P (TFmode)")]) ; Iterator for ISA 3.0 supported floating point types -(define_mode_iterator FP_ISA3 [SF - DF - (KF "FLOAT128_IEEE_P (KFmode)") - (TF "FLOAT128_IEEE_P (TFmode)")]) +(define_mode_iterator FP_ISA3 [SF DF]) ; SF/DF suffix for traditional floating instructions (define_mode_attr Ftrad [(SF "s") (DF "")]) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 8bf8bf2..e5b0f06 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2017-01-12 Michael Meissner + + PR target/79004 + * gcc.target/powerpc/pr79004.c: New test. 2017-01-12 Martin Sebor * gcc.dg/pr78138.c: Adjust. diff --git a/gcc/testsuite/gcc.target/powerpc/pr79004.c b/gcc/testsuite/gcc.target/powerpc/pr79004.c new file mode 100644 index 0000000..0c2dfe8 --- /dev/null +++ b/gcc/testsuite/gcc.target/powerpc/pr79004.c @@ -0,0 +1,118 @@ +/* { dg-do compile { target { powerpc*-*-* && lp64 } } } */ +/* { dg-require-effective-target powerpc_p9vector_ok } */ +/* { dg-skip-if "do not override -mcpu" { powerpc*-*-* } { "-mcpu=*" } { "-mcpu=power9" } } */ +/* { dg-options "-mcpu=power9 -O2" } */ + +#include + +#ifndef TYPE +#define TYPE __float128 +#endif + +TYPE from_double (double a) { return (TYPE)a; } +TYPE from_single (float a) { return (TYPE)a; } + +TYPE from_double_load (double *a) { return (TYPE)*a; } +TYPE from_single_load (float *a) { return (TYPE)*a; } + +double to_double (TYPE a) { return (double)a; } +float to_single (TYPE a) { return (float)a; } + +void to_double_store (TYPE a, double *p) { *p = (double)a; } +void to_single_store (TYPE a, float *p) { *p = (float)a; } + +TYPE from_sign_char (signed char a) { return (TYPE)a; } +TYPE from_sign_short (short a) { return (TYPE)a; } +TYPE from_sign_int (int a) { return (TYPE)a; } +TYPE from_sign_long (long a) { return (TYPE)a; } + +TYPE from_sign_char_load (signed char *a) { return (TYPE)*a; } +TYPE from_sign_short_load (short *a) { return (TYPE)*a; } +TYPE from_sign_int_load (int *a) { return (TYPE)*a; } +TYPE from_sign_long_load (long *a) { return (TYPE)*a; } + +TYPE from_sign_char_load_4 (signed char *a) { return (TYPE)a[4]; } +TYPE from_sign_short_load_4 (short *a) { return (TYPE)a[4]; } +TYPE from_sign_int_load_4 (int *a) { return (TYPE)a[4]; } +TYPE from_sign_long_load_4 (long *a) { return (TYPE)a[4]; } + +TYPE from_sign_char_load_n (signed char *a, long n) { return (TYPE)a[n]; } +TYPE from_sign_short_load_n (short *a, long n) { return (TYPE)a[n]; } +TYPE from_sign_int_load_n (int *a, long n) { return (TYPE)a[n]; } +TYPE from_sign_long_load_n (long *a, long n) { return (TYPE)a[n]; } + +signed char to_sign_char (TYPE a) { return (signed char)a; } +short to_sign_short (TYPE a) { return (short)a; } +int to_sign_int (TYPE a) { return (int)a; } +long to_sign_long (TYPE a) { return (long)a; } + +void to_sign_char_store (TYPE a, signed char *p) { *p = (signed char)a; } +void to_sign_short_store (TYPE a, short *p) { *p = (short)a; } +void to_sign_int_store (TYPE a, int *p) { *p = (int)a; } +void to_sign_long_store (TYPE a, long *p) { *p = (long)a; } + +void to_sign_char_store_4 (TYPE a, signed char *p) { p[4] = (signed char)a; } +void to_sign_short_store_4 (TYPE a, short *p) { p[4] = (short)a; } +void to_sign_int_store_4 (TYPE a, int *p) { p[4] = (int)a; } +void to_sign_long_store_4 (TYPE a, long *p) { p[4] = (long)a; } + +void to_sign_char_store_n (TYPE a, signed char *p, long n) { p[n] = (signed char)a; } +void to_sign_short_store_n (TYPE a, short *p, long n) { p[n] = (short)a; } +void to_sign_int_store_n (TYPE a, int *p, long n) { p[n] = (int)a; } +void to_sign_long_store_n (TYPE a, long *p, long n) { p[n] = (long)a; } + +TYPE from_uns_char (unsigned char a) { return (TYPE)a; } +TYPE from_uns_short (unsigned short a) { return (TYPE)a; } +TYPE from_uns_int (unsigned int a) { return (TYPE)a; } +TYPE from_uns_long (unsigned long a) { return (TYPE)a; } + +TYPE from_uns_char_load (unsigned char *a) { return (TYPE)*a; } +TYPE from_uns_short_load (unsigned short *a) { return (TYPE)*a; } +TYPE from_uns_int_load (unsigned int *a) { return (TYPE)*a; } +TYPE from_uns_long_load (unsigned long *a) { return (TYPE)*a; } + +TYPE from_uns_char_load_4 (unsigned char *a) { return (TYPE)a[4]; } +TYPE from_uns_short_load_4 (unsigned short *a) { return (TYPE)a[4]; } +TYPE from_uns_int_load_4 (unsigned int *a) { return (TYPE)a[4]; } +TYPE from_uns_long_load_4 (unsigned long *a) { return (TYPE)a[4]; } + +TYPE from_uns_char_load_n (unsigned char *a, long n) { return (TYPE)a[n]; } +TYPE from_uns_short_load_n (unsigned short *a, long n) { return (TYPE)a[n]; } +TYPE from_uns_int_load_n (unsigned int *a, long n) { return (TYPE)a[n]; } +TYPE from_uns_long_load_n (unsigned long *a, long n) { return (TYPE)a[n]; } + +unsigned char to_uns_char (TYPE a) { return (unsigned char)a; } +unsigned short to_uns_short (TYPE a) { return (unsigned short)a; } +unsigned int to_uns_int (TYPE a) { return (unsigned int)a; } +unsigned long to_uns_long (TYPE a) { return (unsigned long)a; } + +void to_uns_char_store (TYPE a, unsigned char *p) { *p = (unsigned char)a; } +void to_uns_short_store (TYPE a, unsigned short *p) { *p = (unsigned short)a; } +void to_uns_int_store (TYPE a, unsigned int *p) { *p = (unsigned int)a; } +void to_uns_long_store (TYPE a, unsigned long *p) { *p = (unsigned long)a; } + +void to_uns_char_store_4 (TYPE a, unsigned char *p) { p[4] = (unsigned char)a; } +void to_uns_short_store_4 (TYPE a, unsigned short *p) { p[4] = (unsigned short)a; } +void to_uns_int_store_4 (TYPE a, unsigned int *p) { p[4] = (unsigned int)a; } +void to_uns_long_store_4 (TYPE a, unsigned long *p) { p[4] = (unsigned long)a; } + +void to_uns_char_store_n (TYPE a, unsigned char *p, long n) { p[n] = (unsigned char)a; } +void to_uns_short_store_n (TYPE a, unsigned short *p, long n) { p[n] = (unsigned short)a; } +void to_uns_int_store_n (TYPE a, unsigned int *p, long n) { p[n] = (unsigned int)a; } +void to_uns_long_store_n (TYPE a, unsigned long *p, long n) { p[n] = (unsigned long)a; } + +/* { dg-final { scan-assembler-not "\mbl __" } } */ +/* { dg-final { scan-assembler "\mxscvdpqp\M" } } */ +/* { dg-final { scan-assembler "\mxscvqpdp\M" } } */ +/* { dg-final { scan-assembler "\mxscvqpdpo\M" } } */ +/* { dg-final { scan-assembler "\mxscvqpsdz\M" } } */ +/* { dg-final { scan-assembler "\mxscvqpswz\M" } } */ +/* { dg-final { scan-assembler "\mxscvsdqp\M" } } */ +/* { dg-final { scan-assembler "\mxscvudqp\M" } } */ +/* { dg-final { scan-assembler "\mlxsd\M" } } */ +/* { dg-final { scan-assembler "\mlxsiwax\M" } } */ +/* { dg-final { scan-assembler "\mlxsiwzx\M" } } */ +/* { dg-final { scan-assembler "\mlxssp\M" } } */ +/* { dg-final { scan-assembler "\mstxsd\M" } } */ +/* { dg-final { scan-assembler "\mstxsiwx\M" } } */ +/* { dg-final { scan-assembler "\mstxssp\M" } } */ -- 2.7.4