search for: analysis

Hi all, How to print the analysis results using 'opt' command? I tried using the below command for my *module.ll* file *opt -analyze -memdep module.ll* * * But it's printing Printing analysis 'Memory Dependence Analysis' for function 'main': Pass::print not implemented for pass: 'Memory Dependenc...

...ts bellow. On Mon, Apr 2, 2012 at 10:59 AM, John Criswell <criswell at illinois.edu> wrote: > On 3/30/12 7:07 PM, Douglas do Couto Teixeira wrote: >> >> Hi guys, >> >> I'm an undergraduate computer science student and I've been working >> with pointer analysis this semester under the orientation of professor >> Calvin Lin, at The University of Texas at Austin. I'm interested on >> helping to develop LLVM's alias analysis infrastructure. I have two >> ideas for a possible proposal and I'd like to know if you have >> int...

...are/dejagnu/config/unix.exp as generic interface file for target. WARNING: Couldn't find tool config file for unix, using default. WARNING: Assuming target board is the local machine (which is probably wrong). You may need to set your DEJAGNU environment variable. Running /mnt/markhor/llvm/test/Analysis/BasicAA/dg.exp ... FAIL: /mnt/markhor/llvm/test/Analysis/BasicAA/2003-09-19-LocalArgument.ll Failed with posix(ENOENT,no such file or directory) at line 1 while running: opt < /mnt/markhor/llvm/test/Analysis/BasicAA/2003-09-19-LocalArgument.ll -gvn -instcombine -S | not /bin/grep sub couldn'...

Hi All, This is Lian Li from Oracle Labs in Brisbane Australia. We have developed a precise and highly efficient pointer analysis framework on top of LLVM, The approach is flow, context, and field sensitive, details are described in the two papers below: "Boosting the performance of flow-sensitive points-to analysis using value flow" (in ESEC-FSE 2011), and "Precise and scalable context-sensitive pointer anal...

Hi guys, I'm an undergraduate computer science student and I've been working with pointer analysis this semester under the orientation of professor Calvin Lin, at The University of Texas at Austin. I'm interested on helping to develop LLVM's alias analysis infrastructure. I have two ideas for a possible proposal and I'd like to know if you have interest on any of them. My first idea...

On Thursday 09 August 2007 19:21, Chris Lattner wrote: > Interesting question, I don't have an answer to this. To make things more > complicated, you can have multiple instances of an analysis group and may > want different things at different times: > > -basicaa -licm -something_that_invalidates_aa -andersaa -licm -whatever Some questions about that: How does this interact with analysis groups? When a class is registered as part of an analysis group there's a boolean...

Dear LLVMers, I have been working on Douglas's range analysis, and today, after toiling with it for two years, we have a very mature and robust implementation, which is publicly available at http://code.google.com/p/range-analysis/. We can, at this point, perform range analysis on very large benchmarks in a few seconds. To give you an idea, we take less than...

Currently these leave in lib/Transforms/ObjCARC even though they are analysis passes. This seems confusing and odd. In particular, Analysis/Passes.h talks about ObjCARCAliasAnalysis. =/ I'd like to just move the analysis headers to live under include/llvm/Analysis and the source under lib/Analysis. This will preclude omitting the ObjC ARC analysis passes from your build...

On Aug 10, 2007, at 10:15 AM, David Greene wrote: > However, what happens when alias analysis information gets > invalidated? > Is Andersen's still "available" in the sense analysis groups use it? > > If not, it seems it would be tough to make sure Andersen's is always > used everywhere that AliasAnalysis is asked for because there are > passes > l...

On 3/30/12 7:07 PM, Douglas do Couto Teixeira wrote: > Hi guys, > > I'm an undergraduate computer science student and I've been working > with pointer analysis this semester under the orientation of professor > Calvin Lin, at The University of Texas at Austin. I'm interested on > helping to develop LLVM's alias analysis infrastructure. I have two > ideas for a possible proposal and I'd like to know if you have > interest on any of...

Could somebody please explain exactly what an "analysis pass" is? I've spent some time trying to understand this and I just don't get it. Right now my understanding is the following: if a pass is an "analysis" pass, the "print" function is called when giving the "-analyze" switch to opt. Is there more to it...

Alright, I'm ready to nuke it. Last chance to say stop. For context of others, this has come up repeatedly: no one we know of is using EdgeProfiling.cpp, PathProfiling.cpp, and the lib/Analysis/Profile*Pass.cpp collection of tools. They haven't been updated since 2012 when Alastair Murray looked into this stuff, and both current efforts towards PGO are essentially *totally* different implementation strategies that won't benefit from this code being here. If anything, this code is...

> What version of LLVM does your analysis use currently? We are working with LLVM 3.0 (stable release) > It sounds like your analysis is fast. Can you show results on how fast it > is on various programs? Do you have measurements on how much memory it > uses? How large is the largest program you've compiled with it? Yes,...

...are/dejagnu/config/unix.exp as generic interface file for target. WARNING: Couldn't find tool config file for unix, using default. WARNING: Assuming target board is the local machine (which is probably wrong). You may need to set your DEJAGNU environment variable. Running /mnt/markhor/llvm/test/Analysis/BasicAA/dg.exp ... FAIL: /mnt/markhor/llvm/test/Analysis/BasicAA/2003-09-19-LocalArgument.ll Failed with posix(ENOENT,no such file or directory) at line 1 while running: opt < /mnt/markhor/llvm/test/Analysis/BasicAA/2003-09-19-LocalArgument.ll -gvn -instcombine -S | not /bin/grep sub couldn'...

...are/dejagnu/config/unix.exp as generic interface file for target. WARNING: Couldn't find tool config file for unix, using default. WARNING: Assuming target board is the local machine (which is probably wrong). You may need to set your DEJAGNU environment variable. Running /mnt/markhor/llvm/test/Analysis/BasicAA/dg.exp ... FAIL: /mnt/markhor/llvm/test/Analysis/BasicAA/2003-09-19-LocalArgument.ll Failed with posix(ENOENT,no such file or directory) at line 1 while running: opt < /mnt/markhor/llvm/test/Analysis/BasicAA/2003-09-19-LocalArgument.ll -gvn -instcombine -S | not /bin/grep sub couldn'...

On Mon, Apr 18, 2016 at 2:18 PM, Chandler Carruth <chandlerc at gmail.com> wrote: > The difference between Analysis and Transforms is *not* about passes, but > about what the code *does*. > > Code for mutating the IR should be in Transforms, and code that analyzes > the IR without mutating it should be in Analysis. This is why, for example, > InstructionSimplify is in Analysis -- it does not mutat...

I'd like to write a pass that does both: implements a code transformation *and *saves information that can be accessed by subsequent passes. If such a pass is not an Analysis pass and that therefore subsequent passes are not supposed to use getAnalysis() to extract the information from that pass... what is the right way to do this? Right now I am using getAnalysis to get the information from the non-analysis (transformation) pass. It works, but now it sounds like tha...

On Jul 25, 2008, at 10:56 AM, Marc de Kruijf wrote: > Could somebody please explain exactly what an "analysis pass" is? > I've spent some time trying to understand this and I just don't get > it. Right now my understanding is the following: if a pass is an > "analysis" pass, the "print" function is called when giving the "- > analyze" switch...

On 3/29/12 3:59 PM, Victor Campos wrote: > Dear LLVMers, > > I have been working on Douglas's range analysis, and today, after > toiling with it for two years, we have a very mature and robust > implementation, which is publicly available at > http://code.google.com/p/range-analysis/. We can, at this point, > perform range analysis on very large benchmarks in a few seconds. To > give you an...

...13 at 3:43 PM, Chris Lattner <clattner at apple.com> wrote: > > On Oct 17, 2013, at 5:20 PM, lian li <lianli at gmail.com> wrote: > > Hi All, > > This is Lian Li from Oracle Labs in Brisbane Australia. > > We have developed a precise and highly efficient pointer analysis > framework on top of LLVM, The approach is flow, context, and field > sensitive, details are described in the two papers below: > > "Boosting the performance of flow-sensitive points-to analysis using > value flow" (in ESEC-FSE 2011), and > "Precise and scalable c...