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 <