1 ; RUN: llc %s -mtriple=x86_64-unknown-unknown -use-unknown-locations=Enable -o - | FileCheck %s 2 3 ; Generated with "clang -gline-tables-only -c -emit-llvm -o - | opt -sroa -S" 4 ; from source: 5 ; 6 ; extern int foo(int); 7 ; extern int bar(int); 8 ; 9 ; int test(int a, int b) { 10 ; if(b) 11 ; a += foo(a); 12 ; else 13 ; a += bar(a); 14 ; return a; 15 ; } 16 17 ; When tail-merging the debug location of the common tail should be removed. 18 19 ; CHECK-LABEL: test: 20 ; CHECK: movl %edi, [[REG:%.*]] 21 ; CHECK: testl %esi, %esi 22 ; CHECK: je [[ELSE:.LBB[0-9]+_[0-9]+]] 23 ; CHECK: .loc 1 6 10 24 ; CHECK: callq foo 25 ; CHECK: jmp [[TAIL:.LBB[0-9]+_[0-9]+]] 26 ; CHECK: [[ELSE]]: 27 ; CHECK: .loc 1 8 10 28 ; CHECK: callq bar 29 ; CHECK: [[TAIL]]: 30 ; CHECK: .loc 1 0 31 ; CHECK: addl [[REG]], %eax 32 ; CHECK: .loc 1 9 3 33 34 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 35 target triple = "x86_64-unknown-linux-gnu" 36 37 define i32 @test(i32 %a, i32 %b) !dbg !6 { 38 entry: 39 %tobool = icmp ne i32 %b, 0, !dbg !8 40 br i1 %tobool, label %if.then, label %if.else, !dbg !8 41 42 if.then: ; preds = %entry 43 %call = call i32 @foo(i32 %a), !dbg !9 44 %add = add nsw i32 %a, %call, !dbg !10 45 br label %if.end, !dbg !11 46 47 if.else: ; preds = %entry 48 %call1 = call i32 @bar(i32 %a), !dbg !12 49 %add2 = add nsw i32 %a, %call1, !dbg !13 50 br label %if.end 51 52 if.end: ; preds = %if.else, %if.then 53 %a.addr.0 = phi i32 [ %add, %if.then ], [ %add2, %if.else ] 54 ret i32 %a.addr.0, !dbg !14 55 } 56 57 declare i32 @foo(i32) 58 declare i32 @bar(i32) 59 60 !llvm.dbg.cu = !{!0} 61 !llvm.module.flags = !{!3, !4} 62 63 !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "", isOptimized: false, runtimeVersion: 0, emissionKind: LineTablesOnly, enums: !2) 64 !1 = !DIFile(filename: "test.c", directory: "") 65 !2 = !{} 66 !3 = !{i32 2, !"Dwarf Version", i32 4} 67 !4 = !{i32 2, !"Debug Info Version", i32 3} 68 !6 = distinct !DISubprogram(name: "test", scope: !1, file: !1, line: 4, type: !7, isLocal: false, isDefinition: true, scopeLine: 4, flags: DIFlagPrototyped, isOptimized: false, unit: !0, retainedNodes: !2) 69 !7 = !DISubroutineType(types: !2) 70 !8 = !DILocation(line: 5, column: 6, scope: !6) 71 !9 = !DILocation(line: 6, column: 10, scope: !6) 72 !10 = !DILocation(line: 6, column: 7, scope: !6) 73 !11 = !DILocation(line: 6, column: 5, scope: !6) 74 !12 = !DILocation(line: 8, column: 10, scope: !6) 75 !13 = !DILocation(line: 8, column: 7, scope: !6) 76 !14 = !DILocation(line: 9, column: 3, scope: !6) 77
