c++ - llvm 在 C++ 中提取结构元素和结构大小

Question

这里是 LLVM 新手。我有以下 C++ 程序

using namespace std;
struct A{
  int i;
  int j;
};

int main()
{
   struct A obj;
   obj.i = 10;
   obj.j = obj.i;
   return 0;
}

使用 clang++，我可以看到 LLVM IR 包含结构字段，如下所示

%struct.A = type { i32, i32 }

我想使用 LLVM Pass 获取结构元素。我编写了以下程序 - 遍历全局变量和每个指令操作数，但它们都没有帮助我提取结构 A 或 A.i 或 A.j。

    #include "llvm/Pass.h"
    #include "llvm/IR/Function.h"
    #include "llvm/Support/raw_ostream.h"

    #include <llvm/IR/Constants.h>
    #include <llvm/IR/DerivedTypes.h>
    #include <llvm/IR/Instructions.h>
    #include <llvm/IR/IntrinsicInst.h>
    #include <llvm/IR/LLVMContext.h>
    #include <llvm/IR/Module.h>

    #include <iostream>
    #include <map>
    #include <vector>


    using namespace llvm;

    namespace {

    class StructModulePass: public ModulePass {
    public:
    static char ID;
    StructModulePass() : ModulePass(ID) {}
    virtual bool runOnModule(Module &M1) override {
    // iterate over global structures
    M = &M1;
    int i;
    for(auto G = M->global_begin(); G!= M->global_end() ; G++, i++){
    errs() << i << " == > " ;
    errs().write_escaped(G->getName()) << "\n";
  }

// iterate through each instruction. module->function->BB->Inst
  for(auto &F_ : M->functions()){
    F = &F_;
    for(auto &B_ : *F)
      B = &B_;
      for(auto &I : *B) {
        for (unsigned i = 0; i < I.getNumOperands(); i++)
          std::cerr << I.getOperand(i)->getName().data() << std::endl;
      }
  }
  return true;
  }
private:
  Module *M;
  Function *F;
  BasicBlock *B;
};
  }


char StructModulePass:: ID = 0;
static RegisterPass<StructModulePass> X("getstructnamesize", "Get All Struct Names and Sizes",
                             false /* Only looks at CFG */ ,
                             false /* Analysis Pass */);

我想为我的程序中定义和使用的所有结构(全局和局部)创建一个数据库。例如。 < A , <int32, int32> , B , <int32, bool , char *>>.

我浏览了 doxygen 页面、LLVM 教程并检查了我们是否可以获得结构值，但是我无法在不知道结构值的情况下找到提取结构的方法 - 例如。创建 IRBuilder，插入预定义的 IntTy32 类型变量。在这方面的任何帮助或一些相关教程都会有所帮助

Answer 1

在 LLVM IR 术语中，“全局”是全局变量或全局常量。这一行:

%struct.A = type { i32, i32 }

是一个确定的结构规范，不是一个全局变量，就像typedef在 C++ 中不是全局变量。 您可以使用 Module::getIdentifiedStructTypes() 迭代那些.

然而，一些注意事项:

1. 熟悉 dump() 方法。这是一个更容易替代所有打印到 cerr 的方法.

2. 您正在使用 getName()关于值(value)观，而不是类型 - 我不认为那是你想要做的。另请记住，LLVM 值不一定有名称。

3. 得到类似 <int32, bool, char *> 的结果- 这是 C++ 类型，而不是 LLVM IR 类型 - 会很棘手。例如，Clang 可能会同时编译 bool和 char至 i8 , 并且不容易区分。您可能还会获得 vptr 字段、填充字段等。如果您确实想要源程序中使用的结构的实际 C++ 结构，则必须依赖 debug info。 .