LLVM---Annotation

LLVM通过在函数定义上使用annotation(注解)，可以在编写源语言程序时控制LLVM在某个函数上的使用，或者禁止某些pass。这种方式为编程人员提供很大的灵活性。例如如下添加annotation的源代码片段：

int foo(int x) __attribute((__annotate__(("hello")))) {
    return x + 1;
}

解释：

一个名为“foo”的 C 函数，它接受一个整数参数“x”并返回一个整数值。 该函数还包括一个属性注释，用于向函数的元数据添加注释。 在本例中，注解是“hello”。

• `__attribute__` 语法是一个 GCC 扩展，允许您将额外的元数据附加到函数、变量或类型。
• `__annotate__` 属性用于添加描述函数的字符串文字。 此元数据可供代码分析工具、文档生成器或其他使用代码的工具使用。

        生成的函数具有“hello”的属性注释，分析或记录代码的工具可以使用它。 注解不影响函数本身的行为。

        clang 能够解析 annotation。LLVM IR 中的 llvm.global.annotations 含有 annotation 的信息，该变量是在 Module 中定义的。在 pass 的实现中可以先获取 annotation 内容并判断是否要进行处理。