Почему сборка различается, когда метод производного класса вызывает реализацию чисто виртуального метода базового класса по сравнению с его непосредственной реализацией в производном классе?

Код 1:

#include <iostream>

struct Интерфейс
{
    virtual void pr_fn() = 0;
    virtual void pr_fn2() = 0;
    virtual void pr_fn3() = 0;
};

struct Основание : Интерфейс
{
    void pr_fn2() final
    {
        std::cout << "Основание\n";
    }
};

struct Производный : Основание
{
    void pr_fn() final
    {
        std::cout << "Производный2\n";
    }

    void pr_fn3() final
    {
        pr_fn2(); pr_fn();
    }
};

int main()
{
    Производный d;
    d.pr_fn3();
    return 0;
}

Код 2:

#include <iostream>

struct Интерфейс
{
    virtual void pr_fn() = 0;
    virtual void pr_fn2() = 0;
    virtual void pr_fn3() = 0;
};

void Интерфейс::pr_fn3()
{
    pr_fn2();
    pr_fn();
}

struct Основание : Интерфейс
{
    void pr_fn2() final
    {
        std::cout << "Основание\n";
    }
};

struct Производный : Основание
{
    void pr_fn() final
    {
        std::cout << "Производный\n";
    }

    void pr_fn3() final
    {
        Интерфейс::pr_fn3();
    }
};

int main()
{
    Производный d;
    d.pr_fn3();
    return 0;
}

Сборка кода 1: (Компилятор: x86-64 gcc 14.2, флаги: -O3)

.LC0:
        .string "Основание\n"
.LC1:
        .string "Производный2\n"
main:
        sub     rsp, 8
        mov     edx, 5
        mov     esi, OFFSET FLAT:.LC0
        mov     edi, OFFSET FLAT:std::cout
        call    std::basic_ostream<char, std::char_traits<char> >& std::__ostream_insert<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*, long)
        mov     edx, 9
        mov     esi, OFFSET FLAT:.LC1
        mov     edi, OFFSET FLAT:std::cout
        call    std::basic_ostream<char, std::char_traits<char> >& std::__ostream_insert<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*, long)
        xor     eax, eax
        add     rsp, 8
        ret

Сборка кода 2: (Компилятор: x86-64 gcc 14.2, флаги: -O3)

.LC0:
        .string "Основание\n"
Base::pr_fn2():
        mov     edx, 5
        mov     esi, OFFSET FLAT:.LC0
        mov     edi, OFFSET FLAT:std::cout
        jmp     std::basic_ostream<char, std::char_traits<char> >& std::__ostream_insert<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*, long)
.LC1:
        .string "Производный\n"
Derived::pr_fn():
        mov     edx, 8
        mov     esi, OFFSET FLAT:.LC1
        mov     edi, OFFSET FLAT:std::cout
        jmp     std::basic_ostream<char, std::char_traits<char> >& std::__ostream_insert<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*, long)
Derived::pr_fn3():
        sub     rsp, 8
        mov     edx, 5
        mov     esi, OFFSET FLAT:.LC0
        mov     edi, OFFSET FLAT:std::cout
        call    std::basic_ostream<char, std::char_traits<char> >& std::__ostream_insert<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*, long)
        mov     edx, 8
        mov     esi, OFFSET FLAT:.LC1
        mov     edi, OFFSET FLAT:std::cout
        add     rsp, 8
        jmp     std::basic_ostream<char, std::char_traits<char> >& std::__ostream_insert<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*, long)
Interface::pr_fn3():
        push    rbx
        mov     rax, QWORD PTR [rdi]
        mov     rbx, rdi
        mov     rax, QWORD PTR [rax+8]
        cmp     rax, OFFSET FLAT:Base::pr_fn2()
        jne     .L7
        mov     edx, 5
        mov     esi, OFFSET FLAT:.LC0
        mov     edi, OFFSET FLAT:std::cout
        call    std::basic_ostream<char, std::char_traits<char> >& std::__ostream_insert<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*, long)
        mov     rax, QWORD PTR [rbx]
        mov     rax, QWORD PTR [rax]
        cmp     rax, OFFSET FLAT:Derived::pr_fn()
        jne     .L9
.L11:
        mov     edx, 8
        mov     esi, OFFSET FLAT:.LC1
        mov     edi, OFFSET FLAT:std::cout
        pop     rbx
        jmp     std::basic_ostream<char, std::char_traits<char> >& std::__ostream_insert<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*, long)
.L7:
        call    rax
        mov     rax, QWORD PTR [rbx]
        mov     rax, QWORD PTR [rax]
        cmp     rax, OFFSET FLAT:Derived::pr_fn()
        je      .L11
.L9:
        mov     rdi, rbx
        pop     rbx
        jmp     rax
main:
        sub     rsp, 8
        mov     edx, 5
        mov     esi, OFFSET FLAT:.LC0
        mov     edi, OFFSET FLAT:std::cout
        call    std::basic_ostream<char, std::char_traits<char> >& std::__ostream_insert<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*, long)
        mov     edx, 8
        mov     esi, OFFSET FLAT:.LC1
        mov     edi, OFFSET FLAT:std::cout
        call    std::basic_ostream<char, std::char_traits<char> >& std::__ostream_insert<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*, long)
        xor     eax, eax
        add     rsp, 8
        ret

Смотрите код здесь

Наблюдения:

1. Для Base::pr_fn2(), Derived::pr_fn() и Derived::pr_fn3() в Коде 1 не сгенерирована сборка.
2. Все вышеупомянутые функции встроены в сборку main() в Коде 1.
3. Сборка сгенерирована для Interface::pr_fn3(), Base::pr_fn2(), Derived::pr_fn() и Derived::pr_fn3() в Коде 2.
4. Все вышеупомянутые функции встроены в сборку main() в Коде 2.
5. Вызовы к Interface::pr_fn3(), Base::pr_fn2() и Derived::pr_fn() встроены в сборку Derived::pr_fn3() в Коде 2.

Мой вопрос:
Когда программа выполняется и вызывается функция main в обоих случаях, выполняются одни и те же инструкции сборки. Почему компилятор генерирует сборку для других функций в Коде 2, но не в Коде 1?

Примечание: Пожалуйста, поправьте меня, если я где-то ошибаюсь в понимании.

Я провел эксперименты с некоторыми виртуальными методами и наблюдал сборку. Я ожидал не увидеть разницы в сборке с оптимизацией -O3, но обнаружил, что генерируется несколько ненужных устройств. Я искал в Google, но безуспешно. Поэтому я задаю вопрос здесь.