1 ; RUN: opt < %s -add-discriminators -S | FileCheck %s 2 3 ; Discriminator support for code that is written in one line: 4 ; #1 int foo(int i) { 5 ; #2 if (i == 3 || i == 5) return 100; else return 99; 6 ; #3 } 7 8 ; i == 3: discriminator 0 9 ; i == 5: discriminator 1 10 ; return 100: discriminator 2 11 ; return 99: discriminator 3 12 13 define i32 @_Z3fooi(i32 %i) #0 !dbg !4 { 14 %1 = alloca i32, align 4 15 %2 = alloca i32, align 4 16 store i32 %i, i32* %2, align 4, !tbaa !13 17 call void @llvm.dbg.declare(metadata i32* %2, metadata !9, metadata !17), !dbg !18 18 %3 = load i32, i32* %2, align 4, !dbg !19, !tbaa !13 19 %4 = icmp eq i32 %3, 3, !dbg !21 20 br i1 %4, label %8, label %5, !dbg !22 21 22 ; <label>:5 ; preds = %0 23 %6 = load i32, i32* %2, align 4, !dbg !23, !tbaa !13 24 ; CHECK: %6 = load i32, i32* %2, align 4, !dbg ![[THEN1:[0-9]+]],{{.*}} 25 26 %7 = icmp eq i32 %6, 5, !dbg !24 27 ; CHECK: %7 = icmp eq i32 %6, 5, !dbg ![[THEN2:[0-9]+]] 28 29 br i1 %7, label %8, label %9, !dbg !25 30 ; CHECK: br i1 %7, label %8, label %9, !dbg ![[THEN3:[0-9]+]] 31 32 ; <label>:8 ; preds = %5, %0 33 store i32 100, i32* %1, align 4, !dbg !26 34 ; CHECK: store i32 100, i32* %1, align 4, !dbg ![[ELSE:[0-9]+]] 35 36 br label %10, !dbg !26 37 ; CHECK: br label %10, !dbg ![[ELSE]] 38 39 ; <label>:9 ; preds = %5 40 store i32 99, i32* %1, align 4, !dbg !27 41 ; CHECK: store i32 99, i32* %1, align 4, !dbg ![[COMBINE:[0-9]+]] 42 43 br label %10, !dbg !27 44 ; CHECK: br label %10, !dbg ![[COMBINE]] 45 46 ; <label>:10 ; preds = %9, %8 47 %11 = load i32, i32* %1, align 4, !dbg !28 48 ret i32 %11, !dbg !28 49 } 50 51 ; Function Attrs: nounwind readnone 52 declare void @llvm.dbg.declare(metadata, metadata, metadata) #1 53 54 attributes #0 = { nounwind uwtable "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2" "unsafe-fp-math"="false" "use-soft-float"="false" } 55 attributes #1 = { nounwind readnone } 56 57 ; We should be able to add discriminators even in the absence of llvm.dbg.cu. 58 ; When using sample profiles, the front end will generate line tables but it 59 ; does not generate llvm.dbg.cu to prevent codegen from emitting debug info 60 ; to the final binary. 61 ; !llvm.dbg.cu = !{!0} 62 !llvm.module.flags = !{!10, !11} 63 !llvm.ident = !{!12} 64 65 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 3.8.0 (trunk 250915)", isOptimized: true, runtimeVersion: 0, emissionKind: 1, enums: !2, subprograms: !3) 66 !1 = !DIFile(filename: "a.cc", directory: "/usr/local/google/home/dehao/discr") 67 !2 = !{} 68 !3 = !{!4} 69 !4 = distinct !DISubprogram(name: "foo", linkageName: "_Z3fooi", scope: !1, file: !1, line: 1, type: !5, isLocal: false, isDefinition: true, scopeLine: 1, flags: DIFlagPrototyped, isOptimized: true, variables: !8) 70 !5 = !DISubroutineType(types: !6) 71 !6 = !{!7, !7} 72 !7 = !DIBasicType(name: "int", size: 32, align: 32, encoding: DW_ATE_signed) 73 !8 = !{!9} 74 !9 = !DILocalVariable(name: "i", arg: 1, scope: !4, file: !1, line: 1, type: !7) 75 !10 = !{i32 2, !"Dwarf Version", i32 4} 76 !11 = !{i32 2, !"Debug Info Version", i32 3} 77 !12 = !{!"clang version 3.8.0 (trunk 250915)"} 78 !13 = !{!14, !14, i64 0} 79 !14 = !{!"int", !15, i64 0} 80 !15 = !{!"omnipotent char", !16, i64 0} 81 !16 = !{!"Simple C/C++ TBAA"} 82 !17 = !DIExpression() 83 !18 = !DILocation(line: 1, column: 13, scope: !4) 84 !19 = !DILocation(line: 2, column: 7, scope: !20) 85 !20 = distinct !DILexicalBlock(scope: !4, file: !1, line: 2, column: 7) 86 !21 = !DILocation(line: 2, column: 9, scope: !20) 87 !22 = !DILocation(line: 2, column: 14, scope: !20) 88 !23 = !DILocation(line: 2, column: 17, scope: !20) 89 !24 = !DILocation(line: 2, column: 19, scope: !20) 90 !25 = !DILocation(line: 2, column: 7, scope: !4) 91 !26 = !DILocation(line: 2, column: 25, scope: !20) 92 !27 = !DILocation(line: 2, column: 42, scope: !20) 93 !28 = !DILocation(line: 3, column: 1, scope: !4) 94 95 ; CHECK: ![[THEN1]] = !DILocation(line: 2, column: 17, scope: ![[THENBLOCK:[0-9]+]]) 96 ; CHECK: ![[THENBLOCK]] = !DILexicalBlockFile({{.*}} discriminator: 1) 97 ; CHECK: ![[THEN2]] = !DILocation(line: 2, column: 19, scope: ![[THENBLOCK]]) 98 ; CHECK: ![[THEN3]] = !DILocation(line: 2, column: 7, scope: ![[THENBLOCK]]) 99 ; CHECK: ![[ELSE]] = !DILocation(line: 2, column: 25, scope: ![[ELSEBLOCK:[0-9]+]]) 100 ; CHECK: ![[ELSEBLOCK]] = !DILexicalBlockFile({{.*}} discriminator: 2) 101 ; CHECK: ![[COMBINE]] = !DILocation(line: 2, column: 42, scope: ![[COMBINEBLOCK:[0-9]+]]) 102 ; CHECK: ![[COMBINEBLOCK]] = !DILexicalBlockFile({{.*}} discriminator: 3) 103
