diff mbox series

tree-optimization/112369 - strip_float_extensions and vectors

Message ID 20231106085622.5B5C93858439@sourceware.org
State Accepted
Headers
Series tree-optimization/112369 - strip_float_extensions and vectors |

Checks

Context Check Description
snail/gcc-patch-check success Github commit url

Commit Message

Richard Biener Nov. 6, 2023, 8:55 a.m. UTC 
  The following fixes an error in strip_float_extensions when facing
vector conversions.

Bootstrapped and tested on x86_64-unknown-linux-gnu, pushed.

	PR tree-optimization/112369
	* tree.cc (strip_float_extensions): Use element_precision.

	* gcc.dg/pr112369.c: New testcase.
---
 gcc/testsuite/gcc.dg/pr112369.c | 23 +++++++++++++++++++++++
 gcc/tree.cc                     |  2 +-
 2 files changed, 24 insertions(+), 1 deletion(-)
 create mode 100644 gcc/testsuite/gcc.dg/pr112369.c
diff mbox series

Patch

diff --git a/gcc/testsuite/gcc.dg/pr112369.c b/gcc/testsuite/gcc.dg/pr112369.c
new file mode 100644
index 00000000000..677e3543f54
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr112369.c
@@ -0,0 +1,23 @@ 
+/* { dg-do compile } */
+/* { dg-options "-O3" } */
+/* { dg-additional-options "-mavx2" { target avx2 } } */
+
+struct GdkRGBA2 {
+  double a[4];
+};
+struct GdkRGBA3 {
+  float a[4];
+};
+struct GdkRGBA3 f(struct GdkRGBA2 *color) {
+  struct GdkRGBA3 t1;
+  for(int i = 0; i < 4; i++)
+    t1.a[i] = color->a[i];
+  struct GdkRGBA3 t2;
+  for(int i = 0; i < 4; i++)
+  {
+    float tmp = t1.a[i];
+    if (__builtin_isnan(tmp))
+    t2.a[i] = tmp;
+  }
+  return t2;
+}
diff --git a/gcc/tree.cc b/gcc/tree.cc
index cfead156ddf..9c9b057cd88 100644
--- a/gcc/tree.cc
+++ b/gcc/tree.cc
@@ -12138,7 +12138,7 @@  strip_float_extensions (tree exp)
   if (DECIMAL_FLOAT_TYPE_P (expt) != DECIMAL_FLOAT_TYPE_P (subt))
     return exp;
 
-  if (TYPE_PRECISION (subt) > TYPE_PRECISION (expt))
+  if (element_precision (subt) > element_precision (expt))
     return exp;
 
   return strip_float_extensions (sub);