我的同事向我展示了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得到真.