Rust 为什么此代码生成的程序集比等效的 C++Clang 多得多

为了编写编译器优化，我编写了一个简单的C++函数:

bool f1(bool a, bool b) {
    return !a || (a && b);
}

在那之后，我判断了 rust 蚀的等效物:

fn f1(a: bool, b: bool) -> bool {
    !a || (a && b)
}

我用godbolt判断汇编程序的输出.

C++代码的结果(用-O3标记的CLAN编译)如下:

f1(bool, bool):                                # @f1(bool, bool)
    xor     dil, 1
    or      dil, sil
    mov     eax, edi
    ret

rust 当量的结果要长得多:

example::f1:
  push rbp
  mov rbp, rsp
  mov al, sil
  mov cl, dil
  mov dl, cl
  xor dl, -1
  test dl, 1
  mov byte ptr [rbp - 3], al
  mov byte ptr [rbp - 4], cl
  jne .LBB0_1
  jmp .LBB0_3
.LBB0_1:
  mov byte ptr [rbp - 2], 1
  jmp .LBB0_4
.LBB0_2:
  mov byte ptr [rbp - 2], 0
  jmp .LBB0_4
.LBB0_3:
  mov al, byte ptr [rbp - 4]
  test al, 1
  jne .LBB0_7
  jmp .LBB0_6
.LBB0_4:
  mov al, byte ptr [rbp - 2]
  and al, 1
  movzx eax, al
  pop rbp
  ret
.LBB0_5:
  mov byte ptr [rbp - 1], 1
  jmp .LBB0_8
.LBB0_6:
  mov byte ptr [rbp - 1], 0
  jmp .LBB0_8
.LBB0_7:
  mov al, byte ptr [rbp - 3]
  test al, 1
  jne .LBB0_5
  jmp .LBB0_6
.LBB0_8:
  test byte ptr [rbp - 1], 1
  jne .LBB0_1
  jmp .LBB0_2

我也try 了-O选项，但输出是空的(删除了未使用的函数).

我故意不使用任何库来保持输出干净.请注意，clang和rustc都使用LLVM作为后端.是什么解释了这种巨大的输出差异？如果只是禁用优化switch 问题，我怎么能看到rustc的优化输出？