Displaying 5 results from an estimated 5 matches for "pracftic".
Did you mean:
pracftice
2016 Mar 26
2
Existing studies on the benefits of pointer analysis
...ing 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".
(This is actually why i'm a fan of CFL-AA. You can essentially make it as
expensive or not expensive as you want, and it still does really well in
pracftice in time)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160325/a8173694/attachment.html>
2016 Mar 26
0
Existing studies on the benefits of pointer analysis
...tivation of my current research: how can various
precision dimensions of a pointer analysis be effectively driven by its
client.
> (This is actually why i'm a fan of CFL-AA. You can essentially make it
> as expensive or not expensive as you want, and it still does really
> well in pracftice in time)
>
Again, "making it as expensive or not expensive as you want" is not
something unique about cfl-aa. With the right tweak one can also do it
with a traditional solver. The real interesting question here is how to
find out what locations are most likely to matter and worth...
2016 Mar 26
1
Existing studies on the benefits of pointer analysis
...search: how can various
> precision dimensions of a pointer analysis be effectively driven by its
> client.
>
> > (This is actually why i'm a fan of CFL-AA. You can essentially make it
> > as expensive or not expensive as you want, and it still does really
> > well in pracftice in time)
> >
> Again, "making it as expensive or not expensive as you want" is not
> something unique about cfl-aa. With the right tweak one can also do it
> with a traditional solver. The real interesting question here is how to
> find out what locations are most likel...
2016 Mar 26
0
Existing studies on the benefits of pointer analysis
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
2016 Mar 21
6
Existing studies on the benefits of pointer analysis
Hi Daniel,
On 03/21/2016 11:05 AM, Daniel Berlin wrote:
>
>
> On Tue, Mar 15, 2016 at 1:37 PM, Jia Chen via llvm-dev
> <llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org>> wrote:
>
> Dear llvm devs,
>
> tl;dr: What prevents llvm from switching to a fancier pointer
> analysis?
>
>
> Nothing.
>
>
> Currently,