Add -mtune=k8 to gcc.target/i386/amd64-abi-3.c.