Clang中ext_vector_type和address_space __attribute__的使用

一.背景

在使用 Clang 编译可执行程序时，遇到类似下面的链接错误：

undefined reference to `atomic_add(int volatile AS4*, int)'
undefined reference to `convert_float2_rte(int __vector(2))' 

这两个错误提示表明在代码中定义的函数名和类型在编译后有特定的“符号修饰”（name mangling），即函数名称根据参数类型和使用的属性发生了变化（例如，int volatile AS4* 表示传入的指针在地址空间4中，而 int __vector(2) 表示传入的是一个包含两个整型元素的向量）。面对这种情况，我们需要了解 Clang 如何利用 attribute 对类型和函数进行修饰，从而正确地匹配和链接。

二. 关键概念详解

下面我分别讨论 attribute、ext_vector_type 和 address_space 三个关键概念。

──────────────────────────────

2.1 attribute 的作用

在 GCC 或 Clang 编译器中，attribute 是一种用来给变量、结构体、函数、类型等添加额外信息或者修饰的方式。

• 作用：告诉编译器某个对象具有特定的性质，从而可能改变编译器如何对它进行优化、检测或生成代码。
• 举例：可能用于指定对齐方式（aligned）、弱链接（weak）、打包结构体（packed）等。
• 在本例中，我们主要用到了 ext_vector_type 和 address_space 这两个属性，分别应用于向量类型和内存地址空间。

2.2 ext_vector_type 的作用

ext_vector_type 是 Clang 提供的一个扩展属性，它允许程序员定义向量类型（vector type&#