X86程序集：为什么一个基本块有cmp和测试指令，似乎是重复的工作[重复]

Question

下面是我的c函数：

bool equalA = true;

for (int i = 0; i < 4; i++) {
    
    if (str[i] != 'a') {
        equalA = false; 
    }
}
if (equalA == true) {
    if(str.compare(4, 6, "matches")) {
        printf("%s", "matches\n");
    }
}

movzbl  (%rax), %eax
cmpb    $97, %al
setne   %al
testb   %al, %al
je  .L5
movb    $0, -981(%rbp)
.L5:
addl    $1, -980(%rbp)
jmp .L6

  cmpb  $97, %al
  je .L5 

如果str[i]=='a'，则将设置zflag，je.L5将接受分支。如果str[i]！='a'，则将清除zflag。je.L5不会拿树枝。

为什么编译器在cmpb指令后生成两行额外的代码？

Answer 1

你是对的，它也应该这么做。我假设您没有在启用优化的情况下编译。很难解释为什么C编译器生成某些代码。不同的编译器可能生成了不同的代码。另一个可能会生成此代码，尽管已经启用了优化。

然而，这是一个极端的过分简化，请参阅下面@PeterCordes的优秀评论，以获得更多关于程序优化的细节。