# Check 64bit instructions with optimized encoding

	.arch .avx512vl

.include "x86-64-optimize-2.s"