# SPDX-License-Identifier: GPL-2.0
# Copyright (C) 2020 Jason A. Donenfeld <Jason@zx2c4.com>. All Rights Reserved.

config AS_AVX2
	def_bool $(as-instr,vpbroadcastb %xmm0$(comma)%ymm1)

config AS_AVX512
	def_bool $(as-instr,vpmovm2b %k1$(comma)%zmm5)

config AS_SHA1_NI
	def_bool $(as-instr,sha1msg1 %xmm0$(comma)%xmm1)

config AS_SHA256_NI
	def_bool $(as-instr,sha256msg1 %xmm0$(comma)%xmm1)

config AS_ADX
	def_bool $(as-instr,adox %eax$(comma)%eax)