re PR tree-optimization/30186 (accessing an element via a "pointer" on a vector does not cause vec_extract to be used (non-zero index))

2008-03-31  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR middle-end/30186
        * fold-const.c (fold_indirect_ref_1): Support accessing non first
        element of the vector via a pointer.

2008-03-31  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR middle-end/30186
        * gcc.dg/tree-ssa/vector-1.c: New testcase.
        * gcc.c-torture/execute/vector-1.c: New testcase.
        * gcc.c-torture/execute/vector-2.c: New testcase.

From-SVN: r133766

4 files changed, 121 insertions, 0 deletions

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 2dde540514c..b62c44e6650 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,10 @@
+2008-03-31  Andrew Pinski  <andrew_pinski@playstation.sony.com>
+
+	PR middle-end/30186
+	* gcc.dg/tree-ssa/vector-1.c: New testcase.
+	* gcc.c-torture/execute/vector-1.c: New testcase.
+	* gcc.c-torture/execute/vector-2.c: New testcase.
+
 2008-03-31  Olivier Hainque  <hainque@adacore.com>
 
 	* gnat.dg/assign_from_packed_pixels.ads: Support for ...
diff --git a/gcc/testsuite/gcc.c-torture/execute/vector-1.c b/gcc/testsuite/gcc.c-torture/execute/vector-1.c
new file mode 100644
index 00000000000..ff21d68ca7b
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/vector-1.c
@@ -0,0 +1,36 @@
+/* Check that vector extraction works correctly. */
+
+#define vector __attribute__((vector_size(16) ))
+
+int f0(vector int t)
+{
+  return ((int*)&t)[0];
+}
+int f1(vector int t)
+{
+  return ((int*)&t)[1];
+}
+int f2(vector int t)
+{
+  return ((int*)&t)[2];
+}
+int f3(vector int t)
+{
+  return ((int*)&t)[3];
+}
+int main(void)
+{
+  vector int a = {0, 1, 2, 3};
+  /* Make sure that we have the correct size for the vectors. */
+  if (sizeof(int) != 4)
+    __builtin_exit (0);
+  if (f0(a) != 0)
+    __builtin_abort ();
+  if (f1(a) != 1)
+    __builtin_abort ();
+  if (f2(a) != 2)
+    __builtin_abort ();
+  if (f3(a) != 3)
+    __builtin_abort ();
+  return 0;
+}
diff --git a/gcc/testsuite/gcc.c-torture/execute/vector-2.c b/gcc/testsuite/gcc.c-torture/execute/vector-2.c
new file mode 100644
index 00000000000..55330dd6606
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/vector-2.c
@@ -0,0 +1,46 @@
+/* Check that vector insertion works correctly. */
+
+#define vector __attribute__((vector_size(16) ))
+
+vector int f0(vector int t, int a)
+{
+ ((int*)&t)[0] = a;
+ return t;
+}
+vector int f1(vector int t, int a)
+{
+ ((int*)&t)[1] = a;
+ return t;
+}
+vector int f2(vector int t, int a)
+{
+ ((int*)&t)[2] = a;
+ return t;
+}
+vector int f3(vector int t, int a)
+{
+ ((int*)&t)[3] = a;
+ return t;
+}
+int main(void)
+{
+  vector int a = {0, 0, 0, 0};
+  vector int b = {1, 0, 0, 0};
+  vector int c = {0, 1, 0, 0};
+  vector int d = {0, 0, 1, 0};
+  vector int e = {0, 0, 0, 1};
+  vector int a0;
+  a0 = f0(a, 1);
+  if (memcmp (&a0, &b, sizeof(a0)))
+    __builtin_abort ();
+  a0 = f1(a, 1);
+  if (memcmp (&a0, &c, sizeof(a0)))
+    __builtin_abort ();
+  a0 = f2(a, 1);
+  if (memcmp (&a0, &d, sizeof(a0)))
+    __builtin_abort ();
+  a0 = f3(a, 1);
+  if (memcmp (&a0, &e, sizeof(a0)))
+    __builtin_abort ();
+  return 0;
+}
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/vector-1.c b/gcc/testsuite/gcc.dg/tree-ssa/vector-1.c
new file mode 100644
index 00000000000..5b07c67a2c6
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/vector-1.c
@@ -0,0 +1,32 @@
+/* { dg-do compile } */
+/* { dg-options "-w -O1 -fdump-tree-gimple" } */
+
+
+/* We should be able to produce a BIT_FIELD_REF for each of these vector access. */
+#define vector __attribute__((vector_size(16)))
+float f0(vector float t)
+{
+  return ((float*)&t)[0];
+}
+
+float f1(vector float t)
+{
+  return ((float*)&t)[1];
+}
+
+float f2(vector float t)
+{
+  return ((float*)&t)[2];
+}
+
+float f3(vector float t)
+{
+  return ((float*)&t)[3];
+}
+
+
+/* { dg-final { scan-tree-dump-times "BIT_FIELD_REF" 4 "gimple"} } */
+
+/* { dg-final { cleanup-tree-dump "gimple" } } */
+
+