llvm dev - Sep 2014 - [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
-------------- 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/0677231c/attachment.sig>

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

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>