src/jdk.vm.ci/share/classes/jdk.vm.ci.amd64/src/jdk/vm/ci/amd64/AMD64.java

*** 200,210 ****
          AVX512DQ,
          AVX512PF,
          AVX512ER,
          AVX512CD,
          AVX512BW,
!         AVX512VL
      }
  
      private final EnumSet<CPUFeature> features;
  
      /**
--- 200,211 ----
          AVX512DQ,
          AVX512PF,
          AVX512ER,
          AVX512CD,
          AVX512BW,
!         AVX512VL,
!         SHA
      }
  
      private final EnumSet<CPUFeature> features;
  
      /**