re PR testsuite/60773 (FAIL: gcc.dg/vect/pr60656.c -flto -ffat-lto-objects scan-tree-dump-times vect "vectorized 1 loops" 1)

2014-04-09  Cong Hou  <congh@google.com>

	PR testsuite/60773
	* doc/sourcebuild.texi (vect_widen_mult_si_to_di_pattern): Add
	documentation.

	* lib/target-supports.exp:
	(check_effective_target_vect_widen_si_to_di_pattern): New.
	* gcc.dg/vect/pr60656.c: Require vect_long effective target.
	Use scan-tree-dump-times for vect_widen_mult_si_to_di_pattern
	targets only.
	(foo): Fix up formatting.
	(main): Call check_vect.

From-SVN: r209241
This commit is contained in:
Cong Hou 2014-04-09 07:37:14 -04:00 committed by Jakub Jelinek
parent 7dfaf6c385
commit 5d1a5a5378
5 changed files with 48 additions and 4 deletions

View file

@ -1,3 +1,9 @@
2014-04-09 Cong Hou <congh@google.com>
PR testsuite/60773
* doc/sourcebuild.texi (vect_widen_mult_si_to_di_pattern): Add
documentation.
2014-04-08 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
* config/rs6000/rs6000.c (rs6000_expand_vector_set): Use vnand

View file

@ -1428,6 +1428,10 @@ Target supports a vector widening multiplication of @code{short} operands
into @code{int} results, or can promote (unpack) from @code{short} to
@code{int} and perform non-widening multiplication of @code{int}.
@item vect_widen_mult_si_to_di_pattern
Target supports a vector widening multiplication of @code{int} operands
into @code{long} results.
@item vect_sdot_qi
Target supports a vector dot-product of @code{signed char}.

View file

@ -1,3 +1,14 @@
2014-04-09 Cong Hou <congh@google.com>
PR testsuite/60773
* lib/target-supports.exp:
(check_effective_target_vect_widen_si_to_di_pattern): New.
* gcc.dg/vect/pr60656.c: Require vect_long effective target.
Use scan-tree-dump-times for vect_widen_mult_si_to_di_pattern
targets only.
(foo): Fix up formatting.
(main): Call check_vect.
2014-04-08 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/59115

View file

@ -1,4 +1,5 @@
/* { dg-require-effective-target vect_int } */
/* { dg-require-effective-target vect_long } */
#include "tree-vect.h"
@ -12,7 +13,7 @@ foo ()
for(i = 0; i < 4; ++i)
{
long P = v[i];
s += P*P*P;
s += P * P * P;
}
return s;
}
@ -27,7 +28,7 @@ bar ()
for(i = 0; i < 4; ++i)
{
long P = v[i];
s += P*P*P;
s += P * P * P;
__asm__ volatile ("");
}
return s;
@ -35,11 +36,12 @@ bar ()
int main()
{
check_vect ();
if (foo () != bar ())
abort ();
return 0;
}
/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" } } */
/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { target vect_widen_mult_si_to_di_pattern } } } */
/* { dg-final { cleanup-tree-dump "vect" } } */

View file

@ -3738,6 +3738,27 @@ proc check_effective_target_vect_widen_mult_hi_to_si_pattern { } {
return $et_vect_widen_mult_hi_to_si_pattern_saved
}
# Return 1 if the target plus current options supports a vector
# widening multiplication of *int* args into *long* result, 0 otherwise.
#
# This won't change for different subtargets so cache the result.
proc check_effective_target_vect_widen_mult_si_to_di_pattern { } {
global et_vect_widen_mult_si_to_di_pattern
if [info exists et_vect_widen_mult_si_to_di_pattern_saved] {
verbose "check_effective_target_vect_widen_mult_si_to_di_pattern: using cached result" 2
} else {
if {[istarget ia64-*-*]
|| [istarget i?86-*-*]
|| [istarget x86_64-*-*] } {
set et_vect_widen_mult_si_to_di_pattern_saved 1
}
}
verbose "check_effective_target_vect_widen_mult_si_to_di_pattern: returning $et_vect_widen_mult_si_to_di_pattern_saved" 2
return $et_vect_widen_mult_si_to_di_pattern_saved
}
# Return 1 if the target plus current options supports a vector
# widening shift, 0 otherwise.
#