OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR tree-optimization/57705 (Non-constant step induction vars not vectorized) 

PR tree-optimization/57705
	* tree-vect-loop.c (vect_is_simple_iv_evolution): Allow
	SSA_NAME step, provided that it is not defined inside the loop.
	(vect_analyze_scalar_cycles_1): Disallow SSA_NAME step in nested
	loop.
	(get_initial_def_for_induction): Handle SSA_NAME IV step.

	* gcc.dg/vect/pr57705.c: New test.
	* gcc.dg/vect/vect-iv-7.c: Add noclone attribute, remove xfail.

From-SVN: r200394
This commit is contained in:
Jakub Jelinek 2013-06-25 14:35:21 +02:00 committed by Jakub Jelinek
parent c13bc3d998
commit f6fdeb62ee
5 changed files with 102 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
gcc/ChangeLog
View File

@ -1,3 +1,12 @@
2013-06-25 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/57705
* tree-vect-loop.c (vect_is_simple_iv_evolution): Allow
SSA_NAME step, provided that it is not defined inside the loop.
(vect_analyze_scalar_cycles_1): Disallow SSA_NAME step in nested
loop.
(get_initial_def_for_induction): Handle SSA_NAME IV step.
2013-06-25 Martin Jambor <mjambor@suse.cz>
PR middle-end/57670

6
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,9 @@
2013-06-25 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/57705
* gcc.dg/vect/pr57705.c: New test.
* gcc.dg/vect/vect-iv-7.c: Add noclone attribute, remove xfail.
2013-06-25 Martin Jambor <mjambor@suse.cz>
PR middle-end/57670

65
gcc/testsuite/gcc.dg/vect/pr57705.c Normal file
View File

@ -0,0 +1,65 @@
/* { dg-do run } */
#include "tree-vect.h"
int a[1024];
unsigned char b[1024];
extern void abort (void);
__attribute__((noinline, noclone)) void
foo (int k, int m)
{
int i, k2 = k;
for (i = 0; i < 1024; i++)
{
a[i] = k2;
k2 += m + 1;
}
}
__attribute__((noinline, noclone)) void
bar (int k, int m)
{
int i, k2 = k;
for (i = 0; i < 1024; i++)
{
k2 += m + 1;
a[i] = k2;
}
}
__attribute__((noinline, noclone)) void
baz (int k, int m)
{
int i, k2 = k;
for (i = 0; i < 1024; i++)
{
a[i] = k2;
b[i] = i;
k2 += m + 1;
}
}
int
main ()
{
int i;
check_vect ();
foo (5, 3);
for (i = 0; i < 1024; i++)
if (a[i] != 5 + 4 * i)
abort ();
bar (5, 3);
for (i = 0; i < 1024; i++)
if (a[i] != 9 + 4 * i)
abort ();
baz (5, 3);
for (i = 0; i < 1024; i++)
if (a[i] != 5 + 4 * i || b[i] != (unsigned char) i)
abort ();
return 0;
}
/* { dg-final { scan-tree-dump-times "vectorized 1 loop" 3 "vect" } } */
/* { dg-final { cleanup-tree-dump "vect" } } */

4
gcc/testsuite/gcc.dg/vect/vect-iv-7.c
View File

@ -6,7 +6,7 @@
#define N 16
int result[N] = {8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38};
__attribute__ ((noinline)) int main1 (int X)
__attribute__ ((noinline, noclone)) int main1 (int X)
{
int arr[N];
int k = 3;
@ -38,5 +38,5 @@ int main (void)
return main1 (2);
}
/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { xfail *-*-* } } } */
/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" } } */
/* { dg-final { cleanup-tree-dump "vect" } } */

26
gcc/tree-vect-loop.c
View File

@ -500,7 +500,7 @@ vect_determine_vectorization_factor (loop_vec_info loop_vinfo)
/* Function vect_is_simple_iv_evolution.
FORNOW: A simple evolution of an induction variables in the loop is
considered a polynomial evolution with constant step. */
considered a polynomial evolution. */
static bool
vect_is_simple_iv_evolution (unsigned loop_nb, tree access_fn, tree * init,
@ -509,6 +509,7 @@ vect_is_simple_iv_evolution (unsigned loop_nb, tree access_fn, tree * init,
tree init_expr;
tree step_expr;
tree evolution_part = evolution_part_in_loop_num (access_fn, loop_nb);
basic_block bb;
/* When there is no evolution in this loop, the evolution function
is not "simple". */
@ -534,7 +535,10 @@ vect_is_simple_iv_evolution (unsigned loop_nb, tree access_fn, tree * init,
*init = init_expr;
*step = step_expr;
if (TREE_CODE (step_expr) != INTEGER_CST)
if (TREE_CODE (step_expr) != INTEGER_CST
&& (TREE_CODE (step_expr) != SSA_NAME
|| ((bb = gimple_bb (SSA_NAME_DEF_STMT (step_expr)))
&& flow_bb_inside_loop_p (get_loop (cfun, loop_nb), bb))))
{
if (dump_enabled_p ())
dump_printf_loc (MSG_MISSED_OPTIMIZATION, vect_location,
@ -556,7 +560,7 @@ static void
vect_analyze_scalar_cycles_1 (loop_vec_info loop_vinfo, struct loop *loop)
{
basic_block bb = loop->header;
tree dumy;
tree init, step;
vec<gimple> worklist;
worklist.create (64);
gimple_stmt_iterator gsi;
@ -605,7 +609,9 @@ vect_analyze_scalar_cycles_1 (loop_vec_info loop_vinfo, struct loop *loop)
}
if (!access_fn
|| !vect_is_simple_iv_evolution (loop->num, access_fn, &dumy, &dumy))
|| !vect_is_simple_iv_evolution (loop->num, access_fn, &init, &step)
|| (LOOP_VINFO_LOOP (loop_vinfo) != loop
&& TREE_CODE (step) != INTEGER_CST))
{
worklist.safe_push (phi);
continue;
@ -3273,10 +3279,14 @@ get_initial_def_for_induction (gimple iv_phi)
expr = build_int_cst (TREE_TYPE (step_expr), vf);
new_name = fold_build2 (MULT_EXPR, TREE_TYPE (step_expr),
expr, step_expr);
if (TREE_CODE (step_expr) == SSA_NAME)
new_name = vect_init_vector (iv_phi, new_name,
TREE_TYPE (step_expr), NULL);
}
t = unshare_expr (new_name);
gcc_assert (CONSTANT_CLASS_P (new_name));
gcc_assert (CONSTANT_CLASS_P (new_name)
|| TREE_CODE (new_name) == SSA_NAME);
stepvectype = get_vectype_for_scalar_type (TREE_TYPE (new_name));
gcc_assert (stepvectype);
new_vec = build_vector_from_val (stepvectype, t);
@ -3332,8 +3342,12 @@ get_initial_def_for_induction (gimple iv_phi)
expr = build_int_cst (TREE_TYPE (step_expr), nunits);
new_name = fold_build2 (MULT_EXPR, TREE_TYPE (step_expr),
expr, step_expr);
if (TREE_CODE (step_expr) == SSA_NAME)
new_name = vect_init_vector (iv_phi, new_name,
TREE_TYPE (step_expr), NULL);
t = unshare_expr (new_name);
gcc_assert (CONSTANT_CLASS_P (new_name));
gcc_assert (CONSTANT_CLASS_P (new_name)
|| TREE_CODE (new_name) == SSA_NAME);
new_vec = build_vector_from_val (stepvectype, t);
vec_step = vect_init_vector (iv_phi, new_vec, stepvectype, NULL);