4.3.3 循环语句的机器级表示

编码与执行模型

循环机器级表示由初始化、条件比较、条件跳转、循环体和更新组成。编译器可用while形或跳转到测试位置，必须沿控制流图判断。

地址和状态推演

C for(i=0;i<n;i++) s+=a[i]：入口设i,s；测试i<n，真则按base+i×4取数、累加、i++并回跳。

推演逐步记录PC、SP、寄存器、有效地址EA及发生的内存访问。

错解反馈与迁移

错因按汇编行顺序忽略跳转。迁移：若更新语句位于条件跳转后不可达，会形成死循环。