summaryrefslogtreecommitdiffstats
path: root/llvm/lib/IR/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* Special case aliases in GlobalValue::getAlignment.Rafael Espindola2014-05-061-1/+0
* Aliases are always definitions. Delete dead code.Rafael Espindola2014-05-021-6/+2
* IR: Conservatively verify inalloca argumentsDavid Majnemer2014-04-301-0/+10
* Add 'musttail' marker to call instructionsReid Kleckner2014-04-241-0/+89
* verify-di: Add back braces for MSVC compatabilityDuncan P. N. Exon Smith2014-04-151-5/+12
* verify-di: Implement DebugInfoVerifierDuncan P. N. Exon Smith2014-04-151-49/+92
* verify-di: split out VerifierSupportDuncan P. N. Exon Smith2014-04-151-57/+62
* [C++11] More 'nullptr' conversion or in some cases just using a boolean check...Craig Topper2014-04-091-17/+19
* Verifier: Give the right message for bad atomic loadsDuncan P. N. Exon Smith2014-04-081-2/+2
* Invert the option to enable debug info verification. No functionalEric Christopher2014-04-071-8/+7
* Intrinsics: add LLVMHalfElementsVectorType constraintTim Northover2014-03-291-0/+6
* Intrinsics: expand semantics of LLVMExtendedVectorType (& trunc)Tim Northover2014-03-281-10/+27
* Prevent alias from pointing to weak aliases.Rafael Espindola2014-03-271-3/+7
* Revert "Prevent alias from pointing to weak aliases."Rafael Espindola2014-03-261-7/+3
* Prevent alias from pointing to weak aliases.Rafael Espindola2014-03-261-3/+7
* [C++11] Change DebugInfoFinder to use range-based loopsAlon Mishne2014-03-181-16/+15
* Reject alias to undefined symbols in the verifier.Rafael Espindola2014-03-121-0/+1
* Avoid repeated calls to CE->getOperand(0). No functionality change.Rafael Espindola2014-03-121-9/+10
* IR: add a second ordering operand to cmpxhg for failureTim Northover2014-03-111-2/+15
* IR: Slightly more verbose error in VerifierJustin Bogner2014-03-101-2/+4
* [C++11] Fix break due to MSVC bug.Ahmed Charles2014-03-091-1/+2
* [C++11] Add range based accessors for the Use-Def chain of a Value.Chandler Carruth2014-03-091-7/+5
* [Layering] Move InstVisitor.h into the IR library as it is prettyChandler Carruth2014-03-061-1/+1
* [Layering] Move DebugInfo.h into the IR library where its implementationChandler Carruth2014-03-061-1/+1
* [C++11] Add 'override' keyword to IR library.Craig Topper2014-03-051-3/+3
* [Modules] Move the ConstantRange class into the IR library. This isChandler Carruth2014-03-041-1/+1
* [Modules] Move CFG.h to the IR library as it defines graph traits overChandler Carruth2014-03-041-1/+1
* [Modules] Move CallSite into the IR library where it belogs. It isChandler Carruth2014-03-041-1/+1
* Check that GlobalAliases don't have section or alignment.Rafael Espindola2014-02-131-0/+2
* [PM] Wire up the Verifier for the new pass manager and connect it to theChandler Carruth2014-01-201-9/+22
* [PM] Make the verifier work independently of any pass manager.Chandler Carruth2014-01-191-150/+149
* [PM] [cleanup] Rename some of the Verifier's members, re-arrange them,Chandler Carruth2014-01-171-273/+269
* [PM] Remove the preverifier and directly compute the DominatorTree forChandler Carruth2014-01-171-53/+27
* Change inalloca rules to make it only apply to the last parameterReid Kleckner2014-01-161-24/+9
* Decouple dllexport/dllimport from linkageNico Rieck2014-01-141-9/+13
* Revert "Decouple dllexport/dllimport from linkage"Nico Rieck2014-01-141-13/+9
* Decouple dllexport/dllimport from linkageNico Rieck2014-01-141-9/+13
* [PM] Split DominatorTree into a concrete analysis result object whichChandler Carruth2014-01-131-3/+3
* [cleanup] Move the Dominators.h and Verifier.h headers into the IRChandler Carruth2014-01-131-2/+2
* Put the functionality for printing a value to a raw_ostream as anChandler Carruth2014-01-091-3/+2
* Move the LLVM IR asm writer header files into the IR directory, as theyChandler Carruth2014-01-071-1/+1
* Allow addrspacecast in global aliasesMatt Arsenault2014-01-021-1/+3
* Begin adding docs and IR-level support for the inalloca attributeReid Kleckner2013-12-191-25/+53
* Fix the segfault reported in PR 11990.Kaelyn Uhrain2013-12-071-1/+2
* The 'optnone' attribute means don't inline anything into this functionPaul Robinson2013-11-181-3/+3
* Debug Info Verifier: disable it by default.Manman Ren2013-11-181-1/+1
* Debug Info Verifier: fix when to find debug info nodes and when to verify them.Manman Ren2013-11-171-5/+11
* Debug Info Verifier: enable public functions of Finder to update the type map.Manman Ren2013-11-171-3/+3
* Debug Info Verifier: remove un-used argument in verifyDebugInfo.Manman Ren2013-11-161-3/+3
* Add addrspacecast instruction.Matt Arsenault2013-11-151-5/+20
OpenPOWER on IntegriCloud