summaryrefslogtreecommitdiff
path: root/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAge
* Rename some GC classes so that their roll will hopefully be clearer.Gordon Henriksen2008-08-17
* Improve support for vector casts in LLVM IR and CodeGen.Dan Gohman2008-08-14
* Add read/write support for X86's sseregparm.Dale Johannesen2008-08-13
* Fix the AsmWriter to not print extra spaces after parameter attributes.Dan Gohman2008-08-05
* Added support for overloading intrinsics (atomics) based on pointersMon P Wang2008-07-30
* Add vector shifts to the IR, patch by Eli Friedman.Nate Begeman2008-07-29
* Allow verifier to be run on partially materialized modules.Nate Begeman2008-07-25
* Enable first-class aggregates support.Dan Gohman2008-07-23
* verify limits-fndefn.c from the GCC testsuite before theChris Lattner2008-07-18
* Use const_cast instead of a C-style cast.Dan Gohman2008-06-24
* Re-apply 52002, allowing the verifier to accept non-MRV struct returnDan Gohman2008-06-09
* Wrap MVT::ValueType in a struct to get type safetyDuncan Sands2008-06-06
* Revert 52002.Dan Gohman2008-06-05
* Change the Verifier to support returning first class aggregrates.Matthijs Kooijman2008-06-05
* IR support for extractvalue and insertvalue instructions. Also, beginDan Gohman2008-05-15
* Make PreVerifyID, IntSigsEnd, and KillSigsEnd const.Dan Gohman2008-05-14
* Change class' public PassInfo variables to by initialized with theDan Gohman2008-05-13
* Clean up the use of static and anonymous namespaces. This turned upDan Gohman2008-05-13
* Check for validity of aliasee pointer before dereference.Anton Korobeynikov2008-05-08
* Turn StripPointerCast() into a methodAnton Korobeynikov2008-05-07
* Make StripPointerCast a common function (should we mak it method of Value ins...Anton Korobeynikov2008-05-06
* Remove 'unwinds to' support from mainline. This patch undoes r47802 r47989Nick Lewycky2008-04-25
* tighten up verifier checks which missed cases whereChris Lattner2008-04-23
* Verify that the operand of a getresult instruction is a Chris Lattner2008-04-23
* Make sure that intrinsics automagically get theDuncan Sands2008-04-07
* Update example to new syntax.Nick Lewycky2008-03-28
* Add explicit keywords.Dan Gohman2008-03-25
* Fix merge errorAnton Korobeynikov2008-03-22
* Add testcase for prev. commit. Minor fixesAnton Korobeynikov2008-03-22
* Aliasing chains cleanups: update langref, add check into verifierAnton Korobeynikov2008-03-22
* Reimplement the parameter attributes support, phase #1. hilights:Chris Lattner2008-03-12
* Check struct return type first. Devang Patel2008-03-05
* s/isReturnStruct()/hasStructRetAttr()/gDevang Patel2008-03-03
* If a function uses multive values in ret instruction then itDevang Patel2008-03-03
* Fix PR2113 by verifying allocations.Chris Lattner2008-03-01
* Add assert to check return type.Devang Patel2008-02-26
* To support multiple return values, now ret instruction supports multiple oper...Devang Patel2008-02-23
* Split ParameterAttributes.h, putting the complicatedDale Johannesen2008-02-22
* Use isa<> instead of getTypeID() to check StructType.Devang Patel2008-02-21
* Let invoke return aggregate value.Devang Patel2008-02-21
* Let function call return aggregate.Devang Patel2008-02-21
* What if functions can return aggregate values ?Devang Patel2008-02-20
* Verifier should use Assert1 instead of assert.Devang Patel2008-02-20
* Use isValidOperands() to verify GetResultInst.Devang Patel2008-02-20
* Add GetResultInst. First step for multiple return value support.Devang Patel2008-02-19
* Expand ParameterAttributes to 32 bits (in preparationDale Johannesen2008-02-19
* check that terminators only occur at the end of a block. This catches theChris Lattner2008-02-09
* Be more liberal in what parameter attributes areDuncan Sands2008-01-12
* Do not allow attributes beyond a function's lastDuncan Sands2008-01-11
* Allow parameter attributes on varargs function parameters.Evan Cheng2008-01-11