Running an Alias Analysis without opt

Project Infrastructure LLVM Dev List Archives
1

Hi all,

I'm working on an Pass that needs results from an alias analysis. More precisely, I'd like to use the AliasSetTracker class.
I added AU.addRequired<AliasAnalysis>(); at the right place.

I know the defaut AliasAnalysis does nothing and I currently get everything as "may" aliases. My tool is standalone and does not use opt, so I can't simply do something like opt -globalsmodref-aa -my_pass .
I've seen somewhere that I had to add the following code (for instance) before running my pass :

PassRegistry &Registry = *PassRegistry::getPassRegistry();
initializeTypeBasedAliasAnalysisPass(Registry);
...
Passes.add(createTypeBasedAliasAnalysisPass());
Passes.add(MyPass);
...
Passes.run(*M);

but this doesn't solve the problem, I still get everything as "may" aliases :

AliasSet[0xb971940, 6] may alias, Mod/Ref Pointers: (double* %x, 8), (i32* %k, 4), (double* %arrayidx, 8), (double* %arrayidx1, 8), (i32* @global, 4), (i32* getelementptr inbounds (i32* @global, i32 10), 4)

What am I doing wrong ?

Julien