LLVM系列第十六章：写一个简单的编译器

飞翼剑仆

已于 2023-08-15 16:23:59 修改

阅读量2.4k

点赞数 4

分类专栏：编译器文章标签：编译器 LLVM C++

于 2022-06-10 08:28:24 首次发布

本文链接：https://blog.csdn.net/Zhanglin_Wu/article/details/125177022

版权

编译器专栏收录该内容

32 篇文章 100 订阅

订阅专栏

系列文章目录

flex&bison系列

本文目录

前言
一、SimpleLang语言
二、项目结构
三、项目细节
四、编译器
五、计算器
五、总结

前言

在此记录下，基于LLVM写一个简单的编译器的过程，以备查阅。

开发环境的配置请参看《LLVM系列第一章：编译LLVM源码》。

在本章中，我们来写一个非常简单的编译器。虽然简单，但也要能完成编译工作。它的工作流程如下：

本章内容仅与目标代码(可执行程序)的生成有关，是一个简单的示例而已。其它与词法分析(Lexical Analysis)、语法分析(Syntax Analysis)、语义分析(Semantic Analysis)以及中间代码的生成(IR Generation)相关的内容，请参看前面的章节。

一、SimpleLang语言

为了方便起见，我们自己定义一种很简单的语言（名为SimpleLang）如下（示例）：

calc : ("with" ident ("," ident)* ":")? expr ;
expr: term(("+"|"-")term)* ;
term : factor (( "*" | "/") factor)* ;
factor : ident | number | "(" expr ")" ;
ident : ([a-zAZ])+ ;
number : ([0-9])+ ;

这也是我们在前面章节中用到的语言。

二、项目结构

我们把这个简单的项目命名为SimpleCalculator。项目组织结构与前几章的项目类似，具体如下（示例）：

% tree -I "build|build-xcode"

.
├── CMakeLists.txt
├── CalculatorCompilerRuntime.cpp
├── README.md
└── src
    ├── AST.h
    ├── CMakeLists.txt
    ├── CalculatorCompiler.cpp
    ├── IRGenerator.cpp
    ├── IRGenerator.h
    ├── Lexer.cpp
    ├── Lexer.h
    ├── Parser.cpp
    ├── Parser.h
    ├── SemanticAnalyzer.cpp
    └── SemanticAnalyzer.h

各文件的内容大体如下：

AST.h，SimpleLang语言的抽象语法树(AST)的定义及实现代码。
Lexer.h和Lexer.cpp，SimpleLang语言的词法分析器(Lexer)的定义及实现代码。
Parser.h和Parser.cpp，SimpleLang语言的语法分析器(Parser)的定义及实现代码。
SemanticAnalyzer.h和SemanticAnalyzer.cpp，SimpleLang语言的语义分析器(Semantic Analyzer)的定义及实现代码。
IRGenerator.h和IRGenerator.cpp，中间代码(Intermediate Representation，即IR)生成器的定义及实现代码。
CalculatorCompiler.cpp，这就是我们的编译器的代码。这是本章的重点。
CalculatorCompilerRuntime.cpp，提供了SimpleLang语言的runtime函数。

三、项目细节

1. 程序模块

这个简单的项目只包含了一个模块：

CalculatorCompiler，一个可执行程序，也就是我们的简单的小编译器

以下是跟项目组织结构相关的部分CMake脚本，与前一章的CMake脚本类似。

(1) 项目根目录（示例）：

# CMakeLists.txt

...
project ("CalculatorCompiler")
...
add_subdirectory ("src")

这里创建了一个项目(project)，并把src目录下的子项目加入进来。

(2) src目录（示例）：

# src/CMakeLists.txt

...
add_executable(CalculatorCompiler ...)
...

这是src目录下的子项目，用来构建CalculatorCompiler程序。

2. 引入LLVM

我们需要做一些与LLVM相关的配置，才能顺利地使用LLVM，具体做法请参看前面章节。

3. Calculator Compiler

词法分析器、语法分析器、语义分析器、IR生成器的相关代码已在前面章节介绍，本章的重点是组装这些分析器和生成器：

src/CalculatorCompiler.cpp，包含了main函数，这就是我们的编译器的代码。它把所有分析器和生成器组装，就能得到一个编译器，就能编译SimpleLang语言了。其实，它只能把我们用SimpleLang语言写的计算器小程序编译为IR代码，我们需要借助LLVM和clang来把IR代码编译成可执行程序。
CalculatorCompilerRuntime.cpp，提供了SimpleLang语言的runtime函数，比如一些输入输出的处理函数。它有点像C或C++标准库(runtime library)，提供了一些常用的、基本的函数和类（如数据结构和算法等）。

main函数（示例）：

...
static llvm::cl::opt<std::string> input(llvm::cl::Positional, llvm::cl::desc("<input expression>"), llvm::cl::init(""));

int main(int argc, const char** argv)
{
    llvm::InitLLVM llvmInitializer(argc, argv);
    llvm::cl::ParseCommandLineOptions(argc, argv, "SimpleParser - a simple code parser\n");

    Lexer lexer(input);
    Parser parser(lexer);
    AST* tree = parser.Parse();
    if (!tree || parser.HasError())
    {
        llvm::errs() << "Syntax errors occured\n";
        return 1;
    }

    SemanticAnalyzer semanticAnalyzer;
    if (semanticAnalyzer.Analysis(tree))
    {
        llvm::errs() << "Semantic errors occured\n";
        return 1;
    }

    IRGenerator irGenerator;
    irGenerator.Generate(tree);

    return 0;
}

这一段代码跟前一章并没有很大区别。可以看到，这里调用了Lexer做词法分析，调用了Parser做语法分析，调用了SemanticAnalyzer做语义分析，最后调用了IRGenerator来生成IR代码。大致流程如下：

3. Calculator Compiler Runtime

我们知道，在编译（链接）的时候，是需要把代码跟runtime一起编译（链接）的。比如，C++编译器（链接器）就会把程序模块与libc++进行链接。我们的CalculatorCompiler也提供了一个runtime。在生成可执行程序的时候，我们也需要把自己的计算器程序模块与runtime一起编译。

CalculatorCompiler提供的runtime很简单，只提供了两个函数，其作用仅仅是处理输入输出而已。我们可以把它们当做工具来用。runtime的代码如下（示例）：

#include <iostream>

// Export C++ functions as C-style functions
extern "C"
{
    void CalculatorWrite(int result)
    {
        std::cout << "The result is: " << result << std::endl;
    }

    int CalculatorRead(const char* variableName)
    {
        std::cout << "Enter a value for " << variableName << ": ";

        int value;
        std::cin >> value;

        return value;
    }
}

四、编译器

首先，我们先把自己的编译器编译出来。

1. 生成项目文件

用CMake生成项目文件（示例）：

mkdir build
cd build

cmake -G Ninja -DCMAKE_BUILD_TYPE=Debug ..

输出log如下（示例）：

-- The C compiler identification is AppleClang 13.0.0.13000029
-- The CXX compiler identification is AppleClang 13.0.0.13000029
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/cc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Found ZLIB: /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX12.1.sdk/usr/lib/libz.tbd (found version "1.2.11") 
-- Found LibXml2: /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX12.1.sdk/usr/lib/libxml2.tbd (found version "2.9.4") 
Found LLVM 12.0.1, build type Release
-- Configuring done
-- Generating done
-- Build files have been written to: .../SimpleCalculator/build

如果要生成Xcode项目文件，我们稍微改一下cmake命令的参数即可（示例）：

mkdir build-xcode
cd build-xcode

cmake -G Xcode -DCMAKE_BUILD_TYPE=Debug ..

2. 编译出编译器

在编译之前，我们可以用clang-format工具把代码美化一下（示例）:

cd /path/to/SimpleCalculator

clang-format -i src/*.cpp src/*.h

用ninja进行编译（示例）：

cd /path/to/SimpleCalculator/build

ninja

输出log如下（示例）：

[6/6] Linking CXX executable src/CalculatorCompiler

3. 运行编译器

运行一下我们自己的编译器，确保它已经编译好了（示例）：

src/CalculatorCompiler --help

输出log如下（示例）：

OVERVIEW: CalculatorCompiler - a tiny simple compiler

USAGE: CalculatorCompiler [options] <input expression>

OPTIONS:

Color Options:

  --color     - Use colors in output (default=autodetect)

Generic Options:

  --help      - Display available options (--help-hidden for more)
  --help-list - Display list of available options (--help-list-hidden for more)
  --version   - Display the version of this program

五、计算器

现在，我们用自己定义的SimpleLang语言写一个计算器程序，然后用我们自己的编译器把它编译出来。

1. 计算器源码

我们用自己定义的SimpleLang语言写一个很简单计算器程序。这个程序简单到只有一行代码（示例）：

with a: a*3

它的作用很简单，就是把用户输入的数字a乘以3，并计算出结果。当然，我们也可以写个稍微复杂一点的计算器，具体请参看前面的章节。

2. 编译出计算器

第一步，用我们自己的编译器来编译计算器源码（示例）：

cd /path/to/SimpleCalculator/build

src/CalculatorCompiler "with a: a*3" > SimpleCompiler.ll

以上命令会把我们的计算器源码编译成IR代码，并保存到SimpleCompiler.ll文件中。用cat命令可以查看其内容（示例）：

cat SimpleCompiler.ll

输出如下（示例）：

; ModuleID = 'Calculate.Module'
source_filename = "Calculate.Module"

@a.str = private constant [2 x i8] c"a\00"

define i32 @main(i32 %0, i8** %1) {
entry:
  %2 = call i32 @CalculatorRead(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @a.str, i32 0, i32 0))
  %3 = mul nsw i32 %2, 3
  call void @CalculatorWrite(i32 %3)
  ret i32 0
}

declare i32 @CalculatorRead(i8*)

declare void @CalculatorWrite(i32)

注意到以上的IR代码中有三个函数

@main，即我们常提到的main函数
i32 @CalculatorRead(i8*)，处理用户输入
void @CalculatorWrite(i32)，处理输出

其中@CalculatorRead和@CalculatorWrite没有实现，因为它们的实现在runtime中。

第二步，借助LLVM llc工具把IR代码编译成目标文件（示例）：

llc --filetype=obj -o=SimpleCalculator.o SimpleCompiler.ll

这一步的输出是SimpleCalculator.o文件。

第三步，借助clang把我们的计算器程序模块跟runtime一起编译生成可执行程序（示例）：

# Set up C++ standard library and header path
export SDKROOT=$(xcrun --sdk macosx --show-sdk-path)

clang++ -o SimpleCalculator SimpleCalculator.o ../CalculatorCompilerRuntime.cpp

或者（示例）：

clang++ -o SimpleCalculator -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk SimpleCalculator.o ../CalculatorCompilerRuntime.cpp

这一步的输出是SimpleCalculator，它是一个可执行程序，也就是我们最终想要的计算器。