[LLVMdev] Alias Analysis - ModRefBehaviour

[Hal Finkel]

Johannes,

No, they're currently only provided by BasicAA for intrinsic functions (and a library call it knows about). I've thought about changing this (the proposal would essentially be to add a new function attribute or two and then add code to inter them), but I've not done any work on this yet.

 -Hal

----- Original Message -----
> From: "Johannes Doerfert" <doerfert at cs.uni-saarland.de>
> To: "LLVM-Dev" <llvmdev at cs.uiuc.edu>
> Cc: "Tobias Grosser" <tobias at grosser.es>
> Sent: Monday, September 8, 2014 5:42:52 AM
> Subject: [LLVMdev] Alias Analysis - ModRefBehaviour
> 
> Hello,
> 
> Is there a analysis pass which calculates the ModRefBehaviours
> OnlyReadsPointerArguments and OnlyAccessesPointerArguments?
> 
> I tried to find one but so far I only saw that different AA's return
> OnlyReadsMemory and DoesNotAccessMemory if the readonly and readnone
> attributes are set.
> 
> Best regards and thanks in advance,
>   Johannes
> 
> --
> 
> Johannes Doerfert
> Researcher / PhD Student
> 
> Compiler Design Lab (Prof. Hack)
> Saarland University, Computer Science
> Building E1.3, Room 4.26
> 
> Tel. +49 (0)681 302-57521 : doerfert at cs.uni-saarland.de
> Fax. +49 (0)681 302-3065  :
> http://www.cdl.uni-saarland.de/people/doerfert
> 
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
> 

-- 
Hal Finkel
Assistant Computational Scientist
Leadership Computing Facility
Argonne National Laboratory