+#as: -O0
#objdump: -drw
#name: i386 Intel register names
.*[ ]+R_386_16[ ]+tr0
.*[ ]+R_386_16[ ]+mm0
.*[ ]+R_386_16[ ]+xmm0
+.*[ ]+R_386_16[ ]+ymm0
+.*[ ]+R_386_16[ ]+xmm16
+.*[ ]+R_386_16[ ]+zmm0
.*[ ]+R_386_32[ ]+rax
.*[ ]+R_386_32[ ]+axl
.*[ ]+R_386_32[ ]+r8b
.*[ ]+R_386_32[ ]+mm0
.*[ ]+R_386_32[ ]+xmm0
.*[ ]+R_386_32[ ]+ymm0
+.*[ ]+R_386_32[ ]+xmm16
+.*[ ]+R_386_32[ ]+zmm0
.*:[ ]+dd c0[ ]+ffree[ ]+%st(\(0\))?
.*:[ ]+0f ef c0[ ]+pxor[ ]+%mm0,%mm0
.*:[ ]+0f 57 c0[ ]+xorps[ ]+%xmm0,%xmm0
.*:[ ]+89 c0[ ]+mov[ ]+%eax,%eax
.*:[ ]+4c[ ]+dec %esp
.*:[ ]+89 c0[ ]+mov[ ]+%eax,%eax
+
+.* <ymm8>:
+.*[ ]+<ymm8>
#pass