]> gcc.gnu.org Git - gcc.git/commit
middle-end: check that the lhs of a COND_EXPR is an SSA_NAME in cond_store recognitio...
authorTamar Christina <tamar.christina@arm.com>
Fri, 6 Sep 2024 13:05:43 +0000 (14:05 +0100)
committerTamar Christina <tamar.christina@arm.com>
Fri, 6 Sep 2024 13:05:43 +0000 (14:05 +0100)
commit2c4438d39156493b5b382eb48b1f884ca5ab7ed4
tree82c25d3666eabbe40b1a3b25b29fb1e9340bb5df
parent1247fa6e95cdf4a6422ec802f733f1f7ecaa3557
middle-end: check that the lhs of a COND_EXPR is an SSA_NAME in cond_store recognition [PR116628]

Because the vect_recog_bool_pattern can at the moment still transition
out of GIMPLE and back into GENERIC the vect_recog_cond_store_pattern can
end up using an expression as a mask rather than an SSA_NAME.

This adds an explicit check that we have a mask and not an expression.

gcc/ChangeLog:

PR tree-optimization/116628
* tree-vect-patterns.cc (vect_recog_cond_store_pattern): Add SSA_NAME
check on expression.

gcc/testsuite/ChangeLog:

PR tree-optimization/116628
* gcc.dg/vect/pr116628.c: New test.
gcc/testsuite/gcc.dg/vect/pr116628.c [new file with mode: 0644]
gcc/tree-vect-patterns.cc
This page took 0.072585 seconds and 5 git commands to generate.