附录A简单C的编译过程浅析.ppt

附录A 一个简单程序的编译过程：从C代码到汇编 源程序 目标程序 int main() { int a,b; a = 1; b = 2; return (ab)? a: b ; } 输入 I 处理 P 输出O 处理过程 1. 先简单后复杂； 2. 先核心后附加； 词法分析 int main() { int a,b; a = 1; b = 2; return (ab)?a:b ; } 语法分析 int main() { int a,b; a = 1; b = 2; return (ab)?a:b ; } 翻译 int main() { int a,b; a = 1; b = 2; return (ab)?a:b ; } 初步翻译的结果 (0) enter func main (1) mov $1 t1 (2) mov $2 t2 (3) cmp t1 t2 (4) jge (5) (4) jmp (7) (5) mov t1 t3 (6) jmp (8) (7) mov t2 t3 (8) mov t3 RA (9) leave func main 输入 I 处理 P 输出O 比较一下GCC的汇编 .file 7.c .section .text .globl _main _main: pushl %ebp movl %esp, %ebp subl $24, %esp andl $-16, %esp movl $0, %eax subl %eax, %esp movl $1, -4(%ebp) movl $2, -8(%ebp) GCC优化后的汇编 .file 7.c .section .text .p2align 4,,15 .globl _main _main: pushl %ebp movl %esp, %ebp pushl %eax pushl %eax movl $2, %eax andl $-16, %esp movl %ebp, %esp popl %ebp ret .ident GCC: (GNU) 3.3.6 思考题：处理下面的C程序，给出词法、语法、翻译3个阶段的处理结果 * * int main() { int a,b; a = 1; b = 2; return (ab)?a:b ; } _main: ... ... movl $1, -4(%ebp) movl $2, -8(%ebp) movl -4(%ebp), %eax movl %eax, -16(%ebp) movl -8(%ebp), %eax movl %eax, -12(%ebp) movl -16(%ebp), %eax cmpl %eax, -12(%ebp) jge L2 movl -16(%ebp), %eax movl %eax, -12(%ebp) L2: movl -12(%ebp), %eax leave ret 字符串 汇编指令 串 1.词法分析 2.语法分析 3.语义分析 4.中间代码产生 5.中间代码优化 6.目标代码产生 字符串 词法分析 单词符号串 语法树 汇编指令串 语法分析 翻译目标代码 1. 单词符号 1.1 关键字 1.2 运算符 1.3 分隔符 1.4 标识符 1.5 整常数 2. 数据结构 2.1 输入 2.2 输出 3. 算法 3.1 每一类单词的识别 1. 语法结构 1.1 函数 1.2 语句块 1.3 语句 1.3.x ... 1.4 表达式 1.4.x ... 2. 数据结构 2.1 输出：语法树，二叉 2.2 树：构造结点，添加孩子 3. 算法 3.x 每一种语法单位对应的子树的构造 1. 每种语法结构的语义 1.1 函数 1.2 语句块 1.3 语句 1.3.x ... 1.4 表达式 1.4.x ... 2. 数据结构 2.1 输出：（类）汇编指令 2.2 指令的设计 3. 算法 3.x 每一棵子树负责生产若干条指令 int main() { int a,b; a = 1; b = 2; return (ab)?a:b ; } 字符串 汇编指令串 1.词法分析：识别出一个个单词符号； 2