编译器是否真的进行了优化，使这两个函数成为同一个程序集？[重复]

Question

我将其插入到Godbolt中，并惊喜地发现这两个函数调用a（）和b（）在-O0之外的任何情况下都是等价的（使用大多数主要编译器）：

#include <cmath>

struct A {
    int a,b,c;
    float bar() {
        return sqrt(a + b + c);
    }
};

struct B {
    int a[3];
    float bar() {
        int ret{0};
        for (int i = 0; i<3; ++i) {
            ret += a[i];
        }
        return sqrt(ret);
    }
};

float a() {
    A a{55,67,12};
    return a.bar();
}

float b() {
    B b{55,67,12};
    return b.bar();
}

锁紧螺栓输出为：

a():
        movss   xmm0, DWORD PTR .LC0[rip]
        ret
b():
        movss   xmm0, DWORD PTR .LC0[rip]
        ret
.LC0:
        .long   1094268577

我不是组装专家，但我想知道这是否是真的，他们在做相同的工作。我甚至看不出在这个程序集中哪里有对sqrt的调用，或者long的“常量”（？）他在里面干什么。

Answer 1

此功能：

float a() {
    A a{55,67,12};
    return a.bar();
}

有着和这个完全一样的可观察行为：

float a() {
    return sqrt(55+67+12);
}

这同样适用于b（）。此外，sqrt（556712）==sqrt（134）==11.5758369028。

IEEE-754浮点值的二进制表示形式11.5758369028为0100000101110011010100001。作为整数的二进制数是1094268577。

编译器应用了所谓的as if规则，用与原始代码具有完全相同的可观察行为的程序集替换这两个函数：这两个函数都返回一个值为11.5758369028的浮点数。