Add note about FLE vs. BGE inconsistency

1 files changed, 7 insertions, 0 deletions

diff --git a/src/f.tex b/src/f.tex
index 76786c9..7680347 100644
--- a/src/f.tex
+++ b/src/f.tex
@@ -765,6 +765,13 @@ FCMP & S & src2 & src1 & EQ/LT/LE & dest & OP-FP  \\
 \end{tabular}
 \end{center}
 
+\begin{commentary}
+The F extension provides a $\leq$ comparison, whereas the base ISA provides
+a $\geq$ branch comparison.  Because $\leq$ can be synthesized from $\geq$ and
+vice-versa, there is no performance implication to this inconsistency, but it
+is nevertheless an unfortunate incongruity in the ISA.
+\end{commentary}
+
 \section{Single-Precision Floating-Point Classify Instruction}
 
 The FCLASS.S instruction examines the value in floating-point register {\em