On Mon, 17 Nov 2025, Alex Coplan wrote: > From: Richard Biener <[email protected]> > > The following avoids type inconsistencies in .COND_op generated by > simplifications of VEC_COND_EXPRs. > > This is a backport of r14-5317-g20aa06490ab57da7729a24bae7c4ec2f5918ec91 > but with a testcase that triggered an ICE on the 13 branch (with the > same root cause as the original PR). It isn't an exact cherry-pick > because some of the patterns that were patched in the original fix don't > exist in GCC 13. > > Bootstrapped/regtested on aarch64-linux-gnu, arm-linux-gnueabihf, and > x86_64-linux-gnu. OK for the 13 branch?
OK. Richard. > Thanks, > Alex > > gcc/ChangeLog: > > PR middle-end/112469 > * match.pd (cond ? op a : b -> .COND_op (cond, a, b)): Add > missing view_converts. > > gcc/testsuite/ChangeLog: > > PR middle-end/112469 > * gcc.target/aarch64/sve/pr112469.c: New test. > > Co-Authored-By: Alex Coplan <[email protected]> > -- Richard Biener <[email protected]> SUSE Software Solutions Germany GmbH, Frankenstrasse 146, 90461 Nuernberg, Germany; GF: Jochen Jaser, Andrew McDonald, Werner Knoblich; (HRB 36809, AG Nuernberg)
