git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

[PATCH] RISC-V: Fix slide pattern recognition [PR122124] 

Ensure the second pivot is really a pivot and it's not in OP1.

	PR target/122124
gcc/ChangeLog:
	* config/riscv/riscv-v.cc (shuffle_slide_patterns): Check if
	the second pivot is in OP1 and improve comments.

gcc/testsuite/ChangeLog:
	* gcc.target/riscv/rvv/autovec/pr122124.c: New test.
This commit is contained in:
Raphael Moreira Zinsly 2025-10-07 07:14:01 -06:00 committed by Jeff Law
parent 05d3dd6010
commit 34ef2eec90
2 changed files with 24 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/config/riscv/riscv-v.cc
View File

@ -3779,14 +3779,15 @@ shuffle_slide_patterns (struct expand_vec_perm_d *d)
int pivot = -1;
for (int i = 0; i < vlen; i++)
{
/* The first pivot is in OP1. */
if (pivot == -1 && known_ge (d->perm[i], vec_len))
pivot = i;
if (i > 0 && i != pivot
&& maybe_ne (d->perm[i], d->perm[i - 1] + 1))
{
if (pivot == -1 || len != 0)
/* A second pivot would indicate the vector length and is in OP0. */
if (known_ge (d->perm[i], vec_len) || pivot == -1 || len != 0)
return false;
/* A second pivot would indicate the vector length. */
len = i;
}
}

21
gcc/testsuite/gcc.target/riscv/rvv/autovec/pr122124.c Normal file
View File

@ -0,0 +1,21 @@
/* { dg-do run } */
/* { dg-require-effective-target riscv_v_ok } */
/* { dg-add-options riscv_v } */
/* { dg-additional-options "-O0 -std=gnu99" } */
#include <stdint.h>
#include <stdio.h>
#define BS_VEC(type, num) type __attribute__((vector_size(num * sizeof(type))))
uint16_t func_24() {
BS_VEC(uint32_t, 4) zero = {0};
BS_VEC(uint8_t, 2)
BS_VAR_1 = __builtin_shufflevector(
(BS_VEC(uint8_t, 4))5,
__builtin_convertvector(zero, BS_VEC(uint8_t, 4)), 5, 0);
return BS_VAR_1[1];
}
int main() {
printf("%u\n", func_24());
}
/* { dg-output "5" } */