[llvm-commits] [llvm] r162023 - in /llvm/trunk: include/llvm/Analysis/Dominators.h lib/Transforms/Scalar/GVN.cpp lib/VMCore/Dominators.cpp test/Transforms/GVN/edge.ll

[Chris Lattner]

On Aug 16, 2012, at 8:09 AM, Rafael Espindola <rafael.espindola at gmail.com> wrote:

> Author: rafael
> Date: Thu Aug 16 10:09:43 2012
> New Revision: 162023
> 
> URL: http://llvm.org/viewvc/llvm-project?rev=162023&view=rev
> Log:
> Teach GVN to reason about edges dominating uses. This allows it to handle cases
> where some fact lake a=b dominates a use in a phi, but doesn't dominate the
> basic block itself.
> 
> This feature could also be implemented by splitting critical edges, but at least
> with the current algorithm reasoning about the dominance directly is faster.
> 
> The time for running "opt -O2" in the testcase in pr10584 is 1.003 times slower
> and on gcc as a single file it is 1.0007 times faster.

Nice!! Does this resolve the PR?

-Chris