#as: -march=generic32+avx+aes+pclmul+gfni
#objdump: -dw
#name: i386 arch avx 1

.*:     file format .*

Disassembly of section .text:

0+ <.text>:
[ 	]*[a-f0-9]+:	c4 e2 79 dc 11       	vaesenc \(%ecx\),%xmm0,%xmm2
[ 	]*[a-f0-9]+:	c4 e3 49 44 d4 08    	vpclmulqdq \$0x8,%xmm4,%xmm6,%xmm2
[ 	]*[a-f0-9]+:	c4 e2 69 cf d9       	vgf2p8mulb %xmm1,%xmm2,%xmm3
#pass