ARM M4F平台下GCC强制特定寄存器仅写模式的实现方法

我基于ARM M4F平台，用arm-gcc和Eclipse做项目开发，通过结构体位域访问IO寄存器，示例结构体如下：

struct abc{
   volatile uint32_t a:1;
   volatile uint32_t b:1;
   volatile uint32_t c:30;
};

部分外设采用Set/Clear寄存器组：往Set寄存器写1U会置对应位，往Clear寄存器写1U会清零对应位。但读取Clear寄存器时，已置位的位会返回1U——比如执行abc_set.a = 1U;后，abc_clear.a == 1U。

当前遇到的问题是：当编写abc_clear.a = 1U;时，arm-gcc生成了读改写指令：

ldr.w   r0, [r1, #128]  ; 0x80
orr.w   r0, r0, #536870912      ; 0x20000000
str.w   r0, [r1, #128]  ; 0x80

如果Clear寄存器中其他位原本为1U，这条指令会将它们也写入1U，导致这些位被误清零。

解决方案 #

1. 用write_only属性标记仅写寄存器指针 #

直接将指向Clear寄存器的指针标记为仅写，强制编译器跳过读操作，只生成写指令：

// 替换为实际的Clear寄存器地址
#define ABC_CLEAR_REG ((volatile __attribute__((write_only)) uint32_t *)0x40000080)

// 仅写位a（对应掩码0x20000000）
*ABC_CLEAR_REG |= 0x20000000;

2. 结构体位域结合封装函数（保留结构体访问方式） #

如果必须保留结构体位域的形式，通过封装函数绕过位域的读改写逻辑，直接写入目标掩码：

struct abc {
    volatile uint32_t a:1;
    volatile uint32_t b:1;
    volatile uint32_t c:30;
} __attribute__((packed, aligned(4)));

// 标记结构体指针为仅写
#define ABC_CLEAR ((struct abc __attribute__((write_only)) *)0x40000080)

// 仅写位a的内联函数，直接操作寄存器整值
static inline void abc_clear_set_a(void) {
    // 强制转换为uint32_t指针，写入目标位掩码
    *((volatile uint32_t *)ABC_CLEAR) |= 0x20000000;
}

调用abc_clear_set_a()时，编译器只会生成直接写寄存器的指令，不会触发读操作。

3. 不推荐的方案 #

不要依赖全局编译选项（如-fno-gcse）禁用读改写优化，这类选项会影响整个项目的代码生成逻辑，容易引发其他未知问题。

核心逻辑 #

Set/Clear寄存器属于写触发型外设：写入1执行对应置位/清零操作，读取返回的状态不代表寄存器的实际存储值。因此必须强制编译器跳过读步骤，直接写入目标位的掩码，避免误操作其他位。

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