Auxiliary Processing Units (APUs)
PowerPC e500 Core Family Reference Manual, Rev. 1
Freescale Semiconductor 10-19
efdtsteq efdtsteq
Floating-Point Double-Precision Test Equal
efdtsteq crfD,rA,rB
al ← rA
0:63
bl ← rB
0:63
if (al = bl) then cl ← 1
else cl ← 0
CR
4*crD:4*crD+3
← undefined || cl || undefined || undefined
rA is compared against rB. If rA is equal to rB, the bit in the crfD is set, otherwise it is cleared.
Comparison ignores the sign of 0 (+0 = -0). The comparison proceeds after treating NaNs,
Infinities, and Denorms as normalized numbers, using their values of ‘e’ and ‘f’ directly.
No exceptions are generated during the execution of efdtsteq If strict IEEE 754 compliance is
required, the program should use efdcmpeq.
efdtstgt efdtstgt
Floating-Point Double-Precision Test Greater Than
efdtstgt crfD,rA,rB
al ← rA
0:63
bl ← rB
0:63
if (al > bl) then cl ← 1
else cl ← 0
CR
4*crD:4*crD+3
← undefined || cl || undefined || undefined
rA is compared against rB. If rA is greater than rB, the bit in the crfD is set, otherwise it is cleared.
Comparison ignores the sign of 0 (+0 = -0). The comparison proceeds after treating NaNs,
Infinities, and Denorms as normalized numbers, using their values of ‘e’ and ‘f’ directly.
No exceptions are generated during the execution of efdtstgt. If strict IEEE 754 compliance is
required, the program should use efdcmpgt.
0 5689101115162021 31
000100 crfD00 rA rB 0 1011111110
0 5689101115162021 31
000100 crfD00 rA rB 0 1011111100