similar to: [LLVMdev] Counting pointers to functions

On 3/30/11 10:12 AM, guyadini wrote: > Hi all, > > I'm trying to write an LLVM pass which would determine whether there is any > pointer which ever points to a function. I couldn't figure out if there is > any existing pass which does something of the kind (maybe some analysis pass > which I'm not aware of?). DSA (part of the poolalloc project:

Hi LLVM dev team: I am now doing an experiment to comparing Steensgaard-style and Andersen-style pointer analysis on LLVM. Since steensgaard pointer analysis is in module "poolalloc", so I installed poolalloc release 2.6 on my machine(intel X86_64 RedHatEnterpriseLinux 5.1, gcc-4.2.4), two directories "include" and "lib" were created after installation but no

Hi, LLVM dev team: Thanks for your suggestion, I have done the experiment to compare the two pointer analysis(Andersen and Steensgaard) methods in LLVM, but the result was unexpected. In each test, I compare these two methods using same optimization; There are several tests, each with a different optimization. The benchmark is all the 11 C programs in CINT2000 of SPEC. In all the tests, I found

聪明陈 wrote: > Hi LLVM dev team: > I am now doing an experiment to comparing Steensgaard-style and > Andersen-style pointer analysis on LLVM. Since steensgaard pointer > analysis is in module "poolalloc", so I installed poolalloc release > 2.6 on my machine(intel X86_64 RedHatEnterpriseLinux 5.1, gcc-4.2.4), > two directories "include" and "lib" were

Hi, LLVM dev team: Thanks for your suggestion, I have done the experiment to compare the two pointer analysis(Andersen and Steensgaard) methods in LLVM, but the result was unexpected. In each test, I compare these two methods using same optimization; There are several tests, each with a different optimization. The benchmark is all the 11 C programs in CINT2000 of SPEC. In all the tests, I found

Dear All, I am curious to know the reason for removal of andersen pointer analysis. Is it because of some issues? We need it on llvm-2.9, if possible. Do we have some better version of pointer analysis on llvm-2.9? Thanks, Manish -------------- next part -------------- An HTML attachment was scrubbed... URL:

Thanks Everyone for the info. I am planning to work with DSA on llvm-2.9. Hope it is working as John mentioned. Manish On Tue, Sep 20, 2011 at 7:06 AM, John Criswell <criswell at illinois.edu>wrote: > On 9/19/11 9:12 PM, Manish Gupta wrote: > > Dear All, > > I am curious to know the reason for removal of andersen pointer analysis. > Is it because of some issues? We

On 9/9/09 3:28 AM, Eli Friedman wrote: > On Wed, Sep 9, 2009 at 12:50 AM, Lei Shang<shang1982 at gmail.com> wrote: > >> Hi, >> >> I just found -steens-aa and -ds-aa Alias Analysis listed in documents do >> not exist in my llvm-2.3 code. Both from opt -help and the lib/Analysis. >> And then I go to download the llvm-2.5 version, there is still no

On 9/19/11 9:12 PM, Manish Gupta wrote: > Dear All, > > I am curious to know the reason for removal of andersen pointer > analysis. Is it because of some issues? We need it on llvm-2.9, if > possible. > > Do we have some better version of pointer analysis on llvm-2.9? The Data Structure Analysis pass (DSA) is a unification-style points-to analysis. It should work with

Hi, This is Jiesheng Wei from UBC. Now I am working on a project with LLVM and I want to use steensgaard alias analysis tool. I saw on the website that steensgaard analysis is available for LLVM 2.9 and it is under poolalloc/ directory. I downloaded several versions but none of them is compatible with LLVM 2.9. Can you please tell me which version of poolalloc is for LLVM 2.9? Thanks, Jiesheng

The README at the location shared by John says "DSA is undergoing significant changes and may not be entirely stable or correct. See lib/DSA/README" So, I was wondering from where should one pick the code. Although I will start my analysis and see how results turn out to be. But any comments on this line will be helpful. Thanks Manish On Tue, Sep 20, 2011 at 5:13 PM, Manish Gupta

On Fri, 8 Dec 2006, Ryan M. Lefever wrote: > I apologize if this has been answered previously, but why is DSA being > removed from LLVM? I ask because I am currently using the latest CVS > versions of LLVM and DSA. There are two reasons for doing this: 1. DSA is currently only used by llvm-poolalloc. 2. More seriously, DSA infringes on certain patents held by Microsoft, regarding

On Wed, Sep 9, 2009 at 11:49 PM, Mai, Haohui <haohui.mai at gmail.com> wrote: > On 9/9/09 3:28 AM, Eli Friedman wrote: >> On Wed, Sep 9, 2009 at 12:50 AM, Lei Shang<shang1982 at gmail.com>  wrote: >> >>> Hi, >>> >>>     I just found -steens-aa and -ds-aa Alias Analysis listed in documents do >>> not exist in my llvm-2.3 code. Both from

Dear all, I want to implement a pass that provides some kind of data flow integrity similar to Write Integrity Testing (https://www.doc.ic.ac.uk/~cristic/papers/wit-sp-ieee-08.pdf). This approach statically determines for each memory write the (conservative, overapproximated) points-to set of locations that can be written by the instruction. Further, it instruments the memory write instruction

On 22.06.2011, at 17:03, John Criswell wrote: > On 6/22/11 5:34 AM, Andreas Wilhelm wrote: >> >> Hello, >> >> I'm looking for a way to identify dependencies of function-pairs (memory-dependency, control-dependency...) in order to parallelize them. >> For aliasing problems I use the DataStructureAnalysis. > > I'm assuming that this is the DSA

On 10/7/11 11:56 PM, Jiesheng Wei wrote: > Hi, > > This is Jiesheng Wei from UBC. Now I am working on a project with LLVM > and I want to use steensgaard alias analysis tool. I saw on the website > that steensgaard analysis is available for LLVM 2.9 and it is under > poolalloc/ directory. I downloaded several versions but none of them is > compatible with LLVM 2.9. Can you

Hi Daniel, To my knowledge, there is no other implementation available for Steensgaard AA except poolalloc. I have tried Steensgaard AA under LLVM 2.7 poolalloc, but there are lots of bugs which need to be fixed. It will be a good idea to use previous implementation, but you will have to modify (a lot) it with respect to the latest version of LLVM poolalloc. Thanks, -Yogesh -------------- next

On 6/24/11 5:20 AM, Andreas Wilhelm wrote: > > Where can I find some information about MemoryDependenceAnalysis and > DataStructureAnalysis? > It would be interesting which kinds of dependence they're able to find > and which not. I haven't used MemoryDependenceAnalysis myself, but I recommend that you read its doxygen documentation:

Hi all, I am trying to use LLVM's AliasAnalysis pass, but from a standalone tool that uses llvm libraries. The following is the code snippet I am currently using. PassBuilder PB; auto mod_manager = ModuleAnalysisManager { }; PB.registerModuleAnalyses(mod_manager); AAResults& AAR = mod_manager.getResult<AAManager>(*M); But the code fails at .getResult with the following error:

I apologize if this has been answered previously, but why is DSA being removed from LLVM? I ask because I am currently using the latest CVS versions of LLVM and DSA. Regards, Ryan John Criswell wrote: > Dear All, > > We'd like to move the Data Structure Analysis (DSA) code from the LLVM > source tree (lib/Analysis/DataStructure) into the Pool Allocation > project. I plan