search for: pr452

...hem. 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-sensitive Points-to Analy...

...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 F...

...things that we could do to better capture the effects of functions that access pointer arguments. This can be really important for C++ methods, which spend lots of time accessing pointers off 'this'. 5. There are lots of ways to optimize out and improve handling of memcpy/memset (PR452) 6. It would be excellent to replace loops with scalar stores in them into memset/memcpy calls. This dramatically speeds up programs like 'viterbi' in the testsuite. 7. There may still be some ideas in PR1373 left. -Chris

...VM'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 &...

> 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