https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103485
--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <[email protected]>: https://gcc.gnu.org/g:e2521cd2d26661cfcfceaabf9bd281ef316fd3fc commit r12-5593-ge2521cd2d26661cfcfceaabf9bd281ef316fd3fc Author: Richard Biener <[email protected]> Date: Tue Nov 30 08:19:24 2021 +0100 middle-end/103485 - fix conversion kind for vectors This makes sure to use a VIEW_CONVERT_EXPR for converting vector signedness in the -((int)x >> (prec - 1)) to (unsigned)x >> (prec - 1) simplification. 2021-11-30 Richard Biener <[email protected]> PR middle-end/103485 * match.pd (-((int)x >> (prec - 1)) to (unsigned)x >> (prec - 1)): Use VIEW_CONVERT_EXPR for vectors. * gcc.dg/pr103485.c: New testcase.
