1# Check 64bit instructions with optimized encoding
2
3	.arch .avx512vl
4
5.include "x86-64-optimize-2.s"
6