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

Clamp vec_perm_expr index in simplify_bitfield_ref to avoid ICE. 

gcc/ChangeLog:

	PR tree-optimization/105591
	* tree-ssa-forwprop.cc (simplify_bitfield_ref): Clamp
	vec_perm_expr index.

gcc/testsuite/ChangeLog:

	* gcc.dg/pr105591.c: New test.
This commit is contained in:
liuhongt 2022-05-16 09:06:04 +08:00
parent 702bd11fa7
commit 1fba0608d1
2 changed files with 20 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
gcc/testsuite/gcc.dg/pr105591.c Normal file
View File

@ -0,0 +1,12 @@
/* { dg-do compile } */
/* { dg-options "-Wno-psabi -O" } */
/* { dg-additional-options "-mavx" { target x86_64-*-* i?86-*-* } } */
typedef unsigned long long __attribute__((__vector_size__ (16))) U;
typedef unsigned long long __attribute__((__vector_size__ (32))) V;
V
foo (U u)
{
U x = __builtin_shuffle (u, (U) { 0xBE2ED0AB630B33FE });
return __builtin_shufflevector (u, x, 2, 1, 0, 3);
}

13
gcc/tree-ssa-forwprop.cc
View File

@ -2381,23 +2381,26 @@ simplify_bitfield_ref (gimple_stmt_iterator *gsi)
/* One element. */
if (known_eq (size, elem_size))
idx = TREE_INT_CST_LOW (VECTOR_CST_ELT (m, idx));
idx = TREE_INT_CST_LOW (VECTOR_CST_ELT (m, idx)) % (2 * nelts);
else
{
unsigned HOST_WIDE_INT nelts_op;
if (!constant_multiple_p (size, elem_size, &nelts_op)
|| !pow2p_hwi (nelts_op))
return false;
unsigned start = TREE_INT_CST_LOW (vector_cst_elt (m, idx));
unsigned end = TREE_INT_CST_LOW (vector_cst_elt (m, idx + nelts_op - 1));
/* Clamp vec_perm_expr index. */
unsigned start = TREE_INT_CST_LOW (vector_cst_elt (m, idx)) % (2 * nelts);
unsigned end = TREE_INT_CST_LOW (vector_cst_elt (m, idx + nelts_op - 1))
% (2 * nelts);
/* Be in the same vector. */
if ((start < nelts) != (end < nelts))
return false;
for (unsigned HOST_WIDE_INT i = 1; i != nelts_op; i++)
{
/* Continuous area. */
if (TREE_INT_CST_LOW (vector_cst_elt (m, idx + i)) - 1
!= TREE_INT_CST_LOW (vector_cst_elt (m, idx + i - 1)))
if (TREE_INT_CST_LOW (vector_cst_elt (m, idx + i)) % (2 * nelts) - 1
!= TREE_INT_CST_LOW (vector_cst_elt (m, idx + i - 1))
% (2 * nelts))
return false;
}
/* Alignment not worse than before. */