c++ - LLVM 别名分析器奇怪的结果

Question

我正在实现一个使用别名分析器的 channel ，特别是使用 AliasSetTracker。我只是想在一个函数中输出所有别名集。

密码很简单，运行在函数上，是这样的:

virtual bool runOnFunction(Function &F) {
  AliasAnalysis &AA = getAnalysis<AliasAnalysis>();

  AliasSetTracker tr(AA);
  for(Function::iterator i=F.begin();i!=F.end();++i){

    for(BasicBlock::iterator j=i->begin();j!=i->end();++j){
  if(dyn_cast<StoreInst>(j)){
            StoreInst *ai=dyn_cast<StoreInst>(j);
    //errs().write_escaped(ai->getName());
      tr.add(ai);
  }
  if(dyn_cast<LoadInst>(j)){
            LoadInst *ai=dyn_cast<LoadInst>(j);
    //errs().write_escaped(ai->getName());
      tr.add(ai);
  }
}

int counter=0;
for(AliasSetTracker::iterator it=tr.begin();it!=tr.end();++it){
  errs() << "Set " << counter++ << "\n";
  AliasSet *s=dyn_cast<AliasSet>(it);
  if(s->isMustAlias())
    errs() << " set is must alias\n";
  if(s->isMayAlias())
    errs() << " set is may alias\n";
  for(AliasSet::iterator ra=s->begin();ra!=s->end();++ra){

    errs() << ra.getPointer()->getName() << " ";
  }

}
  }
  return true;
}

我在 hello.cpp 中使用以下测试函数实现测试通过:

void testfuncion(int *given){
  int *o,*i;
  o=given;
  i=NULL;
}

我使用不同的 AA channel 运行插件，例如:

clang  -emit-llvm -o hello.bc -c hello.cpp -> compile the test code
./opt -load ../lib/AliasTest.so -globalsmodref-aa -aliastoprolog < hello.bc OR
./opt -load ../lib/AliasTest.so -basicaa -aliastoprolog < hello.bc

在测试函数中，您可以看到 i 和 o 不是别名。使用 globalsmodref，通行证打印可能会出现别名。 对于 basicaa o 和 i 是在不同的集合中(正确地)但是当我将行 i=NULL 更改为 i=o 在测试函数中，basicaa 仍然为 o 和 i 返回单独的集合，globalsmodref 说 o 和 i 可能是别名，即使它应该是必须别名。那我在这里做错了什么？

Answer 1

我不认为AliasSet *s=dyn_cast<AliasSet>(it);是获得 AliasSet 的正确方法秒。请改用 getAliasSets() 方法，如下面的链接所示。

http://llvm.org/docs/doxygen/html/classllvm_1_1AliasSetTracker.html#a8f3b5f5d7978436b03d3e4b8597d9bc4

有区别吗？