You got me interested to see if some thing changed recently with Qualcomm, Krait, and GCC...
The kernel is still treating Krait (and Scorpion for that matter) as generic ARMV7 (similar to Marvell's P4J and regular Cortex-A)
So... with some google fu, I found Paul Chambers' drop over on GitHub...
https://github.com/paul-chambers/netgear-r7800/blob/master/.config
Code:
CONFIG_TARGET_BOARD="ipq806x"
CONFIG_TARGET_ARCH_PACKAGES="ipq806x"
CONFIG_DEFAULT_TARGET_OPTIMIZATION="-Os -pipe -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=softfp"
So he's going with mfpu=vfp3-d16, and additionally the mfloat-abi=softfp -- My best guess at the moment is to avoid breaking binary packages included with the build...
Which goes back to my previous experience with Snapdragon on Android with JellyBean and KitKat...
Code:
CONFIG_TARGET_BOARD="ipq806x"
CONFIG_TARGET_ARCH_PACKAGES="ipq806x"
CONFIG_DEFAULT_TARGET_OPTIMIZATION="-Os -pipe -march=armv7-a -mtune=cortex-a9 -mfpu=neon-vfpv4"
CONFIG_CPU_TYPE="cortex-a9+neon-vfpv4"
Which should get one the best bang for the buck, but I'd be a bit wary of any binaries included with the build from 3rd parties...
And just to double check - I reached out to a contact - and he agreed - that should be optimal on a base build (e.g. OpenWRT, LEDE, or similar)