# Check 64bit instructions with optimized encoding

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