diff options
| author | Richard Biener <rguenther@suse.de> | 2023-06-29 09:15:27 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2023-06-29 10:10:51 +0200 |
| commit | 1e6f1659bd7337e91a88086f8092ada01e80ac94 (patch) | |
| tree | 6f274b59ce45cb74a7a3ccefd6f15c3fade6e7d8 /gcc | |
| parent | d81c7a25365d3cc87e5edad5e68049b149af55b4 (diff) | |
| download | gcc-1e6f1659bd7337e91a88086f8092ada01e80ac94.zip gcc-1e6f1659bd7337e91a88086f8092ada01e80ac94.tar.gz gcc-1e6f1659bd7337e91a88086f8092ada01e80ac94.tar.bz2 | |
middle-end/110461 - pattern applying wrongly to vectors
The following guards a match.pd pattern that wasn't supposed to
apply to vectors and thus runs into TYPE_PRECISION checking. For
vector support the constant case is lacking and the pattern would
have missing optab support checking for the result operation.
PR middle-end/110461
* match.pd (bitop (convert@2 @0) (convert?@3 @1)): Disable
for VECTOR_TYPE_P.
* gcc.dg/pr110461.c: New testcase.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/match.pd | 1 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr110461.c | 16 |
2 files changed, 17 insertions, 0 deletions
diff --git a/gcc/match.pd b/gcc/match.pd index 83bcefa..f09583b 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -1853,6 +1853,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) || tree_nop_conversion_p (TREE_TYPE (@0), type))) || types_match (@0, @1)) && !POINTER_TYPE_P (TREE_TYPE (@0)) + && !VECTOR_TYPE_P (TREE_TYPE (@0)) && TREE_CODE (TREE_TYPE (@0)) != OFFSET_TYPE /* ??? This transform conflicts with fold-const.cc doing Convert (T)(x & c) into (T)x & (T)c, if c is an integer diff --git a/gcc/testsuite/gcc.dg/pr110461.c b/gcc/testsuite/gcc.dg/pr110461.c new file mode 100644 index 0000000..cd23a2b --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr110461.c @@ -0,0 +1,16 @@ +/* { dg-do compile } */ +/* { dg-options "-O" } */ + +typedef int v4si __attribute__ ((vector_size (4*sizeof(int)))); +typedef short v4hi __attribute__ ((vector_size (4*sizeof(short)))); + +v4hi res; +v4hi a, b; + +void f(void) +{ + v4si t = __builtin_convertvector (a, v4si); + v4si t1 = __builtin_convertvector (b, v4si); + t ^= t1; + res = __builtin_convertvector (t, v4hi); +} |