为什么 C 中的“a==b”在汇编中被编译为“xor; j; sltu”？ - 为什么要在无条件跳转后进行指令？

如何解决为什么 C 中的“a==b”在汇编中被编译为“xor; j; sltu”？ - 为什么要在无条件跳转后进行指令？

我想看看 == 是如何用 C 编译的。因此我尝试了一个简单的代码：

#include <stdio.h>

int f(int a,int b) {
    return a==b; // NOTE THIS
}

int main(void) {
    int a,b,c;
    scanf("%d",&a,&b);
    printf("%d",f(a,b));
}

这是对 Godbolt 的尝试。这是非常违反直觉的...

问题：

1. 为什么要在无条件跳转后执行指令？恕我直言，sltu 永远不会被执行。
2. 为什么一个xor就足以表达==？恕我直言，需要同时使用 xor + sltu。

谢谢！