在比较 2 条短裤的过度对齐结构时，gcc 是否缺少优化机会？

Question

我想知道 GCC 是否会使用我创建的结构过度对齐的知识，并在生成比较 asm 时将其简单地视为整数。

没有。我想知道这是由于 ABI 问题，还是我遗漏了其他一些因素，还是真的缺少优化？

代码：

struct S{
    short a,b;
    bool operator == (const S&) const = default;
};

struct alignas(alignof(int)) S2  {
    short a,b;
    bool operator == (const S2&) const = default;
};

bool f(const S& s){
    constinit static S c{11,22};
    return c==s;
}

bool f2(const S2& s2){
    constinit static S2 c2{11,22};
    return c2==s2;
}

static_assert(alignof(S)==2);
static_assert(alignof(S2)==4);

Answer 1

很可能是错过了优化。仅用手动实现替换 defaulted 比较运算符会导致在过度对齐的结构版本中输出 32 位比较。 IE。这个

struct alignas(alignof(int)) S4
{
    short a,b;
    bool operator == (const S4& s) const { return a==s.a && b==s.b; }
};
bool f4(const S4& s)
{
    constinit static S4 c{11,22};
    return c==s;
}

结果：

f4(S4 const&):
        mov     eax, DWORD PTR [rdi]
        cmp     DWORD PTR f4(S4 const&)::c[rip], eax
        sete    al
        ret

此版本中显然遗漏了另一个优化（使 c 成为直接操作数以产生 cmp eax, 0x16000b），但至少没有单独的 16 位比较。

查看 full playground 两个版本和两个手动定义的运算符。

在比较 2 条短裤的过度对齐结构时，gcc 是否缺少优化机会？

Is gcc missing an optimization opportunity on this comparison of overaligned struct of 2 shorts?

c++

optimization

assembly

language-lawyer

alignas