[llvm-commits] [llvm] r166157 - /llvm/trunk/lib/VMCore/Verifier.cpp

[Chris Lattner]

On Oct 18, 2012, at 8:04 AM, Rafael Espíndola <rafael.espindola at gmail.com> wrote:
>> Oh. I didn't know that LLVM defines things in a non-standard way.
> 
> It is very standard actually. A dominates B if all execution paths
> that reach B pass through A. In this case, all the 0 paths that reach
> B pass through A.

This is also the only reasonable way to define dominance and SSA.  If not, things like trivial copy propagation are potentially really complicated and expensive.

-Chris