1

我有以下代码：

__attribute__((aligned(0x1000))) static void doVariadic(const uint32_t fmt, ...);

__attribute__((aligned(0x1000))) va_list ap;
__attribute__((aligned(0x1000))) uint32_t value1 = 0xABABABAB;
__attribute__((aligned(0x1000))) uint64_t value2 = 0xF0F0F0F0E1E1E1E1LLU;
__attribute__((aligned(0x1000))) uint32_t value3 = 0x24242424;
__attribute__((aligned(0x1000))) uint32_t arg1;
__attribute__((aligned(0x1000))) uint64_t arg2;
__attribute__((aligned(0x1000))) uint32_t arg3;


__attribute__((aligned(0x1000))) int main(void)
{
    doVariadic(0x0UL, value1, value2, value3);
}


__attribute__((aligned(0x1000))) static void doVariadic(const uint32_t fmt, ...)
{
    va_start(ap, fmt);

    arg1 = va_arg(ap, uint32_t);
    arg2 = va_arg(ap, uint64_t);
    arg3 = va_arg(ap, uint32_t);

    UNUSED(arg1);
    UNUSED(arg2);
    UNUSED(arg3);
}

执行此操作时，我得到以下值：

arg1 = 0xABABABAB

arg2 = 0x24242424F0F0F0F0

arg3 = 0x010048E7

变量 arg3 似乎包含 Flash 中的地址。

我在某处读到这可能是由于堆栈对齐（这就是为什么您会看到所有这些对齐属性，尤其是为什么我将变量外部化到函数范围之外的原因）。我还确保我的代码是使用“-mabi=aapcs -std=c99”标志编译的。

我在调用函数时查看了 {r0-r3} 寄存器，它们似乎正确地包含了前 3 个参数（r2 和 r3 包含 64 位小端字的值）。

我注意到在异常期间（例如硬故障），可变参数功能正常。而且由于 MCU 在进入异常例程时设置为使用 8 位堆栈，因此这将是对正在发生的事情的解释。

任何有助于理解真正发生的事情将不胜感激？这怎么可能解决？

4

1 回答 1

1

阅读以下主题后，我设法找到了自己的答案：http: //comments.gmane.org/gmane.comp.hardware.microcontrollers.ethernut/14053

我误解了需要对齐的不是堆栈指针，而是显然我的堆栈顶部完全不是 8 字节对齐的。为了实现这一点，我不得不从以下位置修改我的链接器文件：

_init_stack = (ORIGIN(ram) + LENGTH(ram) - 4);

到：

_init_stack = ((ORIGIN(ram) + LENGTH(ram) - 4) & 0xFFFFFFF8);
于 2015-07-20T18:39:40.690 回答