DIY FP-在没有硬件FPU的微控制器上实现浮点数学运算

我正在做一个小的个人项目^{_{（针对Parallax Propeller，但应该可以推广）}}，需要浮点数学运算。

我正在使用的微控制器没有本机浮点或股票浮点库。

是否有关于实施软件浮点数学的良好资源或教程？最好在真正有限的资源上（我什至没有堆栈！）。

^{我想支持 double大尺寸的花车。螺旋桨是32位MCU，因此我必须为每个浮点使用多个变量。}

^{我知道那里有一个用于螺旋桨的软件浮点库，但它仅支持single大小不定的浮子。}

^{不，我可能真的不需要double大小的浮标，但这听起来像是一个非常有趣的项目。我想这样做的一半原因是，我会在此过程中学到很多东西。}

如果您想自己做，我会说就做。

我想您不会找到太多资源或教程，因为所涉及的内容并不多。

这里是一个大纲：

• 加/减：
  如果指数相差太大（超过尾数位）：
  仅返回具有较大指数的值（如果这是减数：取反）

  如果指数相似： 如果结果不为0，则将
  较小值的尾数移动指数差，然后与其他尾数进行加/减（使用定点算法）
  ：将尾数上移直到结果的MSBit为1，并将指数减小相同量

• 乘法/除法：
  尾数相乘/除法（使用定点算法）并相加/相减指数

您应该可以使用 在Catpellina C或gcc的Propeller上此多精度浮点库。但是，对于许多应用程序来说可能太慢了。

看起来这个问题倾向于寻求理解而不是解决问题，所以这可能不是最有用的答案，只是出于完整性考虑。

http://code.google.com/p/propgcc/wiki/PropGccCompileOptions

表示GCC的螺旋桨版本具有浮点支持，包括双精度。

GCC及其编译器库当然是开源的，尽管在您开始了解代码的作用之前可能会有一个真正的学习曲线。