- SQRTSS, MAXSS, MINSS,
RSQRTSS Packed – ADDPS, SUBPS, MULPS, DIVPS, RCPPS,
SQRTPS, MAXPS, MINPS,
RSQRTPS Compare Scalar – CMPSS, COMISS,
UCOMISS Packed –...
- No
MOVMSKPD r32,x Yes No No No No — Floating-point
Square Root 0F 51 /r
SQRTPS x,x/m128 Yes Yes
SQRTSS x,x/m32 Yes Yes
SQRTPD x,x/m128 Yes Yes
SQRTSD x...
- that
works only on
positive real
numbers might be
specified as follows:
SQRTP(x:real)r:real pre x >=0 post r*r = x and r>=0 The
precondition and postcondition...
