middle-end/112469 - fix missing converts in vec_cond_expr simplification
commit20aa06490ab57da7729a24bae7c4ec2f5918ec91
authorRichard Biener <rguenther@suse.de>
Fri, 10 Nov 2023 08:56:01 +0000 (10 09:56 +0100)
committerRichard Biener <rguenther@suse.de>
Fri, 10 Nov 2023 10:58:47 +0000 (10 11:58 +0100)
treeb8af9f65479b1f63fd0b2b7afdc786a7e193b17c
parent8da8b9225762126ca41b12243d6531cd41a831b3
middle-end/112469 - fix missing converts in vec_cond_expr simplification

The following avoids type inconsistencies in .COND_op generated by
simplifications of VEC_COND_EXPRs.

PR middle-end/112469
* match.pd (cond ? op a : b -> .COND_op (cond, a, b)): Add
missing view_converts.

* gcc.dg/torture/pr112469.c: New testcase.
gcc/match.pd
gcc/testsuite/gcc.dg/torture/pr112469.c [new file with mode: 0644]