[llvm-commits] [llvm] r53749 - /llvm/trunk/lib/VMCore/Verifier.cpp
Bill Wendling
isanbard at gmail.com
Fri Jul 18 02:25:18 PDT 2008
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
More information about the llvm-commits
mailing list