Corrections from review.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@31865 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/docs/LangRef.html b/docs/LangRef.html
index d669688..a84de0e 100644
--- a/docs/LangRef.html
+++ b/docs/LangRef.html
@@ -3101,9 +3101,8 @@
<p>If the operands are <a href="#t_pointer">pointer</a> typed, the pointer
values are treated as integers and then compared.</p>
<p>If the operands are <a href="#t_packed">packed</a> 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 <tt>eq</tt> and
-<tt>ne</tt>, the other predicates can be used with packed types.</p>
+the vector are compared in turn and the predicate must hold for all
+elements.</p>
<h5>Example:</h5>
<pre> <result> = icmp eq int 4, 5 <i>; yields: result=false</i>
@@ -3130,7 +3129,7 @@
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:
<ol>
- <li><tt>false</tt>: no comparison, always false (always folded)</li>
+ <li><tt>false</tt>: no comparison, always returns false</li>
<li><tt>oeq</tt>: ordered and equal</li>
<li><tt>ogt</tt>: ordered and greater than </li>
<li><tt>oge</tt>: ordered and greater than or equal</li>
@@ -3145,49 +3144,50 @@
<li><tt>ule</tt>: unordered or less than or equal</li>
<li><tt>une</tt>: unordered or not equal</li>
<li><tt>uno</tt>: unordered (either nans)</li>
- <li><tt>true</tt>: no comparison, always true (always folded)</li>
+ <li><tt>true</tt>: no comparison, always returns true</li>
</ol>
<p>The <tt>val1</tt> and <tt>val2</tt> arguments must be of
<a href="#t_floating">floating point</a>, or a <a href="#t_packed">packed</a>
floating point type. They must have identical types.</p>
+<p>In the foregoing, <i>ordered</i> means that neither operand is a QNAN and
+<i>unordered</i> means that either operand is a QNAN.</p>
<h5>Semantics:</h5>
<p>The '<tt>fcmp</tt>' compares <tt>var1</tt> and <tt>var2</tt> according to
the condition code given as <tt>cond</tt>. The comparison performed always
yields a <a href="#t_bool">bool</a> result, as follows:
<ol>
<li><tt>false</tt>: always yields <tt>false</tt>, regardless of operands.</li>
- <li><tt>oeq</tt>: yields <tt>true</tt> if both operands are ordered and
+ <li><tt>oeq</tt>: yields <tt>true</tt> if both operands are not a QNAN and
<tt>var1</tt> is equal to <tt>var2</tt>.</li>
- <li><tt>ogt</tt>: yields <tt>true</tt> if both operands are ordered and
+ <li><tt>ogt</tt>: yields <tt>true</tt> if both operands are not a QNAN and
<tt>var1</tt> is greather than <tt>var2</tt>.</li>
- <li><tt>oge</tt>: yields <tt>true</tt> if both operands are ordered and
+ <li><tt>oge</tt>: yields <tt>true</tt> if both operands are not a QNAN and
<tt>var1</tt> is greater than or equal to <tt>var2</tt>.</li>
- <li><tt>olt</tt>: yields <tt>true</tt> if both operands are ordered and
+ <li><tt>olt</tt>: yields <tt>true</tt> if both operands are not a QNAN and
<tt>var1</tt> is less than <tt>var2</tt>.</li>
- <li><tt>ole</tt>: yields <tt>true</tt> if both operands are ordered and
+ <li><tt>ole</tt>: yields <tt>true</tt> if both operands are not a QNAN and
<tt>var1</tt> is less than or equal to <tt>var2</tt>.</li>
- <li><tt>one</tt>: yields <tt>true</tt> if both operands are ordered and
+ <li><tt>one</tt>: yields <tt>true</tt> if both operands are not a QNAN and
<tt>var1</tt> is not equal to <tt>var2</tt>.</li>
- <li><tt>ord</tt>: yields <tt>true</tt> if both operands are ordered.</li>
- <li><tt>ueq</tt>: yields <tt>true</tt> if either operand is unordered or
+ <li><tt>ord</tt>: yields <tt>true</tt> if both operands are not a QNAN.</li>
+ <li><tt>ueq</tt>: yields <tt>true</tt> if either operand is a QNAN or
<tt>var1</tt> is equal to <tt>var2</tt>.</li>
- <li><tt>ugt</tt>: yields <tt>true</tt> if either operand is unordered or
+ <li><tt>ugt</tt>: yields <tt>true</tt> if either operand is a QNAN or
<tt>var1</tt> is greater than <tt>var2</tt>.</li>
- <li><tt>uge</tt>: yields <tt>true</tt> if either operand is unordered or
+ <li><tt>uge</tt>: yields <tt>true</tt> if either operand is a QNAN or
<tt>var1</tt> is greater than or equal to <tt>var2</tt>.</li>
- <li><tt>ult</tt>: yields <tt>true</tt> if either operand is unordered or
+ <li><tt>ult</tt>: yields <tt>true</tt> if either operand is a QNAN or
<tt>var1</tt> is less than <tt>var2</tt>.</li>
- <li><tt>ule</tt>: yields <tt>true</tt> if either operand is unordered or
+ <li><tt>ule</tt>: yields <tt>true</tt> if either operand is a QNAN or
<tt>var1</tt> is less than or equal to <tt>var2</tt>.</li>
- <li><tt>une</tt>: yields <tt>true</tt> if either operand is unordered or
+ <li><tt>une</tt>: yields <tt>true</tt> if either operand is a QNAN or
<tt>var1</tt> is not equal to <tt>var2</tt>.</li>
- <li><tt>uno</tt>: yields <tt>true</tt> if either operand is unordered.</li>
+ <li><tt>uno</tt>: yields <tt>true</tt> if either operand is a QNAN.</li>
<li><tt>true</tt>: always yields <tt>true</tt>, regardless of operands.</li>
</ol>
<p>If the operands are <a href="#t_packed">packed</a> 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 <tt>eq</tt> and
-<tt>ne</tt>, the other predicates can be used with packed types.</p>
+</p>
<h5>Example:</h5>
<pre> <result> = fcmp oeq float 4.0, 5.0 <i>; yields: result=false</i>