#source: arch-10.s
#as: -march=bdver2+vmx+smx+xsaveopt+movbe+ept+padlock
#objdump: -dw
#name: i386 arch 10 (bdver2)
#dump: arch-10.d