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).