龙书6.2

6.2 节的练习

6.2.1

将算数表达式 a+-(b+c) 翻译成

1. 抽象语法树
2. 四元式序列
3. 三元式序列
4. 间接三元式序列

解答

1. 抽象语法树

   

2. 四元式序列

   	op	arg1	arg2	result
   0	+	b	c	t1
   1	minus	t1		t2
   2	+	a	t2	t3

3. 三元式序列

   	op	arg1	arg2
   0	+	b	c
   1	minus	(0)
   2	+	a	(1)

4. 间接三元式序列

   	op	arg1	arg2
   0	+	b	c
   1	minus	(0)
   2	+	a	(1)

   	instruction
   0	(0)
   1	(1)
   2	(2)

参考

• 间接三元式更详细的讲解

6.2.2

对下列赋值语句重复练习 6.2.1

1. a = b[i] + c[j]
2. a[i] = b*c - b*d
3. x = f(y+1) + 2
4. x = *p + &y

解答

1. a = b[i] + c[j]

   • 四元式

       0) =[]   b    i    t1
       1) =[]   c    j    t2
       2) +     t1   t2   t3
       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)  
       
       0） 
       1）
       2）
       3）
     

2. 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) *    b    c
       1) *    b    d
       2) -    (0)  (1)
       3) []=  a    i
       4) =    (3)  (2)
       
       0)
       1)
       2)
       3)
       4)
     

3. 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) +        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 !

说明如何对一个三地址代码序列进行转换，使得每个被定值的变量都有唯一的变量名。