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

[Bill Wendling]

On Jul 17, 2008, at 10:23 PM, Chris Lattner wrote:

> Author: lattner
> Date: Fri Jul 18 00:23:39 2008
> New Revision: 53749
>
> URL: http://llvm.org/viewvc/llvm-project?rev=53749&view=rev
> Log:
> verify limits-fndefn.c from the GCC testsuite before the
> heat death of the universe, fixing an O(N^2) problem in the
> size of a basic block.
>
It's not known if Hubble's constant is -1, 0, or 1. So it's premature  
to assume that there will be a "heat death" of the universe. There  
could be a big crunch.

:-P

-bw

> Modified:
>    llvm/trunk/lib/VMCore/Verifier.cpp
>
> Modified: llvm/trunk/lib/VMCore/Verifier.cpp
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/VMCore/Verifier.cpp?rev=53749&r1=53748&r2=53749&view=diff
>
> = 
> = 
> = 
> = 
> = 
> = 
> = 
> = 
> ======================================================================
> --- llvm/trunk/lib/VMCore/Verifier.cpp (original)
> +++ llvm/trunk/lib/VMCore/Verifier.cpp Fri Jul 18 00:23:39 2008
> @@ -1239,7 +1239,7 @@
>         }
>
>         // Definition must dominate use unless use is unreachable!
> -        Assert2(DT->dominates(Op, &I) ||
> +        Assert2(InstsInThisBlock.count(Op) || DT->dominates(Op, &I)  
> ||
>                 !DT->dominates(&BB->getParent()->getEntryBlock(), BB),
>                 "Instruction does not dominate all uses!", Op, &I);
>       } else {
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits