大二下期末复习包编译原理.pdfVIP

2004

编译原理部分

1．（10分）下面的文法是LR(1)文法。请合并该文法LR(1)项目集规范族中的同心集，以说

明该文法不是LALR(1)文法。

S→aAd|bBd|aBe|bAe

A→c

B→c

2．（10分）为下面文法写一个语法制导的定义，用S的综合属性val给出下面文法中S产

生的二进制数的值。例如，输入101.101时，S.val:=5.625。（不得修改文法。）

S→L.R|L

L→LB|B

R→BR|B

B→0|1

3．（5分）在X86/Linux机器上，编译器报告第15行有错误：

incompatibletypesinreturn

在C语言中，数组和结构都是构造类型，为什么下面第2个函数有类型错误，而第1个

函数没有？

typedefintA1[10];

typedefintA2[10];

A1a;

typedefstruct{inti;}S1;

typedefstruct{inti;}S2;

S1s;

A2*fun1()

{

return(a);

}

S2fun2()

{

return(s);

}

4．（5分）在C语言中，若a和b是相同的结构类型，那么赋值a=b是可以的。但是编译器

对这种赋值的实现方式可能和它们的字节数（size）有关。下面是两个C语言程序及在

X86/Linux机器上生成的目标代码（略去了和本题目无关的部分）。扼要叙述这些目标代码中

体现出的实现方式上的区别。（在下面汇编程序中给出的注释参考。）

struct{longi,j;doublem;}a,b;

main()

{

a=b;

}

main:

pushl%ebp

movl%esp,%ebp

movl$b,%eax

movl$a,%edx

movl(%eax),%ecx

movl%ecx,(%edx)

movl4(%eax),%ecx

movl%ecx,4(%edx)

movl8(%eax),%ecx

movl%ecx,8(%edx)

movl12(%eax),%eax

movl%eax,12(%edx)

.L1:

leave

ret

struct{longi,j;doublem,n;}a,b;

main()

{

a=b;

}

main:

pushl%ebp

movl%esp,%ebp

pushl%edi

pushl%esi

movl$a,%edi

movl$b,%esi

cld——设定方向标志，使地址指针自动增量

movl$6,%ecx——设定重复次数