Intel Itanium 9150M, Manual

Page: 110 / 420

Volume 3: Instruction Reference 3:101
fpcmp
fpcmp — Floating-point Parallel Compare
Format: (
qp
) fpcmp.
frel
.
sf f
1
=
f
2
,
f
3
F8
Description:
The two pairs of single precision source operands in the significand fields of FR
f
2
and FR
f
3
are compared for one of twelve relations specified by
frel
. This produces a boolean
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
f
1
. The exponent field of FR
f
1
is set to the biased exponent for 2.0
63
(0x1003E) and the
sign field of FR
f
1
is set to positive (0).
The mnemonic values for
sf
are given in Table 2-23 on page 3:56 .
The relations are defined for each of the comparison types in Table 2-29 . Of the twelve
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
f
2
or FR
f
3
is a NaTVal, FR
f
1
is set to NaTVal instead of the computed result.
Table 2-29. Floating-point Parallel Comparison Results
PR[ qp ]==0
PR[ qp ]==1
Result==false,
No Source NaTVals
Result==true,
No Source NaTVals
One or More
Source NaTVals
unchanged 0...0 1...1 NaTVal
Table 2-30. Floating-point Parallel Comparison Relations
frel
frel Completer
Unabbreviated
Relation Pseudo-op of
Quiet NaN
as Operand
Signals Invalid
eq equal f
2
== f
3
No
lt less than f
2
< f
3
Yes
le less than or equal f
2
<= f
3
Yes
gt greater than f
2
> f
3
lt f
2

f
3
Yes
ge greater than or equal f
2
>= f
3
le f
2

f
3
Yes
unord unordered f
2
? f
3
No
neq not equal !( f
2
== f
3
) No
nlt not less than !( f
2
< f
3
) Yes
nle not less than or equal !( f
2
<= f
3
) Yes
ngt not greater than !( f
2
> f
3
) nlt f
2

f
3
Yes
nge not greater than or equal !( f
2
>= f
3
) nle f
2

f
3
Yes
ord ordered !( f
2
? f
3
) No