什么是有序和无序LLVM CmpInst比较指令？

Question

描述LLVM中比较指令类型的CmpInst::Predicate类型定义"llvm/IR/InstrTypes.h"如下：

enum Predicate {
  // Opcode              U L G E    Intuitive operation
  FCMP_FALSE =  0,  ///< 0 0 0 0    Always false (always folded)
  FCMP_OEQ   =  1,  ///< 0 0 0 1    True if ordered and equal
  FCMP_OGT   =  2,  ///< 0 0 1 0    True if ordered and greater than
  FCMP_OGE   =  3,  ///< 0 0 1 1    True if ordered and greater than or equal
  FCMP_OLT   =  4,  ///< 0 1 0 0    True if ordered and less than
  FCMP_OLE   =  5,  ///< 0 1 0 1    True if ordered and less than or equal
  FCMP_ONE   =  6,  ///< 0 1 1 0    True if ordered and operands are unequal
  FCMP_ORD   =  7,  ///< 0 1 1 1    True if ordered (no nans)
  FCMP_UNO   =  8,  ///< 1 0 0 0    True if unordered: isnan(X) | isnan(Y)
  FCMP_UEQ   =  9,  ///< 1 0 0 1    True if unordered or equal
  FCMP_UGT   = 10,  ///< 1 0 1 0    True if unordered or greater than
  FCMP_UGE   = 11,  ///< 1 0 1 1    True if unordered, greater than, or equal
  FCMP_ULT   = 12,  ///< 1 1 0 0    True if unordered or less than
  FCMP_ULE   = 13,  ///< 1 1 0 1    True if unordered, less than, or equal
  FCMP_UNE   = 14,  ///< 1 1 1 0    True if unordered or not equal
  FCMP_TRUE  = 15,  ///< 1 1 1 1    Always true (always folded)
  FIRST_FCMP_PREDICATE = FCMP_FALSE,
  LAST_FCMP_PREDICATE = FCMP_TRUE,
  BAD_FCMP_PREDICATE = FCMP_TRUE + 1,
  ICMP_EQ    = 32,  ///< equal
  ICMP_NE    = 33,  ///< not equal
  ICMP_UGT   = 34,  ///< unsigned greater than
  ICMP_UGE   = 35,  ///< unsigned greater or equal
  ICMP_ULT   = 36,  ///< unsigned less than
  ICMP_ULE   = 37,  ///< unsigned less or equal
  ICMP_SGT   = 38,  ///< signed greater than
  ICMP_SGE   = 39,  ///< signed greater or equal
  ICMP_SLT   = 40,  ///< signed less than
  ICMP_SLE   = 41,  ///< signed less or equal
  FIRST_ICMP_PREDICATE = ICMP_EQ,
  LAST_ICMP_PREDICATE = ICMP_SLE,
  BAD_ICMP_PREDICATE = ICMP_SLE + 1
};

我想知道什么是“有序的”和“无序的”谓词（例如，与“无符号的更大或相等”的普通谓词相比，“如果有序和相等”或“如果无序，则大于或等于”）。

Answer 1

如果您不知道NaN是什么，请从最后一段开始:)

如果至少一个操作数是NaN，则有序和无序浮点比较的比较结果是不同的。有关更多详细信息，请参见IR语言参考中的fcmp指令。特别地，这句话很重要：“ 有序表示两个操作数都不是QNAN，而无序表示两个操作数都可能是QNAN ”。请注意，LLVM（AFAIK）不支持SNaN，这就是为什么lang ref只讨论QNaN的原因。

命名的原因是NaN无法与浮点数进行比较。您不能说NaN小于或大于零。因此，NaN是无序的。因此，如果操作数之一是NaN，则无序比较返回true。有序比较期望两个操作数都是数字。

如果需要背景，这是NaN上的维基百科页面。简而言之，当某些浮点计算的结果不是数字时，会生成一个特殊的结果，称为NaN（非数字）。例如，如果您要求输入负数的平方根，则`std :: sqrt'会生成NaN。NaN有两种变体。SNaN和QNan。维基百科对此进行了描述。就您的问题而言，您可以忽略差异，因为仅QNaN很重要。LLVM AFAIK不支持SNaN。