第六节:控制
包括描述表达循环和switch 语句的方法
3.6.1 条件码
cpu 维护着一组单个位的条件码寄存器,他们描述了最近的算数或逻辑操作的属性。可以检测这些寄存器来执行条件分支指令。
- CF: 进位标志
- ZF:零标志
- SF:符号标志
- OF:溢出标志
CF (unsigned) t < (unsigned) a
ZF (t==0)
SF (t<0)
OF (a<0== b<0) && (t<0 != a<0)
3.6.2 访问条件码
- 可以根据条件码的某种组合,奖一个字节设置为0或这1
- 可以条件跳转到程序的某个其他部分
- 可以有条件地传送数据
区分有符号和无符号:
大多数情况下,机器代码对于有符号和无符号两种情况使用一样的指令,这是因为许多算数运算符对无符号和补码算数都有一样的位级行为
跳转指令
跳转指令会导致执行切换到程序中的一个全新位置。
jmp (感觉和goto:差不多)
第七节:过程
过程是软件中一种很重要的抽象。它提供了一种封装代码的方式,用一组指定的参数和一个可选的返回值实现某种功能。然后,可以在程序中的不同地方调用这个函数。。。
- 传递过程:在进入过程q的时候,程序计数器必须被设置为q的代码的起始地址,然后在返回时,要把程序计数器设置为p中调用q后面那条指令的地址。
- 传递数据:p必须能够向q提供一个或多个参数,q必须能够向p返回一个值
- 分配和释放内存:在开始时,q可能需要为局部变量分配空间,而在返回前,有必须释放这些存储空间。
有些时候,局部数据必须放在内存中
- 寄存器不足够存放所有的本地数据
- 对一个局部变量使用地址运算符“&”,因此必须能够为它产生一个地址
- 某些局部变量是数据或结构,因此必须能够通过数据或结构引用被访问到。
递归:
每个递归调用在栈中都有他自己的私有空间,因此多个未完成调用的局部变量不会相互影响。此外,栈的原则很自然地就提供了适当的策略,当过程被调用时,分配局部存储,当返回时释放存储。