展望本章是本系列教程的最后一章。通过本教程，我们实现并扩展 Kaleidoscope 编程语言，使其语言的特性和功能不断增强。 在这个过程中，我们构建了词法分析器、解析器、AST、代码生成器、REPL、JIT，并为可执行文件支持了调试信息。所有的功能仅仅用了 1000 行左右代码就实现了。 我们的语 ...

概述通过 8 章的教程，我们实现了一门支持函数和变量的编程语言。那么，如果代码运行或编译出错时，我们该如何调试程序呢？ 本质上，源码调试是基于 格式化数据 实现的，格式化数据可以辅助调试器实现二进制和机器状态转换至程序员编写的源码。在 LLVM 中，我们通常使用一种称为 DWARF 的格式。DWAR ...

概述本章，我们将使用自制的编译器将 Kaleidoscope 代码编译成目标文件，并结合 C++ 代码进行混编。 目标选择LLVM 支持交叉编译，因此可以将源代码编译成任意目标架构的可执行文件。本章，我们将本机架构作为目标架构，编译可执行文件。 那么，如何获取本机架构的信息呢？我们使用一个字符串来表 ...

概述通过第 1 章至第 6 章，我们实现了一门简单的函数式编程语言。在这个过程中，我们学习了解析器相关的技术，如何构建并表示 AST，如何构建 LLVM IR，如何对生成代码进行优化，如何使用 JIT 进行编译等等。 Kaleidoscope 是一门函数式编程语言，函数式的特点之一是变量不可重复赋值 ...

概述目前为止，Kaleidoscope 已经是一门功能齐全且有用的编程语言了。但是，它仍然存在一个很大的问题。当前的 Kaleidoscope 缺少很多有用的运算符，比如：取反、比较等。 本章，我们将为 Kaleidoscope 支持自定义运算符，从而让 Kaleidoscope 具备更强大的编程能 ...

概述在前 4 章中，我们介绍了 Kaleidoscope 语言的实现，包括支持 LLVM IR 代码生成、优化器、JIT 编译器等。然而，目前我们设计的 Kaleidoscope 的功能非常简单，除了函数调用和返回外，甚至不包含控制流的能力。这意味着我们在代码中无法使用条件分支，因此极大地限制了编程 ...

概述前面几章我们介绍了如何实现一门简单的编程语言，同时支持了 LLVM IR 代码生成。本文，我们将介绍并实现两类技术： 代码优化器 JIT 编译器 常量合并优化在第 3 章中，我们实现了 LLVM IR 代码生成的能力。不过，生成的代码仍然具有很大的优化空间。当然，我们所使用的 IRBuide ...

概述在上一章中，我们介绍了如何构建抽象语法树 AST。这一章，我们进一步将抽象语法树转换成 LLVM IR。此外，我们会简单介绍 LLVM 的工作原理和使用方法。 注意：本章源码要求 LLVM 版本大于等于 3.7。 初始化设置为了支持 LLVM IR 代码生成，我们需要实现相关的初始化设置。 ...

概述本章，我们将基于词法分析器，为 Kaleidoscope 构建一个完整的解析器（Parser）。通过解析器，我们可以定义并构造抽象语法树（Abstract Syntax Tree，AST）。 我们构造的解析器使用两种方法进行语法分析： 递归下降分析法（Recursive Descent Par ...

Kaleidoscope本教程我们将从零开始设计一门玩具版编程语言——Kaleidoscope。Kaleidoscope 支持函数定义、条件语句、数学运算等。在教程的各个章节中，我们将对 Kaleidoscope 的语言特性进行扩展，支持 if/then/else 语句、for 循环、自定义操作符、 ...