LLVM IR和C/C++函数相互调用时的注意事项

原创 已于 2024-02-05 18:03:51 修改 · 5k 阅读 · 8 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#c++ #llvm #函数调用

于 2015-03-07 19:25:45 首次发布
本文介绍了在LLVM 3.6中从C/C++调用LLVM IR函数及从LLVM IR调用C/C++函数的方法。主要包括通过ExecutionEngine接口调用、使用DynamicLibrary::AddSymbol注册函数和自定义内存分配器等技术细节。
以下叙述，主要针对LLVM 3.6。

一、从C/C++调用LLVM IR函数
主要有两种办法。
1、通过llvm::ExecutionEngine::runFunction()调用。
    存在的问题：可以直接调用llvm::Function，但目前LLVM项目没有实现参数传递，只提供了接口，因此我们只能调用无参函数。
2、通过llvm::ExecutionEngine::getPointerToFunction()即时编译为本机代码，并获得一个指向C函数的void *指针。然后，可以将其转换为合适的C/C++函数指针，进行调用。
    存在的问题：LLVM指令被编译为ELF格式，而不是COFF格式，导致在Windows平台加载时错误" Incompatible object format "。
    为解决这一问题，需要在系统三元组（Triple）后加“-elf”。参见： http://comments.gmane.org/gmane.comp.compilers.llvm.devel/82330。
二、从LLVM IR调用 C/C++函数
    主要有三种办法。
   1、将被调用函数声明为动态链接导出函数，LLVM自动在执行时解析并调用。  
    这是官方“标准”的做法。
    存在的问题：windows平台可执行文件中的函数一般不会被导出，不能通过这一机制解析。
    解决办法是，通过llvm::sys::DynamicLibrary::AddSymbol()显示注册函数。LLVM在查找外部函数时，首先查找通过AddSymbol注册的函数，然后才通过系统调用查找可执行文件或动态链接库中的符号。
    2、通过llvm::ExecutionEngine::addGlobalMapping()将被调用的C/C++函数指针注册为LLVM中的全局变量。
    这样做的好处是，被调用函数不需要声明为动态链接库的导出函数，只要知道函数指针就可以。
    存在的问题：MCJIT对addGlobalMapping的支持不完善，实际运行时会报错。参见： http://llvm.1065342.n5.nabble.com/Weird-problems-on-calling-an-external-function-from-MCJIT-on-Windows-mingw-td67478.html 。
    解决办法同1，通过AddSymbol()来实现。
    3、通过自定义的内存分配器来直接解析函数。
    原理同addGlobalMapping类似，这一方法我没有验证，有空可以试验一下。
LLVM编译C++测试
05-22 300
LLVM编译C++测试
IR API(二)——使用LLVM IR调用C的函数和全局变量
yelvens的博客
08-12 5533
#include "llvm/IR/LLVMContext.h" #include "llvm/IR/Module.h" #include "llvm/IR/Function.h" #include "llvm/IR/BasicBlock.h" #include "llvm/IR/IRBuilder.h" #include "llvm/ExecutionEngine/MCJIT.h" #include "llvm/Support/TargetSelect.h" #include "llvm/IR/TypeB
【转载】深入浅出让你理解什么是LLVM
kuenking111的专栏
03-30 440
【声明】文件转载自：https://www.jianshu.com/p/1367dad95445；原文更精彩，感谢博主精彩讲解！ 深入浅出让你理解什么是LLVM 什么是LLVM LLVM项目是模块化、可重用的编译器以及工具链技术的集合。 美国计算机协会 (ACM) 将其2012 年软件系统奖项颁给了LLVM，之前曾经获得此奖项的软件和技术包括:Java、Apache、 Mosai...
LLVM全时优化
电影旅行敲代码
12-23 9409
引子由于实验室项目原因，从本科开始接触Clang和LLVM开始到现在已经有2年时间了，期间都是针对Clang做一些边边角角的工作，没有潜下心来好好研读一下LLVM的paper。最近闲下来读了Chris Lattner那篇引用率高达2227的论文《LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation》，
LLVM与C++代码的相互调用（全注释）
Likes的博客
12-12 4538
一、在C++中调用LLVM编写的IR函数 #include "llvm/IR/LLVMContext.h" #include "llvm/IR/Module.h" #include "llvm/IR/Function.h" #include "llvm/IR/BasicBlock.h" #include "llvm/IR/IRBuilder.h" #include "llvm/Executio.
使用 opt 优化 LLVM IR，定制 clang 实现函数名加密
11-26 943
使用 opt 工具加载 MyPass.dll 插件，运行自定义的 my-function-pass ，对 test.ll 进行优化处理，并将结果输出到 test_opt.ll。使用 opt 工具加载 MyPass.dll 插件，运行自定义的 my-module-pass ，对 test.ll 进行优化处理，并将结果输出到 test.bc。创建 MyFunctionPass.cpp，定义一个函数级别的 Pass，run 遍历函数中的基本块以及基本块中的每条指令，并将其输出。
LLVM入门2：如何基于自己的代码生成IR-LLVM IR code generation实例介绍
fangfanglovezhou的博客
09-08 1210
LLVM入门2：如何基于自己的代码生成IR-LLVM IR code generation实例介绍。
LLVM系列第二十三章：写一个简单的运行时函数调用统计器(Pass)
Zhanglin_Wu的专栏, C++, Scrum, LLVM, 编译器
07-11 1547
用LLVM提供的C++ API，写一个简单的Pass，用来统计每个函数在运行时的调用次数，并测试一下
LLVM IR 构建 分析 转换 优化 IRBuilder Pass AI编译器后端代码生成
万有文的博客
08-07 1467
LLVM IR 构建 分析 转换 优化 LLVM汇编语言是一种 静态单赋值（SSA） 的中间表示，提供了类型安全检查，低层次的操作符，灵活和清晰表达‘几乎所有’高级语言的能力。同时，它也是LLVM编译算法中各个阶段的一种通用代码表达形式。 ...
llvm 创建外部调用函数方法
Sizaif's 小屋
02-12 965
在LLVM中处理IR代码时创建外部函数调用
IR API(三)——将C/C++中定义的结构体作为LLVM IR中函数的实参
yelvens的博客
08-13 2670
预期IR代码，定义一个结构体%Number，用两个结构体类型作为函数@func的形参，在执行时传入C++中与之定义相同的结构体实参： %Number = type { i32, i32, double } define double @func(%Number* %num1, %Number* %num2) { ... } C++中定义的结构体和用于实参的结构体变量： //定义结构体 struct Number{ int precision; int scale; double value; }
（转载）（总纲）llvm IR指令与llvm开发中对应的类与API
春江花月夜
05-31 1724
llvm IR指令与llvm开发中对应的类与API 环境相关部分，如Contexts，Modules 类型Types 值Values 元数据Metadata 基本块Basic Block 指令Instructions 其中比较重要的是值Values，基本块BasicBlock和指令Instructions,llvm开发基本上使用最多的就是和这几个类相关的API接口，其中Values中使用最多就...
llvm-编译流程（C++语言）
Thewei666的博客
12-06 1860
这段 AST 表示的是表达式a + b + 3外层：表示加法运算符。左侧操作数：是另一个，表示a + b。右侧操作数：是字面量3。内部的：表示a + b的计算。左侧操作数：变量a，它通过隐式类型转换被转换为右值。右侧操作数：变量b，它是Demo_int类型（实际是int的别名），同样通过隐式类型转换转换为右值。常量3：作为加法的常量部分，直接参与加法运算。最终，a + b + 3将被计算，结果为一个int类型的值。：函数的作用域，大括号的开始与结束{}DeclStmt：局部变量声明。
掌握LLVM-Commons：LLVM项目常用工具与库
weixin_29097457的博客
08-13 690
LLVM IR是一种低级的、类RISC的、静态单赋值形式（SSA）的中间表示，它不仅用来表示程序的控制流和操作，还包括类型信息、函数接口、全局变量等。IR的设计目标是清晰、简洁且易于优化。IR的重要性在于它为编译器前端和后端提供了一个高度优化的桥梁。编译器前端可以生成高质量的IR代码，而后端可以通过一系列的IR优化和代码生成步骤，将IR转换为高效的机器代码。这样分离的设计，使得前端可以针对不同的源语言，后端可以支持多种目标架构，大大提高了编译器的复用性和可维护性。
写给入门者的LLVM介绍
生活需要深度
02-04 1357
LLVM 非常庞大。LLVM 提供的大量经典编译器分析。通过拓展后端来生成任何特殊的机器指令，就像架构师经常想做的那样。利用debug info，可以连接回与 IR 对应的源码位置。为 Clang编写前端插件。希望上文提及的知识足够我们用来创建一些很棒的东西。探索、构建并让作者知道这是否有帮助！
C++在VC++(Windows)与GCC/LLVM(macOS/Linux)上的一些区别
Zhanglin_Wu的专栏, C++, Scrum, LLVM, 编译器
07-09 1521
在此，把C++在不同编译器，即VC++与GCC（或LLVM）上的一些区别记录下来，以备查阅。 （注：以下VC++均是指VC++ 10.） 基本数据类型、const关键字 1. 基本数据类型的大小 C++基本数据类型的大小对比 Windows macOS/Linux wchar_t 16 bits 32 bits long 32 bits 6...
25 | 后端技术的重用：LLVM不仅仅让你高效
qq_37756660的博客
04-24 1963
在编译器后端，做代码优化和为每个目标平台生成汇编代码，工作量是很大的。那么，有什么办法能降低这方面的工作量，提高我们的工作效率呢？。在前端部分，我就带你使用 Antlr 生成了词法分析器和语法分析器。那么在后端部分，我们也可以获得类似的帮助，比如利用 LLVM 和 GCC 这两个后端框架。相比前端的编译器工具，如 Lex（Flex）、Yacc（Bison）和 Antlr 等，对于后端工具，了解的人比较少，资料也更稀缺，如果你是初学者，那么上手的确有一些难度。
记录关于 LLVM C/C++ 适用 libc++ 的一些注意事项
liulilittle的博客
02-07 840
当然如果您实在滴不行，觉得面向地址标识符编程太痛苦，真的、真的，MMP的太难受，C/C++ 开发可能不太适合您，毕竟这是基本功，GO之类更高级跟计算机隔离的编程语言会是个很好的选择，您不需要折腾，不需要学习那么多系统化的知识，简单有粗暴，开发有效率，人身有自由，多好。其它的跟GCC、VC++标准库的差不多，不需要特别注意，但是BOOST有些初始化是不兼容LIBC++的，这种遇到自己改BOOST库，或者不用这部分库的代码引入，自己重新写，自己评估，反正程序一启动就崩溃。
C/C++——编译器 GCC与LLVM
静水流深且细水长流
07-06 5716
C类型语言的各种编译器，比如（gcc clang） 编译器有关的名词：GNU,GCC,CLANG,LLVM等 编译器 简单地说，编译器可以看作是一个语言翻译器。就像把中文翻译成英语一样，编译器可以把高级语言翻译成计算机能够执行的机器语言。这样看来，GCC可以算得上是一个精通多国语言的高级翻译官了。 最简单的GCC使用指令如下所示： gcc hello.c -o hello GCC接受hel...
C++的llvm ir和rust 的llvm ir有什么根本的区别
最新发布
08-20
C++ 和 Rust 在生成 LLVM IR 时的主要区别主要体现在语言特性、编译器设计哲学、以及中间表示的生成方式上。 ### 语言特性与编译流程 C++ 是一种静态类型语言，其编译过程通常直接由前端（如 Clang）将 C++ 代码转换为 LLVM IR，然后由 LLVM 完成优化和代码生成。Clang 是 LLVM 项目的一部分，因此 C++ 与 LLVM 的集成非常紧密，编译器可以较为直接地将 C++ 的语法结构映射到 LLVM IR 中的控制流和数据流表示 [^4]。 Rust 则采用了不同的路径。Rust 编译器 rustc 的前端并不直接生成 LLVM IR，而是先将源代码转换为 Rust 特有的中间表示（如 HIR、MIR），然后通过一个独立的后端将 MIR 转换为 LLVM IR。这种设计使得 Rust 能够在 MIR 阶段进行语言特有的优化和类型检查，再利用 LLVM 的优化能力进行进一步的低级优化 [^2]。 ### 内存管理与安全性 Rust 的核心特性之一是其所有权系统，这在 C++ 中是不存在的。在生成 LLVM IR 时，Rust 编译器必须确保生成的代码符合所有权和借用规则，这通常意味着在 IR 中会包含额外的元信息或插入运行时检查（尽管大多数检查在编译时已完成）。相比之下，C++ 的内存管理完全由开发者负责，因此其 LLVM IR 更加直接地反映源代码中的内存操作 [^2]。 ### 优化与代码生成 由于 LLVM 的优化器已经非常成熟，C++ 和 Rust 都可以利用其进行高级优化，如过程间分析、向量化等。然而，Rust 的编译器在优化方面承担了更多语言层面的责任，例如确保安全性和零成本抽象。这使得 Rust 在生成 LLVM IR 前的优化阶段更加复杂，而 C++ 的优化更多依赖 LLVM 自身的优化通道 [^2]。 ### 示例：函数定义 在 LLVM IR 中，C++ 和 Rust 生成的函数定义在结构上是相似的，但命名和调用约定可能有所不同。以下是一个简单的函数定义示例： ```llvm define i32 @add(i32 %a, i32 %b) { entry: %tmp = add i32 %a, %b ret i32 %tmp } ``` 对于 C++ 来说，这个函数可能直接对应于源代码中的一个函数；而对于 Rust 来说，这个函数可能是在 MIR 转换为 LLVM IR 的过程中生成的，且可能包含更多的元信息以支持 Rust 的语言特性 [^4]。 ### 总结 C++ 和 Rust 在生成 LLVM IR 时的主要区别体现在以下几个方面： - **编译器架构**：C++ 通过 Clang 直接生成 LLVM IR，而 Rust 通过 rustc 的 MIR 阶段间接生成。 - **语言特性支持**：Rust 的所有权系统和安全性机制在 LLVM IR 中需要额外的处理，而 C++ 更加直接。 - **优化阶段**：Rust 在 MIR 阶段进行语言特有的优化，而 C++ 更多依赖 LLVM 的通用优化通道 [^2]。 这些差异使得两种语言在生成 LLVM IR 时各有侧重，同时也反映了它们在设计哲学上的不同。
评论 1
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值