裸机Arduino C代码无法实现LED闪烁问题排查

背景 #

裸机学习AVR嵌入式C，自行实现类似avr/io.h的寄存器定义，目标设备为Arduino UNO R3（ATMEGA328P），已定义F_CPU=16000000UL。直接内存地址操作可正常实现LED闪烁，但位域结构体指针方式仅能让LED常亮，无法熄灭。

项目目录结构 #

.
├── Makefile
├── include
│   └── my_io.h
└── src
    ├── main_bitfield.c
    └── main_direct.c

正常工作的直接内存地址实现 #

include/my_io.h（直接地址版） #

#ifndef MY_IO_H
#define MY_IO_H

#define F_CPU 16000000UL

// ATMEGA328P寄存器地址定义
#define DDRB (*(volatile unsigned char *)0x24)
#define PORTB (*(volatile unsigned char *)0x25)

#endif // MY_IO_H

src/main_direct.c #

#include "my_io.h"

void delay_ms(unsigned int ms) {
    unsigned int i, j;
    for (i = 0; i < ms; i++) {
        for (j = 0; j < 4000; j++) {
            __asm__ __volatile__("nop");
        }
    }
}

int main(void) {
    DDRB |= (1 << 5); // PB5设为输出（对应板载LED）
    while (1) {
        PORTB |= (1 << 5); // 点亮LED
        delay_ms(500);
        PORTB &= ~(1 << 5); // 熄灭LED
        delay_ms(500);
    }
    return 0;
}

关键汇编片段（正确） #

main:
    ldi r24,lo8(0x20)
    out 0x24,r24       ; DDRB |= (1<<5)
.L2:
    ldi r24,lo8(0x20)
    out 0x25,r24       ; PORTB |= (1<<5)
    rcall delay_ms
    ldi r24,lo8(0xdf)
    out 0x25,r24       ; PORTB &= ~(1<<5)
    rcall delay_ms
    rjmp .L2

故障的位域结构体实现 #

include/my_io.h（位域版） #

#ifndef MY_IO_H
#define MY_IO_H

#define F_CPU 16000000UL

typedef struct {
    unsigned char PB0 : 1;
    unsigned char PB1 : 1;
    unsigned char PB2 : 1;
    unsigned char PB3 : 1;
    unsigned char PB4 : 1;
    unsigned char PB5 : 1;
    unsigned char PB6 : 1;
    unsigned char PB7 : 1;
} PORTB_BITS;

typedef struct {
    unsigned char DDB0 : 1;
    unsigned char DDB1 : 1;
    unsigned char DDB2 : 1;
    unsigned char DDB3 : 1;
    unsigned char DDB4 : 1;
    unsigned char DDB5 : 1;
    unsigned char DDB6 : 1;
    unsigned char DDB7 : 1;
} DDRB_BITS;

#define DDRB ((volatile DDRB_BITS *)0x24)
#define PORTB ((volatile PORTB_BITS *)0x25)

#endif // MY_IO_H

src/main_bitfield.c #

#include "my_io.h"

void delay_ms(unsigned int ms) {
    unsigned int i, j;
    for (i = 0; i < ms; i++) {
        for (j = 0; j < 4000; j++) {
            __asm__ __volatile__("nop");
        }
    }
}

int main(void) {
    DDRB->DDB5 = 1; // PB5设为输出
    while (1) {
        PORTB->PB5 = 1; // 点亮LED
        delay_ms(500);
        PORTB->PB5 = 0; // 尝试熄灭LED（无效）
        delay_ms(500);
    }
    return 0;
}

关键汇编片段（错误） #

main:
    lds r24,0x0024
    ori r24,0x20
    sts 0x0024,r24     ; DDRB->DDB5 = 1（正确）
.L2:
    lds r24,0x0025
    ori r24,0x20
    sts 0x0025,r24     ; PORTB->PB5 = 1（正确）
    rcall delay_ms
    lds r24,0x0025
    ori r24,0x20       ; 错误：此处应为清除位操作，实际却是再次置位PB5
    sts 0x0025,r24
    rcall delay_ms
    rjmp .L2

故障原因分析 #

从汇编代码可直接定位问题：PORTB->PB5 = 0;被编译器错误编译为置位操作（ori r24,0x20），而非预期的清除位操作（andi r24,0xdf）。

根本原因是：

1. AVR-GCC对独立位域结构体的读写逻辑存在优化异常，当直接对单个位域成员赋值0时，未正确生成"读-改-写"中的清除位指令。
2. 单独的位域结构体未绑定完整寄存器类型，编译器无法正确识别位操作的意图，导致指令生成错误。

解决方案 #

使用Union包裹完整寄存器与位域，这也是官方avr/io.h采用的可靠方式，能确保编译器正确生成位操作指令。

修改后的include/my_io.h #

#ifndef MY_IO_H
#define MY_IO_H

#define F_CPU 16000000UL

// 用Union绑定完整寄存器和位域
typedef union {
    volatile unsigned char reg;
    struct {
        unsigned PB0 : 1;
        unsigned PB1 : 1;
        unsigned PB2 : 1;
        unsigned PB3 : 1;
        unsigned PB4 : 1;
        unsigned PB5 : 1;
        unsigned PB6 : 1;
        unsigned PB7 : 1;
    } bits;
} PORTB_REG;

typedef union {
    volatile unsigned char reg;
    struct {
        unsigned DDB0 : 1;
        unsigned DDB1 : 1;
        unsigned DDB2 : 1;
        unsigned DDB3 : 1;
        unsigned DDB4 : 1;
        unsigned DDB5 : 1;
        unsigned DDB6 : 1;
        unsigned DDB7 : 1;
    } bits;
} DDRB_REG;

#define DDRB ((DDRB_REG *)0x24)
#define PORTB ((PORTB_REG *)0x25)

#endif // MY_IO_H

修改后的src/main_bitfield.c #

#include "my_io.h"

void delay_ms(unsigned int ms) {
    unsigned int i, j;
    for (i = 0; i < ms; i++) {
        for (j = 0; j < 4000; j++) {
            __asm__ __volatile__("nop");
        }
    }
}

int main(void) {
    DDRB->bits.DDB5 = 1;
    while (1) {
        PORTB->bits.PB5 = 1;
        delay_ms(500);
        PORTB->bits.PB5 = 0;
        delay_ms(500);
    }
    return 0;
}

修改后的正确汇编片段 #

.L2:
    lds r24,0x0025
    ori r24,0x20
    sts 0x0025,r24     ; 点亮LED
    rcall delay_ms
    lds r24,0x0025
    andi r24,0xdf      ; 正确清除PB5位
    sts 0x0025,r24
    rcall delay_ms
    rjmp .L2

Makefile（通用） #

MCU = atmega328p
F_CPU = 16000000UL
CC = avr-gcc
OBJCOPY = avr-objcopy
CFLAGS = -mmcu=$(MCU) -DF_CPU=$(F_CPU) -Os -Iinclude
TARGET_DIR = build

all: direct bitfield

direct: src/main_direct.c
	mkdir -p $(TARGET_DIR)
	$(CC) $(CFLAGS) -c src/main_direct.c -o $(TARGET_DIR)/main_direct.o
	$(CC) $(CFLAGS) $(TARGET_DIR)/main_direct.o -o $(TARGET_DIR)/main_direct.elf
	$(OBJCOPY) -O ihex $(TARGET_DIR)/main_direct.elf $(TARGET_DIR)/main_direct.hex
	avr-objdump -d $(TARGET_DIR)/main_direct.elf > $(TARGET_DIR)/main_direct.lss

bitfield: src/main_bitfield.c
	mkdir -p $(TARGET_DIR)
	$(CC) $(CFLAGS) -c src/main_bitfield.c -o $(TARGET_DIR)/main_bitfield.o
	$(CC) $(CFLAGS) $(TARGET_DIR)/main_bitfield.o -o $(TARGET_DIR)/main_bitfield.elf
	$(OBJCOPY) -O ihex $(TARGET_DIR)/main_bitfield.elf $(TARGET_DIR)/main_bitfield.hex
	avr-objdump -d $(TARGET_DIR)/main_bitfield.elf > $(TARGET_DIR)/main_bitfield.lss

clean:
	rm -rf $(TARGET_DIR)

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