similar to: [LLVMdev] pointer alias

On Jan 2, 2012, at 9:42 PM, Jianzhou Zhao wrote: > Hi, > > Chapter 4 in http://llvm.org/pubs/2005-05-04-LattnerPHDThesis.html > compares the precision of alias analysis in LLVM at that time. Does > the latest LLVM still follow the similar results? I was also wondering > how the globalmodred-aa and scev-aa that were not discussed in the PhD > thesis are compared with others?

---------------------------- Original Message ---------------------------- Subject: [Fwd: Re: [Fwd: Regarding alias analysis pass]] From: netra at cse.iitb.ac.in Date: Sat, April 16, 2011 8:38 am To: -------------------------------------------------------------------------- Hi, Actually i wanted to study the kind of aliases recognized by basicaa pass. aa-eval only gives the # of aliases

On Tue, Jan 3, 2012 at 3:54 PM, Chris Lattner <clattner at apple.com> wrote: > > On Jan 2, 2012, at 9:42 PM, Jianzhou Zhao wrote: > >> Hi, >> >> Chapter 4 in http://llvm.org/pubs/2005-05-04-LattnerPHDThesis.html >> compares the precision of alias analysis in LLVM at that time. Does >> the latest LLVM still follow the similar results? I was also

Hi John, thanks for your feedback. I'll try to answer your comments 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

Dear All, I'm Gábor Borsik, a first-year M.S. student from Eötvös Loránd University, Budapest. I have learned about compilers in the university, and I really liked it. I am currently working on a clang-tidy checker witch detects poorly seeded random generators(https://reviews.llvm.org/D44143). After that, I would like to work on LLVM and I love to continue the project in GSoC. I mostly

Dear All, I'm Gábor Borsik, a first-year M.S. student from Eötvös Loránd University, Budapest. I have learned about compilers in the university, and I really liked it. I am currently working on a clang-tidy checker witch detects poorly seeded random generators(https://reviews.llvm.org/D44143). After that, I would like to work on LLVM and I love to continue the project in GSoC. I mostly

We recently found an issue when using the full restrict implementation developed by Jeroen; it surfaces when compiling an obscure combination of std::valarray and std::indirect_array but I don't want to bore you with all the details. What it boils down to is this basic question about restrict: Given one restrict pointer based on another, should they never alias? As far as I understand the

On 14 October 2013 19:31, Arnold Schwaighofer <aschwaighofer at apple.com>wrote: > Renato, can you post the c code for the function and the assembly that gcc > produces? > Attached. Your initial example could be well handled by vectorization of strided > loops (and the mentioning of VLD3(.8?)/VST3(.8?) lead me to assume that > this is what happened). But the LLVM-IR you

Thanks, Jeroen, that really helps. A follow-up question, if you don't mind. What if we have code somewhat similar to your example in assign3() but it's in C++ and the pointer derived from x is stored in a class member field: class S { public: S(int *d): data(d) {} int *getData() { return data; } private: int *__restrict__ data; }; void assign4(int *pA, long N) { int

Hello, LLVM's intrinsic overloading mechanism does not currently support overloading on pointer types. Patches to implement this would be welcome. Dan On May 7, 2008, at 9:25 AM, aditya vishnubhotla wrote: > Hi, > I tried creating intrinsics which are to be > placeholders for a set of instructions (actually a section of a > basic block) to be executed elsewhere(for e.g. in

I'm trying to fix that bug: https://llvm.org/bugs/show_bug.cgi?id=20049 It turns out this is the kind of optimization that I really need, as when it isn't done, all kind of other optimizations opportunities down the road are not realized as they are not exposed. I have no idea where to start digging for this. I assume there is some kind of interaction between memory dependency and alias

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

On Wed, Nov 4, 2009 at 4:51 AM, Hans Wennborg <hans at hanshq.net> wrote: > > > The reason is that it is unsure whether the null pointer which is passed in > the call to @foo may alias with %t. Obviously, a null pointer doesn't alias > with anything, because it's not legal to read or write through it (right?). I don't remember whether LLVM's language spec

On Mar 21, 2016, at 10:00 AM, Jia Chen via llvm-dev <llvm-dev at lists.llvm.org> wrote: >> >> So my question here is: what kind(s) of precision really justify the cost and what kinds do not? >> >> Depends entirely on your applications. >> >> Has anybody done any study in the past to evaluate what kinds of features in pointer analyses will benefit what

> It is merely a demand-driven way of implementing existing > analyses, by extending those algorithms to track additional > "pointed-to-by" information. Laziness may help with the running > time of the cfl analysis when only partial points-to info is > needed, but if the client wants to do a whole-program analysis and > require whole-program

On 01/04/2016 07:32 AM, Amaury SECHET wrote: > After a bit more investigation, it turns out that because %0 is stored > into %1 (after bitcast) and so %3 may have access to it and clobber it. Can you give a bit more context? I'm not sure which of the examples you're talking about. > > After a bit of thought, it is correct in the general case, but > definitively something

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

Hi, Chapter 4 in http://llvm.org/pubs/2005-05-04-LattnerPHDThesis.html compares the precision of alias analysis in LLVM at that time. Does the latest LLVM still follow the similar results? I was also wondering how the globalmodred-aa and scev-aa that were not discussed in the PhD thesis are compared with others? Thanks and Happy New Year! -- Jianzhou

On Mon, Mar 21, 2016 at 6:28 PM, Philip Reames via llvm-dev < llvm-dev at lists.llvm.org> wrote: > > > On 03/21/2016 08:56 AM, Jia Chen via llvm-dev wrote: > > Hi Christian, > > Thank you so much for the reply! Please see my comments inline. > > On 03/21/2016 09:32 AM, Christian Convey wrote: > > Hi Jia, > > If one looks at existing research

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