#source: x86-64-arch-2.s
#as: -march=bdver4+vmx+smx+ept+padlock
#objdump: -dw
#name: x86-64 arch 2 (bdver4)
#dump: x86-64-arch-2.d