[LLVMdev] how to choose which alias analysis used in my pass?

[songlh]

I run the following command: opt -load MyPass.so -basicaa  -MyPass 
./test.bc -debug-pass=Structure -disable-output

Then I got:

Pass Arguments:  -targetlibinfo -datalayout -notti -basictti -x86tti 
-no-aa -basicaa -Redundancy -preverify -domtree -verify
Target Library Information
Data Layout
No target information
Target independent code generator's TTI
X86 Target Transform Info
No Alias Analysis (always returns 'may' alias)
Basic Alias Analysis (stateless AA impl)
   ModulePass Manager
     Redundancy Checking
       Unnamed pass: implement Pass::getPassName()
     FunctionPass Manager
       Preliminary module verification
       Dominator Tree Construction
       Module Verifier
Pass Arguments:  -no-aa -domtree -postdomtree -loops -memdep
No Alias Analysis (always returns 'may' alias)
   FunctionPass Manager
     Dominator Tree Construction
     Post-Dominator Tree Construction
     Natural Loop Information
     Memory Dependence Analysis

It looks to me that when loading MyPass, basicaa is not used. Do I make 
some mistakes in the opt parameters?

Thanks a lot!

Best,

Linhai


On 2014-10-15 14:56, Hal Finkel wrote:
> ----- Original Message -----
>> From: "Jingyue Wu" <jingyue at google.com>
>> To: "songlh" <songlh at cs.wisc.edu>, llvmdev at cs.uiuc.edu
>> Sent: Wednesday, October 15, 2014 2:50:12 PM
>> Subject: Re: [LLVMdev] how to choose which alias analysis used in my 
>> pass?
>> 
>> 
>> Isn't -basicaa the default alias analysis already?
> 
> No, -basicaa is added (along with several others) when -O3 (or
> similar) is provided, but you'll only get -noaa if you run opt without
> specifying anything else.
> 
>  -Hal
> 
>> 
>> Jingyue
>> 
>> 
>> On Wed Oct 15 2014 at 6:42:59 AM songlh < songlh at cs.wisc.edu > wrote:
>> 
>> 
>> Hi,
>> 
>> I want to use memory dependence analysis in my pass, but I feel the
>> default alias analysis is not precise enough. How could I choose to
>> use
>> another alias analysis algorithm? I have tried opt -load mypass.so
>> -basicaa xx.bc > /dev/null. But I feel the alias analysis algorithm
>> does
>> not change. Do I need to add something in my codes?
>> 
>> Thanks a lot!
>> 
>> Best,
>> 
>> Linhai
>> ______________________________ _________________
>> LLVM Developers mailing list
>> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
>> http://lists.cs.uiuc.edu/ mailman/listinfo/llvmdev
>> 
>> _______________________________________________
>> LLVM Developers mailing list
>> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>>