search for: necula

Displaying 2 results from an estimated 2 matches for "necula".

Did you mean: nebula
2016 May 04
2
GVN pass: does global value numbering remove duplicate computations in loops?
...Target: x86_64-apple-darwin13.4.0 Thread model: posix $ /usr/local/opt/llvm/bin/opt --version LLVM (http://llvm.org/): LLVM version 3.6.2 Optimized build. Built Apr 10 2016 (02:50:09). Default target: x86_64-apple-darwin13.4.0 Host CPU: core-avx2 Thanks, Amos Robinson [1]: Gulwani & Necula: A Polynomial-Time Algorithm for Global Value Numbering http://www.eecs.berkeley.edu/~necula/Papers/gvndet-journal06.pdf [2]: Example code and assembly output https://gist.github.com/amosr/06938ee5becaf5249de5634499bc1add -------------- next part -------------- An HTML attachment was scrubbed... U...
2016 Jul 01
2
Path condition propagation
The current gvn equality propagation is not powerful enough to get this because it doesn't try to infer values in predicates based on other predicates, so it never realizes a>b -> a !=b in a useful way. It otherwise would get this On Thu, Jun 30, 2016, 7:41 PM Sean Silva <chisophugis at gmail.com> wrote: > On Thu, Jun 30, 2016 at 6:45 PM, Daniel Berlin via llvm-dev <