I'm trying to figure out what purpose jp
/jnp
instructions serve in LLVM-generated C code. Sample:
int main(int argc, const char * argv[]) {
double value = 1.5;
if (value == 1.5) {
value = 3.0;
}
return 0;
}
Assembly output:
Ltmp4:
movsd LCPI0_0(%rip), %xmm0
movl $0, -4(%rbp)
movl %edi, -8(%rbp)
movq %rsi, -16(%rbp)
Ltmp5:
movsd %xmm0, -24(%rbp)
Ltmp6:
movsd -24(%rbp), %xmm1
ucomisd %xmm0, %xmm1
jne LBB0_2
jp LBB0_2
## BB#1:
movabsq $3, %rax
cvtsi2sdq %rax, %xmm0
Ltmp7:
movsd %xmm0, -24(%rbp)
Ltmp8:
LBB0_2:
movl $0, %eax
popq %rbp
retq
The jne
is checking if value != 1.5
and jumping over the assignment, but what is the jp
doing in this context?
Answer
jne
is jump if not equal
, i.e. jump if the zero flag is not set. jp
is jump if parity
.
ucomisd
is defined to compare two doubles
. It will indicate that they are one of four things: unordered, equal, greater than or less than.
The zero flag is set if the numbers are unordered or equal. So the jne
avoids the remaining cases of greater than or less than.
Parity is set only if the result is unordered. The jp
catches that.
So the two together avoid: unordered, greater than, less than. Leaving only the fourth possibility, of equal.
No comments:
Post a Comment