如何使用LLVM C Api / llvm-fs绑定添加元数据节点

Question

我试图将元数据节点添加到程序中，要么添加到指令中，要么添加为全局元数据。 如何使用LLVM C API做到这一点？ 现在它提供了一个函数LLVMAddNamedMetadataOperand （从这个问题中找到），但是我似乎看不到如何使用它。 这绑定到llvm-fs绑定中的addNamedMetadataOperand 。 我尝试了这个：

addNamedMetadataOperand myModule "foobar" (mDString "cat" 3u)

期望它生成一些称为foobar元数据节点，但它不起作用-抱怨转换错误。 我认为也许您应该在一条指令上使用addNamedMetadataOperand ，所以我尝试了：

let ret = buildRet bldr (constInt i32 0UL)
addNamedMetadataOperand myModule "foobar" ret

但它也不喜欢这样。

Answer 1

我在此commit中添加了两个新的“ F＃友好函数”：mdNode和mdNodeInContext。 通过该提交，我可以将示例代码修改为：

open LLVM.Core
open LLVM.Generated.Core
open LLVM.Generated.BitWriter

let i32 = int32Type ()
let i32zero = constInt i32 0UL false

[<EntryPoint>]
let main argv =
    // Set up the module/function
    let module_ = moduleCreateWithName "foobar"
    //let context = getModuleContext module_
    let funcTy = functionType i32 [||]
    let func = addFunction module_ "main" funcTy
    let bldr = createBuilder ()

    let entry = appendBasicBlock func "entry"
    positionBuilderAtEnd bldr entry

    // Make a Metadata node and try and attach it to a ret
    //let mdnode = mDStringInContext context "bazquux" 7u
    let mdstring = mDString "bazquux" 7u
    let ret = buildRet bldr i32zero
    // From http://llvm.org/docs/doxygen/html/classllvm_1_1LLVMContext.html
    // MD_dbg = 0, MD_tbaa = 1, MD_prof = 2, MD_fpmath = 3, MD_range = 4, MD_tbaa_struct = 5
    // Fails here
    //setMetadata ret 0u mdnode
    let myMDName = "my_MD_kind"
    setMetadata ret (getMDKindID myMDName (uint32 myMDName.Length)) (mdNode [|mdstring|])

    // Save bitcode to file
    writeBitcodeToFile module_ "metadatatest.bc"

给出位代码：

; ModuleID = 'metadatatest.bc'

define i32 @main() {
entry:
  ret i32 0, !my_MD_kind !0
}

!0 = metadata !{metadata !"bazquux"}

我使用getMDKindID而不是使用预定义的MD类型之一，因为当我使用0u时，没有任何元数据输出。 我没有深入探讨为什么，但是从查看http://llvm.org/docs/LangRef.html#metadata来看，预定义的元数据类型似乎受到一些限制，即所应用的指令无法满足要求。 无论如何，请告诉我您是否还有其他问题。 目前，它不是我正在使用的API的一部分，但我确实希望它尽可能地正常工作。