s32k1SIC如何使用浮点指令？

我们有代码在 s32k1SIC 评估板上运行，它使用 s32k146 处理器。代码在浮点数学中陷入困境，查看反汇编代码，我发现它没有使用浮点指令。查看处理器手册，我看到 s32k14x 处理器有一个数学协处理器。我尝试编写一条 vadd 指令，当它编译时，它告诉我不能在拇指模式下使用浮点指令。所以我放入了一个 .arm 指令来生成常规的 arm 指令，它告诉我我不能在只有拇指的处理器上这样做。如何使用浮点指令？