test/DebugInfo/inline-scopes.ll

   1 ; REQUIRES: object-emission
   2
   3 ; RUN: %llc_dwarf -O0 -filetype=obj < %s | llvm-dwarfdump -debug-dump=info - | FileCheck %s
   4
   5 ; bool f();
   6 ; inline __attribute__((always_inline)) int f1() {
   7 ;   if (bool b = f())
   8 ;     return 1;
   9 ;   return 2;
  10 ; }
  11 ;
  12 ; inline __attribute__((always_inline)) int f2() {
  13 ; # 2 "y.cc"
  14 ;   if (bool b = f())
  15 ;     return 3;
  16 ;   return 4;
  17 ; }
  18 ;
  19 ; int main() {
  20 ;   f1();
  21 ;   f2();
  22 ; }
  23
  24 ; Ensure that lexical_blocks within inlined_subroutines are preserved/emitted.
  25 ; CHECK: DW_TAG_inlined_subroutine
  26 ; CHECK-NOT: DW_TAG
  27 ; CHECK-NOT: NULL
  28 ; CHECK: DW_TAG_lexical_block
  29 ; CHECK-NOT: DW_TAG
  30 ; CHECK-NOT: NULL
  31 ; CHECK: DW_TAG_variable
  32 ; Ensure that file changes don't interfere with creating inlined subroutines.
  33 ; (see the line directive inside 'f2' in thesource)
  34 ; CHECK: DW_TAG_inlined_subroutine
  35 ; CHECK:   DW_TAG_variable
  36 ; CHECK-NOT: DW_TAG
  37 ; CHECK:     DW_AT_abstract_origin
  38
  39 ; Function Attrs: uwtable
  40 define i32 @main() #0 {
  41 entry:
  42   %retval.i2 = alloca i32, align 4
  43   %b.i3 = alloca i8, align 1
  44   %retval.i = alloca i32, align 4
  45   %b.i = alloca i8, align 1
  46   call void @llvm.dbg.declare(metadata !{i8* %b.i}, metadata !16, metadata !{i32 786690}), !dbg !19
  47   %call.i = call zeroext i1 @_Z1fv(), !dbg !19
  48   %frombool.i = zext i1 %call.i to i8, !dbg !19
  49   store i8 %frombool.i, i8* %b.i, align 1, !dbg !19
  50   %0 = load i8* %b.i, align 1, !dbg !19
  51   %tobool.i = trunc i8 %0 to i1, !dbg !19
  52   br i1 %tobool.i, label %if.then.i, label %if.end.i, !dbg !19
  53
  54 if.then.i:                                        ; preds = %entry
  55   store i32 1, i32* %retval.i, !dbg !21
  56   br label %_Z2f1v.exit, !dbg !21
  57
  58 if.end.i:                                         ; preds = %entry
  59   store i32 2, i32* %retval.i, !dbg !22
  60   br label %_Z2f1v.exit, !dbg !22
  61
  62 _Z2f1v.exit:                                      ; preds = %if.then.i, %if.end.i
  63   %1 = load i32* %retval.i, !dbg !23
  64   call void @llvm.dbg.declare(metadata !{i8* %b.i3}, metadata !24, metadata !{i32 786690}), !dbg !27
  65   %call.i4 = call zeroext i1 @_Z1fv(), !dbg !27
  66   %frombool.i5 = zext i1 %call.i4 to i8, !dbg !27
  67   store i8 %frombool.i5, i8* %b.i3, align 1, !dbg !27
  68   %2 = load i8* %b.i3, align 1, !dbg !27
  69   %tobool.i6 = trunc i8 %2 to i1, !dbg !27
  70   br i1 %tobool.i6, label %if.then.i7, label %if.end.i8, !dbg !27
  71
  72 if.then.i7:                                       ; preds = %_Z2f1v.exit
  73   store i32 3, i32* %retval.i2, !dbg !29
  74   br label %_Z2f2v.exit, !dbg !29
  75
  76 if.end.i8:                                        ; preds = %_Z2f1v.exit
  77   store i32 4, i32* %retval.i2, !dbg !30
  78   br label %_Z2f2v.exit, !dbg !30
  79
  80 _Z2f2v.exit:                                      ; preds = %if.then.i7, %if.end.i8
  81   %3 = load i32* %retval.i2, !dbg !31
  82   ret i32 0, !dbg !32
  83 }
  84
  85 ; Function Attrs: nounwind readnone
  86 declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
  87
  88 declare zeroext i1 @_Z1fv() #2
  89
  90 attributes #0 = { uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
  91 attributes #1 = { nounwind readnone }
  92 attributes #2 = { "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
  93
  94 !llvm.dbg.cu = !{!0}
  95 !llvm.module.flags = !{!13, !14}
  96 !llvm.ident = !{!15}
  97
  98 !0 = metadata !{i32 786449, metadata !1, i32 4, metadata !"clang version 3.5.0 ", i1 false, metadata !"", i32 0, metadata !2, metadata !2, metadata !3, metadata !2, metadata !2, metadata !"", i32 1} ; [ DW_TAG_compile_unit ] [/tmp/dbginfo/inline-scopes.cpp] [DW_LANG_C_plus_plus]
  99 !1 = metadata !{metadata !"inline-scopes.cpp", metadata !"/tmp/dbginfo"}
 100 !2 = metadata !{}
 101 !3 = metadata !{metadata !4, metadata !10, metadata !12}
 102 !4 = metadata !{i32 786478, metadata !5, metadata !6, metadata !"main", metadata !"main", metadata !"", i32 7, metadata !7, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 false, i32 ()* @main, null, null, metadata !2, i32 7} ; [ DW_TAG_subprogram ] [line 7] [def] [main]
 103 !5 = metadata !{metadata !"y.cc", metadata !"/tmp/dbginfo"}
 104 !6 = metadata !{i32 786473, metadata !5}          ; [ DW_TAG_file_type ] [/tmp/dbginfo/y.cc]
 105 !7 = metadata !{i32 786453, i32 0, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !8, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
 106 !8 = metadata !{metadata !9}
 107 !9 = metadata !{i32 786468, null, null, metadata !"int", i32 0, i64 32, i64 32, i64 0, i32 0, i32 5} ; [ DW_TAG_base_type ] [int] [line 0, size 32, align 32, offset 0, enc DW_ATE_signed]
 108 !10 = metadata !{i32 786478, metadata !1, metadata !11, metadata !"f2", metadata !"f2", metadata !"_Z2f2v", i32 8, metadata !7, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 false, null, null, null, metadata !2, i32 8} ; [ DW_TAG_subprogram ] [line 8] [def] [f2]
 109 !11 = metadata !{i32 786473, metadata !1}         ; [ DW_TAG_file_type ] [/tmp/dbginfo/inline-scopes.cpp]
 110 !12 = metadata !{i32 786478, metadata !1, metadata !11, metadata !"f1", metadata !"f1", metadata !"_Z2f1v", i32 2, metadata !7, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 false, null, null, null, metadata !2, i32 2} ; [ DW_TAG_subprogram ] [line 2] [def] [f1]
 111 !13 = metadata !{i32 2, metadata !"Dwarf Version", i32 4}
 112 !14 = metadata !{i32 1, metadata !"Debug Info Version", i32 1}
 113 !15 = metadata !{metadata !"clang version 3.5.0 "}
 114 !16 = metadata !{i32 786688, metadata !17, metadata !"b", metadata !11, i32 3, metadata !18, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [b] [line 3]
 115 !17 = metadata !{i32 786443, metadata !1, metadata !12, i32 3, i32 0, i32 1} ; [ DW_TAG_lexical_block ] [/tmp/dbginfo/inline-scopes.cpp]
 116 !18 = metadata !{i32 786468, null, null, metadata !"bool", i32 0, i64 8, i64 8, i64 0, i32 0, i32 2} ; [ DW_TAG_base_type ] [bool] [line 0, size 8, align 8, offset 0, enc DW_ATE_boolean]
 117 !19 = metadata !{i32 3, i32 0, metadata !17, metadata !20}
 118 !20 = metadata !{i32 8, i32 0, metadata !4, null} ; [ DW_TAG_imported_declaration ]
 119 !21 = metadata !{i32 4, i32 0, metadata !17, metadata !20}
 120 !22 = metadata !{i32 5, i32 0, metadata !12, metadata !20}
 121 !23 = metadata !{i32 6, i32 0, metadata !12, metadata !20}
 122 !24 = metadata !{i32 786688, metadata !25, metadata !"b", metadata !6, i32 2, metadata !18, i32 0, i32 0} ; [ DW_TAG_auto_variable ] [b] [line 2]
 123 !25 = metadata !{i32 786443, metadata !5, metadata !26, i32 2, i32 0, i32 0} ; [ DW_TAG_lexical_block ] [/tmp/dbginfo/y.cc]
 124 !26 = metadata !{i32 786443, metadata !5, metadata !10, i32 0} ; [ DW_TAG_lexical_block ] [/tmp/dbginfo/y.cc]
 125 !27 = metadata !{i32 2, i32 0, metadata !25, metadata !28}
 126 !28 = metadata !{i32 9, i32 0, metadata !4, null}
 127 !29 = metadata !{i32 3, i32 0, metadata !25, metadata !28}
 128 !30 = metadata !{i32 4, i32 0, metadata !26, metadata !28}
 129 !31 = metadata !{i32 5, i32 0, metadata !26, metadata !28}
 130 !32 = metadata !{i32 10, i32 0, metadata !4, null}