Appendix B
B-4 MIPS R4000 Microprocessor User's Manual
The coprocessor branch on condition true/false instructions can be used
to logically negate any predicate. Thus, the 32 possible conditions require
only 16 distinct comparisons, as shown in Table B-2 below.
Table B-2 Logical Negation of Predicates by Condition True/False
Condition Relations Invalid
Operation
Exception If
Unordered
Mnemonic
Code
Greater
Than
Less
Than
Equal Unordered
True False
F T 0 F F F F No
UN OR 1 F F F T No
EQ NEQ 2 F F T F No
UEQ OGL 3 F F T T No
OLT UGE 4 F T F F No
ULT OGE 5 F T F T No
OLE UGT 6 F T T F No
ULE OGT 7 F T T T No
SF ST 8 F F F F Yes
NGLE GLE 9 F F F T Yes
SEQ SNE 10 F F T F Yes
NGL GL 11 F F T T Yes
LT NLT 12 F T F F Yes
NGE GE 13 F T F T Yes
LE NLE 14 F T T F Yes
NGT GT 15 F T T T Yes