commit c51d8d383cfb92142b86d8d1822159f3bea10d16

Author: Noah Goldstein <goldstein.w.n@gmail.com>

Date:   Thu Jun 16 15:01:08 2022 -0700

    x86: Add BMI1/BMI2 checks for ISA_V3 check

    BMI1/BMI2 are part of the ISA V3 requirements:

    https://en.wikipedia.org/wiki/X86-64

    And defined by GCC when building with `-march=x86-64-v3`

    (cherry picked from commit 8da9f346cb2051844348785b8a932ec44489e0b7)

diff --git a/sysdeps/x86/isa-level.c b/sysdeps/x86/isa-level.c

index 49ef4aa6122072cf..07815381122c94c3 100644

--- a/sysdeps/x86/isa-level.c

+++ b/sysdeps/x86/isa-level.c

@@ -47,7 +47,8 @@

 # endif

 # if ISA_V2 && defined __AVX__ && defined __AVX2__ && defined __F16C__ \

-     && defined __FMA__ && defined __LZCNT__ && defined HAVE_X86_MOVBE

+     && defined __FMA__ && defined __LZCNT__ && defined HAVE_X86_MOVBE \

+     && defined __BMI__ && defined __BMI2__

 /* NB: ISAs in x86-64 ISA level v3 are used.  */

 #  define ISA_V3	GNU_PROPERTY_X86_ISA_1_V3

 # else