Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Use of TEST instruction with same register

Here is some C, found in a textbook I'm learning:

...
do {
    ...
    n--;
} while (n > 0)
...

I assume n is at %edx.

The assembly code produced is:

testl %edx, %edx 
jle .L5

I understand that jle tests for less than or equal to (SF ^ OF) | ZF. However I am unsure how this instruction corresponds to n > 0. Can anyone explain this?

like image 881
dgamma3 Avatar asked Jun 30 '13 12:06

dgamma3


1 Answers

Some of this has been covered, but I'll fill in a little more detail.

The general purpose of the test reg,mask instruction tests a register value against a mask (register value is internally ANDed with mask) and then sets the status flags SF, ZF, and PF according to the result. [EDIT per comment from @ChrisDodd] It also unconditionally clears the O (overflow) and C (carry) status bits.[/EDIT]

SF = sign flag (1 if sign bit is set (a 2's complement negative value))
ZF = zero flag (1 if result is 0)
PF = parity flag (1 if result has an even number of 1 bits)

In this specific example (test eax,eax), the instruction is taking eax AND eax. When this is done, the bits will be:

SF = 1 if EAX has a negative value (since sign bit will not change when ANDed with itself)
ZF = 1 if EAX is zero (the only value that yields a zero when ANDed with itself is zero)
PF = 1 if EAX has an even number of 1 bits

In other words, it's a simple test for zero or negative. It's a very common pattern in compiler code generation.

like image 139
lurker Avatar answered Sep 21 '22 18:09

lurker