[flood]а процессор решает это (CMP a, b) вычитанием:
a-b
и не сохраняя результат вычитания выставит флаги, обыкновенной схемой или-не, которая совсем не If
6 | 0 |которые означают, что
ZF | CF |
0 | 0 | b<a
1 | 0 | b=a
0 | 1 | b>a

( для операндов без знака )[/flood]