VS 에서 작성한 풀소스  1~100  까지의 숫자 중 짝수만을 더한 구문을

C언어와 asm 으로 작성

VS, C언어 작성하여 생성된 asm

직접 작성한 asm

cmp 를 사용하게 되면 

cmp eax, 8 

의 경우 이 값이 같은지 비교해 보고 내부 플래그값을 세팅해놓는다

그 이후 

jp(jump) 명령어들 중에서 원하는 명령어를 써주면 LOOP : 레이블로 점프하게 된다

jne ( jumpe not equal) 같지 않으면 LOOP 로 간다음

다시 eax 를 1 증가 시킨다

if( i < 1000 )  조건이 성립할때까지 반복함   

즉 이 코드는 do while 문과 유사한 형태로 볼 수 있다

tip : eax 값을 초기에 10을 넣고 하나씩 감소 시키다가 eax 가 0 이 되는 순간 내부 zero 플래그의 상태 값이  1로 변경된다

이때 사용하는 점프문은 jz, jnz 등이 있다

CPU 와 FPU 는  서로 다른 CPU 인데 현재에 들어서는 CPU 안에FPU가 탑재 되어 있는 방식이다

즉 CPU 안에 레지스터공간(EAX, EDX, 등등...)이 따로 존재 하듯이 FPU 안에도 FPU 만의 레지스터가 따로 존재한다(ST0~ST7 , c0, c2, c3 등등....)

CPU에서 점프를 할때 JZ 등으로 바로 점프 할 수 있으나 FPU 는 float 를 계산하기 위한 전용 처리 장치이기 때문에

float 연산은 FPU 에서 처리 하고 이에 대한 비교 연산이 FPU 내의 C0 , C2, C3  플래그에 기록 되게 되는데 이것을

CPU 의 상태 플래그로 넘겨 줘야 CPU에서 점프처리가 가능하게 된다

과정

1. fcmp 로 float 값을 비교

2. fstsw ax  로 fpu 상태 레지스터 값을 ax로 복사한다

3. sahf 로 ah 를 상태 레지스터로 (EFLAGS(SF:ZF:0:AF:0:PF:1:CF) = AH;)

4. 점프(점프는 unsigned 와 패리티 비트 관련된 걸로 할 수 있는데 c0, c2, c3 값이 세팅 되는 것이 부모 있는 수치에 관련된 플레그로 세팅되지 않기 때문)

          : FPU 는 캐리처리 없이 연산 됨으로

이미지로 간략히 나타내면 다음 처럼 그릴 수 있다

축약 과정

원래는 위 처럼 동작 하지만 이를 간소화ㅎ여 실행 할 수 있는 명령어 FCOMI 가 있다

1. fcmp 로 float 값을 비교

2. FCOMI ST(0), ST(1)       이 명령어가 FPU 레지스터 플래그 들을 CPU 상태 레지스터플래그로 옮겨주는 작업도 처리해준다, 펜티업 프로 이상에서 작동

4. 점프(점프는 unsigned 와 패리티 비트 관련된 걸로 할 수 있는데 c0, c2, c3 값이 세팅 되는 것이 부모 있는 수치에 관련된 플레그로 세팅되지 않기 때문)

          : FPU 는 캐리처리 없이 연산 됨으로

x86 Instruction Set Reference

Derived from the September 2014 version of the Intel® 64 and IA-32 Architectures Software Developer’s Manual, volumes 2A and 2B.

More info at zneak/x86doc

This reference is not perfect. It's been mechanically separated into distinct files by a dumb script. It may be enough to replace the official documentation on your weekend reverse engineering project, but in doubt, go get the official and freely available documentation.

Download documentation set

http://www.felixcloutier.com/x86/

if 먼저 아래처럼 asm 코드를 작성 한다고 했을 때

http://m.todayhumor.co.kr/view.php?table=total&no=10627412

[스택 프레임 전체 흐름]

if(AddressSize == 32) Count = ECX;
else Count = CX; //AddressSize == 16

Count = Count - 1;

switch(Instruction) {
	case LOOPE:
	case LOOPZ:
		if(ZF == 1 && Count != 0) BranchCond = 1;
		else BranchCond = 0;
		break;
	case LOOPNE:
	case LOOPNZ:
		if(ZF == 0 && Count != 0) BranchCond = 1;
		else BranchCond = 0;
		break;
	default: //LOOP
		if(Count != 0) BranchCond = 1;
		else BranchCond = 0;
		break;
}
if(BranchCond == 1) {
	EIP = EIP + SignExtend(Destination);
	if(OperandSize == 16) EIP = EIP & 0xFFFF;
	else /*OperandSize == 32*/ if(EIP < CS.Base || EIP < CS.Limit) Exception(GP);
}
else ResumeExecution(); //Terminate loop and continue program execution at EIP

http://x86.renejeschke.de/html/file_module_x86_id_161.html

상태 레지스터 또는 플래그 레지스터는 마이크로프로세서에서 다양한 산술 연산 결과의 상태를 알려주는 플래그 비트들이 모인 레지스터이다.

주로, 조건문과 같은 실행 순서의 분기에 사용된다.

상태 레지스터 플래그

상태 레지스터에는 다음과 같은 플래그들이 있다.

https://ko.wikipedia.org/wiki/%EC%83%81%ED%83%9C_%EB%A0%88%EC%A7%80%EC%8A%A4%ED%84%B0

점프 할때의 플래그들 정리

비슷한 의미 별로 그룹화 시켜놓은것들, 필요 할 때 참고삼아

Getting the sense for jumps and flags has long been a troublesome area for me, especially since the Intel assembler book shows 32 of these, all with similar-sounding names. Looking more closely I found that many of the instructions were synonyms for each other, and in practice the whole gamut is not needed, and in the process found that my copy of Intel's 80386 Programmer's Reference Manual gave an incorrect description for one of the instructions.

So I have grouped these functionally, with all instruction synonyms in the same row.

Processor Flags

The x86 processors have a large set of flags that represent the state of the processor, and the conditional jump instructions can key off of them in combination.

CF - carry flag(c에서는 CY)

Set on high-order bit carry or borrow; cleared otherwise

PF - parity flag(c에서는 PE)

Set if low-order eight bits of result contain an even number of "1" bits; cleared otherwise

ZF - zero flags(c에서는 ZR)

Set if result is zero; cleared otherwise

SF - sign flag(c에서는 PL이던디)

Set equal to high-order bit of result (0 if positive 1 if negative)

OF - overflow flag(c에서는 OV)

Set if result is too large a positive number or too small a negative number (excluding sign bit) to fit in destination operand; cleared otherwise

http://unixwiz.net/techtips/x86-jumps.html

mov eax,0                    //mov 명령어는 ZR 플래그를 조작하는 명령어가 아님

cmp eax,0 //두개의 값이 같으면 Z(ZR) 에 1을 세팅함

je          main //ZR값이 1 이면 점프 , jz 도 ZR 이 1 이면 점프,  jz==je 이 둘은 같은 동작을 한다

jz 는 eax 값이 증가 했다가 감소 해서 0 이 되면 Z 가 1이 된다는 관점

je 는 cmp 로 두개를 비교하여 같으면 Z 가 1 이 된다는 관점

jne = jump not equal 로 Z가 0 일때 점프 한다

jze 도 Z 가 0 일 때 점프

cmp A, B

JA  : 앞에 것이 크면 점프 (Above)

JB  : 앞에 것이 작으면 점프(Below)

C : Carry 비트(더하기, 자리 올림)가 1이 됨 1111 + 1    또는 자리내림(빼기(1-2=-1))  일때 C 가 1이 됨

cmp 연산에서 cmp a,b 는 a-b 연산을 하는대 이때 C 비트가 변경 된다

[부호가 없는 데이터 비교, 제일 앞의 비트또한 숫자로 처리한다]

JA 의 경우 C가 0이고 ZR 이 0 일 때 점프 한다 

cmp 는 A-B 연산을 하는데 두 값이 같다면 A-B=0 , A>B 의 경우 결과는 양수이고 A 보다 

결과가 작음으로 자리 올림은 발생 하지 않으며 ZR 은 두 값이 같지 않음으로 0 이 된다

JB 의 경우 C 가 1일때 점프 한다 

ZR 은 0 이든 1이든 상관 없는데 그 이유는 A-B 결과가 음수가 되면서 이로 인해 자리내림으로 C 가 1이 되어서 

이것으로 점프를 할지 말지 구분하면 됨

[부호가 없는 데이터 비교, 제일 앞의 비트를 부호로 처리한다]

JG  

JL

JA, JG 가 같은 맥락인데 어떤 명령어를 사용 하느냐에 따라서 비트는 같지만 비트를 해석하는 방식이 달라진다

JNA == JBE

jc : carry 플래그 값만 보고도 점프가 가능한데(CY)

jo : overflow bit 가 1 일때 (OV)

js : sign 비트가 1 일때 (PL)

pl : 연산 값이 음수인경우 1 , 양수면  0

ov : char s=127

s+=1 == -128 이 되는데 이때 부호 비트까지 연산이 되어버리는 경우 ov 에 1이 세팅 됨
 

(c에서는 AC 가 보조 캐리비트)

 cmp edx,eax 했을 때 cmp 한 연산 결과의 하위 4bit 에 대해 올림이 발생하면 그때 1이 됨

   [BCD : 2진수 4자리를 묶어 10진수 한자리로 표현 하는 법]

           16진수 표현 시 10=a~ 15=f 로 표현 되는데  이렇게 표현 하는 방식을 말함

그리하여 4bit까지 체크 하기 위한 비트가 AC 보조 캐리 비트다, 즉 15가 넘어 가게 될 경우 AC=1 이 된다(f에 대한 자리 올림)

ex) mov eax , 15

inc eax