llvm-project

History

Rafael Espindola 9a16735e22 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
..
2002-04-13-RetTypes.ll	Fix a typo (the the => the)	2012-07-23 08:51:15 +00:00
2002-11-05-GetelementptrPointers.ll	Convert the uses of '\|&' to use '2>&1 \|' instead, which works on old	2012-07-02 18:37:59 +00:00
2004-05-21-SwitchConstantMismatch.ll	…
2006-07-11-StoreStruct.ll	Fix the remaining TCL-style quotes found in the testsuite. This is	2012-07-02 19:09:46 +00:00
2006-10-15-AddrLabel.ll	Make tests which first provide a negative assertion via 'not', then	2012-07-02 12:23:19 +00:00
2006-12-12-IntrinsicDefine.ll	Convert the uses of '\|&' to use '2>&1 \|' instead, which works on old	2012-07-02 18:37:59 +00:00
2007-12-21-InvokeParamAttrs.ll	…
2008-01-11-VarargAttrs.ll	…
2008-03-01-AllocaSized.ll	Convert the uses of '\|&' to use '2>&1 \|' instead, which works on old	2012-07-02 18:37:59 +00:00
2008-08-22-MemCpyAlignment.ll	Convert the uses of '\|&' to use '2>&1 \|' instead, which works on old	2012-07-02 18:37:59 +00:00
2008-11-15-RetVoid.ll	Convert the uses of '\|&' to use '2>&1 \|' instead, which works on old	2012-07-02 18:37:59 +00:00
2009-05-29-InvokeResult1.ll	…
2009-05-29-InvokeResult2.ll	…
2009-05-29-InvokeResult3.ll	…
2010-08-07-PointerIntrinsic.ll	Convert all tests using TCL-style quoting to use shell-style quoting.	2012-07-02 12:47:22 +00:00
AmbiguousPhi.ll	Convert the uses of '\|&' to use '2>&1 \|' instead, which works on old	2012-07-02 18:37:59 +00:00
PhiGrouping.ll	Convert the uses of '\|&' to use '2>&1 \|' instead, which works on old	2012-07-02 18:37:59 +00:00
README.txt	…
SelfReferential.ll	Convert the uses of '\|&' to use '2>&1 \|' instead, which works on old	2012-07-02 18:37:59 +00:00
aliasing-chain.ll	Convert the uses of '\|&' to use '2>&1 \|' instead, which works on old	2012-07-02 18:37:59 +00:00
byval-1.ll	…
byval-4.ll	…
cttz-undef-arg.ll	Convert the uses of '\|&' to use '2>&1 \|' instead, which works on old	2012-07-02 18:37:59 +00:00
dominates.ll	Convert the uses of '\|&' to use '2>&1 \|' instead, which works on old	2012-07-02 18:37:59 +00:00
fpmath.ll	Convert the uses of '\|&' to use '2>&1 \|' instead, which works on old	2012-07-02 18:37:59 +00:00
gcread-ptrptr.ll	…
gcroot-alloca.ll	…
gcroot-meta.ll	…
gcroot-ptrptr.ll	…
gcwrite-ptrptr.ll	…
invoke.ll	Assert that dominates is not given a multiple edge. Finding out if we have	2012-08-17 18:21:28 +00:00
lit.local.cfg	Replace all instances of dg.exp file with lit.local.cfg, since all tests are run with LIT now and now Dejagnu. dg.exp is no longer needed.	2012-02-16 06:28:33 +00:00
range-1.ll	Convert the uses of '\|&' to use '2>&1 \|' instead, which works on old	2012-07-02 18:37:59 +00:00
range-2.ll	Require intervals in the range metadata to be in a canonical form: They must	2012-05-31 13:45:46 +00:00

README.txt

This directory contains testcases that the verifier is supposed to detect as
malformed LLVM code.  Testcases for situations that the verifier incorrectly
identifies as malformed should go in the test/Assembler directory.