使用iphones simd浮点单位的浮点到整数转换

我目前正在尝试用Shark优化一些与DSP相关的代码,发现我在浮点到整数的转换中浪费了大量时间:

SInt16 nextInt = nextFloat * 32768.0f + 0.5f;

由于iPhone似乎有一个ARM11 FP协处理器,我想知道是否可以用FTOSI指令替换我的代码。 有一些 documentation 可在ARM网站上找到,但我在内嵌手工优化装配方面没有经验。 以前有人做过吗?
我想我可以用

__asm__ volatile

但是如何检查指令是否可用?
我如何传递我的价值?

Eddi1: 正如路易斯已经指出的那样,我忘记了提到我在编译时关闭了“为拇指编译”。

编辑2: 由于我想将float转换为signed int16而不是unsigned int,所以我将arm指令从ftoui更改为ftosi。这是原邮件中的一个错误。