[Bug target/88541] New: 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

            Bug ID: 88541
           Summary: VPCLMULQDQ 256-bit inline function unavailable with
                    optimization but without enabled AVX512VL support
           Product: gcc
           Version: 8.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jbeulich at novell dot com
  Target Milestone: ---

As per the specification, and just like is the case for VAES, it should be
usable with just AVX (or perhaps better AVX2) support enabled. The function is
preceded by

#pragma GCC target("vpclmulqdq,avx512vl")

though. Perhaps simply a copy-and-paste mistake from the 128-bit variant (when
that was still there).