c++ llvm aot编译 c++如何使用llvm ir构建自己的编译器

轻萱酱_5425

轻萱酱_5425

2026-03-19

575人浏览

原创

llvm ir 生成可执行文件需正确设置 datalayout 和 targettriple,调用 targetmachine::emitfile 输出目标文件,确保函数为 externallinkage 和 c 调用约定,并用 clang++ 链接以支持 c++ 运行时。

c++ llvm aot编译 c++如何使用llvm ir构建自己的编译器

怎么用 LLVM IR 生成可执行文件(AOT 编译)

LLVM IR 不是中间摆设,它能直接编译成机器码——但得走对链路。核心不是“写 IR”,而是“让 LLVM 后端真正干活”。常见错误是只调用 IRBuilder 生成 IR,却卡在没生成目标文件或没链接,最后 llc 报错找不到符号,或者 clang++ 链接时报 undefined reference to 'main'。

实操建议:

  • 生成 IR 后必须调用 Module::setDataLayout() 和 Module::setTargetTriple(),否则后端无法决定 ABI、寄存器分配甚至基本类型大小(比如不设 triple,i64 可能被当成 32 位)
  • 用 llvm::orc::KaleidoscopeJIT 是 JIT 路线,AOT 必须走 llvm::TargetMachine::addPassesToEmitFile() —— 这一步漏掉,IR 就永远停在内存里
  • 输出目标文件推荐用 TargetMachine::emitFile(llvm::CGFT_ObjectFile),别用 CGFT_AssemblyFile:汇编输出依赖 host 工具链(如 as),跨平台时容易断;目标文件可直接喂给 clang++ 或 ld
  • 生成的 .o 文件必须包含完整符号定义(包括 main),且函数 linkage 设为 ExternalLinkage;若用 InternalLinkage,链接器直接忽略

为什么 IRBuilder 写出来的函数调不到

不是语法错,是链接模型和调用约定没对齐。最典型的是 C++ 名字修饰(name mangling)导致符号名不匹配,或者调用约定(calling convention)不一致,让栈帧一进一出就崩。

实操建议:

  • 如果目标是被 C 程序调用,函数必须用 extern "C" 声明,且 IR 中对应 Function 的 setLinkage(ExternalLinkage) + setCallingConv(llvm::CallingConv::C)
  • 手动创建函数时,FunctionType::get() 的第一个参数是返回类型,后续参数列表必须与实际调用完全一致(包括 void* 和 i8* 在 IR 层不等价)
  • 不要依赖 IRBuilder::CreateCall() 自动推导 signature:显式传入 FunctionType*,否则跨模块调用时可能因参数类型隐式转换失败
  • 调试技巧:用 llvm-dis 反解生成的 .bc,检查 define 行是否带 c-linkage 和正确参数类型,例如 define i32 @add(i32, i32) #0 比 define internal i32 @add(i32, i32) 更可能被外部看到

如何避免 LLVMContext 生命周期引发的段错误

LLVM 对象之间有强生命周期依赖:Module 持有 LLVMContext 引用,IRBuilder 又绑定 BasicBlock 和 Function。一旦 Context 先析构,后续任何 IR 操作都可能访问野指针。

C++14
C++14

C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。

下载

实操建议:

  • LLVMContext 必须是全局静态或长期存活对象,绝不能作为局部变量(哪怕在 main 里也不行);更不能在一个函数里 new,另一个函数里 delete
  • 多个 Module 共享一个 LLVMContext 安全,但不要跨线程共享(LLVM 14+ 默认非线程安全,除非显式开启 LLVM_ENABLE_THREADS=ON 且所有操作加锁)
  • 释放顺序必须严格:先删所有 Module、ExecutionEngine、IRBuilder,最后才销毁 LLVMContext;用 RAII 包一层 std::unique_ptr 管理,比手写 delete 更可靠
  • 常见错误现象:Segmentation fault (core dumped) 发生在调用 builder.CreateAdd() 后,大概率是 context 已死,但 builder 还拿着旧指针

Clang++ 链接时报 undefined reference to '__cxa_atexit' 怎么办

这不是你的代码问题,是 LLVM AOT 输出默认不带 C++ 运行时支持。LLVM IR 层不区分 C 和 C++,但链接阶段会暴露 ABI 差异——尤其全局对象构造、异常表、RTTI 这些。

实操建议:

  • 根本解法:用 clang++ 替代 gcc 链接,它会自动拉入 libstdc++ 或 libc++,并处理 __cxa_atexit、__gxx_personality_v0 等符号
  • 如果坚持用 ld,必须显式链接:ld -lc++ -lc++abi -lunwind your.o -o out(具体库名依 toolchain 而定)
  • 更轻量方案:避免 C++ 运行时特性——把全局对象全改成 static 局部变量,禁用异常(-fno-exceptions)和 RTTI(-fno-rtti),然后用纯 C 风格构建 IR
  • 验证方式:用 nm -C your.o | grep cxa 查看目标文件是否引用了这些符号;若无,说明 IR 没触发相关逻辑,链接失败就是工具链缺失

真正麻烦的从来不是生成 IR,而是让每层抽象(IR → object → executable → runtime)之间的契约不撕裂。比如 TargetTriple 写错,生成的 call 指令可能用错寄存器传参;又比如忘记 setCallingConv,C 函数调 C++ IR 函数时栈就直接错位。这些点不报编译错误,只在运行时崩,而且崩得毫无提示。

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关文章

c++速学教程(入门到精通)
c++速学教程(入门到精通)

c++怎么学习?c++怎么入门?c++在哪学?c++怎么学才快?不用担心,这里为大家提供了c++速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

c++

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
typedef和define区别
typedef和define区别

typedef和define区别在类型检查、作用范围、可读性、错误处理和内存占用等。本专题为大家提供typedef和define相关的文章、下载、课程内容,供大家免费下载体验。

2023.09.26

313

5

define的用法
define的用法

define用法:1、定义常量;2、定义函数宏:3、定义条件编译;4、定义多行宏。更多关于define的用法的内容,大家可以阅读本专题下的文章。

2023.10.11

619

5

javascriptvoid(o)怎么解决
javascriptvoid(o)怎么解决

javascriptvoid(o)的解决办法:1、检查语法错误;2、确保正确的执行环境;3、检查其他代码的冲突;4、使用事件委托;5、使用其他绑定方式;6、检查外部资源等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2023.11.23

636

5

java中void的含义
java中void的含义

本专题整合了Java中void的相关内容,阅读专题下面的文章了解更多详细内容。

2025.11.27

351

13

C++ 智能指针与现代内存管理
C++ 智能指针与现代内存管理

深入讲解 C++ 现代内存管理的核心工具——智能指针,涵盖 unique_ptr 独占所有权语义、shared_ptr 引用计数机制与循环引用问题、weak_ptr 弱引用的应用场景、make_unique/make_shared 工厂函数的性能优势、自定义删除器的编写、RAII 资源管理思想的实践,以及从裸指针迁移到智能指针的重构策略,帮助开发者编写安全无泄漏的现代 C++ 代码。

2026.04.23

339

31

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

2023.07.18

5507

5

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

2023.08.10

2408

6

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

2023.07.18

5507

5

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

2023.08.10

2408

6

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C++ Core Guidelines
C++ Core Guidelines

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

C++ 官方标准说明
C++ 官方标准说明

共0课时 | 0人学习