c++ - 在比较 2 个短裤的过度对齐结构时，gcc 是否错过了优化机会？

Question

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

它不是。
我想知道这是由于 ABI 问题，还是我错过了其他一些因素，还是真的缺少优化？

godbolt link

代码:

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

这很可能是一个错过的优化。仅替换 default ed 比较运算符与手动实现导致 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使用您的两个版本和两个手动定义的运算符。