llvm dev - Oct 2008 - [LLVMdev] Using DSA alias analysis

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,
-- 
Pericles

On Fri, Oct 24, 2008 at 6:45 AM, Periklis Akritidis <pa280 at
cl.cam.ac.uk> wrote:
> 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