21、条件处理与有限状态机详解

条件处理与有限状态机详解

1. 条件结构概述

条件结构由一个或多个条件表达式构成，这些表达式会触发不同逻辑分支的选择。每个分支会执行不同的指令序列。下面将详细介绍几种常见的条件结构及其在汇编语言中的实现。

2. 块结构的IF语句

IF结构意味着一个布尔表达式后面跟着两个语句列表，当表达式为真时执行一个列表，为假时执行另一个列表，else部分是可选的。在汇编语言中实现IF结构，通常分两步：首先计算布尔表达式，影响CPU的某个状态标志；然后根据相关CPU状态标志的值，构造一系列跳转指令，将控制转移到两个语句列表。

2.1 示例1

以下C++代码中，如果op1等于op2，则执行两条赋值语句：

if( op1 == op2 ) then
{
    X = 1;
    Y = 2;
}

将其转换为汇编语言代码如下：

mov eax,op1
cmp eax,op2 ; op1 == op2?
jne L1 ; no: skip next
mov X,1 ; yes: assign X and Y
mov Y,2
L1:

若使用JE实现 == 运算符，代码如下：

mov eax,op1
cmp eax,op2 ; op1 == op2?
je L1 ; yes: jump to L1
jmp L2 ; no: sk