Question

我正在编写ModulePass，我需要分析给定模块中定义的每个结构。

我理解带有名称的已识别结构被插入到ValueSymbolTable中，但是如何迭代所有其他结构（没有名称和文字结构标识）？

Answer 1

这样做的正确方法是：

#include "llvm/IR/TypeFinder.h"

llvm::TypeFinder StructTypes;
StructTypes.run(M, true);

for (auto *STy : StructTypes)
  STy->dump();

您不应使用其标题未发布的任何私有/不透明类型（如LLVMContextImpl）。

Answer 2

与当前上下文关联的LLVMContextImpl实例应该有两个数据结构，一个包含当前上下文中的所有已识别的结构（无论它们是否具有显式名称），另一个包含所有文字结构

获取LLVMContextImpl实例：

Module& M = ...
LLVMContextImpl* C = M.getContext().pImpl;

对于已识别的结构：

C->NamedStructTypes

对于文字结构：

C->AnonStructTypes

两者都返回可迭代类型（第一个为StringMap，第二个为DenseMap），允许您迭代它们并获取所有类型。

Answer 3

补充Oak的答案，这是一个更完整的代码示例：

Module& M = ...
LLVMContextImpl* C = M.getContext().pImpl;
for (StringMap<StructType *>::iterator i = C->NamedStructTypes.begin(); i != C->NamedStructTypes.end(); ++i)
{
    StructType *t = i->getValue();
    t->dump(); fprintf(stderr, "\n");
}

LLVMContextImpl.h是私有实现的标头，它不是LLVM的公共标头之一。您可以从LLVM源代码中获取它 - 将其从那里复制到您的标题搜索路径中，或者，快速＆amp;肮脏的测试，做：

#include "/path/to/llvm/src/lib/VMCore/LLVMContextImpl.h"

Answer 4

bool runOnModule(Module &M) override
{
    for(auto *S : M.getIdentifiedStructTypes())
    {
        S->dump();
    }
    return false;
}

迭代模块中的所有结构

4 个答案: