龙书第六章参考答案

0) =[] b i t1 1) =[] c j t2 2) + t1 t2 t3
b
c
(0)
a
(1)
arg1
b
c
(0)
a
(1)
instruction (0) (1) (2)
3) = t3 a
三元式 0) =[] b i 1) =[] c j 2) + (0) (1) 3) = a (2)
间接三元式 0) =[] b i 1) =[] c j 2) + (0) (1) 3) = a (2)
x = a[i] + b[j] x = a[i][j] + b[i][j] ! x = a[b[i][j]][c[k]]
解答 x = a[i] + b[j] 语法分析树 :
1
id
a
2
id
b
3
+
1
2
4
+
3
3
a+b+a+b
1
id
a
2
id
b
3
1
5
+
4
2
a+a+(a+a+a+(a+a+a+a))
1
id
a
2
+
1
1
3
+
2
1
4
+
3
1
5
+
3
4
6
+
2
5
6.2 节的练习
6.2.1
将算数表达式 a+-(b+c) 翻译成
抽象语法树 四元式序列 三元式序列 间接三元式序列
解答
抽象语法树
E -> E1 * E2 E -> +E1
解答
产生式
语义规则
E -> E1 * E2 { E.addr = new Temp(); E.code = E1.code || E2.code || gen(E.addr '=' E1.addr '*' E2.addr); }
| +E1 { E.addr = E1.addr; E.code = E1.code; }
三元式 0) + y 1 1) param (0)
2) call f 1 3) + (2) 2 4) = x (3)
间接三元式 0) + y 1 1) param (0) 2) call f 1 3) + (2) 2 4) = x (3)
0) 1) 2) 3) 4)
参考 数组元素的取值和赋值
6.2.3 ! 说明如何对一个三地址代码序列进行转换，使得每个被定值的变量都有唯一的变量名。 6.3 节的练习 6.3.1 确定下列声明序列中各个标识符的类型和相对地址。
给出类 Evn 的一个实现。该实现支持符号表链，使得子类可以重定义一个字段名， 也可以直接引用某个超类中的字段名。
给出一个翻译方案，该方案能够为类中的字段分配连续的数据区域，这些字段中包 含继承而来的域。继承而来的字段必须保持在对超类进行存储分配时获得的相对地址。
6.4 节的练习
6.4.1 向图 6-19 的翻译方案中加入对应于下列产生式的规则：
6.1 节的练习 为下面的表达式构造 DAG ((x+y)-((x+y)*(x-y)))+((x+y)*(x-y))
解答
为下列表达式构造 DAG，且指出他们每个子表达式的值编码。假定
a+b+(a+b) a+b+a+b a+a+(a+a+a+(a+a+a+a))
解答 a+b+(a+b)
+ 是左结合的。
float x; record {float x; float y;} p; record {int tag; float x; float y;} q;
解答 SDT
S ->
{top = new Evn(); offset = 0;}
D
D -> T id;
{top.put(id.lexeme, T.type, offset);
6.4.2 使用图 6-20 的增量式翻译方案重复练习 6.4.1 解答
产生式
语义规则
E -> E1 * E2 { E.addr = new Temp(); gen(E.addr '=' E1.addr '*' E2.addr; }
| +E1 { E.addr = E1.addr; }
6.4.3 使用图 6-22 的翻译方案来翻译下列赋值语句：
offset += T.width}
D1
D -> ε
T -> int
{T.type = interget; T.width = 4;}
T -> float
{T.type = float; T.width = 8;}
T -> record '{'
{Evn.push(top), top = new Evn();
1) x float 0 1
2) x float 0 2 2) y float 8 2 2) p record() 8 1
3) tag int 0 3 3) x float 4 3 3) y float 12 3 3) q record() 24 1
6.3.2 ! 将图 6-18 对字段名的处理方法扩展到类和单继承的层次结构。
Stack.push(offset), offset = 0;}
D '}'
{T.type = record(top); T.width = offset;
top = Evn.top(); offset = Stack.pop();}
标识符类型和相对地址 line id type offset Evn
间接三元式 0) * b c 1) * b d 2) - (0) (1) 3) []= a i 4) = (3) (2) 0) 1) 2) 3) 4) x = f(y+1) + 2 四元式 0) + y 1 t1 1) param t1 2) call f 1 t2 3) + t2 2 t3 4) = t3 x
0） 1） 2） 3）
a[i] = b*c - b*d 四元式 0) * b c t1 1) * b d t2 2) - t1 t2 t3
3) []= a i t4 4) = t3 t4
三元式 0) * b c 1) * b d 2) - (0) (1) 3) []= a i 4) = (3) (2)
四元式序列
0 1 2 三元式序列
op + minus +
arg1
arg2
b
c
t1
t1
t2
a
t2
t3
op
arg1
0 1 2 间接三元式序列
0 1 2
+ minus +
op + minus +
0 1 2
参考
间接三元式更详细的讲解 6.2.2 对下列赋值语句重复练习 6.2.1
a = b[i] + c[j] a[i] = b*c - b*d x = f(y+1) + 2 x = *p + &y 解答 a = b[i] + c[j] 四元式