Using DSA alias analysis

Project Infrastructure LLVM Dev List Archives
1

Dear all,

I am trying to use the DSA-based alias analysis. I want to do
something like this:
opt -ds-aa -print-alias-sets -disable-output hello.bc

I downloaded and installed llvm-gcc 2.3 and added to PATH, then
svn co http://llvm.org/svn/llvm-project/llvm/trunk llvm
cd llvm/projects
svn co http://llvm.org/svn/llvm-project/poolalloc/trunk/ poolalloc

and built without enabling optimizations, on linux x86_64

but when I try to run

opt -load=$HOME/src/llvm/projects/poolalloc/Debug/lib/libLLVMDataStructure.so
-ds-aa -print-alias-sets -disable-output hello.bc

I get
opt: PassManager.cpp:1416: virtual void
llvm::MPPassManager::addLowerLevelRequiredPass(llvm::Pass*,
llvm::Pass*): Assertion `(P->getPotentialPassManagerType() <
RequiredPass->getPotentialPassManagerType()) && "Unable to handle Pass
that requires lower level Analysis pass"' failed.

So my question is whether I am doing something obviously wrong,
or otherwise, what combination of llvm, poolalloc and host OS is known to work?

Thanks in advance,

2

Dear all,

I am trying to use the DSA-based alias analysis. I want to do
something like this:
opt -ds-aa -print-alias-sets -disable-output hello.bc

Although DSA has been undergoing some work, ds-aa hasn't been tested
for a long time.

but when I try to run

opt -load=$HOME/src/llvm/projects/poolalloc/Debug/lib/libLLVMDataStructure.so
-ds-aa -print-alias-sets -disable-output hello.bc

I get
opt: PassManager.cpp:1416: virtual void
llvm::MPPassManager::addLowerLevelRequiredPass(llvm::Pass*,
llvm::Pass*): Assertion `(P->getPotentialPassManagerType() <
RequiredPass->getPotentialPassManagerType()) && "Unable to handle Pass
that requires lower level Analysis pass"' failed.

There was a bug like this introduced a bit ago which got fixed.
Please try updating and try again. If this is a seperate issue
specific to ds-aa, then this won't help.

Andrew