aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/IR/Verifier.cpp
AgeCommit message (Expand)AuthorFilesLines
2016-09-13DebugInfo: New metadata representation for global variables.Peter Collingbourne1-6/+2
2016-09-10It should also be legal to pass a swifterror parameter to a call as a swifterrorArnold Schwaighofer1-4/+9
2016-09-03ADT: Remove external uses of ilist_iterator, NFCDuncan P. N. Exon Smith1-4/+0
2016-08-29[Coroutines] Part 9: Add cleanup subfunction.Gor Nishanov1-1/+1
2016-08-24fix typo 'varaible' in assertNico Weber1-1/+1
2016-08-13Fix some Clang-tidy modernize-use-using and Include What You Use warnings.Eugene Zelenko1-13/+52
2016-08-12[Coroutines]: Part6b: Add coro.id intrinsic.Gor Nishanov1-2/+2
2016-08-11Use range algorithms instead of unpacking begin/endDavid Majnemer1-2/+2
2016-08-11[Statepoints] Minor cosmetic change; NFCSanjoy Das1-1/+1
2016-08-06Move helpers into anonymous namespaces. NFC.Benjamin Kramer1-5/+3
2016-08-06Part 4c: Coroutine Devirtualization: Devirtualize coro.resume and coro.destroy.Gor Nishanov1-0/+14
2016-08-04[coroutines] Part 4[ab]: Coroutine Devirtualization: Lower coro.resume and co...David Majnemer1-2/+4
2016-08-02[Verifier] Disallow illegal ptr<->int casts in ConstantExprsSanjoy Das1-8/+22
2016-08-02Tie the Verifier class to a Module; NFCISanjoy Das1-72/+67
2016-08-01[Verifier] Resume instructions can only be in functions w/ a personalityDavid Majnemer1-0/+16
2016-07-28Revert "Don't invoke getName() from Function::isIntrinsic().", rL276942.Justin Lebar1-1/+1
2016-07-28[IR] Introduce a non-integral pointer typeSanjoy Das1-0/+10
2016-07-27Don't invoke getName() from Function::isIntrinsic().Justin Lebar1-1/+1
2016-07-04Add writeonly IR attributeNicolai Haehnle1-0/+23
2016-06-27Verifier: Reject non-float !fpmathMatt Arsenault1-0/+2
2016-06-24NFC. Move verifyIntrinsicIsVarArg from verifier to Intrinsic::matchIntrinsicV...Artur Pilipenko1-30/+2
2016-06-22NFC. Move Verifier::verifyIntrinsicType to Intrinsics.hArtur Pilipenko1-148/+4
2016-06-21IR: Allow metadata attachments on declarations, and fix lazy loaded metadata ...Peter Collingbourne1-2/+9
2016-06-17[PM] Remove support for omitting the AnalysisManager argument to newChandler Carruth1-2/+4
2016-06-14Verifier: check that functions have at most a single !prof attachment.Peter Collingbourne1-1/+6
2016-06-14IR: Introduce local_unnamed_addr attribute.Peter Collingbourne1-1/+1
2016-06-12[Verifier] Simplify code. No functionality change intended.Benjamin Kramer1-6/+2
2016-06-08Avoid copies of std::strings and APInt/APFloats where we only read from itBenjamin Kramer1-1/+1
2016-06-06Verifier: Simplify and fix issue where we were not verifying unmaterialized f...Peter Collingbourne1-15/+13
2016-06-06Verifier: Remove dead code.Peter Collingbourne1-14/+8
2016-06-01[IR] Disallow loading and storing unsized typesSanjoy Das1-0/+2
2016-06-01IR: Allow multiple global metadata attachments with the same type.Peter Collingbourne1-0/+4
2016-05-25Port the strip-invalid-debuginfo logic to the legacy verifier pass, too.Adrian Prantl1-6/+16
2016-05-12Appease MSVC with curly bracesSanjoy Das1-1/+2
2016-05-12All llvm.deoptimize declarations must use the same calling conventionSanjoy Das1-1/+25
2016-05-11Refactor duplicated check for valid declaration linkage. NFC.Rafael Espindola1-2/+1
2016-05-11Delete duplicated verifier test.Rafael Espindola1-5/+0
2016-05-09Separate the Verifier into an analysis and a transformation pass andAdrian Prantl1-5/+29
2016-05-09Allow the LTO code generator to strip invalid debug info from the input.Adrian Prantl1-3/+7
2016-05-09Revert "Allow the LTO code generator to strip invalid debug info from the inp...Adrian Prantl1-7/+3
2016-05-09Revert "Separate the Verifier into an analysis and a transformation pass and"Adrian Prantl1-29/+5
2016-05-09Separate the Verifier into an analysis and a transformation pass andAdrian Prantl1-5/+29
2016-05-09Allow the LTO code generator to strip invalid debug info from the input.Adrian Prantl1-3/+7
2016-05-06Refactor the Verifier so it can diagnose IR validation errors and debugAdrian Prantl1-159/+195
2016-04-24Verifier: Verify that each inlinable callsite of a debug-info-bearing functionAdrian Prantl1-0/+9
2016-04-24Revert "Verifier: Verify that each inlinable callsite of a debug-info-bearing...Adrian Prantl1-9/+0
2016-04-24Verifier: Verify that each inlinable callsite of a debug-info-bearing functionAdrian Prantl1-0/+9
2016-04-23DebugInfo: Remove MDString-based type referencesDuncan P. N. Exon Smith1-144/+28
2016-04-20Verifier: Add ModuleSlotTracker to printAsOperand callDuncan P. N. Exon Smith1-1/+1
2016-04-20Verifier: Prefer early continue over if-nesting, NFCDuncan P. N. Exon Smith1-8/+9
generated by cgit v1.1 at 2025-10-15 01:18:32 +0000