g++优化导致SoC FPGA代码异常，求原因及局部优化方案

问题背景 #

在搭载ARM硬核的SoC FPGA设备的Linux系统开发中，通过内存映射与FPGA固件进行32位数据交互，debug模式运行正常，但release模式下必须关闭所有优化（-O0）才能正常工作。核心交互代码及异常场景如下：

交互宏定义 #

#define IORD(base, index)                   (*(((uint32_t *)base)+index))
#define IOWR(base, index, data)             (*(((uint32_t *)base)+index) = data)

内存映射代码 #

void *h2f_virtual_base;
uint32_t *ravioliDigProc_addr = NULL;

h2f_virtual_base = mmap(NULL, H2F_SPAN, (PROT_READ | PROT_WRITE), MAP_SHARED, fd, H2F_BASE);
ravioliDigProc_addr = (uint32_t*) ((uint8_t*) h2f_virtual_base + (RAVIOLIDIGPROC_0_BASE & H2F_MASK));

异常测试循环 #

while( (test != 0) && (ne < 40000) ) {
    volatile uint32_t data1, data2;
    volatile uint32_t d1, d2, d3, d4;
    IOWR(ravioliDigProc_addr, 0x0003, 0x00000008);
    IOWR(ravioliDigProc_addr, 0x0003, 0x00000000);
    data1 = IORD(ravioliDigProc_addr, 0x0004);
    data2 = IORD(ravioliDigProc_addr, 0x0005);
    myData = IORD(ravioliDigProc_addr, 0x0003);
    d1 = data1 & 0xFFFF;
    d2 = (data1 & 0xFFFF0000)>>16;
    d3 = data2 & 0xFFFF;
    d4 = (data2 & 0xFFFF0000)>>16;
    test = myData & 0x00010000;
    if(!test) {
        printf("test == 0: ne = %d\n", ne);
        break;
    }
    fprintf(pFile, "%d,%d,%d,%d\n", d1, d2, d3, d4);
    ne++;
}
printf("%d values saved\n", ne);
printf("After while:\t0x%02x: 0x%08x\n", 0x0003, myData);

开启优化后出现两种异常：要么循环首次迭代即退出（无数据读取）；要么交换test判断与fprintf顺序后，循环执行40000次并写入相同值。

原因分析 #

核心问题是内存映射IO地址未加volatile修饰：

• FPGA寄存器属于内存映射外设，读写这些地址会触发硬件动作（如写0x0003是触发数据缓冲，读是获取实时硬件状态），这类操作存在副作用。
• 原宏中的uint32_t*未加volatile，编译器优化时会认为这些地址的读写无副作用，进而执行重排、合并、缓存值等优化：
  • 两次IOWR(ravioliDigProc_addr, 0x0003, ...)可能被合并为一次，导致硬件未被正确触发；
  • 读取的寄存器值可能被缓存，导致test判断使用旧值，出现循环异常；
  • 代码执行顺序被调整，破坏了与硬件交互的时序逻辑。

修复方案 #

修改交互宏，为指针添加volatile修饰，强制编译器不优化寄存器的读写操作，保证每一次读写都真实执行且顺序符合代码逻辑：

#define IORD(base, index)                   (*(((volatile uint32_t *)base)+index))
#define IOWR(base, index, data)             (*(((volatile uint32_t *)base)+index) = data)

同时确保myData变量也被声明为volatile uint32_t，避免其值被编译器缓存。

部分代码关闭优化的方法 #

如果因特殊需求必须保留部分优化，可针对特定函数或代码块单独关闭优化（以GCC编译器为例）：

• 针对函数：在函数声明前添加属性

  __attribute__((optimize("O0")))
  void fpga_data_read_function() {
      // 与FPGA交互的代码
  }
  

• 针对代码块：使用编译指令包裹

  // 其他保持优化的代码
  #pragma GCC push_options
  #pragma GCC optimize("O0")
  while( (test != 0) && (ne < 40000) ) {
      // 异常循环代码
  }
  #pragma GCC pop_options
  // 其他保持优化的代码
  

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