MatCat.OpenSource/8sa1-gcc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

tree-optimization/99856 - fix overwideing pattern creation

Browse Source 
This fixes an omission of promoting a bit-precision required precision
to a vector element precision.

2021-04-01  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/99856
	* tree-vect-patterns.c (vect_recog_over_widening_pattern): Promote
	precision to vector element precision.

	* gcc.dg/vect/pr99856.c: New testcase.
This commit is contained in:
Richard Biener 2021-04-01 09:29:14 +02:00
parent 19d7167461
commit b75c4e1384
2 changed files with 34 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

33
gcc/testsuite/gcc.dg/vect/pr99856.c Normal file
View File

@ -0,0 +1,33 @@
/* { dg-do compile } */
/* { dg-require-effective-target vect_int } */
/* { dg-require-effective-target vect_unpack } */
/* { dg-require-effective-target vect_pack_trunc } */
#define SHIFTFORDIV255(a)\
((((a) >> 8) + a) >> 8)
#define DIV255(a)\
SHIFTFORDIV255(a + 0x80)
typedef unsigned char uint8_t;
void
opSourceOver_premul(uint8_t* restrict Rrgba,
const uint8_t* restrict Srgba,
const uint8_t* restrict Drgba, int len)
{
Rrgba = __builtin_assume_aligned (Rrgba, __BIGGEST_ALIGNMENT__);
Srgba = __builtin_assume_aligned (Rrgba, __BIGGEST_ALIGNMENT__);
Drgba = __builtin_assume_aligned (Rrgba, __BIGGEST_ALIGNMENT__);
int i = 0;
for (; i < len*4; i += 4)
{
uint8_t Sa = Srgba[i + 3];
Rrgba[i + 0] = DIV255(Srgba[i + 0] * 255 + Drgba[i + 0] * (255 - Sa));
Rrgba[i + 1] = DIV255(Srgba[i + 1] * 255 + Drgba[i + 1] * (255 - Sa));
Rrgba[i + 2] = DIV255(Srgba[i + 2] * 255 + Drgba[i + 2] * (255 - Sa));
Rrgba[i + 3] = DIV255(Srgba[i + 3] * 255 + Drgba[i + 3] * (255 - Sa));
}
}
/* { dg-final { scan-tree-dump "vectorized 1 loops in function" "vect" } } */

1
gcc/tree-vect-patterns.c
View File

@ -1705,6 +1705,7 @@ vect_recog_over_widening_pattern (vec_info *vinfo,
/* Apply the minimum efficient precision we just calculated. */
if (new_precision < min_precision)
new_precision = min_precision;
new_precision = vect_element_precision (new_precision);
if (new_precision >= TYPE_PRECISION (type))
return NULL;