[all-commits] [llvm/llvm-project] 81518d: [DebugInfo] Verify DISubprogram has a type (#194556)

Mon May 4 03:32:40 PDT 2026

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 81518d06acaa52b9a6e9221834ab64334a25105d
      https://github.com/llvm/llvm-project/commit/81518d06acaa52b9a6e9221834ab64334a25105d
  Author: Jiang Ning <jiangninghx at foxmail.com>
  Date:   2026-05-04 (Mon, 04 May 2026)

  Changed paths:
    M lld/test/ELF/lto/pseudo-probe-lto.ll
    M llvm/lib/IR/Verifier.cpp
    M llvm/test/Analysis/LoopAccessAnalysis/debug-loc.ll
    M llvm/test/Assembler/dicompositetype-members.ll
    M llvm/test/Assembler/diimportedentity.ll
    M llvm/test/Assembler/dilexicalblock.ll
    M llvm/test/Assembler/dilocalvariable-arg-large.ll
    M llvm/test/Assembler/dilocalvariable.ll
    M llvm/test/Assembler/dilocation.ll
    M llvm/test/Assembler/disubprogram.ll
    M llvm/test/Assembler/metadata.ll
    M llvm/test/Bitcode/DILocalVariable-explicit-tags.ll
    M llvm/test/Bitcode/DILocalVariable-explicit-tags.ll.bc
    M llvm/test/Bitcode/DISubprogram-distinct-definitions.ll
    M llvm/test/Bitcode/DISubprogram-distinct-definitions.ll.bc
    M llvm/test/Bitcode/DISubprogram-v4.ll
    M llvm/test/Bitcode/DISubprogram-v4.ll.bc
    M llvm/test/Bitcode/debug-loc-again.ll
    M llvm/test/Bitcode/dityperefs-3.8.ll
    M llvm/test/CodeGen/AArch64/addrsig-macho.ll
    M llvm/test/CodeGen/AArch64/arm64-instruction-mix-remarks.ll
    M llvm/test/CodeGen/AArch64/arm64-opt-remarks-lazy-bfi.ll
    M llvm/test/CodeGen/AArch64/arm64-summary-remarks.ll
    M llvm/test/CodeGen/AArch64/fast-isel-dbg.ll
    M llvm/test/CodeGen/AArch64/instr-ref-ldv.ll
    M llvm/test/CodeGen/AMDGPU/GlobalISel/trunc-brc.ll
    M llvm/test/CodeGen/AMDGPU/opencl-printf-unsupported.ll
    M llvm/test/CodeGen/AMDGPU/sched-crash-dbg-value.mir
    M llvm/test/CodeGen/AMDGPU/vi-removed-intrinsics.ll
    M llvm/test/CodeGen/MIR/X86/stack-object-debug-info.mir
    M llvm/test/CodeGen/WebAssembly/lower-em-sjlj-debuginfo.ll
    M llvm/test/CodeGen/X86/basic-block-sections-clusters-error.ll
    M llvm/test/CodeGen/X86/basic-block-sections-module1.ll
    M llvm/test/CodeGen/X86/basic-block-sections-module2.ll
    M llvm/test/CodeGen/X86/fixed-stack-di-mir.ll
    M llvm/test/CodeGen/X86/pr57673.ll
    M llvm/test/CodeGen/X86/select-optimize.ll
    M llvm/test/CodeGen/X86/tail-merge-debugloc.ll
    M llvm/test/DebugInfo/AMDGPU/bitcast-store-combine-debugloc.ll
    M llvm/test/DebugInfo/ARM/move-dbg-value-after-value-list.mir
    M llvm/test/DebugInfo/ARM/move-dbg-value-lists.mir
    M llvm/test/DebugInfo/ARM/move-dbg-value-same-reg.mir
    M llvm/test/DebugInfo/ARM/move-dbg-values.mir
    M llvm/test/DebugInfo/Generic/2010-03-19-DbgDeclare.ll
    M llvm/test/DebugInfo/Generic/dbg-value-lower-linenos.ll
    M llvm/test/DebugInfo/Generic/debuginfofinder-retained-nodes.ll
    M llvm/test/DebugInfo/Generic/invalid.ll
    M llvm/test/DebugInfo/Generic/sroa-extract-bits.ll
    M llvm/test/DebugInfo/Generic/verifier-invalid-disubprogram.ll
    M llvm/test/DebugInfo/MIR/X86/dbgcall-site-interpretation.mir
    M llvm/test/DebugInfo/MIR/X86/dbgcall-site-lea-interpretation.mir
    M llvm/test/DebugInfo/MIR/X86/dbginfo-entryvals.mir
    M llvm/test/DebugInfo/MIR/X86/debug-call-site-param.mir
    M llvm/test/DebugInfo/MIR/X86/machine-cse.mir
    M llvm/test/DebugInfo/X86/instr-ref-opt-bisect2.ll
    M llvm/test/DebugInfo/X86/pr40427.ll
    M llvm/test/DebugInfo/X86/sunk-compare.ll
    M llvm/test/DebugInfo/sroa-handle-dbg-value.ll
    M llvm/test/Instrumentation/AddressSanitizer/stack_layout.ll
    M llvm/test/Transforms/AggressiveInstCombine/AArch64/combine_ignore_debug.ll
    M llvm/test/Transforms/ArgumentPromotion/pr33641_remove_arg_dbgvalue.ll
    M llvm/test/Transforms/Attributor/ArgumentPromotion/dbg.ll
    M llvm/test/Transforms/Attributor/ArgumentPromotion/pr33641_remove_arg_dbgvalue.ll
    M llvm/test/Transforms/CallSiteSplitting/callsite-split-debug.ll
    M llvm/test/Transforms/CodeGenPrepare/X86/cast-debuginfo-salvage.ll
    M llvm/test/Transforms/Coroutines/declare-value.ll
    M llvm/test/Transforms/Inline/debug-invoke.ll
    M llvm/test/Transforms/InstCombine/assume.ll
    M llvm/test/Transforms/InstCombine/consecutive-fences.ll
    M llvm/test/Transforms/LICM/hoist-phi-metadata.ll
    M llvm/test/Transforms/LoopDistribute/debug-loc.ll
    M llvm/test/Transforms/LoopVectorize/debugloc.ll
    M llvm/test/Transforms/LoopVectorize/discriminator.ll
    M llvm/test/Transforms/Mem2Reg/dbg_declare_to_value_conversions.ll
    M llvm/test/Transforms/PGOProfile/memprof_annotate_indirect_call.test
    M llvm/test/Transforms/PGOProfile/memprof_annotate_yaml.test
    M llvm/test/Transforms/PGOProfile/memprof_max_cold_threshold.test
    M llvm/test/Transforms/SLPVectorizer/X86/debug-info-salvage.ll
    M llvm/test/Transforms/SLPVectorizer/X86/phi-node-deletion.ll
    M llvm/test/Transforms/SLPVectorizer/X86/schedule_budget_debug_info.ll
    M llvm/test/Transforms/SROA/dbg-single-piece.ll
    M llvm/test/Transforms/SampleProfile/cold-indirect-call.ll
    M llvm/test/Transforms/SampleProfile/csspgo-inline-icall.ll
    M llvm/test/Transforms/SampleProfile/early-inline.ll
    M llvm/test/Transforms/SampleProfile/function_metadata.ll
    M llvm/test/Transforms/SampleProfile/indirect-call-gcc.ll
    M llvm/test/Transforms/SampleProfile/indirect-call.ll
    M llvm/test/Transforms/SampleProfile/inline-callee-update.ll
    M llvm/test/Transforms/SimplifyCFG/X86/hoist-loads-stores-with-cf.ll
    M llvm/test/Transforms/SimplifyCFG/X86/remove-debug.ll
    M llvm/test/Transforms/SimplifyCFG/pr39807.ll
    M llvm/test/Transforms/SimplifyCFG/tail-merge-noreturn.ll
    M llvm/test/Transforms/StripSymbols/find-live-cu.ll
    M llvm/test/Transforms/Util/trivial-auto-var-init-call.ll
    M llvm/test/Transforms/Util/trivial-auto-var-init-store.ll
    M llvm/test/Transforms/Util/trivial-auto-var-init-unknown.ll
    M llvm/test/Transforms/WholeProgramDevirt/devirt-single-impl.ll
    M llvm/test/Transforms/WholeProgramDevirt/devirt_single_after_filtering_unreachable_function.ll
    M llvm/test/Transforms/WholeProgramDevirt/speculative-devirt-single-impl.ll
    A llvm/test/Verifier/DISubprogram-type.ll
    M llvm/test/Verifier/verify-dwarf-no-operands.ll
    M llvm/test/tools/llvm-dwarfdump/X86/stats-dbg-callsite-info.ll
    M llvm/unittests/IR/DebugInfoTest.cpp
    M llvm/unittests/IR/ModuleTest.cpp
    M llvm/unittests/IR/VerifierTest.cpp
    M llvm/unittests/Transforms/Utils/CloningTest.cpp
    M mlir/test/Dialect/LLVMIR/di-expression-legalization.mlir
    M mlir/test/Target/LLVMIR/Import/debug-info.ll
    M mlir/test/Target/LLVMIR/Import/exception.ll
    M mlir/test/Target/LLVMIR/Import/import-failure.ll
    M mlir/test/Target/LLVMIR/Import/metadata-loop.ll
    M mlir/test/Target/LLVMIR/llvmir-debug.mlir
    M mlir/test/Target/LLVMIR/loop-metadata.mlir
    M mlir/test/mlir-translate/import-diagnostics.ll

  Log Message:
  -----------
  [DebugInfo] Verify DISubprogram has a type (#194556)

Require DISubprogram metadata to carry a non-null type in the verifier.

LangRef specifies that the `type:` field of `DISubprogram` points to a
`DISubroutineType`. This patch diagnoses malformed debug info where the
field is omitted or resolves to null, while preserving the existing wrong-type
diagnostic for non-DISubroutineType operands.

Update hand-written LLVM IR tests to use valid DISubprogram metadata
where they are not intentionally testing malformed debug info. These tests now 
use minimal DISubroutineType metadata so the new verifier check does not mask 
their original coverage.

Fixes #186557

To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications