# 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 wasm32
#
# Auto-generated file. Do not edit!
#   Generator: tools/update-microkernels.py


SET(PROD_WASM32_ASM_MICROKERNEL_SRCS)

SET(NON_PROD_WASM32_ASM_MICROKERNEL_SRCS
  src/f32-vrelu/f32-vrelu-asm-wasm32-shr-u1.S
  src/f32-vrelu/f32-vrelu-asm-wasm32-shr-u2.S
  src/f32-vrelu/f32-vrelu-asm-wasm32-shr-u4.S)

SET(ALL_WASM32_ASM_MICROKERNEL_SRCS ${PROD_WASM32_ASM_MICROKERNEL_SRCS} + ${NON_PROD_WASM32_ASM_MICROKERNEL_SRCS})