[编译器]-1传统编译器介绍

行置水穷处

已于 2024-07-08 13:17:32 修改

阅读量845

点赞数 25

文章标签： c++ c语言 AI编程人工智能

于 2024-05-18 10:07:47 首次发布

本文链接：https://blog.csdn.net/wendywm0496/article/details/139017460

版权

编译器是一种软件工具，将高级编程语言编写的源代码转换为低级机器语言代码，使计算机能够执行程序，简言之就是将我们常用的C/C++等高级语言编写的程序转换成机器能执行的01代码。

经典的传统编译器：

1.GCC（GNU Compiler Collection）

支持多种编程语言，包括C、C++、Fortran等，广泛用于开源和商业项目。GCC最初由Richard Stallman在1987年为GNU项目开发，旨在提供一个自由且高效的编译器。GCC的优势包括：多语言支持、优化能力（提供了多种优化级别，从-O0（无优化）到-O3（最高级别优化），适用于不同的应用需求）、跨平台支持（能够在多种硬件和操作系统上运行，包括Linux、Windows和macOS）。

2.Clang/LLVM

支持C、C++和Objective-C，因其模块化设计和高效的错误报告机制而备受欢迎，是许多系统编程和嵌入式开发的首选编译器，尤其在苹果的生态系统中占据重要地位，除了传统的系统编程外还被用于GPU编程、高性能计算和其他前沿技术领域。Clang是LLVM项目的一部分，最初由Chris Lattner于2003年在UIUC（伊利诺伊大学厄巴纳-香槟分校）开发，后来在Apple得到了广泛支持和发展。Clang技术特点包括：模块化设计（易于扩展和集成，可以定制和优化编译器功能）、快速编译（以快速的编译速度和低内存占用著称）、详细的错误报告（提供了详细且用户友好的错误和警告信息，帮助开发者快速定位和修复问题）。

3.Microsoft Visual C++ Compiler（MSVC）

微软的C++编译器，集成在Visual Studio中，广泛用于Windows平台的开发。MSVC是微软公司为其Windows平台开发的一款编译器，最早于1993年发布，随着Visual Studio的演进，MSVC不断改进和增强，成为Windows开发的标准编译工具。其技术特点：集成开发环境（MSVC与Visual Studio IDE紧密集成，提供了丰富的开发和调试工具）、优化和性能（专为Windows平台优化，能够生成高效的机器代码，并支持最新的Windows API和开发工具链）、C++标准支持（不断跟进和支持最新的C++标准，提供现代C++编程特性）。此外，MSVC也在增强对跨平台开发的支持，如通过Visual Studio Code支持Linux和macOS开发，与Azure等云服务的集成，支持云端开发和部署。

4.Intel C++ Compiler (ICC)

ICC广泛应用于高性能计算（HPC）和科学计算领域，支持大规模并行计算，是Intel公司开发的C/C++编译器，专为其处理器优化，最早于1990年代推出。技术特点：高级优化（针对Intel架构进行了深度优化，能够充分利用最新处理器的特性，如SIMD指令和多核并行化）、数学库（集成了高效的数学库（如MKL），提升数值计算性能）。

主要功能

编译器的主要功能包括语法分析、语义分析、优化和代码生成。

1.词法分析（Lexical Analysis）

编译过程的第一步，它将源代码转换为一系列的记号（tokens）。这些记号是源代码中的基本元素，如关键字、标识符、运算符和标点符号。词法分析器（Lexer），读取源代码字符流，识别出有意义的记号，并丢弃不必要的空白和注释。

示例：源代码：int a = 10; 记号流：int, a, =, 10, ;

2.语法分析（Syntax Analysis）

检查源代码是否符合编程语言的语法规则，并提供有意义的错误信息以帮助程序员修正代码。语法分析器（Parser）接收词法分析器生成的记号序列，并将其组织成一个抽象语法树（Abstract Syntax Tree，AST），这棵树描述了源代码的语法结构。

示例：记号流：int a = 10; 语法树：

3.语义分析（Semantic Analysis）

确保源代码不仅语法正确，还要语义上正确，例如检查变量是否已声明、类型是否匹配以及作用域正确、函数调用符合签名是否正确等。语义分析器通常会进行符号表（Symbol Table）管理，用于记录变量、函数和其他标识符的信息。

实例，输入语法树

错误：类型不匹配，int和string不能赋值

4.中间代码生成（Intermediate Code Generation）

就是常说的IR层，在这一阶段，编译器将抽象语法树转换为中间代码，这是一种介于源代码和目标机器代码之间的代码表示形式，通常是独立于具体机器的，可以进行优化处理。常见的中间代码表示包括三地址码（Three-Address Code）和中间语言（Intermediate Language）。

5.优化（Optimization）

旨在改进中间代码的效率，使最终生成的机器代码更高效，分为局部优化（Local Optimization）和全局优化（Global Optimization）。优化技术包括死代码消除（Dead Code Elimination）、常量折叠（Constant Folding）、循环优化（Loop Optimization）等。

示例：int a=2*3; int b=a+0;

优化后：int a=6; int b=a;

6.代码生成（Code Generation）

将优化后的中间代码转换为目标机器代码（Machine Code），包括分配寄存器、选择指令和生成机器指令。代码生成阶段需要考虑目标体系结构的具体细节，如指令集、寄存器数量和调用约定等。

1）寄存器分配

旨在将程序中的变量映射到有限数量的物理寄存器，以提高代码执行效率。步骤如下：

活跃性分析：计算每个变量在每条指令上的活跃区间，确定变量在何时需要保持在寄存器中。
冲突图构建：创建一个图，其中每个节点代表一个变量，如果两个变量的活跃区间重叠，则在它们之间绘制一条边。
着色算法：使用图着色算法（如Chaitin-Briggs算法）为冲突图着色，每种颜色代表一个寄存器。如果图是K可着色的（K是寄存器的数量），则找到一个着色方案，将每个变量分配给一个寄存器。如果图不可着色（寄存器不足），则选择一些变量溢出到内存中（称为溢出处理）。

示例：假设有三个寄存器（R1, R2, R3）和变量A、B、C、D。