在下面的C++示例中，我定义了一个计算树最左边路径高度的函数。

struct TreeNode {
  int value{};
  TreeNode *l = nullptr;
  TreeNode *r = nullptr;
};

int getLeftHeight(TreeNode *root) {
  int height = 0;
  while (root != nullptr) {
    root = root->l;
    height++;
  }
  return height;
}

在用GCC 9.3或10.1编译时（使用-o3)，我得到以下x86。

getLeftHeight(TreeNode*):
        xor     eax, eax
        test    rdi, rdi
        je      .L4
.L3:
        mov     rdi, QWORD PTR [rdi+8]
        add     eax, 1
        test    rdi, rdi
        jne     .L3
        ret
.L4:
        ret

但是，当使用Clang 10进行编译时，如下所示，没有一个重复的ret。

getLeftHeight(TreeNode*):
        xor     eax, eax
        test    rdi, rdi
        je      .LBB0_3
.LBB0_1:
        mov     rdi, qword ptr [rdi + 8]
        add     eax, 1
        test    rdi, rdi
        jne     .LBB0_1
.LBB0_3:
        ret

海合会为什么要这样做？

据我所知，ret将需要额外的一个字节来进行编码。 在这种情况下，由于发出的机器代码的对齐/填充，这可能无关紧要，但如果情况并非如此，并且这种重复发生在大型代码库中的所有地方，那么许多字节的机器代码最终可能只是重复的rets。

这种重复的特殊情况似乎也很容易发现和优化掉。