定制GCC代码覆盖方法适配资源受限裸机嵌入式目标

核心修改切入点 #

1. 代码插桩模块（RTL Pass阶段） #

• 选择RTL（Register Transfer Language）阶段执行插桩：此阶段已完成架构相关代码生成，可精准适配Cortex-M3/M4、ARM64、RISC-V、MicroBlaze等不同指令集的寄存器规则，避免插桩代码破坏原有上下文。
• 插桩逻辑：
  • 函数入口：在函数序言（prologue）后插入_gcc_func_enter()调用，传入当前函数起始地址（通过DECL_RTL获取地址常量）。
  • 函数出口：在函数尾声（epilogue）前插入_gcc_func_exit()调用，传入函数地址。
  • 条件分支：对所有条件跳转指令（如ARM的B.cond、RISC-V的bne/beq），在跳转前后分别插入_gcc_condition_true()或_gcc_condition_false()，传入分支指令地址作为唯一标识。
• 过滤规则：跳过编译器生成的辅助函数（如__aeabi_memcpy）和中断向量表代码，避免无效数据输出。

2. 目标架构适配层（Target Hooks） #

• 为各架构实现专属插桩调用封装：
  • Cortex-M系列：用__ASM__直接操作SWV/UART硬件寄存器，将插桩数据打包为固定帧格式（类型标识+地址）发送，无需依赖标准库。
  • ARM64：调用系统跟踪模块（ETM）接口，将数据写入跟踪缓冲区，由外部调试器通过JTAG/SWD捕获。
  • RISC-V：基于HTIF或自定义SPI接口实现无OS高速传输。
  • MicroBlaze：通过AXI GPIO/UART IP核映射的硬件寄存器直接发送数据。
• 自定义TARGET_COVERAGE_HOOKS钩子，替代GCC原生覆盖统计逻辑，让插桩代码直接调用硬件适配函数。

3. 编译选项扩展 #

• 添加-flean-coverage编译选项，启用轻量插桩模式，同时自动关闭原生-fprofile-arcs/-ftest-coverage选项避免冲突。
• 增加-coverage-target=<arch>参数（如-coverage-target=cortex-m3），指定目标架构的硬件输出接口，自动加载对应适配逻辑。

4. 数据输出优化 #

• 插桩调用优先用寄存器传递参数：贴合各架构调用约定，直接将地址存入通用寄存器，减少栈操作的RAM开销。
• 批量输出机制：针对高频分支，暂存少量数据在片内小RAM（如Cortex-M的SRAM），达到阈值后一次性输出，降低硬件传输频次。

配套处理建议 #

• 拆分测试应用：将测试用例拆分为10-20个独立镜像，每个镜像仅包含对应测试场景的代码和插桩逻辑，降低单镜像存储占用。
• 离线映射：用addr2line解析捕获的地址数据，结合编译时生成的符号表（-g选项），将地址映射为源码行号和函数名，生成覆盖统计报告。

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