diff --git a/docs/LangRef.html b/docs/LangRef.html index d6696884e4a..a84de0ebc34 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -3101,9 +3101,8 @@ yields a bool result, as follows:

If the operands are pointer typed, the pointer values are treated as integers and then compared.

If the operands are packed typed, the elements of -the vector are compared in turn and the predicate must hold for all elements. -While this is of dubious use for predicates other than eq and -ne, the other predicates can be used with packed types.

+the vector are compared in turn and the predicate must hold for all +elements.

Example:
  <result> = icmp eq int 4, 5           ; yields: result=false
@@ -3130,7 +3129,7 @@ of its floating point operands.

 the condition code which indicates the kind of comparison to perform. It is not
 a value, just a keyword. The possibilities for the condition code are:
 
    
-  
  1. false: no comparison, always false (always folded)
    2. 
+  
  2. false: no comparison, always returns false
    3. 
   
  3. oeq: ordered and equal
    4. 
   
  4. ogt: ordered and greater than 
    5. 
   
  5. oge: ordered and greater than or equal
    6. 
@@ -3145,49 +3144,50 @@ a value, just a keyword. The possibilities for the condition code are:
   
  6. ule: unordered or less than or equal
    7. 
   
  7. une: unordered or not equal
    8. 
   
  8. uno: unordered (either nans)
    9. 
-  
  9. true: no comparison, always true (always folded)
    10. 
+  
  10. true: no comparison, always returns true
    11. 
 

 
The val1 and val2 arguments must be of 
 floating point, or a packed 
 floating point type. They must have identical types.

+
In the foregoing, ordered means that neither operand is a QNAN and 
+unordered means that either operand is a QNAN.

 
Semantics:

 
The 'fcmp' compares var1 and var2 according to 
 the condition code given as cond. The comparison performed always
 yields a bool result, as follows: 
 
    
   
  1. false: always yields false, regardless of operands.
    2. 
-  
  2. oeq: yields true if both operands are ordered and 
+  
  3. oeq: yields true if both operands are not a QNAN and 
   var1 is equal to var2.
    4. 
-  
  4. ogt: yields true if both operands are ordered and
+  
  5. ogt: yields true if both operands are not a QNAN and
   var1 is greather than var2.
    6. 
-  
  6. oge: yields true if both operands are ordered and 
+  
  7. oge: yields true if both operands are not a QNAN and 
   var1 is greater than or equal to var2.
    8. 
-  
  8. olt: yields true if both operands are ordered and 
+  
  9. olt: yields true if both operands are not a QNAN and 
   var1 is less than var2.
    10. 
-  
  10. ole: yields true if both operands are ordered and 
+  
  11. ole: yields true if both operands are not a QNAN and 
   var1 is less than or equal to var2.
    12. 
-  
  12. one: yields true if both operands are ordered and 
+  
  13. one: yields true if both operands are not a QNAN and 
   var1 is not equal to var2.
    14. 
-  
  14. ord: yields true if both operands are ordered.
    15. 
-  
  15. ueq: yields true if either operand is unordered or 
+  
  16. ord: yields true if both operands are not a QNAN.
    17. 
+  
  17. ueq: yields true if either operand is a QNAN or 
   var1 is equal to var2.
    18. 
-  
  18. ugt: yields true if either operand is unordered or 
+  
  19. ugt: yields true if either operand is a QNAN or 
   var1 is greater than var2.
    20. 
-  
  20. uge: yields true if either operand is unordered or 
+  
  21. uge: yields true if either operand is a QNAN or 
   var1 is greater than or equal to var2.
    22. 
-  
  22. ult: yields true if either operand is unordered or 
+  
  23. ult: yields true if either operand is a QNAN or 
   var1 is less than var2.
    24. 
-  
  24. ule: yields true if either operand is unordered or 
+  
  25. ule: yields true if either operand is a QNAN or 
   var1 is less than or equal to var2.
    26. 
-  
  26. une: yields true if either operand is unordered or 
+  
  27. une: yields true if either operand is a QNAN or 
   var1 is not equal to var2.
    28. 
-  
  28. uno: yields true if either operand is unordered.
    29. 
+  
  29. uno: yields true if either operand is a QNAN.
    30. 
   
  30. true: always yields true, regardless of operands.
    31. 
 

 
If the operands are packed typed, the elements of 
 the vector are compared in turn and the predicate must hold for all elements.
-While this is of dubious use for predicates other than eq and 
-ne, the other predicates can be used with packed types.

+

 
 
Example:

 
  <result> = fcmp oeq float 4.0, 5.0    ; yields: result=false