DI: Require subprogram definitions to be distinct
[oota-llvm.git] / test / Transforms / InstCombine / debug-line.ll
1 ; RUN: opt -instcombine -S < %s | FileCheck %s
2
3
4 @.str = private constant [3 x i8] c"%c\00"
5
6 define void @foo() nounwind ssp {
7 ;CHECK: call i32 @putchar{{.+}} !dbg
8   %1 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i32 0, i32 0), i32 97), !dbg !5
9   ret void, !dbg !7
10 }
11
12 declare i32 @printf(i8*, ...)
13
14 !llvm.dbg.cu = !{!2}
15 !llvm.module.flags = !{!10}
16 !llvm.dbg.sp = !{!0}
17
18 !0 = distinct !DISubprogram(name: "foo", line: 4, isLocal: false, isDefinition: true, virtualIndex: 6, isOptimized: false, file: !8, scope: !1, type: !3, function: void ()* @foo)
19 !1 = !DIFile(filename: "m.c", directory: "/private/tmp")
20 !2 = distinct !DICompileUnit(language: DW_LANG_C99, producer: "clang", isOptimized: true, emissionKind: 0, file: !8, enums: !{}, retainedTypes: !{}, subprograms: !9)
21 !3 = !DISubroutineType(types: !4)
22 !4 = !{null}
23 !5 = !DILocation(line: 5, column: 2, scope: !6)
24 !6 = distinct !DILexicalBlock(line: 4, column: 12, file: !8, scope: !0)
25 !7 = !DILocation(line: 6, column: 1, scope: !6)
26 !8 = !DIFile(filename: "m.c", directory: "/private/tmp")
27 !9 = !{!0}
28 !10 = !{i32 1, !"Debug Info Version", i32 3}