search for: jchen

...;, "George Burgess IV" > <george.burgess.iv at gmail.com <mailto:george.burgess.iv at gmail.com>> > *Cc: *"llvm-dev" <llvm-dev at lists.llvm.org > <mailto:llvm-dev at lists.llvm.org>>, "Jia Chen" > <jchen at cs.utexas.edu <mailto:jchen at cs.utexas.edu>> > *Sent: *Monday, March 21, 2016 2:07:44 PM > *Subject: *Re: [llvm-dev] Existing studies on the benefits of > pointer analysis > > > > On Mon, Mar 21, 2016 at 12:05 PM, Renato Golin >...

...erlin via llvm-dev" <llvm-dev at lists.llvm.org> > To: "Renato Golin" <renato.golin at linaro.org>, "George Burgess IV" > <george.burgess.iv at gmail.com> > Cc: "llvm-dev" <llvm-dev at lists.llvm.org>, "Jia Chen" > <jchen at cs.utexas.edu> > Sent: Monday, March 21, 2016 2:07:44 PM > Subject: Re: [llvm-dev] Existing studies on the benefits of pointer > analysis > On Mon, Mar 21, 2016 at 12:05 PM, Renato Golin < > renato.golin at linaro.org > wrote: > > On 21 March 2016 at 18:59, Daniel...

...Burgess IV" <george.burgess.iv at gmail.com >> <mailto:george.burgess.iv at gmail.com>> >> *Cc: *"llvm-dev" <llvm-dev at lists.llvm.org >> <mailto:llvm-dev at lists.llvm.org>>, "Jia Chen" >> <jchen at cs.utexas.edu <mailto:jchen at cs.utexas.edu>> >> *Sent: *Monday, March 21, 2016 2:07:44 PM >> *Subject: *Re: [llvm-dev] Existing studies on the benefits of >> pointer analysis >> >> >> >> On Mon, Mar 21, 2016 at...

...via llvm-dev" <llvm-dev at lists.llvm.org> > *To: *"Renato Golin" <renato.golin at linaro.org>, "George Burgess IV" < > george.burgess.iv at gmail.com> > *Cc: *"llvm-dev" <llvm-dev at lists.llvm.org>, "Jia Chen" < > jchen at cs.utexas.edu> > *Sent: *Monday, March 21, 2016 2:07:44 PM > *Subject: *Re: [llvm-dev] Existing studies on the benefits of pointer > analysis > > > > On Mon, Mar 21, 2016 at 12:05 PM, Renato Golin <renato.golin at linaro.org> > wrote: > >> On 21 March 20...

Hi David, I am the one who's responsible for CFLAA's refactoring in the summer. I've sent out another email on llvm-dev, and you can find more about my work in my GSoC final report. I think it is fantastic that you have done such an interesting work. I'll definitely try to help getting the code reviewed and merged in the current. After a quick glance at your patch, it seems

...tors George and Hal for the providing me with so much support and guidance. Please let me know if you have any comments or suggestions. [1] http://lists.llvm.org/pipermail/llvm-dev/2016-March/096851.html -- Best Regards, -- Jia Chen Department of Computer Science University of Texas at Austin jchen at cs.utexas.edu -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160511/4dd6b6ef/attachment-0001.html>

...vm-dev > > -- > Geoff Berry > Employee of Qualcomm Innovation Center, Inc. > Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, a Linux Foundation Collaborative Project > -- Best Regards, -- Jia Chen Department of Computer Science University of Texas at Austin jchen at cs.utexas.edu

...suggestions. >>> >>> [1] http://lists.llvm.org/pipermail/llvm-dev/2016-March/096851.html >>> >>> -- >>> Best Regards, >>> >>> -- >>> Jia Chen >>> Department of Computer Science >>> University of Texas at Austinjchen at cs.utexas.edu >>> >>> >>> _______________________________________________ >>> LLVM Developers mailing list >>> llvm-dev at lists.llvm.org >>> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev >>> >>> >> >>...

Dear LLVM devs, My GSoC project this year is about alias analysis, and I wrote a short article describing what I've done during the summer: https://github.com/grievejia/GSoC2016/raw/master/writeup.pdf In the report you can find an overview of what the current status of CFL-AA. There are also some numbers in the end, but please take those numbers with a grain of salt as they were rather

On 03/25/2016 08:26 PM, Daniel Berlin wrote: > > Yeah. > It depends entirely on your goal. In reality, often what you really > want is something to say "hey, i've got this pointer over here, and i > really want to hoist it up here. Do something, tell me if that is > possible". > And this is one motivation of my current research: how can various precision

...don't. The other problem you mention is, IMHO, not actually as interesting. We already have traditional methods (value profiling, etc) of knowing which things matter. Static prediction of this has a long history of over promise and under delivery. On Fri, Mar 25, 2016, 9:20 PM Jia Chen <jchen at cs.utexas.edu> wrote: > On 03/25/2016 08:26 PM, Daniel Berlin wrote: > > > > Yeah. > > It depends entirely on your goal. In reality, often what you really > > want is something to say "hey, i've got this pointer over here, and i > > really want to ho...

> > > > I’m still a big fan of context sensitive, flow insensitive, unification > based models. > CFL can emulate this in the same time bound. > Contrary to your claim, context sensitivity *is* useful for mod-ref > analysis, e.g. “can I hoist a load across this call”? Context sensitivity > improves the precision of the mod/ref set of the call. > > -Chris >

> On Mar 25, 2016, at 9:04 PM, Jia Chen <jchen at cs.utexas.edu> wrote: > > On 03/25/2016 08:08 PM, Chris Lattner wrote: >> I’m still a big fan of context sensitive, flow insensitive, unification based models. > > Interestingly I find the unification approach quite unsatisfactory sometime. What happens there is pointers...

On 21 March 2016 at 18:59, Daniel Berlin <dberlin at dberlin.org> wrote: > Which is why i've never mentioned it or used it in the community ;) Makes sense. :) > I would rather see someone spend their time getting SCEV-AA on by default or > CFL-AA on by default than doing another evaluation. But those may not be simple enough for a GSOC, that's why I mentioned it. The

Alright, I give up. I'm going to go out in the parking lot and scream. Over the years I have built many, many versions of Samba on many versions of BSD[386,OS] and other unixen. I have never, ever had trouble like this (except, of course, with Irix). Never with a BSD. 4.2 ships with Samba 2.0.6 (why? -- 2.0.7 was released last April). I've been running 2.0.7 on a DEC Alpha running OSF

...now if you have any comments or > suggestions. > > [1] http://lists.llvm.org/pipermail/llvm-dev/2016-March/096851.html > > -- > Best Regards, > > -- > Jia Chen > Department of Computer Science > University of Texas at Austin > jchen at cs.utexas.edu <mailto:jchen at cs.utexas.edu> > > > _______________________________________________ > LLVM Developers mailing list > llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org> > http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-...

On 03/25/2016 08:08 PM, Chris Lattner wrote: > I’m still a big fan of context sensitive, flow insensitive, > unification based models. Interestingly I find the unification approach quite unsatisfactory sometime. What happens there is pointers with the same "depth" are too often clobbered together unless they are really unrelated to each other. > Contrary to your claim,

> You can solve andersens and steengaards and everything else using > standard dataflow solvers, and that's an implementation strategy, but > it will be really slow. > > Part of the tradeoff is how fast something runs, and approaches that > are orders of magnitude faster often change the calculus of what > people do. For example, before hardekopf's work, andersens

Hello everyone, If you've read through my previous introduction email (http://lists.llvm.org/pipermail/llvm-dev/2016-May/099573.html), you can safely ignore this message. The short story is: CFL-AA does not seem to be broken anymore. Please try it out and help us find more bugs / performance issues if switching to it in the future sounds interesting to you. Here are more backgrounds: I

> 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