test/DebugInfo/X86/debug-dead-local-var.ll

   1 ; RUN: llc -mtriple=x86_64-linux-gnu %s -filetype=obj -o %t
   2 ; RUN: llvm-dwarfdump %t | FileCheck %s
   3
   4 ; Reconstruct this via clang and -O2.
   5 ; static void foo() {
   6 ;   struct X { int a; int b; } xyz;
   7 ; }
   8
   9 ; int bar() {
  10 ;   foo();
  11 ;   return 1;
  12 ; }
  13
  14 ; Check that we don't have the structure type for X since its scope has
  15 ; been optimized away.
  16 ; CHECK-NOT: DW_TAG_structure_type
  17 ; CHECK: DW_TAG_subprogram
  18 ; CHECK: DW_AT_name {{.*}}"bar"
  19 ; CHECK-NOT: DW_TAG_structure_type
  20
  21 ; Function Attrs: nounwind readnone uwtable
  22 define i32 @bar() #0 !dbg !4 {
  23 entry:
  24   ret i32 1, !dbg !21
  25 }
  26
  27 attributes #0 = { nounwind readnone uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
  28
  29 !llvm.dbg.cu = !{!0}
  30 !llvm.module.flags = !{!18, !19}
  31 !llvm.ident = !{!20}
  32
  33 !0 = distinct !DICompileUnit(language: DW_LANG_C99, producer: "clang version 3.5.0 (trunk 209255) (llvm/trunk 209253)", isOptimized: true, emissionKind: FullDebug, file: !1, enums: !2, retainedTypes: !2, globals: !2, imports: !2)
  34 !1 = !DIFile(filename: "debug-dead-local-var.c", directory: "/usr/local/google/home/echristo")
  35 !2 = !{}
  36 !4 = distinct !DISubprogram(name: "bar", line: 11, isLocal: false, isDefinition: true, virtualIndex: 6, isOptimized: true, unit: !0, scopeLine: 11, file: !1, scope: !5, type: !6, variables: !2)
  37 !5 = !DIFile(filename: "debug-dead-local-var.c", directory: "/usr/local/google/home/echristo")
  38 !6 = !DISubroutineType(types: !7)
  39 !7 = !{!8}
  40 !8 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
  41 !9 = distinct !DISubprogram(name: "foo", line: 6, isLocal: true, isDefinition: true, virtualIndex: 6, isOptimized: true, unit: !0, scopeLine: 6, file: !1, scope: !5, type: !10, variables: !12)
  42 !10 = !DISubroutineType(types: !11)
  43 !11 = !{null}
  44 !12 = !{!13}
  45 !13 = !DILocalVariable(name: "xyz", line: 8, scope: !9, file: !5, type: !14)
  46 !14 = !DICompositeType(tag: DW_TAG_structure_type, name: "X", line: 8, size: 64, align: 32, file: !1, scope: !9, elements: !15)
  47 !15 = !{!16, !17}
  48 !16 = !DIDerivedType(tag: DW_TAG_member, name: "a", line: 8, size: 32, align: 32, file: !1, scope: !14, baseType: !8)
  49 !17 = !DIDerivedType(tag: DW_TAG_member, name: "b", line: 8, size: 32, align: 32, offset: 32, file: !1, scope: !14, baseType: !8)
  50 !18 = !{i32 2, !"Dwarf Version", i32 4}
  51 !19 = !{i32 2, !"Debug Info Version", i32 3}
  52 !20 = !{!"clang version 3.5.0 (trunk 209255) (llvm/trunk 209253)"}
  53 !21 = !DILocation(line: 13, scope: !4)