c - 为什么这个不允许编译器执行的示例会导致使用 cmov 取消引用空指针？

Question

C 代码:

int cread(int *xp) {
    return (xp ? *xp : 0);
}

汇编代码:(来自不允许编译器执行的教科书示例)使用条件移动指令

movl    $0, %eax
testl   %edx, %edx
cmovne  (%edx), %eax

这是 Computer Systems: A Programmer's Perspective(第 2 版)中使用的示例，表明如果条件的任一分支导致错误，则无法使用条件数据传输编译代码。在这种情况下，错误将是 xp 的空指针取消引用。

我明白xp被解引用了，但是我不明白xp是怎么变成空指针的。这不取决于将指针作为参数传递给函数吗？

Answer 1

汇编代码在技术上是有效的，但如果输入为 NULL 并且因此与 C 代码的行为不匹配，它将出错。鉴于事情的重点是在那种情况下返回零而不是错误，这是错误的。 C 等价物是:

int cread(int *xp) {
    int val = *xp;
    return (xp ? val : 0);
}

如您所见，它首先取消对 xp 的引用，然后才检查 xp 是否为 NULL，因此这显然行不通对于 NULL 输入。