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