[InstCombine] Signed saturation patterns
[llvm-core.git] / test / DebugInfo / X86 / pr11300.ll
blob81b4e3d27d690a61240e7c70317ae8eece4b57e5
1 ; RUN: llc -mtriple=x86_64-apple-darwin %s -o %t -filetype=obj
2 ; RUN: llvm-dwarfdump -v -debug-info %t | FileCheck %s
4 ; test that the DW_AT_specification is a back edge in the file.
6 ; Skip the definition of zed(foo*)
7 ; CHECK: DW_TAG_subprogram
8 ; CHECK: DW_TAG_class_type
9 ; CHECK:   DW_TAG_subprogram
10 ; CHECK:     DW_AT_linkage_name {{.*}} "_ZN3foo3barEv"
11 ; CHECK: DW_TAG_subprogram
12 ; CHECK-NOT: DW_TAG
13 ; CHECK:   DW_AT_specification {{.*}} "_ZN3foo3barEv"
15 %struct.foo = type { i8 }
17 define void @_Z3zedP3foo(%struct.foo* %x) uwtable !dbg !5 {
18 entry:
19   %x.addr = alloca %struct.foo*, align 8
20   store %struct.foo* %x, %struct.foo** %x.addr, align 8
21   call void @llvm.dbg.declare(metadata %struct.foo** %x.addr, metadata !23, metadata !DIExpression()), !dbg !24
22   %0 = load %struct.foo*, %struct.foo** %x.addr, align 8, !dbg !25
23   call void @_ZN3foo3barEv(%struct.foo* %0), !dbg !25
24   ret void, !dbg !27
27 declare void @llvm.dbg.declare(metadata, metadata, metadata) nounwind readnone
29 define linkonce_odr void @_ZN3foo3barEv(%struct.foo* %this) nounwind uwtable align 2 !dbg !20 {
30 entry:
31   %this.addr = alloca %struct.foo*, align 8
32   store %struct.foo* %this, %struct.foo** %this.addr, align 8
33   call void @llvm.dbg.declare(metadata %struct.foo** %this.addr, metadata !28, metadata !DIExpression()), !dbg !29
34   %this1 = load %struct.foo*, %struct.foo** %this.addr
35   ret void, !dbg !30
38 !llvm.dbg.cu = !{!0}
39 !llvm.module.flags = !{!33}
41 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.0 ()", isOptimized: false, emissionKind: FullDebug, file: !32, enums: !1, retainedTypes: !1, globals: !1, imports:  !1)
42 !1 = !{}
43 !5 = distinct !DISubprogram(name: "zed", linkageName: "_Z3zedP3foo", line: 4, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, unit: !0, scopeLine: 4, file: !6, scope: !6, type: !7)
44 !6 = !DIFile(filename: "/home/espindola/llvm/test.cc", directory: "/home/espindola/tmpfs/build")
45 !7 = !DISubroutineType(types: !8)
46 !8 = !{null, !9}
47 !9 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, baseType: !10)
48 !10 = !DICompositeType(tag: DW_TAG_class_type, name: "foo", line: 1, size: 8, align: 8, file: !32, elements: !11)
49 !11 = !{!12}
50 !12 = !DISubprogram(name: "bar", linkageName: "_ZN3foo3barEv", line: 2, isLocal: false, isDefinition: false, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, scopeLine: 2, file: !6, scope: !10, type: !13)
51 !13 = !DISubroutineType(types: !14)
52 !14 = !{null, !15}
53 !15 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, flags: DIFlagArtificial, baseType: !10)
54 !20 = distinct !DISubprogram(name: "bar", linkageName: "_ZN3foo3barEv", line: 2, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, unit: !0, scopeLine: 2, file: !6, scope: null, type: !13, declaration: !12)
55 !23 = !DILocalVariable(name: "x", line: 4, arg: 1, scope: !5, file: !6, type: !9)
56 !24 = !DILocation(line: 4, column: 15, scope: !5)
57 !25 = !DILocation(line: 4, column: 20, scope: !26)
58 !26 = distinct !DILexicalBlock(line: 4, column: 18, file: !6, scope: !5)
59 !27 = !DILocation(line: 4, column: 30, scope: !26)
60 !28 = !DILocalVariable(name: "this", line: 2, arg: 1, flags: DIFlagArtificial, scope: !20, file: !6, type: !15)
61 !29 = !DILocation(line: 2, column: 8, scope: !20)
62 !30 = !DILocation(line: 2, column: 15, scope: !31)
63 !31 = distinct !DILexicalBlock(line: 2, column: 14, file: !6, scope: !20)
64 !32 = !DIFile(filename: "/home/espindola/llvm/test.cc", directory: "/home/espindola/tmpfs/build")
65 !33 = !{i32 1, !"Debug Info Version", i32 3}