> Yes. This will solve the problem, but it will lead to very large-scale changes > (splitting each rK, adding 1 column constraint), and make the pattern more > complex > and more difficult to maintain. In contrast, how about replacing "rK" with a > new > constrain in the way jeff mentioned? For example, "Vvl".
> Jeff: We could also create a new constraint that mostly behaves like rK, but > rejects (const_int 1) when thead-vector is enabled and use that in the > vsetvl pattern instead of rK. ( > https://gcc.gnu.org/pipermail/gcc-patches/2024-December/671836.html ) If you need to change every rK, then yeah, spec_restriction seem reasonable and a new constraint seems better.
