深度解析constexpr-8cc架构：从ELVM IR到编译时计算

深度解析constexpr-8cc架构：从ELVM IR到编译时计算

【免费下载链接】constexpr-8ccCompile-time C Compiler implemented as C++14 constant expressions项目地址: https://gitcode.com/gh_mirrors/co/constexpr-8cc

constexpr-8cc是一个基于C++14常量表达式实现的编译时C编译器，它能让你体验"编译时编译"的神奇能力！作为8cc编译器在ELVM基础设施上的创新移植，这个项目充分展示了C++14常量表达式的强大潜力，将编译器的核心功能带入了编译时计算的全新领域。

🌟 什么是编译时C编译器？

C++14通过放宽对常量表达式的限制，使得在编译阶段执行复杂计算成为可能。constexpr-8cc正是利用这一特性，将C程序的编译过程完全嵌入到C++编译器的常量计算阶段。这意味着当你编译8cc.cpp时，目标C程序的编译会作为编译时计算自动完成，其结果直接嵌入到生成的二进制文件中。

核心实现体现在8cc.cpp的主函数中：

int main() { // 编译时计算 constexpr buffer buf = eight_cc(); // 将C代码编译为ELVM IR constexpr unsigned int output_size = buf.size; static_assert(0 <= output_size && output_size < EIGHT_CC_OUTPUT_LIMIT, "8cc: Error"); // 运行时输出 for(int i = 0; i < output_size; ++i) { putchar(buf.b[i]); } }

通过constexpr关键字修饰的eight_cc()函数调用，整个C程序的编译过程被提升到了编译时执行，这正是constexpr-8cc的核心创新点。

🚀 架构解析：从C源码到目标代码的旅程

constexpr-8cc的架构采用了清晰的两阶段处理流程，完美结合了ELVM IR的中间表示能力：

第一阶段：C到ELVM IR的转换（8cc.cpp）

8cc.cpp实现了C编译器的前端和中端功能，将C源代码编译为ELVM IR（Esoteric Language Virtual Machine Intermediate Representation）。这一过程完全在编译时通过constexpr函数完成：

1. 词法分析与语法分析：解析C源代码结构
2. 语义分析：进行类型检查和作用域分析
3. 中间代码生成：生成ELVM IR中间表示

配置文件config.hpp中定义了输入文件路径和输出大小限制：

#ifndef EIGHT_CC_INPUT_FILE #define EIGHT_CC_INPUT_FILE "./test/putchar.c.txt" #endif #define EIGHT_CC_OUTPUT_LIMIT 5000

第二阶段：ELVM IR到目标代码的转换（elc.cpp）

elc.cpp作为ELVM IR编译器，负责将中间表示转换为目标语言代码。它同样利用constexpr函数实现编译时转换，支持多种目标语言输出，包括x86汇编、Python等。

elc.hpp中定义了IR处理的核心数据结构和常量内存初始化，为编译时代码生成提供了基础环境：

struct buffer { unsigned int size; unsigned int b[ELC_OUTPUT_LIMIT]; }; constexpr buffer elc() { // 常量内存初始化和IR处理逻辑 unsigned int mem[1<<24] = {0}; // ... 初始化常量数据 ... }

💻 快速上手：编译与运行

简易编译流程（使用run_8cc.py）

constexpr-8cc提供了便捷的Python脚本run_8cc.py，简化了整个编译过程：

# 编译为x86可执行文件 $ ./run_8cc.py x86 ./test/hello.c -o ./hello.exe $ chmod +x ./hello.exe $ ./hello.exe Hello, world! # 编译为Python代码 $ ./run_8cc.py py ./test/hello.c -o ./hello.py $ python ./hello.py Hello, world!

手动编译步骤

如需深入了解编译流程，可按照以下步骤手动编译：

1. 将C源码转换为字符串字面量：

$ sed '1s/^/R"(/' ./test/hello.c | sed '$s/$/\n)"/' > ./test/hello.c.txt

2. 编译8cc.cpp生成ELVM IR：

$ g++-6 ./8cc.cpp -o eir_gen.out $ ./eir_gen.out > ./test/hello.eir

3. 编译elc.cpp生成目标代码：

$ sed -i '1s/^/R"(x86/' ./test/hello.eir $ sed -i '$s/$/\n)"/' ./test/hello.eir $ g++-6 ./elc.cpp -o exe_gen.out $ ./exe_gen.out > ./hello.exe

⚙️ 环境要求与配置

constexpr-8cc需要Linux环境和特定版本的g++编译器：

• 推荐编译器：g++-6.2, g++-8.3或g++-9.3
• 编译选项：
  • g++-8.3及以上需要指定-fconstexpr-loop-limit
  • g++-9.3还需额外指定-fconstexpr-ops-limit

⚠️ 注意：clang++由于对constexpr循环次数限制更严格，目前无法编译constexpr-8cc

🔍 ELVM基础设施：背后的技术支撑

constexpr-8cc并非从零构建，而是基于两大优秀项目：

1. 8cc：一个轻量级C编译器，提供了C到中间表示的转换能力
2. ELVM：面向深奥语言的虚拟机基础设施，提供了中间表示到多种目标语言的转换能力

通过ELVM的C++14 constexpr后端，8cc的代码被自动转换为可在编译时执行的常量表达式形式，这也是8cc.hpp等文件并非手工编写的原因。

🎯 应用场景与创新价值

constexpr-8cc展示了编译时计算的巨大潜力：

• 程序自举：实现编译器的自我编译过程
• 代码生成：在编译阶段生成优化的目标代码
• 静态分析：在编译时进行深度代码检查
• 教育研究：探索编译原理和C++常量表达式的边界

虽然目前主要用于研究和教育目的，但这种编译时计算的思想已经在实际项目中得到应用，如 constexpr容器、编译时正则表达式等。

📚 深入学习资源

• 测试用例：test/hello.c、test/array.c、test/putchar.c
• 配置文件：config.hpp
• 核心实现：8cc.cpp、elc.cpp
• 辅助脚本：ci_test.sh

constexpr-8cc不仅是一个编译器项目，更是C++元编程和编译时计算的绝佳学习案例。通过探索其代码，你将深入理解C++14 constexpr的强大能力以及编译器的工作原理。

想要开始探索？只需克隆仓库并按照上述步骤尝试编译测试用例：

git clone https://gitcode.com/gh_mirrors/co/constexpr-8cc

编译时编译的奇妙旅程，等待你的开启！

【免费下载链接】constexpr-8ccCompile-time C Compiler implemented as C++14 constant expressions项目地址: https://gitcode.com/gh_mirrors/co/constexpr-8cc