metadata - llvm 全局元数据的操作数无效

Question

我想使用全局元数据为模块中的基本 block 分配唯一的 ID。但我收到错误:“全局元数据的操作数无效!”。以下代码片段有问题吗？

这是我添加命名元数据节点的操作数的部分代码:

bool runOnModule(Module &M) {
    ...
    NamedMDNode *NMD = M.getOrInsertNamedMetadata(mdKindName);
    for (Module::iterator FI = M.begin(), FE = M.end(); FI != FE; ++FI) {
        for (Function::iterator BI = FI->begin(), BE = FI->end(); BI != BE; ++BI) {
            errs() << "Basic Block number: " << counter << "\n";
            NMD->addOperand(assignID(BI, ++counter));
            errs() << "Basic Block name: " << BI->getName() << "\n";
        }
    }
    ...
}

// Assign unique IDs to Basic Blocks as Metadata Nodes
MDNode* assignID (BasicBlock* BB, unsigned id) {
    // Fetch the context in which the enclosing module was defined
    LLVMContext &Context = BB->getParent()->getParent()->getContext();

    // Create a metadata node that contains ID as a constant:
    Value* ID[2];
    ID[0] = BB;
    ID[1] = ConstantInt::get(Type::getInt32Ty(Context), id);
    return MDNode::getWhenValsUnresolved(Context, ArrayRef<Value*>(ID, 2), false);
}

llvm的版本是3.6.0。 我在我的项目中使用 Visual Studio 2013。

谢谢， 亨利

解决方案:ID[0] 应存储 MDString::get(Context, BB->getName())

Answer 1

通过传递 false 作为 getWhenValsUnresolved 的最后一个参数，您已经创建了一个全局元数据节点。全局元数据只能包含:

1. 常量，包括全局值的地址。
2. MDNode。
3. MDStrings。

如果您想使用函数本地的东西 - 例如指令、参数或(在您的情况下)基本 block ，您需要使用本地元数据。使用 true 作为最后一个参数来创建一个。