https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97255
--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-10 branch has been updated by Richard Biener <[email protected]>: https://gcc.gnu.org/g:67baa11f68e72cf562c491a8107bcdf3f1d6fc9b commit r10-8878-g67baa11f68e72cf562c491a8107bcdf3f1d6fc9b Author: Richard Biener <[email protected]> Date: Thu Oct 1 09:29:32 2020 +0200 tree-optimization/97255 - missing vector bool pattern of SRAed bool SRA tends to use VIEW_CONVERT_EXPR when replacing bool fields with unsigned char fields. Those are not handled in vector bool pattern detection causing vector true values to leak. The following fixes this by turning those into b ? 1 : 0 as well. 2020-10-01 Richard Biener <[email protected]> PR tree-optimization/97255 * tree-vect-patterns.c (vect_recog_bool_pattern): Also handle VIEW_CONVERT_EXPR. * g++.dg/vect/pr97255.cc: New testcase.
