aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/IR/Verifier.cpp
AgeCommit message (Expand)AuthorFilesLines
2024-06-24[llvm][ProfDataUtils] Provide getNumBranchWeights API (#90146)Paul Kirth1-6/+6
2024-06-21Add the 'initializes' attribute langref and support (#84803)Haopeng Liu1-0/+9
2024-06-12Reapply "[llvm][IR] Extend BranchWeightMetadata to track provenance o… (#95...Paul Kirth1-3/+6
2024-06-11Revert "[llvm][IR] Extend BranchWeightMetadata to track provenance of weights...Paul Kirth1-6/+3
2024-06-10[llvm][IR] Extend BranchWeightMetadata to track provenance of weights (#86609)Paul Kirth1-3/+6
2024-06-07[ARM] r11 is reserved when using -mframe-chain=aapcs (#86951)Oliver Stannard1-1/+1
2024-05-28[IR][AArch64][PAC] Add "ptrauth(...)" Constant to represent signed pointers. ...Ahmed Bougacha1-0/+23
2024-05-08[DXIL] Set DXIL Version in DXIL target triple based on shader model version (...S. Bharadwaj Yadavalli1-2/+2
2024-05-07[NFC][LLVM] Refactor rounding mode detection of constrained fp intrinsic IDs ...Paul Walker1-16/+13
2024-05-06Revert "[DirectX][DXIL] Set DXIL Version in DXIL target triple based on shade...S. Bharadwaj Yadavalli1-2/+2
2024-05-06[DirectX][DXIL] Set DXIL Version in DXIL target triple based on shader model ...S. Bharadwaj Yadavalli1-2/+2
2024-05-02[NFC] Reduce copies created of ConstantRange when getting ConstantRangeAttrib...Andreas Jonson1-1/+2
2024-04-30[IR] Use StringRef::operator== instead of StringRef::equals (NFC) (#90550)Kazu Hirata1-3/+3
2024-04-29Move several vector intrinsics out of experimental namespace (#88748)Maciej Gabka1-1/+1
2024-04-25Remove unneeded LLVM_FALLTHROUGH. NFCFangrui Song1-1/+0
2024-04-24[IR] Remove unused variable in Verifier.cpp (NFC)Jie Fu1-7/+0
2024-04-24[IR] Memory Model Relaxation Annotations (#78569)Pierre van Houtryve1-0/+31
2024-04-22Revert "[TBAA] Add verifier for tbaa.struct metadata (#86709)"Florian Hahn1-32/+0
2024-04-18[DWARF] Add support for DW_TAG_template_alias for template aliases (#88943)Orlando Cazalet-Hyams1-1/+2
2024-04-16Reapply "[Verifier] Reject va_start in non-variadic function (#88809)"Jon Chesterfield1-0/+5
2024-04-16Revert "[Verifier] Reject va_start in non-variadic function (#88809)"Jon Chesterfield1-5/+0
2024-04-16[Verifier] Reject va_start in non-variadic function (#88809)Jon Chesterfield1-0/+5
2024-04-15Reapply "[TBAA] Add verifier for tbaa.struct metadata (#86709)"Julian Nagele1-0/+32
2024-04-12IRVerifier: Allow GlobalValue as llvm.threadlocal.address operand (#88321)Matthias Braun1-4/+4
2024-04-08Verify threadlocal_address constraints (#87841)Matthias Braun1-0/+8
2024-04-06[RFC] IR: Support atomicrmw FP ops with vector types (#86796)Matt Arsenault1-2/+3
2024-04-04[AArch64][PAC][MC][ELF] Support PAuth ABI compatibility tag (#85236)Daniil Kovalev1-1/+21
2024-04-04[SEH] Ignore EH pad check for internal intrinsics (#79694)Phoebe Wang1-0/+5
2024-03-27Revert "[TBAA] Add verifier for tbaa.struct metadata (#86709)"Florian Hahn1-32/+0
2024-03-27[TBAA] Add verifier for tbaa.struct metadata (#86709)Julian Nagele1-0/+32
2024-03-26[Intrinsics] Make `patchpoint.i64` generic on its return type (#85911)Il-Capitano1-1/+8
2024-03-20[RemoveDIs][NFC] Rename DPMarker->DbgMarker (#85931)Stephen Tozer1-5/+5
2024-03-20[RemoveDIs][NFC] Rename DPLabel->DbgLabelRecord (#85918)Stephen Tozer1-12/+12
2024-03-19[RemoveDIs][NFC] Rename DPValue -> DbgVariableRecord (#85216)Stephen Tozer1-71/+73
2024-03-19[Dwarf] Support `__ptrauth` qualifier in metadata nodes (#83862)Daniil Kovalev1-0/+1
2024-03-18[LangRef][IR] Add 3-way compare intrinsics llvm.scmp/llvm.ucmp (#83227)Miguel Raz Guzmán Macedo1-0/+23
2024-03-12[RemoveDIs][NFC] Rename common interface functions for DPValues->DbgRecords (...Stephen Tozer1-3/+3
2024-03-10Reapply "[RemoveDIs] Add additional debug-mode verifier checks" (#84757)Orlando Cazalet-Hyams1-0/+10
2024-03-11Revert "[RemoveDIs] Add additional debug-mode verifier checks" (#84757)Orlando Cazalet-Hyams1-10/+0
2024-03-11[RemoveDIs] Add additional debug-mode verifier checks (#84308)Orlando Cazalet-Hyams1-0/+10
2024-03-11[coroutine] Implement llvm.coro.await.suspend intrinsic (#79712)fpasserby1-0/+3
2024-03-09Reapply [IR] Add new Range attribute using new ConstantRange Attribute type (...Andreas Jonson1-0/+5
2024-03-08Revert "[IR] Add new Range attribute using new ConstantRange Attribute type" ...Florian Mayer1-5/+0
2024-03-08[IR] Add new Range attribute using new ConstantRange Attribute type (#83171)Andreas Jonson1-0/+5
2024-03-07[RemoveDIs][DebugInfo][IR] Add parsing for non-intrinsic debug values (#79818)Stephen Tozer1-1/+1
2024-03-05[IR] Update comment in Verifier::visitPHINodeJay Foad1-1/+1
2024-03-04[RemoveDIs][DebugInfo] Verifier and printing fixes for DPLabel (#83242)Stephen Tozer1-32/+163
2024-03-02Revert "[Dwarf] Support `__ptrauth` qualifier in metadata nodes" (#83672)Daniil Kovalev1-1/+0
2024-03-01[Dwarf] Support `__ptrauth` qualifier in metadata nodes (#82363)Daniil Kovalev1-0/+1
2024-02-29Verifier: More helpful error message for cross-function references (#82906)Nicolai Hähnle1-1/+3