When a new CC3200 project was created in 6.0.1.00040 with CC3200 Device Support 1.0.0.4 installed, the --float_support was set to FPv4SPD16.
FPv4SPD16 causes the compiler to generate hardware floating-point instructions.
However, doesn't the CC3200 have a Cortex-M4 CPU core which doesn't support hardware floating point?
In which case should the CC3200 device support files set the --float_support for new projects to vfplib to use software floating-point?
[I don't have a CC3200 to try, but was trying to help on another thread where a CMSIS project set up for a Tiva C processor which does have a Cortex-M4F CPU core was crashing when run on a CC3200]