test/Bindings/llvm-c/debug_info.ll

   1 ; RUN: llvm-c-test --test-dibuilder | FileCheck %s
   2
   3 ; CHECK: ; ModuleID = 'debuginfo.c'
   4 ; CHECK-NEXT: source_filename = "debuginfo.c"
   5
   6 ; CHECK:      define i64 @foo(i64 %0, i64 %1, <10 x i64> %2) !dbg !20 {
   7 ; CHECK-NEXT: entry:
   8 ; CHECK-NEXT:   call void @llvm.dbg.declare(metadata i64 0, metadata !27, metadata !DIExpression()), !dbg !32
   9 ; CHECK-NEXT:   call void @llvm.dbg.declare(metadata i64 0, metadata !28, metadata !DIExpression()), !dbg !32
  10 ; CHECK-NEXT:   call void @llvm.dbg.declare(metadata i64 0, metadata !29, metadata !DIExpression()), !dbg !32
  11 ; CHECK:      vars:                                             ; No predecessors!
  12 ; CHECK-NEXT:   call void @llvm.dbg.value(metadata i64 0, metadata !30, metadata !DIExpression(DW_OP_constu, 0, DW_OP_stack_value)), !dbg !33
  13 ; CHECK-NEXT: }
  14
  15 ; CHECK:      ; Function Attrs: nounwind readnone speculatable
  16 ; CHECK-NEXT: declare void @llvm.dbg.declare(metadata, metadata, metadata) #0
  17
  18 ; CHECK:      ; Function Attrs: nounwind readnone speculatable
  19 ; CHECK-NEXT: declare void @llvm.dbg.value(metadata, metadata, metadata) #0
  20
  21 ; CHECK:      attributes #0 = { nounwind readnone speculatable willreturn }
  22
  23 ; CHECK:      !llvm.dbg.cu = !{!0}
  24 ; CHECK-NEXT: !FooType = !{!16}
  25
  26 ; CHECK:      !0 = distinct !DICompileUnit(language: DW_LANG_C, file: !1, producer: "llvm-c-test", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !3, imports: !12, splitDebugInlining: false)
  27 ; CHECK-NEXT: !1 = !DIFile(filename: "debuginfo.c", directory: ".")
  28 ; CHECK-NEXT: !2 = !{}
  29 ; CHECK-NEXT: !3 = !{!4, !8}
  30 ; CHECK-NEXT: !4 = !DIGlobalVariableExpression(var: !5, expr: !DIExpression(DW_OP_constu, 0, DW_OP_stack_value))
  31 ; CHECK-NEXT: !5 = distinct !DIGlobalVariable(name: "globalClass", scope: !6, file: !1, line: 1, type: !7, isLocal: true, isDefinition: true)
  32 ; CHECK-NEXT: !6 = !DIModule(scope: null, name: "llvm-c-test", includePath: "/test/include/llvm-c-test.h")
  33 ; CHECK-NEXT: !7 = !DICompositeType(tag: DW_TAG_structure_type, name: "TestClass", scope: !1, file: !1, line: 42, size: 64, flags: DIFlagObjcClassComplete, elements: !2)
  34 ; CHECK-NEXT: !8 = !DIGlobalVariableExpression(var: !9, expr: !DIExpression(DW_OP_constu, 0, DW_OP_stack_value))
  35 ; CHECK-NEXT: !9 = distinct !DIGlobalVariable(name: "global", scope: !6, file: !1, line: 1, type: !10, isLocal: true, isDefinition: true)
  36 ; CHECK-NEXT: !10 = !DIDerivedType(tag: DW_TAG_typedef, name: "int64_t", scope: !1, file: !1, line: 42, baseType: !11)
  37 ; CHECK-NEXT: !11 = !DIBasicType(name: "Int64", size: 64)
  38 ; CHECK-NEXT: !12 = !{!13, !15}
  39 ; CHECK-NEXT: !13 = !DIImportedEntity(tag: DW_TAG_imported_module, scope: !6, entity: !14, file: !1, line: 42)
  40 ; CHECK-NEXT: !14 = !DIModule(scope: null, name: "llvm-c-test-import", includePath: "/test/include/llvm-c-test-import.h")
  41 ; CHECK-NEXT: !15 = !DIImportedEntity(tag: DW_TAG_imported_module, scope: !6, entity: !13, file: !1, line: 42)
  42 ; CHECK-NEXT: !16 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !17, size: 192, dwarfAddressSpace: 0)
  43 ; CHECK-NEXT: !17 = !DICompositeType(tag: DW_TAG_structure_type, name: "MyStruct", scope: !18, file: !1, size: 192, elements: !19, runtimeLang: DW_LANG_C89, identifier: "MyStruct")
  44 ; CHECK-NEXT: !18 = !DINamespace(name: "NameSpace", scope: !6)
  45 ; CHECK-NEXT: !19 = !{!11, !11, !11}
  46 ; CHECK-NEXT: !20 = distinct !DISubprogram(name: "foo", linkageName: "foo", scope: !1, file: !1, line: 42, type: !21, scopeLine: 42, spFlags: DISPFlagLocalToUnit | DISPFlagDefinition, unit: !0, retainedNodes: !26)
  47 ; CHECK-NEXT: !21 = !DISubroutineType(types: !22)
  48 ; CHECK-NEXT: !22 = !{!11, !11, !23}
  49 ; CHECK-NEXT: !23 = !DICompositeType(tag: DW_TAG_array_type, baseType: !11, size: 640, flags: DIFlagVector, elements: !24)
  50 ; CHECK-NEXT: !24 = !{!25}
  51 ; CHECK-NEXT: !25 = !DISubrange(count: 10)
  52 ; CHECK-NEXT: !26 = !{!27, !28, !29, !30}
  53 ; CHECK-NEXT: !27 = !DILocalVariable(name: "a", arg: 1, scope: !20, file: !1, line: 42, type: !11)
  54 ; CHECK-NEXT: !28 = !DILocalVariable(name: "b", arg: 2, scope: !20, file: !1, line: 42, type: !11)
  55 ; CHECK-NEXT: !29 = !DILocalVariable(name: "c", arg: 3, scope: !20, file: !1, line: 42, type: !23)
  56 ; CHECK-NEXT: !30 = !DILocalVariable(name: "d", scope: !31, file: !1, line: 43, type: !11)
  57 ; CHECK-NEXT: !31 = distinct !DILexicalBlock(scope: !20, file: !1, line: 42)
  58 ; CHECK-NEXT: !32 = !DILocation(line: 42, scope: !20)
  59 ; CHECK-NEXT: !33 = !DILocation(line: 43, scope: !20)