llvm dev - Jul 2009 - [LLVMdev] Aliasing on bitcode.

Dear All,

I am working on a LLVM bitcode based project in which we do static lockset
analysis. I need to get Aliasing information statically given the .bc file of
the application. Is there any library in LLVM which already implements the
aliasing? (does it support multi-threaded apps?) What is the best way of doing
it (I want to extract aliasing information in runOnModule() function in the pass
I am working on)?

Thanks a lot,
::Saman Zonouz
UIUC PhD CS student


      
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20090713/93137a01/attachment.html>

On Mon, Jul 13, 2009 at 3:28 PM, saman aliari<samy_442 at yahoo.com>
wrote:
> I am working on a LLVM bitcode based project in which we do static lockset
> analysis. I need to get Aliasing information statically given the .bc file
> of the application. Is there any library in LLVM which already implements
> the aliasing?
There's an alias analysis interface that comes standard with LLVM; see
include/llvm/Analysis/AliasAnalysis.h.  The standard alias analysis
pass isn't particularly powerful, though.
> (does it support multi-threaded apps?)
I'm not quite sure how alias analysis would be affected by whether an
app is multi-threaded...
> What is the best way of
> doing it (I want to extract aliasing information in runOnModule() function
> in the pass I am working on)?
See http://llvm.org/docs/WritingAnLLVMPass.html#interaction .
Something like "AU.addRequired<AliasAnalysis>()" in the
getAnalysisUsage method of your pass plus a call to
"getAnalysis<AliasAnalysis>()" in runOnModule will do the trick.

-Eli

Thanks a lot! As far as I understood AliasSetTrack is a list of AliasSets each
of which is a list of pointers, is it right?
Is AliasSet the set of pointers that may/must alias eachother? if so, why are
some of the AliasSets empty?

Thanks a lot,
::Saman






________________________________
From: Eli Friedman <eli.friedman at gmail.com>
To: LLVM Developers Mailing List <llvmdev at cs.uiuc.edu>
Sent: Tuesday, July 14, 2009 1:03:24 AM
Subject: Re: [LLVMdev] Aliasing on bitcode.

On Mon, Jul 13, 2009 at 3:28 PM, saman aliari<samy_442 at yahoo.com>
wrote:
> I am working on a LLVM bitcode based project in which we do static lockset
> analysis. I need to get Aliasing information statically given the .bc file
> of the application. Is there any library in LLVM which already implements
> the aliasing?
There's an alias analysis interface that comes standard with LLVM; see
include/llvm/Analysis/AliasAnalysis.h.  The standard alias analysis
pass isn't particularly powerful, though.
> (does it support multi-threaded apps?)
I'm not quite sure how alias analysis would be affected by whether an
app is multi-threaded...
> What is the best way of
> doing it (I want to extract aliasing information in runOnModule() function
> in the pass I am working on)?
See http://llvm.org/docs/WritingAnLLVMPass.html#interaction .
Something like "AU.addRequired<AliasAnalysis>()" in the
getAnalysisUsage method of your pass plus a call to
"getAnalysis<AliasAnalysis>()" in runOnModule will do the trick.

-Eli
_______________________________________________
LLVM Developers mailing list
LLVMdev at cs.uiuc.edu        http://llvm.cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev



      
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20090714/85c39ded/attachment.html>