LLVM intrinsic 介绍

最新推荐文章于 2024-05-22 16:14:20 发布

叉叉敌

最新推荐文章于 2024-05-22 16:14:20 发布

阅读量1.7k

点赞数

分类专栏： LLVM 文章标签： c语言开发语言 LLVM

本文链接：https://blog.csdn.net/weixin_42514606/article/details/124560505

版权

本文介绍了LLVM intrinsic函数的概念，它们是编译器内建的特殊函数，具有已知的名称和语义。LLVM intrinsic命名以'llvm'开头，不允许定义其函数体。它们可以被重载，例如llvm.ctpop函数可以对任意宽度整数进行操作。还讨论了变量参数处理，包括va_arg指令和相关内在函数。最后，通过例子展示了如何使用这些intrinsic处理变量参数。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

什么是 LLVM intrinsic

LLVM 支持“intrinsic function”的概念。这些函数具有众所周知的名称和语义，并且需要遵循某些限制。总的来说，这些 intrinsic 代表 LLVM 语言的扩展机制，在添加到语言(或者位码读取器/写入器、解析器等)时不需要更改 LLVM 中的所有转换。

Intrinsic函数是编译器内建的函数，由编译器提供，类似于内联函数。但与内联函数不同的是，因为Intrinsic函数是编译器提供，而编译器与硬件架构联系紧密，因此编译器知道如何利用硬件能力以最优的方式实现这些功能。

命名格式

intrinsic名必须全部以“ llvm”开头前缀。这个前缀在 LLVM 中保留用于intrinsic名称; 因此，函数名称不能以这个前缀开头。intrinsic函数必须始终是外部函数: 你不能定义intrinsic函数体。intrinsic函数只能用于调用或调用指令: 获取intrinsic函数的地址是非法的。此外，由于intrinsic函数是 LLVM 语言的一部分，如果添加了intrinsic函数，则需要对其更新文档。

重载

一些intrinsic函数可以被重载，例如，intrinsic函数表示一组在不同数据类型上执行相同操作的函数。由于 LLVM 可以表示超过800万种不同的整数类型，因此通常使用重载来允许intrinsic函数对任何整数类型进行操作。可以重载一个或多个参数类型或结果类型以接受任何整数类型。也可以将参数类型定义为与前一个参数的类型或结果类型完全匹配。这允许一个intrinsic函数接受多个参数，但是需要所有参数都是同一类型的，只能对一个参数或结果进行重载。