Question

当比较MSVC，clang和GCC中生成的程序集时。 MSVC程序集似乎比Clang代码差得多。

问题

在GCC和MSVC中是否存在必要的标志来产生等效汇编，或者在这种特定情况下Clang更好。我尝试了各种MSVC标志（不同的/ O标志），但是没有发生实质性的变化。

或者我的代码有没有变种，允许编译器实现更好的优化。我尝试过更改代码，而又不失去基本结构，也没有任何变化。

代码

我正在编译的代码只有26行，所以这里是：

#include <cstdint>
#include <type_traits>

template <typename A, typename B>
struct BitCast
{
    static_assert(std::is_pod<A>(), "BitCast<A, B> : A must be plain old data type.");
    static_assert(std::is_pod<B>(), "BitCast<A, B> : B must be plain old data type.");
    static_assert(sizeof(A) == sizeof(B), "BitCast<A, B> : A and B must be the same size.");
    static_assert(alignof(A) == alignof(B), "BitCast<A, B> : A and B must have the same alignment.");
    //
    union
    {
        A a;
        B b;
    };
    //
    constexpr BitCast(A const & value) noexcept : a{ value } {}
    constexpr BitCast(B const & value) noexcept : b{ value } {}
    //
    operator B const & () const noexcept { return b; }
};

float XOR(float a, float b) noexcept
{
    return BitCast<uint32_t, float>{ BitCast<float, uint32_t>{a} ^ BitCast<float, uint32_t>{b} };
}

我一直在努力寻找导致差异https://godbolt.org/z/-VXqOT

的原因

使用“ -std = c ++ 1z -O3”的Clang 9.0.0产生了漂亮的效果：

XOR(float, float):
        xorps   xmm0, xmm1
        ret

我认为哪个基本上是最佳的。

带有“ -std = c ++ 1z -O3”的GCC 9.2产生的效果稍差：

XOR(float, float):
        movd    eax, xmm1
        movd    edx, xmm0
        xor     edx, eax
        movd    xmm0, edx
        ret

然后，带有“ / std：c ++ latest / O2”的MSVC产生了更糟糕的结果：

float XOR(float,float)
        movss   DWORD PTR $T1[rsp], xmm1
        mov     eax, DWORD PTR $T1[rsp]
        movss   DWORD PTR $T3[rsp], xmm0
        xor     eax, DWORD PTR $T3[rsp]
        mov     DWORD PTR $T2[rsp], eax
        movss   xmm0, DWORD PTR $T2[rsp]
        ret     0

MSVC不良的汇编生成

0 个答案: