tree-optimization/95582 - fix vector pattern with bool conversions
authorRichard Biener <rguenther@suse.de>
Fri, 11 Dec 2020 09:07:10 +0000 (10:07 +0100)
committerRichard Biener <rguenther@suse.de>
Fri, 11 Dec 2020 09:10:11 +0000 (10:10 +0100)
commitfa4a8b6463e0dbc2a072fca835d28ae7a57849d5
tree66c63e0463d2c2e76bbf2a7aa7100d0534b71fdb
parent99d6ba6acb2e31fa4828a93f1561c02ee36ac89a
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.
gcc/tree-vect-patterns.c