1*fe18ab98SStephen Tozer;; Checks that when an instruction at the start of a BasicBlock has the same 2*fe18ab98SStephen Tozer;; DebugLoc as the instruction at the end of the previous BasicBlock, we add 3*fe18ab98SStephen Tozer;; is_stmt to the new line, to ensure that we still step on it if we arrive from 4*fe18ab98SStephen Tozer;; a BasicBlock other than the immediately preceding one, unless all known 5*fe18ab98SStephen Tozer;; predecessor BasicBlocks end with the same line. 6*fe18ab98SStephen Tozer 7*fe18ab98SStephen Tozer; RUN: %llc_dwarf -mtriple=x86_64-unknown-linux -O0 -filetype=obj < %s | llvm-dwarfdump --debug-line - | FileCheck %s 8*fe18ab98SStephen Tozer 9*fe18ab98SStephen Tozer; CHECK: {{0x[0-9a-f]+}} 13 5 {{.+}} is_stmt 10*fe18ab98SStephen Tozer; CHECK-NEXT: {{0x[0-9a-f]+}} 13 5 {{.+}} is_stmt 11*fe18ab98SStephen Tozer 12*fe18ab98SStephen Tozerdefine void @_Z1fi(i1 %cond) !dbg !21 { 13*fe18ab98SStephen Tozerentry: 14*fe18ab98SStephen Tozer br i1 %cond, label %if.then2, label %if.else4 15*fe18ab98SStephen Tozer 16*fe18ab98SStephen Tozerif.then2: ; preds = %entry 17*fe18ab98SStephen Tozer br label %if.end8, !dbg !24 18*fe18ab98SStephen Tozer 19*fe18ab98SStephen Tozerif.else4: ; preds = %entry 20*fe18ab98SStephen Tozer %0 = load i32, ptr null, align 4, !dbg !24 21*fe18ab98SStephen Tozer %call5 = call i1 null(i32 %0) 22*fe18ab98SStephen Tozer ret void 23*fe18ab98SStephen Tozer 24*fe18ab98SStephen Tozerif.end8: ; preds = %if.then2 25*fe18ab98SStephen Tozer ret void 26*fe18ab98SStephen Tozer} 27*fe18ab98SStephen Tozer 28*fe18ab98SStephen Tozer; CHECK: {{0x[0-9a-f]+}} 113 5 {{.+}} is_stmt 29*fe18ab98SStephen Tozer; CHECK-NOT: {{0x[0-9a-f]+}} 113 5 30*fe18ab98SStephen Tozer 31*fe18ab98SStephen Tozerdefine void @_Z1gi(i1 %cond) !dbg !31 { 32*fe18ab98SStephen Tozerentry: 33*fe18ab98SStephen Tozer br i1 %cond, label %if.then2, label %if.else4, !dbg !34 34*fe18ab98SStephen Tozer 35*fe18ab98SStephen Tozerif.then2: ; preds = %entry 36*fe18ab98SStephen Tozer br label %if.end8, !dbg !34 37*fe18ab98SStephen Tozer 38*fe18ab98SStephen Tozerif.else4: ; preds = %entry 39*fe18ab98SStephen Tozer %0 = load i32, ptr null, align 4, !dbg !34 40*fe18ab98SStephen Tozer %call5 = call i1 null(i32 %0) 41*fe18ab98SStephen Tozer ret void 42*fe18ab98SStephen Tozer 43*fe18ab98SStephen Tozerif.end8: ; preds = %if.then2 44*fe18ab98SStephen Tozer ret void 45*fe18ab98SStephen Tozer} 46*fe18ab98SStephen Tozer 47*fe18ab98SStephen Tozer!llvm.dbg.cu = !{!0} 48*fe18ab98SStephen Tozer!llvm.module.flags = !{!20} 49*fe18ab98SStephen Tozer 50*fe18ab98SStephen Tozer!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !1, producer: "clang version 20.0.0", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None) 51*fe18ab98SStephen Tozer!1 = !DIFile(filename: "test.cpp", directory: "/home/gbtozers/dev/upstream-llvm") 52*fe18ab98SStephen Tozer!20 = !{i32 2, !"Debug Info Version", i32 3} 53*fe18ab98SStephen Tozer!21 = distinct !DISubprogram(name: "f", linkageName: "_Z1fi", scope: !1, file: !1, line: 7, type: !22, scopeLine: 7, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0) 54*fe18ab98SStephen Tozer!22 = distinct !DISubroutineType(types: !23) 55*fe18ab98SStephen Tozer!23 = !{null} 56*fe18ab98SStephen Tozer!24 = !DILocation(line: 13, column: 5, scope: !25) 57*fe18ab98SStephen Tozer!25 = distinct !DILexicalBlock(scope: !21, file: !1, line: 11, column: 27) 58*fe18ab98SStephen Tozer!31 = distinct !DISubprogram(name: "g", linkageName: "_Z1gi", scope: !1, file: !1, line: 107, type: !32, scopeLine: 7, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0) 59*fe18ab98SStephen Tozer!32 = distinct !DISubroutineType(types: !33) 60*fe18ab98SStephen Tozer!33 = !{null} 61*fe18ab98SStephen Tozer!34 = !DILocation(line: 113, column: 5, scope: !35) 62*fe18ab98SStephen Tozer!35 = distinct !DILexicalBlock(scope: !31, file: !1, line: 111, column: 27) 63