GCC options for Tegra K1

What are the best compile options for the Tegra K1 (Cortex A15 version)? The documentation mentions NEON and VFP but I cannot find information about which version and so on.

I am currently using using the following options for GCC which work fine but I wonder if it is possible to optimize this further.

-march=armv7ve -mfpu=neon  -mfloat-abi=hard -mcpu=cortex-a15

The flags supported by GCC:

I don’t know what “best” would be, but if you’re interested in knowing more about just what your actual compiler default settings are, along with everything they can be changed to, see the output of “-dumpspecs” (you can search for things like “mcpu” via “/mcpu”). E.G.:

gcc -dumpspecs | less -i