aboutsummaryrefslogtreecommitdiffstats
path: root/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* Make PreVerifyID, IntSigsEnd, and KillSigsEnd const.Dan Gohman2008-05-141-1/+1
* Change class' public PassInfo variables to by initialized with theDan Gohman2008-05-131-1/+1
* Clean up the use of static and anonymous namespaces. This turned upDan Gohman2008-05-131-6/+8
* Check for validity of aliasee pointer before dereference.Anton Korobeynikov2008-05-081-1/+3
* Turn StripPointerCast() into a methodAnton Korobeynikov2008-05-071-2/+2
* Make StripPointerCast a common function (should we mak it method of Value ins...Anton Korobeynikov2008-05-061-3/+2
* Remove 'unwinds to' support from mainline. This patch undoes r47802 r47989Nick Lewycky2008-04-251-6/+0
* tighten up verifier checks which missed cases whereChris Lattner2008-04-231-8/+9
* Verify that the operand of a getresult instruction is a Chris Lattner2008-04-231-1/+7
* Make sure that intrinsics automagically get theDuncan Sands2008-04-071-0/+4
* Update example to new syntax.Nick Lewycky2008-03-281-2/+8
* Add explicit keywords.Dan Gohman2008-03-251-3/+3
* Fix merge errorAnton Korobeynikov2008-03-221-1/+0
* Add testcase for prev. commit. Minor fixesAnton Korobeynikov2008-03-221-2/+2
* Aliasing chains cleanups: update langref, add check into verifierAnton Korobeynikov2008-03-221-1/+6
* Reimplement the parameter attributes support, phase #1. hilights:Chris Lattner2008-03-121-53/+72
* Check struct return type first. Devang Patel2008-03-051-6/+7
* s/isReturnStruct()/hasStructRetAttr()/gDevang Patel2008-03-031-0/+3
* If a function uses multive values in ret instruction then itDevang Patel2008-03-031-3/+0
* Fix PR2113 by verifying allocations.Chris Lattner2008-03-011-3/+6
* Add assert to check return type.Devang Patel2008-02-261-5/+5
* To support multiple return values, now ret instruction supports multiple oper...Devang Patel2008-02-231-2/+10
* Split ParameterAttributes.h, putting the complicatedDale Johannesen2008-02-221-1/+1
* Use isa<> instead of getTypeID() to check StructType.Devang Patel2008-02-211-6/+5
* Let invoke return aggregate value.Devang Patel2008-02-211-2/+3
* Let function call return aggregate.Devang Patel2008-02-211-6/+20
* What if functions can return aggregate values ?Devang Patel2008-02-201-2/+5
* Verifier should use Assert1 instead of assert.Devang Patel2008-02-201-2/+2
* Use isValidOperands() to verify GetResultInst.Devang Patel2008-02-201-1/+2
* Add GetResultInst. First step for multiple return value support.Devang Patel2008-02-191-0/+6
* Expand ParameterAttributes to 32 bits (in preparationDale Johannesen2008-02-191-11/+11
* check that terminators only occur at the end of a block. This catches theChris Lattner2008-02-091-0/+5
* Be more liberal in what parameter attributes areDuncan Sands2008-01-121-31/+45
* Do not allow attributes beyond a function's lastDuncan Sands2008-01-111-7/+25
* Allow parameter attributes on varargs function parameters.Evan Cheng2008-01-111-4/+3
* Small cleanup for handling of type/parameter attributeDuncan Sands2008-01-071-4/+4
* The transform that tries to turn calls to bitcast functions intoDuncan Sands2008-01-061-16/+4
* Remove attribution from file headers, per discussion on llvmdev.Chris Lattner2007-12-291-2/+2
* Noting and enforcing that GC intrinsics are valid only within aGordon Henriksen2007-12-251-28/+36
* Adjusting verification of "llvm.gc*" intrinsic prototypes to matchGordon Henriksen2007-12-251-26/+33
* Get the verifier to check attributes on calls as wellDuncan Sands2007-12-211-74/+97
* Make invokes of inline asm legal. Teach codegenDuncan Sands2007-12-171-1/+1
* Change the PointerType api for creating pointer types. The old functionality ...Christopher Lamb2007-12-171-2/+2
* Make it clear in the LangRef that allocation instructions only operated on th...Christopher Lamb2007-12-171-0/+8
* Check that there are not more attributes thanDuncan Sands2007-11-301-0/+4
* Fix PR1146: parameter attributes are longer part ofDuncan Sands2007-11-271-3/+3
* Fix PR1816. If a bitcast of a function only exists because of aDuncan Sands2007-11-251-30/+7
* Rename the 'const' parameter attribute to 'readnone',Duncan Sands2007-11-221-2/+2
* Add support for vectors to int <-> float casts.Nate Begeman2007-11-171-8/+40
* I discover array_lengthof, thanks to gabor on #llvm.Duncan Sands2007-11-141-2/+1