llvm-project

History

Rafael Espindola 103c2cfbbd Use dominates(Instruction, Use) in the verifier. This removes a bit of context from the verifier erros, but reduces code duplication in a fairly critical part of LLVM and makes dominates easier to test. llvm-svn: 157845		2012-06-01 21:56:26 +00:00
..
2002-04-13-RetTypes.ll	Land the long talked about "type system rewrite" patch. This	2011-07-09 17:41:24 +00:00
2002-11-05-GetelementptrPointers.ll	…
2004-05-21-SwitchConstantMismatch.ll	…
2006-07-11-StoreStruct.ll	…
2006-10-15-AddrLabel.ll	…
2006-12-12-IntrinsicDefine.ll	…
2007-12-21-InvokeParamAttrs.ll	…
2008-01-11-VarargAttrs.ll	…
2008-03-01-AllocaSized.ll	…
2008-08-22-MemCpyAlignment.ll	These tests used intrinsics with the wrong prototype. They weren't caught because	2012-05-27 19:35:41 +00:00
2008-11-15-RetVoid.ll	Land the long talked about "type system rewrite" patch. This	2011-07-09 17:41:24 +00:00
2009-05-29-InvokeResult1.ll	…
2009-05-29-InvokeResult2.ll	…
2009-05-29-InvokeResult3.ll	…
2010-08-07-PointerIntrinsic.ll	…
AmbiguousPhi.ll	…
PhiGrouping.ll	…
README.txt	…
SelfReferential.ll	…
aliasing-chain.ll	…
byval-1.ll	…
byval-4.ll	…
cttz-undef-arg.ll	Teach the verifier to reject all non-constant arguments to the second	2011-12-12 04:36:02 +00:00
dominates.ll	Use dominates(Instruction, Use) in the verifier.	2012-06-01 21:56:26 +00:00
fpmath.ll	Remove support for the special 'fast' value for fpmath accuracy for the moment.	2012-04-16 19:39:33 +00:00
gcread-ptrptr.ll	…
gcroot-alloca.ll	…
gcroot-meta.ll	…
gcroot-ptrptr.ll	…
gcwrite-ptrptr.ll	…
invoke-1.ll	…
invoke-2.ll	…
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	Fix typos noticed by Benjamin Kramer.	2012-05-31 16:04:26 +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.