Floating-Point Parallel Comparison Results; Floating-Point Parallel Comparison Relations - Intel ITANIUM ARCHITECTURE - SOFTWARE DEVELOPERS MANUAL VOLUME 3 REV 2.3 Manual

fpcmp — Floating-point Parallel Compare
( ) fpcmp.
Format: qp
The two pairs of single precision source operands in the significand fields of FR
Description:
are compared for one of twelve relations specified by frel. This produces a boolean
f
3
result which is a mask of 32 1's if the comparison condition is true, and a mask of 32 0's
otherwise. This result is written to a pair of 32-bit integers in the significand field of FR
. The exponent field of FR
f
1
sign field of FR
Table 2-29.
PR[qp]==0
unchanged
The mnemonic values for sf are given in
The relations are defined for each of the comparison types in
relations, not all are directly implemented in hardware. Some are actually pseudo-ops.
For these, the assembler simply switches the source operand specifiers and/or switches
the predicate type specifiers and uses an implemented relation.
If either FR
Table 2-30.
frel
eq equal
lt less than
le less than or equal
gt greater than
ge greater than or equal
unord unordered
neq not equal
nlt not less than
nle not less than or equal
ngt not greater than
nge not greater than or equal
ord ordered
Volume 3: Instruction Reference
. = ,
frel sf f f f
1 2 3
is set to the biased exponent for 2.0
f
1
is set to positive (0).
f
1

Floating-point Parallel Comparison Results

Result==false,
No Source NaTVals
0...0
or FR is a NaTVal, FR
f f
2 3

Floating-point Parallel Comparison Relations

frel Completer
Unabbreviated
PR[qp]==1
Result==true,
No Source NaTVals
1...1
Table 2-23 on page 3:56.
is set to NaTVal instead of the computed result.
f
1
Relation Pseudo-op of
f == f
2 3
f < f
2 3
f <= f
2 3
 f
f > f lt f
2 3 2
 f
f >= f le f
2 3 2
f ? f
2 3
!(f == f )
2 3
!(f < f )
2 3
!(f <= f )
2 3
 f
!(f > f ) nlt f
2 3 2
 f
!(f >= f ) nle f
2 3 2
!(f ? f )
2 3
fpcmp
and FR
f
2
63
(0x1003E) and the
One or More
Source NaTVals
NaTVal
Table 2-29. Of the twelve
Quiet NaN
as Operand
Signals Invalid
No
Yes
Yes
Yes
3
Yes
3
No
No
Yes
Yes
Yes
3
Yes
3
No
3:101
F8