C中的返回值优化和复制省略

有些人不知道它是 possible to pass and return structs by value in C。我的问题是编译器在返回 C 中的结构时会生成不必要的副本。诸如 GCC 之类的 C 编译器是否使用 Return value optimization(RVO) 优化，或者这只是 C++ 的概念吗？我所读到的关于 RVO 和复制省略的所有内容都是关于 C++ 的。

让我们考虑一个例子。我目前正在 C 中实现 double-double data type（或者更确切地说是 float-float，因为我发现它很容易进行单元测试）。考虑以下代码。

typedef struct {
    float hi;
    float lo;
} doublefloat;

doublefloat quick_two_sum(float a, float b) {
    float s = a + b;
    float e = b - (s - a);
    return (doublefloat){s, e};
}

编译器会制作我返回的 doublefloat 值的临时副本还是可以省略临时副本？

C 中的命名返回值优化 (NRVO) 怎么样？我有另一个功能

doublefloat df64_add(doublefloat a, doublefloat b) {
    doublefloat s, t;
    s = two_sum(a.hi, b.hi);
    t = two_sum(a.lo, b.lo);
    s.lo += t.hi;
    s = quick_two_sum(s.hi, s.lo);
    s.lo += t.lo;
    s = quick_two_sum(s.hi, s.lo);
    return s;
}

在这种情况下，我将返回一个命名结构。这种情况下的临时副本可以省略吗？

应该指出，这是 C 语言的一个普遍问题，我在这里使用的代码示例只是示例（当我优化它时，无论如何我都会使用 SIMD 和内在函数）。我知道我可以查看程序集输出以了解编译器的作用，但我认为这是一个有趣的问题。