[Bug target/88541] VPCLMULQDQ 256-bit inline function unavailable with optimization but without enabled AVX512VL support

[jbeulich at novell dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88541

--- Comment #5 from jbeulich at novell dot com ---
So why -mavx instead of -mavx2? I think the way it was done for GFNI and SSE2
it should also be done there, here and for VAES wrt AVX: Only SSE2 provides
support for vectors of ints. Similarly only AVX2 provides supports for 256-bit
vectors of ints. Exceptions in both cases are that it is (in principle)
possible to load/store such vectors.