为什么生成此代码以取消引用浮点指针？

Question

我有此文件float_deref.c，它会生成奇怪的机器代码：

float float_deref(float *ptr)
{
        return *ptr;
}

这里是avr-gcc -mmcu=atmega328p -O3 -S -o - float_deref.c生成的程序集：

    .file   "float_deref.c"
__SP_H__ = 0x3e
__SP_L__ = 0x3d
__SREG__ = 0x3f
__tmp_reg__ = 0
__zero_reg__ = 1
    .text
.global float_deref
    .type   float_deref, @function
float_deref:
    push r28
    push r29
    rcall .
    rcall .
    in r28,__SP_L__
    in r29,__SP_H__
/* prologue: function */
/* frame size = 4 */
/* stack size = 6 */
.L__stack_usage = 6
    movw r30,r24
    ld r18,Z
    ldd r19,Z+1
    ldd r20,Z+2
    ldd r21,Z+3
    movw r24,r20
    movw r22,r18
/* epilogue start */
    pop __tmp_reg__
    pop __tmp_reg__
    pop __tmp_reg__
    pop __tmp_reg__
    pop r29
    pop r28
    ret
    .size   float_deref, .-float_deref
    .ident  "GCC: (Homebrew AVR GCC 9.3.0) 9.3.0"

我不明白为什么代码将四个额外的字节压入堆栈并将堆栈指针加载到Y中。据我所知，Y从未在函数中使用。

Answer 1

这是v9 +中的一个已知问题，请参见https://gcc.gnu.org/PR90706