关于STM32f429I -DISCO 浮点库的问题

小弟尝试使用stm32f429的浮点库做运算。使用Keil 开发环境。 在工程属性的C/C++选项卡中的 预编译define中添加 __FPU_USED=1,__FPU_PRESENT=1 然后在Target的Float point hardware中勾选了Use single precision选项。是不是就自动的使用FPU进行浮点运算了呢?
但问题是我在浮点加法的语句打断点，查看FPU寄存器，并没有被使用的迹象，所有寄存器都是0，而且不加__FPU_PRESENT=1和Use single precision的速度跟加了之后是一样的。一定是我哪里没有搞明白，求论坛高人一助，不胜感激