procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

forwprop: Remove incorrect assertion [PR102897]

Browse source 
As PR102897 shows, there is one incorrect assertion in function
simplify_permutation, which is based on the wrong assumption that
all cases with op2_type == tgt_type are handled previously, the
proposed fix is to remove the assertion.

gcc/ChangeLog:

	PR tree-optimization/102897
	* tree-ssa-forwprop.c (simplify_permutation): Remove a wrong assertion.

gcc/testsuite/ChangeLog:

	* gcc.dg/pr102897.c: New test.
This commit is contained in:
Kewen Lin 2021-10-26 04:09:38 -05:00
parent ccbd6c37c4
commit 54e4e1769e
2 changed files with 16 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
gcc/testsuite/gcc.dg/pr102897.c Normal file
View file

@ -0,0 +1,16 @@
/* { dg-do compile } */
/* Specify C99 to avoid the warning/error on compound literals. */
/* { dg-options "-O1 -std=c99" } */
/* Verify that there is no ICE. */
typedef __attribute__((vector_size(8))) signed char int8x8_t;
typedef __attribute__((vector_size(8))) unsigned char uint8x8_t;
int8x8_t fn1 (int8x8_t val20, char tmp)
{
uint8x8_t __trans_tmp_3;
__trans_tmp_3 = (uint8x8_t){tmp};
int8x8_t __a = (int8x8_t) __trans_tmp_3;
return __builtin_shuffle (__a, val20, (uint8x8_t){0});
}

2
gcc/tree-ssa-forwprop.c
View file

@ -2267,8 +2267,6 @@ simplify_permutation (gimple_stmt_iterator *gsi)
if (!VECTOR_TYPE_P (tgt_type))
return 0;
tree op2_type = TREE_TYPE (op2);
/* Should have folded this before. */
gcc_assert (op2_type != tgt_type);
/* Figure out the shrunk factor. */
poly_uint64 tgt_units = TYPE_VECTOR_SUBPARTS (tgt_type);