标签： c gcc floating-point
我目前正在研究一个需要更改GCC浮点输出格式的ARM浮点项目。内存中表示的默认GCC浮点数是IEEE754格式，这对我的MCU结构来说非常低效。我希望改变内存中的浮点格式如下：32位2的补码指数和32位2的补码尾数。有没有简单的方法让GCC支持它？