summaryrefslogtreecommitdiffstats
path: root/llvm/lib/IR/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* [IR] Remove the DIExpression field from DIGlobalVariable.Adrian Prantl2016-12-161-5/+20
* Revert "[IR] Remove the DIExpression field from DIGlobalVariable."Adrian Prantl2016-12-161-21/+5
* [IR] Remove the DIExpression field from DIGlobalVariable.Adrian Prantl2016-12-161-5/+21
* [Verifier] Allow TBAA metadata on atomicrmw and atomiccmpxchgSanjoy Das2016-12-151-1/+2
* Replace APFloatBase static fltSemantics data members with getter functionsStephan Bergmann2016-12-141-1/+1
* [Verifier] Add verification for TBAA metadataSanjoy Das2016-12-111-2/+265
* [DIExpression] Introduce a dedicated DW_OP_LLVM_fragment operationAdrian Prantl2016-12-051-9/+9
* [PM] Change the static object whose address is used to uniquely identifyChandler Carruth2016-11-231-1/+1
* [Verifier] clang-format a section; NFCSanjoy Das2016-11-091-6/+4
* [TBAA] Drop support for "old style" scalar TBAA tagsSanjoy Das2016-11-081-0/+13
* DebugInfo: make DW_TAG_atomic_type validVictor Leschuk2016-10-311-0/+1
* Verifier: Reject any unknown named MD nodes in the llvm.dbg namespace.Adrian Prantl2016-10-051-2/+7
* Revert "Verifier: Reject any unknown named MD nodes in the llvm.dbg namespace."Adrian Prantl2016-10-051-7/+2
* Verifier: Reject any unknown named MD nodes in the llvm.dbg namespace.Adrian Prantl2016-10-051-2/+7
* Verifier: Mark orphaned DICompileUnits as a debug info failure.Adrian Prantl2016-09-141-10/+10
* DebugInfo: New metadata representation for global variables.Peter Collingbourne2016-09-131-6/+2
* It should also be legal to pass a swifterror parameter to a call as a swifterrorArnold Schwaighofer2016-09-101-4/+9
* ADT: Remove external uses of ilist_iterator, NFCDuncan P. N. Exon Smith2016-09-031-4/+0
* [Coroutines] Part 9: Add cleanup subfunction.Gor Nishanov2016-08-291-1/+1
* fix typo 'varaible' in assertNico Weber2016-08-241-1/+1
* Fix some Clang-tidy modernize-use-using and Include What You Use warnings.Eugene Zelenko2016-08-131-13/+52
* [Coroutines]: Part6b: Add coro.id intrinsic.Gor Nishanov2016-08-121-2/+2
* Use range algorithms instead of unpacking begin/endDavid Majnemer2016-08-111-2/+2
* [Statepoints] Minor cosmetic change; NFCSanjoy Das2016-08-111-1/+1
* Move helpers into anonymous namespaces. NFC.Benjamin Kramer2016-08-061-5/+3
* Part 4c: Coroutine Devirtualization: Devirtualize coro.resume and coro.destroy.Gor Nishanov2016-08-061-0/+14
* [coroutines] Part 4[ab]: Coroutine Devirtualization: Lower coro.resume and co...David Majnemer2016-08-041-2/+4
* [Verifier] Disallow illegal ptr<->int casts in ConstantExprsSanjoy Das2016-08-021-8/+22
* Tie the Verifier class to a Module; NFCISanjoy Das2016-08-021-72/+67
* [Verifier] Resume instructions can only be in functions w/ a personalityDavid Majnemer2016-08-011-0/+16
* Revert "Don't invoke getName() from Function::isIntrinsic().", rL276942.Justin Lebar2016-07-281-1/+1
* [IR] Introduce a non-integral pointer typeSanjoy Das2016-07-281-0/+10
* Don't invoke getName() from Function::isIntrinsic().Justin Lebar2016-07-271-1/+1
* Add writeonly IR attributeNicolai Haehnle2016-07-041-0/+23
* Verifier: Reject non-float !fpmathMatt Arsenault2016-06-271-0/+2
* NFC. Move verifyIntrinsicIsVarArg from verifier to Intrinsic::matchIntrinsicV...Artur Pilipenko2016-06-241-30/+2
* NFC. Move Verifier::verifyIntrinsicType to Intrinsics.hArtur Pilipenko2016-06-221-148/+4
* IR: Allow metadata attachments on declarations, and fix lazy loaded metadata ...Peter Collingbourne2016-06-211-2/+9
* [PM] Remove support for omitting the AnalysisManager argument to newChandler Carruth2016-06-171-2/+4
* Verifier: check that functions have at most a single !prof attachment.Peter Collingbourne2016-06-141-1/+6
* IR: Introduce local_unnamed_addr attribute.Peter Collingbourne2016-06-141-1/+1
* [Verifier] Simplify code. No functionality change intended.Benjamin Kramer2016-06-121-6/+2
* Avoid copies of std::strings and APInt/APFloats where we only read from itBenjamin Kramer2016-06-081-1/+1
* Verifier: Simplify and fix issue where we were not verifying unmaterialized f...Peter Collingbourne2016-06-061-15/+13
* Verifier: Remove dead code.Peter Collingbourne2016-06-061-14/+8
* [IR] Disallow loading and storing unsized typesSanjoy Das2016-06-011-0/+2
* IR: Allow multiple global metadata attachments with the same type.Peter Collingbourne2016-06-011-0/+4
* Port the strip-invalid-debuginfo logic to the legacy verifier pass, too.Adrian Prantl2016-05-251-6/+16
* Appease MSVC with curly bracesSanjoy Das2016-05-121-1/+2
* All llvm.deoptimize declarations must use the same calling conventionSanjoy Das2016-05-121-1/+25
OpenPOWER on IntegriCloud