对下面的程序片段作出其程序流图并计算：

（1）各基本块的到达_定值集IN[B]；
（2）各基本块中各变量引用点的ud链；
（3）各基本块出口的活跃变量集V_OUT[B]；
（4）各基本块中变量定值点的du链。

考虑下面的三地址语句序列：

（1）在该代码中用水平的横线将代码分成基本块，并给每个基本块一个序号。
（2）画出该代码的控制流图，每个基本块就用（1）的序号表示。
（3）若有循环的话，列出构成每个循环的结点。

试求出如下四元式程序中的循环并进行循环优化。

试构造下面的程序的流图，并找出其中所有回边及循环。

对于下面C语言文件s.c：

某编译器编译时报错如下，对函数f2为什么没有类似的警告错误。

Pascal语言中，语句：forv：＝initial.to.final.do.stmt与下列代码序列有相同含义：

（a）试考虑下述Pascal程序：

对于initial=MAXINT-5和final= MAXINT，问此程序将做些什么？其中MAXINT为目标机器允许的最大整数。
（b）试构造一个翻译pascal的for语句为三地址代码的语法制导定义。

试把下列C语言程序的可执行语句翻译为：
（a）一棵语法树；
（b）后缀式；
（c）三地址代码。

下面给出一个C语言程序及其在SPARC/SUN工作站上经某编译器编译后的运行结果。从运行结果看，函数func中4个局部变量i1，j1，f1，e1的地址间隔和它们类型的大小是一致的，而4个形式参数i，j，f，e的地址间隔和它们的类型的大小不一致，试分析不一致的原因。注意，输出的数据是八进制的。

对以下的Pascal程序画出过程c第二次被激活时的运行栈，控制链和访问链。说明在c中如何访问变量x。