From d92826beb489ef756200c775788a9397831b9ccf Mon Sep 17 00:00:00 2001
From: Ira Rosen <irar@il.ibm.com>
Date: Wed, 17 Nov 2010 10:00:27 +0000
Subject: [PATCH] re PR tree-optimization/46312 (gcc.dg/vec-scal-opt2.c fails
 for ARM targets.)

        PR tree-optimization/46312
        * gcc.dg/vect/vect-scal-opt2.c: Rename to...
        * gcc.dg/vect/vec-scal-opt2.c: ... this. Expect to pass only
        on targets that support vector shifts with scalar shift
        argument.
        Remove dg-options.
        * gcc.dg/vect/vect-scal-opt.c: Rename to...
        * gcc.dg/vect/vec-scal-opt.c: ... this, and change likewise.
        * gcc.dg/vect/vect-scal-opt1.c: Rename to...
        * gcc.dg/vect/vec-scal-opt1.c: ... this, and change likewise.
        * gcc.dg/vect/vect.exp: Run vec-scal-* tests with relevant
        flags.
        * gcc.dg/vect/vect-114.c: Expect to pass only on targets that
        support misaligned data accesses.
        * gcc.dg/vect/pr43432.c, gcc.dg/vect/vect-15.c: Likewise.
        * gcc.dg/vect/pr43430-2.c: Remove dg-options.
        * lib/target-supports.exp
        (check_effective_target_vect_shift_scalar): New.

From-SVN: r166860
---
 gcc/testsuite/ChangeLog                       | 19 +++++++++++++++++
 gcc/testsuite/gcc.dg/vect/pr43430-2.c         |  1 -
 gcc/testsuite/gcc.dg/vect/pr43432.c           |  2 +-
 .../vect/{vect-scal-opt.c => vec-scal-opt.c}  |  3 +--
 .../{vect-scal-opt1.c => vec-scal-opt1.c}     |  3 +--
 .../{vect-scal-opt2.c => vec-scal-opt2.c}     |  3 +--
 gcc/testsuite/gcc.dg/vect/vect-114.c          |  4 ++--
 gcc/testsuite/gcc.dg/vect/vect-15.c           |  2 +-
 gcc/testsuite/gcc.dg/vect/vect.exp            | 14 ++++++++++---
 gcc/testsuite/lib/target-supports.exp         | 21 +++++++++++++++++++
 10 files changed, 58 insertions(+), 14 deletions(-)
 rename gcc/testsuite/gcc.dg/vect/{vect-scal-opt.c => vec-scal-opt.c} (91%)
 rename gcc/testsuite/gcc.dg/vect/{vect-scal-opt1.c => vec-scal-opt1.c} (82%)
 rename gcc/testsuite/gcc.dg/vect/{vect-scal-opt2.c => vec-scal-opt2.c} (82%)

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c664f95af559..d2718dc5bcc9 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,22 @@
+2010-11-17  Ira Rosen  <irar@il.ibm.com>
+
+	PR tree-optimization/46312
+	* gcc.dg/vect/vect-scal-opt2.c: Rename to...
+	* gcc.dg/vect/vec-scal-opt2.c: ... this. Expect to pass only
+	on targets that support vector shifts with scalar shift argument.
+	Remove dg-options.
+	* gcc.dg/vect/vect-scal-opt.c: Rename to...
+	* gcc.dg/vect/vec-scal-opt.c: ... this, and change likewise.
+	* gcc.dg/vect/vect-scal-opt1.c: Rename to...
+	* gcc.dg/vect/vec-scal-opt1.c: ... this, and change likewise.
+	* gcc.dg/vect/vect.exp: Run vec-scal-* tests with relevant flags.
+	* gcc.dg/vect/vect-114.c: Expect to pass only on targets that
+	support misaligned data accesses.
+	* gcc.dg/vect/pr43432.c, gcc.dg/vect/vect-15.c: Likewise.
+	* gcc.dg/vect/pr43430-2.c: Remove dg-options.
+	* lib/target-supports.exp
+	(check_effective_target_vect_shift_scalar): New.
+
 2010-11-17  Jakub Jelinek  <jakub@redhat.com>
 
 	* gcc.dg/guality/nop.h: New file.
diff --git a/gcc/testsuite/gcc.dg/vect/pr43430-2.c b/gcc/testsuite/gcc.dg/vect/pr43430-2.c
index 631dadea0211..16f53dacc66c 100644
--- a/gcc/testsuite/gcc.dg/vect/pr43430-2.c
+++ b/gcc/testsuite/gcc.dg/vect/pr43430-2.c
@@ -1,6 +1,5 @@
 /* { dg-do compile } */
 /* { dg-require-effective-target vect_int } */
-/* { dg-options "-O3 -fno-vect-cost-model -fdump-tree-vect-details" } */
 typedef unsigned char uint8_t;
 vsad16_c (void *c, uint8_t * s1, uint8_t * s2, int stride, int h)
 {
diff --git a/gcc/testsuite/gcc.dg/vect/pr43432.c b/gcc/testsuite/gcc.dg/vect/pr43432.c
index 18c0dba56f69..5f3db7d8235d 100644
--- a/gcc/testsuite/gcc.dg/vect/pr43432.c
+++ b/gcc/testsuite/gcc.dg/vect/pr43432.c
@@ -10,5 +10,5 @@ int len){
         dst[i] = src0[i] * src1[-i];
 }
 
-/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { target { vect_perm } } } } */
+/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { target { vect_perm && vect_hw_misalign } } } } */
 /* { dg-final { cleanup-tree-dump "vect" } } */
diff --git a/gcc/testsuite/gcc.dg/vect/vect-scal-opt.c b/gcc/testsuite/gcc.dg/vect/vec-scal-opt.c
similarity index 91%
rename from gcc/testsuite/gcc.dg/vect/vect-scal-opt.c
rename to gcc/testsuite/gcc.dg/vect/vec-scal-opt.c
index 93c17a86c018..f5e54e71aa02 100644
--- a/gcc/testsuite/gcc.dg/vect/vect-scal-opt.c
+++ b/gcc/testsuite/gcc.dg/vect/vec-scal-opt.c
@@ -1,7 +1,6 @@
 /* { dg-do compile } */
 /* { dg-require-effective-target vect_shift } */
 /* { dg-require-effective-target vect_int } */
-/* { dg-options "-O -fdump-tree-veclower" } */
 
 #define vidx(type, vec, idx) (*((type *) &(vec) + idx))
 #define vector(elcount, type)  \
@@ -20,5 +19,5 @@ int main (int argc, char *argv[]) {
    return vidx(short, r1, 0);
 }
 
-/* { dg-final { scan-tree-dump-times ">> k.\[0-9_\]*" 1 "veclower" } } */
+/* { dg-final { scan-tree-dump-times ">> k.\[0-9_\]*" 1 "veclower" { target vect_shift_scalar } } } */
 /* { dg-final { cleanup-tree-dump "veclower" } } */
diff --git a/gcc/testsuite/gcc.dg/vect/vect-scal-opt1.c b/gcc/testsuite/gcc.dg/vect/vec-scal-opt1.c
similarity index 82%
rename from gcc/testsuite/gcc.dg/vect/vect-scal-opt1.c
rename to gcc/testsuite/gcc.dg/vect/vec-scal-opt1.c
index d8a891f67f66..0c00c718ef45 100644
--- a/gcc/testsuite/gcc.dg/vect/vect-scal-opt1.c
+++ b/gcc/testsuite/gcc.dg/vect/vec-scal-opt1.c
@@ -1,7 +1,6 @@
 /* { dg-do compile } */
 /* { dg-require-effective-target vect_shift } */
 /* { dg-require-effective-target vect_int } */
-/* { dg-options "-O -fdump-tree-veclower" } */
 
 #define vidx(type, vec, idx) (*((type *) &(vec) + idx))
 #define vector(elcount, type)  \
@@ -18,5 +17,5 @@ int main (int argc, char *argv[]) {
    return vidx(short, r1, 0);
 }
 
-/* { dg-final { scan-tree-dump-times ">> 2" 1 "veclower" } } */
+/* { dg-final { scan-tree-dump-times ">> 2" 1 "veclower" { target vect_shift_scalar } } } */
 /* { dg-final { cleanup-tree-dump "veclower" } } */
diff --git a/gcc/testsuite/gcc.dg/vect/vect-scal-opt2.c b/gcc/testsuite/gcc.dg/vect/vec-scal-opt2.c
similarity index 82%
rename from gcc/testsuite/gcc.dg/vect/vect-scal-opt2.c
rename to gcc/testsuite/gcc.dg/vect/vec-scal-opt2.c
index 2676e94f9dcc..5e79fb586992 100644
--- a/gcc/testsuite/gcc.dg/vect/vect-scal-opt2.c
+++ b/gcc/testsuite/gcc.dg/vect/vec-scal-opt2.c
@@ -1,7 +1,6 @@
 /* { dg-do compile } */
 /* { dg-require-effective-target vect_shift } */
 /* { dg-require-effective-target vect_int } */
-/* { dg-options "-O -fdump-tree-veclower" } */
 
 #define vidx(type, vec, idx) (*((type *) &(vec) + idx))
 #define vector(elcount, type)  \
@@ -17,5 +16,5 @@ int main (int argc, char *argv[]) {
    return vidx(short, r1, 0);
 }
 
-/* { dg-final { scan-tree-dump-times ">> 2" 1 "veclower" } } */
+/* { dg-final { scan-tree-dump-times ">> 2" 1 "veclower" { target vect_shift_scalar } } } */
 /* { dg-final { cleanup-tree-dump "veclower" } } */
diff --git a/gcc/testsuite/gcc.dg/vect/vect-114.c b/gcc/testsuite/gcc.dg/vect/vect-114.c
index f9132acd06d1..4bc786278155 100644
--- a/gcc/testsuite/gcc.dg/vect/vect-114.c
+++ b/gcc/testsuite/gcc.dg/vect/vect-114.c
@@ -34,7 +34,7 @@ int main (void)
   return main1 ();
 }
 
-/* { dg-final { scan-tree-dump-times "vectorized 0 loops" 1 "vect" { target { ! vect_perm } } } } */
-/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { target vect_perm } } } */
+/* { dg-final { scan-tree-dump-times "vectorized 0 loops" 1 "vect" { target { ! { vect_perm && vect_hw_misalign } } } } } */
+/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { target { vect_perm && vect_hw_misalign } } } } */
 /* { dg-final { cleanup-tree-dump "vect" } } */
 
diff --git a/gcc/testsuite/gcc.dg/vect/vect-15.c b/gcc/testsuite/gcc.dg/vect/vect-15.c
index 87853c1248e5..ba7599162dba 100644
--- a/gcc/testsuite/gcc.dg/vect/vect-15.c
+++ b/gcc/testsuite/gcc.dg/vect/vect-15.c
@@ -35,5 +35,5 @@ int main (void)
   return main1 ();
 }
 
-/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { target vect_perm } } } */
+/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { target { vect_perm && vect_hw_misalign } } } } */
 /* { dg-final { cleanup-tree-dump "vect" } } */
diff --git a/gcc/testsuite/gcc.dg/vect/vect.exp b/gcc/testsuite/gcc.dg/vect/vect.exp
index 748234849ca8..5160020917b3 100644
--- a/gcc/testsuite/gcc.dg/vect/vect.exp
+++ b/gcc/testsuite/gcc.dg/vect/vect.exp
@@ -23,9 +23,6 @@ load_lib gcc-dg.exp
 # Set up flags used for tests that don't specify options.
 set DEFAULT_VECTCFLAGS ""
 
-# These flags are used for all targets.
-lappend DEFAULT_VECTCFLAGS "-ftree-vectorize" "-fno-vect-cost-model"
-
 # If the target system supports vector instructions, the default action
 # for a test is 'run', otherwise it's 'compile'.  Save current default.
 # Executing vector instructions on a system without hardware vector support
@@ -118,6 +115,12 @@ if  [istarget "powerpc-*paired*"]  {
     return
 }
 
+global VEC_FLAGS
+set VEC_FLAGS $DEFAULT_VECTCFLAGS
+
+# These flags are used for all targets.
+lappend DEFAULT_VECTCFLAGS "-ftree-vectorize" "-fno-vect-cost-model"
+
 # Initialize `dg'.
 dg-init
 
@@ -137,6 +140,11 @@ lappend DEFAULT_VECTCFLAGS "-O2"
 dg-runtest [lsort [glob -nocomplain $srcdir/$subdir/nodump-*.\[cS\]]]  \
 	"" $DEFAULT_VECTCFLAGS
 
+# "-O -fdump-tree-veclower"
+lappend VEC_FLAGS "-O" "-fdump-tree-veclower"
+dg-runtest [lsort [glob -nocomplain $srcdir/$subdir/vec-scal-*.\[cS\]]]  \
+        "" $VEC_FLAGS
+
 set VECT_SLP_CFLAGS $DEFAULT_VECTCFLAGS
 
 lappend DEFAULT_VECTCFLAGS "-fdump-tree-vect-details" 
diff --git a/gcc/testsuite/lib/target-supports.exp b/gcc/testsuite/lib/target-supports.exp
index 751c1c51577e..50039e08f4cf 100644
--- a/gcc/testsuite/lib/target-supports.exp
+++ b/gcc/testsuite/lib/target-supports.exp
@@ -2258,6 +2258,27 @@ proc check_effective_target_vect_shift { } {
     return $et_vect_shift_saved
 }
 
+# Return 1 if the target supports hardware vector shift operation with
+# scalar shift argument.
+
+proc check_effective_target_vect_shift_scalar { } {
+    global et_vect_shift_scalar_saved
+
+    if [info exists et_vect_shift_scalar_saved] {
+        verbose "check_effective_target_vect_shift_scalar: using cached result" 2
+    } else {
+        set et_vect_shift_scalar_saved 0
+        if { [istarget x86_64-*-*]
+             || [istarget i?86-*-*] } {
+           set et_vect_shift_scalar_saved 1
+        }
+    }
+
+    verbose "check_effective_target_vect_shift_scalar: returning $et_vect_shift_scalar_saved" 2
+    return $et_vect_shift_scalar_saved
+}
+
+
 # Return 1 if the target supports hardware vectors of long, 0 otherwise.
 #
 # This can change for different subtargets so do not cache the result.
-- 
GitLab