test/DebugInfo/X86/noreturn_cpp11.ll

   1 ; RUN: %llc_dwarf -filetype=obj < %s | llvm-dwarfdump -debug-info - | FileCheck %s
   2 ; REQUIRES: object-emission
   3
   4 ; Generated by clang++ -S -c -std=c++11 --emit-llvm -g from the following C++11 source:
   5 ;class foo {
   6 ;[[noreturn]] void foo_member(){throw 1;}
   7 ;};
   8 ;
   9 ;[[ noreturn ]] void f() {
  10 ;    throw 1;
  11 ;}
  12 ;
  13 ;void func(){
  14 ;    foo object;
  15 ;}
  16
  17 ; CHECK: DW_TAG_subprogram
  18 ; CHECK-NOT: DW_TAG
  19 ; CHECK: DW_AT_name{{.*}}"f"
  20 ; CHECK-NOT: DW_TAG
  21 ; CHECK: DW_AT_noreturn
  22 ; CHECK: DW_TAG_class_type
  23 ; CHECK: DW_TAG_subprogram
  24 ; CHECK: DW_AT_name{{.*}}"foo_member"
  25 ; CHECK: DW_AT_noreturn
  26 ; ModuleID = 'test.cpp'
  27
  28 source_filename = "noreturn1.cpp"
  29 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
  30 target triple = "x86_64-unknown-linux-gnu"
  31
  32 %class.foo = type { i8 }
  33
  34 @_ZTIi = external dso_local constant i8*
  35
  36 ; Function Attrs: noinline noreturn optnone uwtable
  37 define dso_local void @_Z1fv() #0 !dbg !7 {
  38   %1 = call i8* @__cxa_allocate_exception(i64 4) #3, !dbg !10
  39   %2 = bitcast i8* %1 to i32*, !dbg !10
  40   store i32 1, i32* %2, align 16, !dbg !10
  41   call void @__cxa_throw(i8* %1, i8* bitcast (i8** @_ZTIi to i8*), i8* null) #4, !dbg !10
  42   unreachable, !dbg !10
  43 }
  44
  45 declare dso_local i8* @__cxa_allocate_exception(i64)
  46
  47 declare dso_local void @__cxa_throw(i8*, i8*, i8*)
  48
  49 ; Function Attrs: noinline nounwind optnone uwtable
  50 define dso_local void @_Z4funcv() #1 !dbg !11 {
  51   %1 = alloca %class.foo, align 1
  52   call void @llvm.dbg.declare(metadata %class.foo* %1, metadata !12, metadata !DIExpression()), !dbg !19
  53   ret void, !dbg !20
  54 }
  55
  56 ; Function Attrs: nounwind readnone speculatable willreturn
  57 declare void @llvm.dbg.declare(metadata, metadata, metadata) #2
  58
  59 attributes #0 = { noinline noreturn optnone uwtable }
  60 attributes #1 = { noinline nounwind optnone uwtable }
  61 attributes #2 = { nounwind readnone speculatable willreturn }
  62 attributes #3 = { nounwind }
  63 attributes #4 = { noreturn }
  64
  65 !llvm.dbg.cu = !{!0}
  66 !llvm.module.flags = !{!3, !4, !5}
  67 !llvm.ident = !{!6}
  68
  69 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_11, file: !1, producer: "clang version 10.0.0 (https://github.com/llvm/llvm-project.git 3fcdd25ad5566114ac3322dcbf71d3c38bfec1ed)", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, nameTableKind: None)
  70 !1 = !DIFile(filename: "test.cpp", directory: "/home/sourabh/work/dwarf/c_c++/c++11")
  71 !2 = !{}
  72 !3 = !{i32 2, !"Dwarf Version", i32 4}
  73 !4 = !{i32 2, !"Debug Info Version", i32 3}
  74 !5 = !{i32 1, !"wchar_size", i32 4}
  75 !6 = !{!"clang version 10.0.0 (https://github.com/llvm/llvm-project.git 3fcdd25ad5566114ac3322dcbf71d3c38bfec1ed)"}
  76 !7 = distinct !DISubprogram(name: "f", linkageName: "_Z1fv", scope: !1, file: !1, line: 5, type: !8, scopeLine: 5, flags: DIFlagPrototyped | DIFlagNoReturn, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !2)
  77 !8 = !DISubroutineType(types: !9)
  78 !9 = !{null}
  79 !10 = !DILocation(line: 6, column: 5, scope: !7)
  80 !11 = distinct !DISubprogram(name: "func", linkageName: "_Z4funcv", scope: !1, file: !1, line: 9, type: !8, scopeLine: 9, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !2)
  81 !12 = !DILocalVariable(name: "object", scope: !11, file: !1, line: 10, type: !13)
  82 !13 = distinct !DICompositeType(tag: DW_TAG_class_type, name: "foo", file: !1, line: 1, size: 8, flags: DIFlagTypePassByValue, elements: !14, identifier: "_ZTS3foo")
  83 !14 = !{!15}
  84 !15 = !DISubprogram(name: "foo_member", linkageName: "_ZN3foo10foo_memberEv", scope: !13, file: !1, line: 2, type: !16, scopeLine: 2, flags: DIFlagPrototyped | DIFlagNoReturn, spFlags: 0)
  85 !16 = !DISubroutineType(types: !17)
  86 !17 = !{null, !18}
  87 !18 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !13, size: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
  88 !19 = !DILocation(line: 10, column: 9, scope: !11)
  89 !20 = !DILocation(line: 11, column: 1, scope: !11)