어셈블리어 명령어 CMP와 JE 동작원리에 관하여 여쭈어봅니다.

CMP 연산의 결과로 EFLAGS 레지스터의 다음 플래그들이 영향을 받습니다.

The CF, OF, SF, ZF, AF, and PF flags are set according to the result.

각 EFLAGS의 플래그는 특정 조건일 때 SET(=1) 또는 UNSET(=0) 되는데,
그 중 ZF는 산술 연산이나 논리 연산의 결과가 0이 될 때 SET 됩니다.

CMP 명령은 내부적으로 Op1 - Op2로 처리됩니다.
즉 산술 연산이 발생하고, 두 값이 같다면 연산 결과가 0이 되어 ZF가 SET이 되지요.

The condition codes used by the Jcc, CMOVcc, and SETcc instructions are based on the results of a CMP instruction.

보통 CMP가 사용되는 용도가 말씀하신 바와 같이 c언어의 if문처럼 결과에 따른 분기이므로,
ZF 플래그를 검사해 jump하는 명령이 주로 뒤따르게 됩니다.

이 ZF를 검사하는 condition code가 Z 또는 E인데, ZF가 SET일 때를 의미합니다.
만약 JE라면 'ZF를 검사해 SET이면 특정 주소로 jump 하라'가 되고,
JNE라면 'ZF를 검사해 UNSET이면 특정 주소로 jump 하라'가 됩니다.

정리하면
CMP의 결과로 피연산자가 서로 같은지 아닌지에 따라 ZF가 SET 또는 UNSET 되고,
이 결과를 검사하는 접미사 E가 붙는 명령어가 사용된 것입니다(Z도 역시 ZF를 검사하기에 JZ를 쓸 수도 있습니다).

너무 장황하게 설명했는데, 'Intel Architecture Software Developer's Manual'를 보시면
Volume 2-A에서 CMP 명령어를 설명하고 있고, 그 결과 어떤 플래그가 바뀌는지 나와 있습니다.

각 플래그의 의미에 따라 어떤 접미사를 써야 하는지는 Volume 1 Appendix B 중 Table B-1에 나와 있습니다.

질문 주신 예처럼 분석이나 간단한 어셈블리 프로그래밍을 할 때는 자주 사용되는 패턴을 익히는 것이 보통이며,
필요나 기호에 따라 직접 명령어를 조합하여 쓰기도 합니다.

다음 페이지는 찾아보기 쉽게 EFLAGS의 각 플래그에 대한 명령어들을 교차 나열하고 있네요.
http://datasheets.chipdb.org/Intel/x86/Intel%20Architecture/EFLAGS.PDF
----------------------
Go to the U-City