On 10/31/22 05:57, Tamar Christina wrote:
Hi All,
The current vector extract pattern can only extract from a vector when the
position to extract is a multiple of the vector bitsize as a whole.
That means extract something like a V2SI from a V4SI vector from position 32
isn't possible as 32 is not a multiple of 64. Ideally this optab should have
worked on multiple of the element size, but too many targets rely on this
semantic now.
So instead add a new case which allows any extraction as long as the bit pos
is a multiple of the element size. We use a VEC_PERM to shuffle the elements
into the bottom parts of the vector and then use a subreg to extract the values
out. This now allows various vector operations that before were being
decomposed into very inefficient scalar operations.
NOTE: I added 3 testcases, I only fixed the 3rd one.
The 1st one missed because we don't optimize VEC_PERM expressions into
bitfields. The 2nd one is missed because extract_bit_field only works on
vector modes. In this case the intermediate extract is DImode.
On targets where the scalar mode is tiable to vector modes the extract should
work fine.
However I ran out of time to fix the first two and so will do so in GCC 14.
For now this catches the case that my pattern now introduces more easily.
Bootstrapped Regtested on aarch64-none-linux-gnu, x86_64-pc-linux-gnu
and no issues.
Ok for master?
Thanks,
Tamar
gcc/ChangeLog:
* expmed.cc (extract_bit_field_1): Add support for vector element
extracts.
gcc/testsuite/ChangeLog:
* gcc.target/aarch64/ext_1.c: New.
OK.
jeff
