c – 有人可以向我解释为什么在LLVM的以下代码中使用相同的操作数进行不等式测试?

我的同事向我展示了LLVM source code中的以下宏:

#define IMPLEMENT_UNORDERED(TY, X,Y)                                         \
    if (TY->isFloatTy()) {                                                   \
        if (X.FloatVal != X.FloatVal || Y.FloatVal != Y.FloatVal) {          \
            return Dest;                                                     \
        }                                                                    \
    } else if (X.DoubleVal != X.DoubleVal || Y.DoubleVal != Y.DoubleVal) {   \
            Dest.IntVal = APInt(1,true);                                     \
            return Dest;                                                     \
}

以下是他们使用此宏的方式:

static GenericValue executeFCMP_UEQ(GenericValue Src1, GenericValue Src2,
                                    Type *Ty) {
    GenericValue Dest;
    IMPLEMENT_UNORDERED(Ty, Src1, Src2)
    return executeFCMP_OEQ(Src1, Src2, Ty);
}

您可以在下面看到GenericValue的定义:

struct GenericValue {
    union {
        double          DoubleVal;
        float           FloatVal;
        PointerTy       PointerVal;
        struct { unsigned int first; unsigned int second; } UIntPairVal;
        unsigned char   Untyped[8];
    };
    APInt IntVal;   // also used for long doubles

    GenericValue() : DoubleVal(0.0), IntVal(1,0) {}
    explicit GenericValue(void *V) : PointerVal(V), IntVal(1,0) { }
};

我的问题是为什么宏内部存在以下不等式测试:

X.FloatVal != X.FloatVal

解决方法:

我猜他们测试NaN(不是数字):如果x有NaN值,x!= x得到真.

上一篇:javascript – 使用emscripten生成python.cc.js


下一篇:在LLVM libc中找到的string :: find中实现的算法(及其复杂性)是什么?