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

vect: Fix an ICE in vectorizable_simd_clone_call 

In vectorizable_simd_clone_call, type compatibility is handled based on
the number of elements and the type compatibility of elements, which is
not enough. This patch add VIEW_CONVERT_EXPRs if the arguments types
and return type of simd clone function are distinct with the vectype of
stmt.

2020-07-20  Yang Yang  <yangyang305@huawei.com>

gcc/ChangeLog:

	* tree-vect-stmts.c (vectorizable_simd_clone_call): Add
	VIEW_CONVERT_EXPRs if the arguments types and return type
	of simd clone function are distinct with the vectype of stmt.

gcc/testsuite/ChangeLog:

	* gcc.target/aarch64/sve/pr96195.c: New test.
This commit is contained in:
y00520163 2020-07-20 19:47:05 +01:00 committed by Richard Sandiford
parent 3c5e83d5b3
commit 138b1d4f58
2 changed files with 39 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
gcc/testsuite/gcc.target/aarch64/sve/pr96195.c Normal file
View File

@ -0,0 +1,17 @@
/* { dg-do compile } */
/* { dg-options "-O1 -fopenmp-simd -ftree-vectorize -msve-vector-bits=128" } */
int by;
#pragma omp declare simd
int
zp (int);
void
qh (int oh)
{
#pragma omp simd
for (by = 0; by < oh; ++by)
by = zp (by);
}

25
gcc/tree-vect-stmts.c
View File

@ -4137,7 +4137,20 @@ vectorizable_simd_clone_call (vec_info *vinfo, stmt_vec_info stmt_info,
vec_oprnd0);
}
if (k == 1)
vargs.safe_push (vec_oprnd0);
if (!useless_type_conversion_p (TREE_TYPE (vec_oprnd0),
atype))
{
vec_oprnd0
= build1 (VIEW_CONVERT_EXPR, atype, vec_oprnd0);
gassign *new_stmt
= gimple_build_assign (make_ssa_name (atype),
vec_oprnd0);
vect_finish_stmt_generation (vinfo, stmt_info,
new_stmt, gsi);
vargs.safe_push (gimple_assign_lhs (new_stmt));
}
else
vargs.safe_push (vec_oprnd0);
else
{
vec_oprnd0 = build_constructor (atype, ctor_elts);
@ -4233,8 +4246,7 @@ vectorizable_simd_clone_call (vec_info *vinfo, stmt_vec_info stmt_info,
gcc_assert (ratype || simd_clone_subparts (rtype) == nunits);
if (ratype)
new_temp = create_tmp_var (ratype);
else if (simd_clone_subparts (vectype)
== simd_clone_subparts (rtype))
else if (useless_type_conversion_p (vectype, rtype))
new_temp = make_ssa_name (vec_dest, new_call);
else
new_temp = make_ssa_name (rtype, new_call);
@ -4322,6 +4334,13 @@ vectorizable_simd_clone_call (vec_info *vinfo, stmt_vec_info stmt_info,
vect_finish_stmt_generation (vinfo, stmt_info, new_stmt, gsi);
vect_clobber_variable (vinfo, stmt_info, gsi, new_temp);
}
else if (!useless_type_conversion_p (vectype, rtype))
{
vec_oprnd0 = build1 (VIEW_CONVERT_EXPR, vectype, new_temp);
new_stmt
= gimple_build_assign (make_ssa_name (vec_dest), vec_oprnd0);
vect_finish_stmt_generation (vinfo, stmt_info, new_stmt, gsi);
}
}
if (j == 0)