STM32CubeIDE开发STM32F030FP6时sqrt/sprintf占用Flash过大求助

STM32F030基于Cortex-M0内核，无硬件浮点单元，标准C库的全精度软浮点实现、全功能格式化函数自带大量依赖，单函数引入8KB左右的Flash占用是该平台的常见现象，不是工程配置错误，可按以下方法针对性优化： #

一、sqrt函数体积优化 #

• 优先替换为定点数实现：如果是普通控制、传感器数据计算等对精度要求不极端的场景，直接用整数运算替代浮点sqrt，代码体积极小，运行速度还比软浮点快数倍。参考快速整数平方根实现：

// 计算32位整数的平方根，误差小于1
uint32_t fast_sqrt_u32(uint32_t val) {
    uint32_t x = val, y = (val + 1) >> 1;
    while (y < x) {
        x = y;
        y = (x + val / x) >> 1;
    }
    return x;
}

需要小数结果时用Q格式定点数即可，比如Q16格式下将输入左移16位传入，结果右移8位即可得到Q8精度的平方根，完全满足绝大多数嵌入式场景需求。

• 必须使用浮点sqrt时：开启编译选项-Os -ffast-math，编译器会自动替换为小体积快速近似实现，相比标准库全精度sqrt体积缩小60%以上；不要使用标准库的双精度sqrt，如果精度允许改用单精度sqrtf，也能减少一半左右的依赖体积。

二、sprintf函数体积优化 #

• 优先使用newlib-nano精简库：在STM32CubeIDE的工程属性->C/C++ Build->Settings->Tool Settings->MCU Linker配置页，勾选Use newlib-nano，同时确认没有勾选Use float with printf from newlib-nano，该选项对应链接参数-u _printf_float，会把整套软浮点格式化代码拉进固件，单这一项就占6-7KB Flash。
• 简单场景替代方案：如果只需要做整数转字符串、字符串拼接，完全可以自己写精简的转换函数，总代码量通常不到500字节，远小于任何库版本的sprintf。

三、最终配置检查 #

• 编译优化等级选择Optimize for size (-Os)，不要选-O0（无优化）或者-O3（速度优先优化），后者会通过内联、循环展开等方式大幅增加固件体积。
• 编译选项添加-fdata-sections -ffunction-sections，让每个函数、变量独立分配段，方便链接器回收无用代码。
• 链接选项添加以下参数，使用精简C库、开启无用段自动回收，避免链接全量newlib库：

-specs=nano.specs
-specs=nosys.specs
-Wl,--gc-sections

• 检查链接选项中是否存在-u _printf_float、-u _scanf_float，如果你的格式化函数不需要处理浮点数，直接删除这两个参数，可直接减少7KB左右的Flash占用。

• 调用sqrt函数的代码：
  
• 未调用sqrt函数的代码：
  

内容的提问来源于stack exchange，提问作者Amin Rezaie