title: Is there an advantage of specifying "-mfpu=neon-vfpv3" over "-mfpu=neon" for ARMs with separate pipelines?
body: <p>My Zynq-7000 ARM Cortex-A9 Processor has both the NEON and the VFPv3 extension and the Zynq-7000-TRM says that the processor is configured to have <em>"Independent pipelines for VFPv3 and advanced SIMD instructions"</em>.</p>
  
  <p>So far I compiled my programs with Linaro GCC 6.3-2017.05 and the <code>-mfpu=neon</code> option, to make use of SIMD instructions. But in the case that the compiler also has non-SIMD operations to be issued, will it make a difference to use <code>-mfpu=neon-vfpv3</code>? Will GCC's instruction selection and scheduler emit instructions for both versions, so that it could then make use of both pipelines, to increase utilization of the CPU?</p>