https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112999
--- Comment #1 from Robin Dapp <rdapp at gcc dot gnu.org> --- What actually gets in the way of vec_extract here is changing to a "better" vector mode (which is RVVMF4QI here). If we tried to extract from the mask directly everything would work directly. I have a patch locally that does this by refactoring extract_bit_field_1 slightly. Going to post it soon but not sure if people agree with that idea.