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

tree-optimization/95582 - fix vector pattern with bool conversions 

The pattern recognizer fends off against recognizing conversions
from VECT_SCALAR_BOOLEAN_TYPE_P to precision one types but what
it really needs to fend off is conversions between
VECT_SCALAR_BOOLEAN_TYPE_P types - the Ada FE uses an 8 bit
boolean type that satisfies this predicate.

2020-12-11  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/95582
	* tree-vect-patterns.c (vect_recog_bool_pattern): Check
	for VECT_SCALAR_BOOLEAN_TYPE_P, not just precision one.
This commit is contained in:
Richard Biener 2020-12-11 10:07:10 +01:00
parent 99d6ba6acb
commit fa4a8b6463
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gcc/tree-vect-patterns.c
View File

@ -4067,7 +4067,7 @@ vect_recog_bool_pattern (vec_info *vinfo,
|| rhs_code == VIEW_CONVERT_EXPR)
{
if (! INTEGRAL_TYPE_P (TREE_TYPE (lhs))
|| TYPE_PRECISION (TREE_TYPE (lhs)) == 1)
|| VECT_SCALAR_BOOLEAN_TYPE_P (TREE_TYPE (lhs)))
return NULL;
vectype = get_vectype_for_scalar_type (vinfo, TREE_TYPE (lhs));
if (vectype == NULL_TREE)