https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95582
--- Comment #22 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:fa4a8b6463e0dbc2a072fca835d28ae7a57849d5 commit r11-5925-gfa4a8b6463e0dbc2a072fca835d28ae7a57849d5 Author: Richard Biener <rguent...@suse.de> Date: Fri Dec 11 10:07:10 2020 +0100 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 <rguent...@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.