Displaying 5 results from an estimated 5 matches for "pr1604".
2012 Mar 31
2
[LLVMdev] GSoC 2012 Ideas - Alias Analysis
...u have
interest on any of them.
My first idea is to improve LLVM's existing alias analysis
infrastructure. I saw on the open projects page that there are a
couple of things that need to be done on LLVM's Pointer and Alias
Analysis[1]. However, some things seem to be solved
(http://llvm.org/PR1604 and http://llvm.org/PR452) and it made me a
little confused because I don't know exactly what should be addressed
by a possible proposal.
My second idea is to implement a pointer analysis algorithm in LLVM
using Value Flow Graph, as described by the paper "Boosting the
Performance of Flow...
2012 Apr 02
0
[LLVMdev] GSoC 2012 Ideas - Alias Analysis
...m.
>
> My first idea is to improve LLVM's existing alias analysis
> infrastructure. I saw on the open projects page that there are a
> couple of things that need to be done on LLVM's Pointer and Alias
> Analysis[1]. However, some things seem to be solved
> (http://llvm.org/PR1604 and http://llvm.org/PR452) and it made me a
> little confused because I don't know exactly what should be addressed
> by a possible proposal.
>
> My second idea is to implement a pointer analysis algorithm in LLVM
> using Value Flow Graph, as described by the paper "Boosting...
2008 Mar 01
0
[LLVMdev] Google Summer of Code Idea
...s, revolving around use of better alias
analysis:
1. The alias analysis API supports the getModRefBehavior method, which
allows the implementation to give details analysis of the functions.
For example, we could implement full knowledge of printf/scanf side
effects, which would be useful (PR1604).
2. We need some way to reason about errno. Consider a loop like this:
for ()
x += sqrt(loopinvariant);
We'd like to transform this into:
t = sqrt(loopinvariant);
for ()
x += t;
This transformation is safe, because the value of errno isn't
other...
2012 Apr 02
1
[LLVMdev] GSoC 2012 Ideas - Alias Analysis
...first idea is to improve LLVM's existing alias analysis
>> infrastructure. I saw on the open projects page that there are a
>> couple of things that need to be done on LLVM's Pointer and Alias
>> Analysis[1]. However, some things seem to be solved
>> (http://llvm.org/PR1604 and http://llvm.org/PR452) and it made me a
>> little confused because I don't know exactly what should be addressed
>> by a possible proposal.
>>
>> My second idea is to implement a pointer analysis algorithm in LLVM
>> using Value Flow Graph, as described by the...
2008 Mar 01
2
[LLVMdev] Google Summer of Code Idea
> Ok. I think the most important thing to keep in mind, if you want
> this to be useful for LLVM, is for it to be sound in the presence of
> incomplete programs. I think it would be very interesting to have a
> BDD based analysis in LLVM, it would be useful for performance
> comparisons and many other things, even if it isn't turned on by
> default. However, it must