summaryrefslogtreecommitdiffstats
path: root/llvm/lib/IR/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* Revert "[C++11] Add predecessors(BasicBlock *) / successors(BasicBlock *) ite...Duncan P. N. Exon Smith2014-07-211-2/+2
* [C++11] Add predecessors(BasicBlock *) / successors(BasicBlock *) iterator ra...Manuel Jacob2014-07-201-2/+2
* Document the maximum LLVM IR alignment, which is 1 << 29 or 0.5 GiBReid Kleckner2014-07-151-0/+8
* IR: Allow comdats to be applied to globals with internal linkageDavid Majnemer2014-07-131-4/+3
* Verifier: Update assert message to reflect LangRefDavid Majnemer2014-06-281-1/+3
* IR: Add COMDATs to the IRDavid Majnemer2014-06-271-0/+33
* [ValueTracking] Extend range metadata to call/invokeJingyue Wu2014-06-191-1/+2
* Fix verifier for GlobalAliases to avoid recursing into global initializers.Bob Wilson2014-06-121-0/+4
* Allow aliases to be unnamed_addr.Rafael Espindola2014-06-061-1/+0
* Add a new attribute called 'jumptable' that creates jump-instruction tables f...Tom Roeder2014-06-051-1/+10
* Clauses in a landingpad are always Constant. Use a stricter type.Rafael Espindola2014-06-041-2/+1
* Allow alias to point to an arbitrary ConstantExpr.Rafael Espindola2014-06-031-22/+41
* Use existing helper function.Rafael Espindola2014-05-261-8/+1
* Add comdat key field to llvm.global_ctors and llvm.global_dtorsReid Kleckner2014-05-161-2/+10
* Fix most of PR10367.Rafael Espindola2014-05-161-6/+0
* musttail: Fix the verification of alignment attributesReid Kleckner2014-05-151-11/+16
* Allow sret on the second parameter as well as the firstReid Kleckner2014-05-091-2/+7
* Special case aliases in GlobalValue::getSection.Rafael Espindola2014-05-061-1/+0
* 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
OpenPOWER on IntegriCloud