procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

tree-optimization/119145 - avoid stray .MASK_CALL after vectorization

Browse source 
When we BB vectorize an if-converted loop body we make sure to not
leave around .MASK_LOAD or .MASK_STORE created by if-conversion but
we failed to check for .MASK_CALL.

	PR tree-optimization/119145
	* tree-vectorizer.cc (try_vectorize_loop_1): Avoid BB
	vectorizing an if-converted loop body when there's a .MASK_CALL
	in the loop body.

	* gcc.dg/vect/pr119145.c: New testcase.
This commit is contained in:
Richard Biener 2025-03-07 10:15:20 +01:00 • committed by Richard Biener
parent b1d0ac28de
commit 7950d4cceb
2 changed files with 38 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

35
gcc/testsuite/gcc.dg/vect/pr119145.c Normal file
View file

@ -0,0 +1,35 @@
/* { dg-do compile } */
typedef short Quantum;
Quantum ComplexImages_Bi_0, ComplexImages_Ai_0, ComplexImages_Ai_1;
long ComplexImages_x;
__attribute__((__simd__)) double atan2(double, double);
typedef enum { MagickFalse } MagickBooleanType;
struct {
MagickBooleanType matte;
} *ComplexImages_images;
typedef struct {
Quantum blue, opacity;
} PixelPacket;
typedef enum { MagnitudePhaseComplexOperator } ComplexOperator;
PixelPacket ComplexImages_Ar, ComplexImages_Br;
PixelPacket *ComplexImages_Ci;
ComplexOperator ComplexImages_op;
void ComplexImages()
{
for (; ComplexImages_x; ComplexImages_x++)
switch (ComplexImages_op)
{
case MagnitudePhaseComplexOperator:
if (ComplexImages_images->matte)
ComplexImages_Ci->opacity
= atan2(ComplexImages_Ai_1, ComplexImages_Ar.opacity);
ComplexImages_Ci->blue
= 1.0 / (ComplexImages_Ai_0 * ComplexImages_Br.blue
+ ComplexImages_Ar.blue * ComplexImages_Bi_0);
}
}

4
gcc/tree-vectorizer.cc
View file

@ -1132,7 +1132,9 @@ try_vectorize_loop_1 (hash_table<simduid_to_vf> *&simduid_to_vf_htab,
if (call && gimple_call_internal_p (call))
{
internal_fn ifn = gimple_call_internal_fn (call);
if (ifn == IFN_MASK_LOAD || ifn == IFN_MASK_STORE
if (ifn == IFN_MASK_LOAD
|| ifn == IFN_MASK_STORE
|| ifn == IFN_MASK_CALL
/* Don't keep the if-converted parts when the ifn with
specifc type is not supported by the backend. */
|| (direct_internal_fn_p (ifn)