attributes - 在源代码上添加一个新属性，该属性会传播到 LLVM 中的 MC 级别？

Question

我对以下内容的传播方式感兴趣:

void foo(int __attribute__((aligned(16)))* p) { ... }

在这种情况下，指针的“对齐”在 MC 级别可用，但显然没有使用 LLVM-IR 元数据方法来实现这一点。对齐信息对于某些目标非常重要，这些目标将根据该值改变代码生成，我认为我需要的更像是这个属性。

添加一个新属性，使其以与“对齐”相同的方式通过编译器传播有多困难？因此，我已经向 LLVM-IR 添加了一个新元素来执行此操作。我还预计最难的部分是让 LLVM 的其他部分在不关心这个新元素时忽略它。

遗憾的是，LLVM 没有一种通用的目标独立方式将目标相关信息从解析器传递到后端。

类似的 question 中建议使用“DebugLoc”方法，但我认为这有点麻烦，因为这与调试无关。但如果这种方式的实现难度较小，那么黑客可能是可以接受的。

更新:在这里可以使用内联汇编而不是使用新属性吗？如果是，有什么优点/缺点？

Answer 1

正如您所演示的，对齐不使用元数据。

• 对于任何不知道的人:所有相关说明中都(隐式或显式)提到了对齐，因此例如问题中的函数将被编译为类似这样的内容(注意对齐):

  define void @foo(i32*) {  %2 = alloca i32*, align 16        ; Allocate a 16-aligned pointer  store i32* %0, i32** %2, align 16 ; An aligned store to place the arg there  ...

现在，如果您想将一些信息附加到现有指令中并让编译器的其余大部分忽略它们，那么使用元数据是一个好主意。但是，由于元数据是编译器内部的抽象事物，因此在某些时候您必须实际使用它做一些事情。通常，通过添加您自己的 channel 来使用它并执行相应的操作。

至于在哪里放置您的通行证以及如何实现它，这实际上取决于您尝试传递的实际信息及其预期效果。 p>