summaryrefslogtreecommitdiffstats
path: root/llvm/lib/IR/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* 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
* Refactor duplicated check for valid declaration linkage. NFC.Rafael Espindola2016-05-111-2/+1
* Delete duplicated verifier test.Rafael Espindola2016-05-111-5/+0
* Separate the Verifier into an analysis and a transformation pass andAdrian Prantl2016-05-091-5/+29
* Allow the LTO code generator to strip invalid debug info from the input.Adrian Prantl2016-05-091-3/+7
* Revert "Allow the LTO code generator to strip invalid debug info from the inp...Adrian Prantl2016-05-091-7/+3
* Revert "Separate the Verifier into an analysis and a transformation pass and"Adrian Prantl2016-05-091-29/+5
* Separate the Verifier into an analysis and a transformation pass andAdrian Prantl2016-05-091-5/+29
* Allow the LTO code generator to strip invalid debug info from the input.Adrian Prantl2016-05-091-3/+7
* Refactor the Verifier so it can diagnose IR validation errors and debugAdrian Prantl2016-05-061-159/+195
* Verifier: Verify that each inlinable callsite of a debug-info-bearing functionAdrian Prantl2016-04-241-0/+9
* Revert "Verifier: Verify that each inlinable callsite of a debug-info-bearing...Adrian Prantl2016-04-241-9/+0
* Verifier: Verify that each inlinable callsite of a debug-info-bearing functionAdrian Prantl2016-04-241-0/+9
* DebugInfo: Remove MDString-based type referencesDuncan P. N. Exon Smith2016-04-231-144/+28
* Verifier: Add ModuleSlotTracker to printAsOperand callDuncan P. N. Exon Smith2016-04-201-1/+1
OpenPOWER on IntegriCloud