4 Commits

Author	SHA1	Message	Date
Rafael Espindola	fccad41366	Assert that dominates is not given a multiple edge. Finding out if we have ... multiple edges between two blocks is linear. If the caller is iterating all edges leaving a BB that would be a square time algorithm. It is more efficient to have the callers handle that case. Currently the only callers are: * GVN: already avoids the multiple edge case. * Verifier: could only hit this assert when looking at an invalid invoke. Since it already rejects the invoke, just avoid computing the dominance for it. llvm-svn: 162113	2012-08-17 18:21:28 +00:00
Eli Friedman	449495cd62	The normal edge of an invoke is not allowed to branch to a block with a ... landingpad. Enforce it in the verifier, and fix the regression tests to match. llvm-svn: 161697	2012-08-10 20:55:20 +00:00
Chandler Carruth	d200829a4f	Convert the uses of '|&' to use '2>&1 |' instead, which works on old ... versions of Bash. In addition, I can back out the change to the lit built-in shell test runner to support this. This should fix the majority of fallout on Darwin, but I suspect there will be a few straggling issues. llvm-svn: 159544	2012-07-02 18:37:59 +00:00
Nuno Lopes	49279c51b6	make the verifier accept @llvm.donothing as the only intrinsic that can be invoked ... While at it, merge 2 tests and FileCheckize them llvm-svn: 159388	2012-06-28 22:57:00 +00:00