Оптимизация указателя постоянной функции

Я пытаюсь реализовать абстрактный интерфейс в C, используя указатели на функции внутри структуры.
Что-то вроде следующего

typedef int (*fn_t)(int);
typedef struct
{
    int x;
    const fn_t fnp;
}struct_t;

__attribute__((optimize("O0"))) int square(int num) 
{
    return num * num;
}

static struct_t test = {.fnp = square};

int main(void)
{
    test.x = 1;

    int fnp_ret = test.fnp(3);

    return (fnp_ret);
}

При сборке в godbolt с -O3 с использованием ARM-GCC-13.2.0 неизвестного-eabi результат будет следующим.

square:
        str     fp, [sp, #-4]!
        add     fp, sp, #0
        sub     sp, sp, #12
        str     r0, [fp, #-8]
        ldr     r3, [fp, #-8]
        mov     r2, r3
        mul     r2, r3, r2
        mov     r3, r2
        mov     r0, r3
        add     sp, fp, #0
        ldr     fp, [sp], #4
        bx      lr
main:
        mov     r1, #1
        ldr     r3, .L5
        mov     r0, #3
        ldr     r2, [r3, #4]
        str     r1, [r3]
        bx      r2
.L5:
        .word   .LANCHOR0

Здесь можно видеть, что в main() созданная сборка сначала находит указатель функции в структуре, а затем разыменовывает его. Я нахожу это странным, поскольку указатель на функцию — это const, поэтому я ожидал, что компилятор поймет, что он всегда указывает на функцию square, поэтому это будет эквивалентно прямому вызову функции square. Видимо, здесь дело не в этом.

Во время эксперимента я заметил, что в случае, если оператор test.x = 1; закомментирован, сборка делает то, что я ожидал, вызывая функцию square напрямую.

square:
        str     fp, [sp, #-4]!
        add     fp, sp, #0
        sub     sp, sp, #12
        str     r0, [fp, #-8]
        ldr     r3, [fp, #-8]
        mov     r2, r3
        mul     r2, r3, r2
        mov     r3, r2
        mov     r0, r3
        add     sp, fp, #0
        ldr     fp, [sp], #4
        bx      lr
main:
        mov     r0, #3
        b       square

Чего мне не хватает?
Есть ли способ надежно реализовать это без потери производительности, описанной выше?