This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[PATCH] Some vector cast testcases


On Tue, Aug 23, 2005 at 05:10:11PM +0200, Paolo Bonzini wrote:
> 2005-08-23  Paolo Bonzini  <bonzini@gnu.org>
> 
> 	PR 23517
> 	* fold-const.c (fold_convert): Use VIEW_CONVERT_EXPR to convert
> 	between vectors.
> 	* convert.c (convert_to_integer, convert_to_vector): Likewise.
> 	* tree-vect-generic.c (tree_vec_extract, expand_vector_operations_1):
> 	Likewise.

This patch (as well as its 4.0 counterpart) fixed a bunch of vector cast
testcases I have been having in my tree.
Ok for HEAD/4.0?

2005-08-27  Jakub Jelinek  <jakub@redhat.com>

	* gcc.c-torture/execute/20050316-2.c: New test.
	* gcc.c-torture/execute/20050316-3.c: New test.
	* gcc.dg/torture/pr16104-1.c: New test.

--- gcc/testsuite/gcc.c-torture/execute/20050316-2.c.jj	2005-03-16 10:49:04.602767006 +0100
+++ gcc/testsuite/gcc.c-torture/execute/20050316-2.c	2005-03-16 10:46:39.000000000 +0100
@@ -0,0 +1,49 @@
+extern void abort (void);
+
+typedef int V2SI __attribute__ ((vector_size (8)));
+typedef unsigned int V2USI __attribute__ ((vector_size (8)));
+typedef float V2SF __attribute__ ((vector_size (8)));
+typedef short V2HI __attribute__ ((vector_size (4)));
+typedef unsigned int V2UHI __attribute__ ((vector_size (4)));
+
+long long
+test1 (V2SF x)
+{
+  return (long long) (V2SI) x;
+}
+
+long long
+test2 (V2SF x)
+{
+  return (long long) x;
+}
+
+long long
+test3 (V2SI x)
+{
+  return (long long) (V2SF) x;
+}
+
+int
+main (void)
+{
+  if (sizeof (short) != 2 || sizeof (int) != 4 || sizeof (long long) != 8)
+    return 0;
+
+  V2SF x = { 2.0, 2.0 };
+  union { long long l; float f[2]; int i[2]; } u;
+  u.l = test1 (x);
+  if (u.f[0] != 2.0 || u.f[1] != 2.0)
+    abort ();
+
+  V2SF y = { 6.0, 6.0 };
+  u.l = test2 (y);
+  if (u.f[0] != 6.0 || u.f[1] != 6.0)
+    abort ();
+
+  V2SI z = { 4, 4 };
+  u.l = test3 (z);
+  if (u.i[0] != 4 || u.i[1] != 4)
+    abort ();
+  return 0;
+}
--- gcc/testsuite/gcc.c-torture/execute/20050316-3.c.jj	2005-03-16 10:49:19.461121066 +0100
+++ gcc/testsuite/gcc.c-torture/execute/20050316-3.c	2005-03-16 10:30:06.000000000 +0100
@@ -0,0 +1,36 @@
+extern void abort (void);
+
+typedef int V2SI __attribute__ ((vector_size (8)));
+typedef unsigned int V2USI __attribute__ ((vector_size (8)));
+typedef short V2HI __attribute__ ((vector_size (4)));
+typedef unsigned int V2UHI __attribute__ ((vector_size (4)));
+
+V2USI
+test1 (V2SI x)
+{
+  return (V2USI) (V2SI) (long long) x;
+}
+
+long long
+test2 (V2SI x)
+{
+  return (long long) (V2USI) (V2SI) (long long) x;
+}
+
+int
+main (void)
+{
+  if (sizeof (short) != 2 || sizeof (int) != 4 || sizeof (long long) != 8)
+    return 0;
+
+  union { V2SI x; int y[2]; V2USI z; long long l; } u;
+  V2SI a = { -3, -3 };
+  u.z = test1 (a);
+  if (u.y[0] != -3 || u.y[1] != -3)
+    abort ();
+
+  u.l = test2 (a);
+  if (u.y[0] != -3 || u.y[1] != -3)
+    abort ();
+  return 0;
+}
--- gcc/testsuite/gcc.dg/torture/pr16104-1.c.jj	2005-03-16 10:55:22.351496535 +0100
+++ gcc/testsuite/gcc.dg/torture/pr16104-1.c	2005-03-16 10:55:13.746029061 +0100
@@ -0,0 +1,88 @@
+/* PR rtl-optimization/16104 */
+/* { dg-do run { target i?86-*-* x86_64-*-* } } */
+/* { dg-options "-msse2" } */
+
+#include "../i386-cpuid.h"
+
+extern void abort (void);
+
+typedef int V2SI __attribute__ ((vector_size (8)));
+typedef unsigned int V2USI __attribute__ ((vector_size (8)));
+typedef short V2HI __attribute__ ((vector_size (4)));
+typedef unsigned int V2UHI __attribute__ ((vector_size (4)));
+
+int
+test1 (void)
+{
+  return (long long) (V2SI) 0LL;
+}
+
+int
+test2 (V2SI x)
+{
+  return (long long) x;
+}
+
+V2SI
+test3 (void)
+{
+  return (V2SI) (long long) (int) (V2HI) 0;
+}
+
+V2SI
+test4 (V2HI x)
+{
+  return (V2SI) (long long) (int) x;
+}
+
+V2SI
+test5 (V2USI x)
+{
+  return (V2SI) x;
+}
+
+int
+__attribute__ ((noinline))
+do_test (void)
+{
+  if (sizeof (short) != 2 || sizeof (int) != 4 || sizeof (long long) != 8)
+    return 0;
+
+  if (test1 () != 0)
+    abort ();
+
+  V2SI x = { 2, 2 };
+  if (test2 (x) != 2)
+    abort ();
+
+  union { V2SI x; int y[2]; V2USI z; long long l; } u;
+  u.x = test3 ();
+  if (u.y[0] != 0 || u.y[1] != 0)
+    abort ();
+
+  V2HI y = { 4, 4 };
+  union { V2SI x; long long y; } v;
+  v.x = test4 (y);
+  if (v.y != 0x40004)
+    abort ();
+
+  V2USI z = { 6, 6 };
+  u.x = test5 (z);
+  if (u.y[0] != 6 || u.y[1] != 6)
+    abort ();
+  return 0;
+}
+
+int
+main (void)
+{
+  unsigned long cpu_facilities;
+
+  cpu_facilities = i386_cpuid ();
+
+  if ((cpu_facilities & (bit_MMX | bit_SSE | bit_CMOV | bit_SSE2))
+      != (bit_MMX | bit_SSE | bit_CMOV | bit_SSE2))
+    return 0;
+
+  return do_test ();
+}


	Jakub


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]