1 #source: arch-10.s 2 #as: -march=bdver4+vmx+smx+ept+padlock 3 #objdump: -dw 4 #name: i386 arch 10 (bdver4) 5 #dump: arch-10.d 6