[llvm-commits] [llvm] r85382 - in /llvm/trunk: include/llvm/LinkAllPasses.h include/llvm/Transforms/Scalar.h lib/Transforms/Scalar/ABCD.cpp

[Mike Stump]

On Oct 28, 2009, at 12:03 AM, Nick Lewycky wrote:
> +// constraint. By analyzing these constraints we can proof that a  
> branch is
> +// redundant. When a branch is proved redundant it means that

proof --> prove