title: how to link GCC options to the arm MCU FPU datasheet?
body: <p>I have a STM32F406VG MCU, and I have an arm GCC. I use some strange arguments for the FPU I found through google to compile for my platform, but I can't find any reference document making the correspondence.</p>
  
  <p>I use -mfpu=fpv4-sp-d16, I have the datasheet telling me that I have a Cortex-M4F, but nothing about the FPU. I found some unhelpful document for GCC: <a href="http://gcc.gnu.org/onlinedocs/gcc/ARM-Options.html" rel="nofollow">http://gcc.gnu.org/onlinedocs/gcc/ARM-Options.html</a> and some unhelpful document from ARM: <a href="http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dui0489c/CIAHHAFG.html" rel="nofollow">http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dui0489c/CIAHHAFG.html</a></p>
  
  <p>But I can't fine any precise definition to match this argument with my FPU. Is there some kind of giant table with all the part number and the corresponding precise FPU definition on the internet?</p>