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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
|
; RUN: llc -cas-friendly-debug-info -mtriple=x86_64-apple-macosx12.0.0 -filetype=obj %s -o %t
; RUN: llvm-dwarfdump -debug-line --debug-info %t | FileCheck %s
; This test checks if the line tables are emitted in a cas-friendly manner, which means they emit end_sequences when a function's contribution to the line table has ended. This is done to be able to split a function's contribution to the line table into individual cas blocks.
; CHECK: debug_line[0x{{[0-9a-z]+}}]
; CHECK-NEXT: Line table prologue:
;CHECK: Address Line Column File ISA Discriminator OpIndex Flags
;CHECK-NEXT: ------------------ ------ ------ ------ --- ------------- ------- -------------
;CHECK-NEXT: 0x0000000000000000 1 0 1 0 0 0 is_stmt
;CHECK-NEXT: 0x0000000000000004 2 9 1 0 0 0 is_stmt prologue_end
;CHECK-NEXT: 0x0000000000000008 2 10 1 0 0 0
;CHECK-NEXT: 0x000000000000000d 2 2 1 0 0 0
;CHECK-NEXT: 0x000000000000000e 2 2 1 0 0 0 end_sequence
;CHECK-NEXT: 0x0000000000000010 5 0 1 0 0 0 is_stmt
;CHECK-NEXT: 0x0000000000000014 6 11 1 0 0 0 is_stmt prologue_end
;CHECK-NEXT: 0x0000000000000018 6 10 1 0 0 0
;CHECK-NEXT: 0x000000000000001a 6 2 1 0 0 0
;CHECK-NEXT: 0x000000000000001b 6 2 1 0 0 0 end_sequence
;CHECK-NEXT: 0x0000000000000020 9 0 1 0 0 0 is_stmt
;CHECK-NEXT: 0x0000000000000035 10 13 1 0 0 0 is_stmt prologue_end
;CHECK-NEXT: 0x0000000000000038 10 9 1 0 0 0
;CHECK-NEXT: 0x000000000000003f 10 25 1 0 0 0
;CHECK-NEXT: 0x0000000000000042 10 21 1 0 0 0
;CHECK-NEXT: 0x0000000000000047 10 19 1 0 0 0
;CHECK-NEXT: 0x0000000000000049 10 2 1 0 0 0
;CHECK-NEXT: 0x000000000000004b 10 2 1 0 0 0 epilogue_begin
;CHECK-NEXT: 0x0000000000000051 10 2 1 0 0 0 end_sequence
; ModuleID = './test.c'
source_filename = "./test.c"
target datalayout = "e-m:o-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx12.0.0"
; Function Attrs: noinline nounwind optnone ssp uwtable
define i32 @foo(i32 noundef %n) #0 !dbg !9 {
entry:
%n.addr = alloca i32, align 4
store i32 %n, i32* %n.addr, align 4
call void @llvm.dbg.declare(metadata i32* %n.addr, metadata !15, metadata !DIExpression()), !dbg !16
%0 = load i32, i32* %n.addr, align 4, !dbg !17
%1 = load i32, i32* %n.addr, align 4, !dbg !18
%mul = mul nsw i32 %0, %1, !dbg !19
ret i32 %mul, !dbg !20
}
; Function Attrs: nofree nosync nounwind readnone speculatable willreturn
declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
; Function Attrs: noinline nounwind optnone ssp uwtable
define i32 @bar(i32 noundef %n) #0 !dbg !21 {
entry:
%n.addr = alloca i32, align 4
store i32 %n, i32* %n.addr, align 4
call void @llvm.dbg.declare(metadata i32* %n.addr, metadata !22, metadata !DIExpression()), !dbg !23
%0 = load i32, i32* %n.addr, align 4, !dbg !24
%mul = mul nsw i32 2, %0, !dbg !25
ret i32 %mul, !dbg !26
}
; Function Attrs: noinline nounwind optnone ssp uwtable
define i32 @main(i32 noundef %argc, i8** noundef %argv) #0 !dbg !27 {
entry:
%retval = alloca i32, align 4
%argc.addr = alloca i32, align 4
%argv.addr = alloca i8**, align 8
store i32 0, i32* %retval, align 4
store i32 %argc, i32* %argc.addr, align 4
call void @llvm.dbg.declare(metadata i32* %argc.addr, metadata !33, metadata !DIExpression()), !dbg !34
store i8** %argv, i8*** %argv.addr, align 8
call void @llvm.dbg.declare(metadata i8*** %argv.addr, metadata !35, metadata !DIExpression()), !dbg !36
%0 = load i32, i32* %argc.addr, align 4, !dbg !37
%call = call i32 @foo(i32 noundef %0), !dbg !38
%1 = load i32, i32* %argc.addr, align 4, !dbg !39
%call1 = call i32 @bar(i32 noundef %1), !dbg !40
%add = add nsw i32 %call, %call1, !dbg !41
ret i32 %add, !dbg !42
}
attributes #0 = { noinline nounwind optnone ssp uwtable }
attributes #1 = { nofree nosync nounwind readnone speculatable willreturn }
!llvm.dbg.cu = !{!0}
!llvm.module.flags = !{!2, !3, !4, !5, !6, !7}
!llvm.ident = !{!8}
!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 14.0.0 (git@github.com:apple/llvm-project.git 24e049152a8c2239a157a36f6a4d065e7a1b183b)", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None, sysroot: "/")
!1 = !DIFile(filename: "test.c", directory: "/Users/shubham/Development/testClangDebugInfo")
!2 = !{i32 7, !"Dwarf Version", i32 4}
!3 = !{i32 2, !"Debug Info Version", i32 3}
!4 = !{i32 1, !"wchar_size", i32 4}
!5 = !{i32 7, !"PIC Level", i32 2}
!6 = !{i32 7, !"uwtable", i32 1}
!7 = !{i32 7, !"frame-pointer", i32 2}
!8 = !{!"clang version 14.0.0 (git@github.com:apple/llvm-project.git)"}
!9 = distinct !DISubprogram(name: "foo", scope: !10, file: !10, line: 1, type: !11, scopeLine: 1, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !14)
!10 = !DIFile(filename: "./test.c", directory: "/Users/shubham/Development/testClangDebugInfo")
!11 = !DISubroutineType(types: !12)
!12 = !{!13, !13}
!13 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
!14 = !{}
!15 = !DILocalVariable(name: "n", arg: 1, scope: !9, file: !10, line: 1, type: !13)
!16 = !DILocation(line: 1, column: 13, scope: !9)
!17 = !DILocation(line: 2, column: 9, scope: !9)
!18 = !DILocation(line: 2, column: 11, scope: !9)
!19 = !DILocation(line: 2, column: 10, scope: !9)
!20 = !DILocation(line: 2, column: 2, scope: !9)
!21 = distinct !DISubprogram(name: "bar", scope: !10, file: !10, line: 5, type: !11, scopeLine: 5, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !14)
!22 = !DILocalVariable(name: "n", arg: 1, scope: !21, file: !10, line: 5, type: !13)
!23 = !DILocation(line: 5, column: 13, scope: !21)
!24 = !DILocation(line: 6, column: 11, scope: !21)
!25 = !DILocation(line: 6, column: 10, scope: !21)
!26 = !DILocation(line: 6, column: 2, scope: !21)
!27 = distinct !DISubprogram(name: "main", scope: !10, file: !10, line: 9, type: !28, scopeLine: 9, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !14)
!28 = !DISubroutineType(types: !29)
!29 = !{!13, !13, !30}
!30 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !31, size: 64)
!31 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !32, size: 64)
!32 = !DIBasicType(name: "char", size: 8, encoding: DW_ATE_signed_char)
!33 = !DILocalVariable(name: "argc", arg: 1, scope: !27, file: !10, line: 9, type: !13)
!34 = !DILocation(line: 9, column: 14, scope: !27)
!35 = !DILocalVariable(name: "argv", arg: 2, scope: !27, file: !10, line: 9, type: !30)
!36 = !DILocation(line: 9, column: 27, scope: !27)
!37 = !DILocation(line: 10, column: 13, scope: !27)
!38 = !DILocation(line: 10, column: 9, scope: !27)
!39 = !DILocation(line: 10, column: 25, scope: !27)
!40 = !DILocation(line: 10, column: 21, scope: !27)
!41 = !DILocation(line: 10, column: 19, scope: !27)
!42 = !DILocation(line: 10, column: 2, scope: !27)
|
