[LLVMdev] Alias Analysis - ModRefBehaviour

Johannes Doerfert doerfert at cs.uni-saarland.de
Mon Sep 8 10:02:24 PDT 2014


Hey Hal,

thanks for the quick reply.

When do you think it will get implemented? I'd like to have that feature
sooner than later, thus I would help if needed, just let me know.

--
  Johannes

On 09/08, Hal Finkel wrote:
> 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

-- 

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 213 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20140908/73abb6f7/attachment.sig>


More information about the llvm-dev mailing list