# Copyright 2022 Google LLC
#
# This source code is licensed under the BSD-style license found in the
# LICENSE file in the root directory of this source tree.
#
# Description: microkernel filename lists for avx512vbmi
#
# Auto-generated file. Do not edit!
#   Generator: tools/update-microkernels.py


SET(PROD_AVX512VBMI_MICROKERNEL_SRCS
  src/x8-lut/gen/x8-lut-avx512vbmi-vpermx2b-u128.c)

SET(NON_PROD_AVX512VBMI_MICROKERNEL_SRCS
  src/x8-lut/gen/x8-lut-avx512vbmi-vpermx2b-u64.c
  src/x8-lut/gen/x8-lut-avx512vbmi-vpermx2b-u192.c
  src/x8-lut/gen/x8-lut-avx512vbmi-vpermx2b-u256.c)

SET(ALL_AVX512VBMI_MICROKERNEL_SRCS ${PROD_AVX512VBMI_MICROKERNEL_SRCS} + ${NON_PROD_AVX512VBMI_MICROKERNEL_SRCS})