2

我正在实现一个使用别名分析器的通道，特别是使用 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 通道运行插件，例如：

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，pass 打印可能会出现别名。使用 basicaa o和i在单独的集合中（正确），但是当我在测试函数中将i=NULL行更改为i=o时，basicaa 仍然为o和i返回单独的集合，globalsmodref 说 o 并且 i 可能会别名，即使它应该是必须别名。那么我在这里做错了什么？

4

1 回答 1

0

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

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

这有什么不同吗 ？

于 2013-05-07T13:11:26.687 回答