llvm/test/DebugInfo/Generic/verifier-invalid-disubprogram.ll

   1 ; RUN: llvm-as -disable-output %s 2>&1 | FileCheck --match-full-lines %s
   2
   3 !llvm.module.flags = !{!2}
   4 !llvm.dbg.cu = !{!0}
   5 !0 = distinct !DICompileUnit(language: 0, file: !1)
   6 !1 = !DIFile(filename: "-", directory: "")
   7 !2 = !{i32 2, !"Debug Info Version", i32 3}
   8
   9 ; CHECK: invalid file
  10 define void @invalid_file() !dbg !3 { ret void }
  11 !3 = distinct !DISubprogram(file: !0)
  12
  13 ; CHECK: line specified with no file
  14 define void @line_specified_with_no_file() !dbg !4 { ret void }
  15 !4 = distinct !DISubprogram(line: 1)
  16
  17 ; CHECK: invalid subroutine type
  18 define void @invalid_subroutine_type() !dbg !5 { ret void }
  19 !5 = distinct !DISubprogram(type: !0)
  20
  21 ; CHECK: invalid containing type
  22 define void @invalid_containing_type() !dbg !6 { ret void }
  23 !6 = distinct !DISubprogram(containingType: !0)
  24
  25 ; CHECK: invalid template params
  26 define void @invalid_template_params() !dbg !7 { ret void }
  27 !7 = distinct !DISubprogram(templateParams: !0)
  28
  29 ; CHECK: invalid template parameter
  30 define void @invalid_template_parameter() !dbg !8 { ret void }
  31 !8 = distinct !DISubprogram(templateParams: !{!0})
  32
  33 ; CHECK: invalid subprogram declaration
  34 define void @invalid_subprogram_declaration() !dbg !9 { ret void }
  35 !9 = distinct !DISubprogram(declaration: !0)
  36
  37 ; CHECK: invalid retained nodes list
  38 define void @invalid_retained_nodes_list() !dbg !10 { ret void }
  39 !10 = distinct !DISubprogram(retainedNodes: !0)
  40
  41 ; CHECK: invalid retained nodes, expected DILocalVariable, DILabel or DIImportedEntity
  42 define void @invalid_retained_nodes_expected() !dbg !11 { ret void }
  43 !11 = distinct !DISubprogram(retainedNodes: !{!0})
  44
  45 ; CHECK: invalid reference flags
  46 define void @invalid_reference_flags_reference() !dbg !12 { ret void }
  47 !12 = distinct !DISubprogram(flags: DIFlagLValueReference | DIFlagRValueReference)
  48
  49 ; CHECK: invalid reference flags
  50 define void @invalid_reference_flags_pass_by() !dbg !13 { ret void }
  51 !13 = distinct !DISubprogram(flags: DIFlagTypePassByValue | DIFlagTypePassByReference)
  52
  53 ; CHECK: subprogram definitions must have a compile unit
  54 define void @subprogram_definitions_must_have_a_compile_unit() !dbg !14 { ret void }
  55 !14 = distinct !DISubprogram()
  56
  57 ; CHECK: invalid unit type
  58 define void @invalid_unit_type() !dbg !15 { ret void }
  59 !15 = distinct !DISubprogram(unit: !{})
  60
  61 ; FIXME: should something verify `isDefinition` is not a lie? is it meaningful
  62 ; to mistmatch it with respect to the LLVM IR function?
  63 ; CHECK: subprogram declarations must not have a compile unit
  64 define void @subprogram_declarations_must_not_have_a_compile_unit() !dbg !16 { ret void }
  65 !16 = distinct !DISubprogram(isDefinition: false, unit: !0)
  66
  67 ; CHECK: invalid thrown types list
  68 define void @invalid_thrown_types_list() !dbg !17 { ret void }
  69 !17 = distinct !DISubprogram(isDefinition: false, thrownTypes: !0)
  70
  71 ; CHECK: invalid thrown type
  72 define void @invalid_thrown_type() !dbg !18 { ret void }
  73 !18 = distinct !DISubprogram(isDefinition: false, thrownTypes: !{!0})
  74
  75 ; CHECK: DIFlagAllCallsDescribed must be attached to a definition
  76 define void @DIFlagAllCallsDescribed_must_be_attached_to_a_definition() !dbg !19 { ret void }
  77 !19 = distinct !DISubprogram(isDefinition: false, flags: DIFlagAllCallsDescribed)
  78
  79 ; CHECK: warning: ignoring invalid debug info{{.*}}