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