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 field，如下所示

%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术语中，＆＃34;全球＆＃34;是全局变量或全局常量。这一行：

%struct.A = type { i32, i32 }

是一个已识别的结构规范，而不是全局变量，就像C ++中的typedef不是全局变量一样。 您可以使用Module::getIdentifiedStructTypes() 进行迭代。

然而，有些注意事项：

熟悉dump()方法。它是cerr所有打印件的更容易的替代品。
您在价值观上使用getName()，而不是在类型上使用 - 我不认为您的意图是什么。另请注意，LLVM值不一定有名称。
获取像<int32, bool, char *>这样的结果 - 这些是C ++类型，而不是LLVM IR类型 - 将是狡猾的。例如，Clang可能会将bool和char编译为i8，并且很难区分它们。您可能还会获得vptr字段，填充字段等。如果您确实需要源程序中使用的结构的实际C ++结构，则必须依赖debug info。

llvm用C ++

1 个答案: