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
131
132
133
134
135
136
137
138
139
140
141
|
; RUN: llc -filetype=asm %s -o - -mtriple arm64-apple-ios -addrsig | FileCheck %s
; RUN: llc -filetype=obj %s -o %t -mtriple arm64-apple-ios -addrsig
; RUN: llvm-objdump --macho --section-headers %t | FileCheck %s --check-prefix=SECTIONS
; RUN: llvm-objdump --macho --reloc %t | FileCheck %s --check-prefix=RELOCS
; CHECK: .addrsig{{$}}
; CHECK-NEXT: .addrsig_sym _func03_takeaddr
; CHECK-NEXT: .addrsig_sym _f1
; CHECK-NEXT: .addrsig_sym _metadata_f2
; CHECK-NEXT: .addrsig_sym _result
; CHECK-NEXT: .addrsig_sym _g1
; CHECK-NEXT: .addrsig_sym _a1
; CHECK-NEXT: .addrsig_sym _i1
; The __debug_line section (which should be generated for the given input file)
; should appear immediately after the addrsig section. Use it to make sure
; addrsig's section size has been properly set during section layout. This
; catches a regression where the next section would overlap addrsig's
; contents.
; SECTIONS: __llvm_addrsig 00000008 [[#%.16x,ADDR:]]
; SECTIONS-NEXT: __debug_line {{[[:xdigit:]]+}} [[#%.16x,8+ADDR]]
; RELOCS: Relocation information (__DATA,__llvm_addrsig) 7 entries
; RELOCS: address pcrel length extern type scattered symbolnum/value
; RELOCS: 00000000 False ?( 3) True UNSIGND False _i1
; RELOCS: 00000000 False ?( 3) True UNSIGND False _a1
; RELOCS: 00000000 False ?( 3) True UNSIGND False _g1
; RELOCS: 00000000 False ?( 3) True UNSIGND False _result
; RELOCS: 00000000 False ?( 3) True UNSIGND False _metadata_f2
; RELOCS: 00000000 False ?( 3) True UNSIGND False _f1
; RELOCS: 00000000 False ?( 3) True UNSIGND False _func03_takeaddr
target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
target triple = "arm64-apple-ios7.0.0"
@result = global i32 0, align 4
; Function Attrs: minsize nofree noinline norecurse nounwind optsize ssp uwtable
define void @func01() local_unnamed_addr #0 {
entry:
%0 = load volatile i32, ptr @result, align 4
%add = add nsw i32 %0, 1
store volatile i32 %add, ptr @result, align 4
ret void
}
; Function Attrs: minsize nofree noinline norecurse nounwind optsize ssp uwtable
define void @func02() local_unnamed_addr #0 {
entry:
%0 = load volatile i32, ptr @result, align 4
%add = add nsw i32 %0, 1
store volatile i32 %add, ptr @result, align 4
ret void
}
; Function Attrs: minsize nofree noinline norecurse nounwind optsize ssp uwtable
define void @func03_takeaddr() #0 !dbg !9 {
entry:
%0 = load volatile i32, ptr @result, align 4
%add = add nsw i32 %0, 1
store volatile i32 %add, ptr @result, align 4
ret void
}
; Function Attrs: minsize nofree norecurse nounwind optsize ssp uwtable
define void @callAllFunctions() local_unnamed_addr {
entry:
tail call void @func01()
tail call void @func02()
tail call void @func03_takeaddr()
%0 = load volatile i32, ptr @result, align 4
%add = add nsw i32 %0, ptrtoint (ptr @func03_takeaddr to i32)
store volatile i32 %add, ptr @result, align 4
ret void
}
define void()* @f1() {
%f1 = bitcast void()* ()* @f1 to i8*
%f2 = bitcast void()* ()* @f2 to i8*
%f3 = bitcast void()* @f3 to i8*
%g1 = bitcast i32* @g1 to i8*
%g2 = bitcast i32* @g2 to i8*
%g3 = bitcast i32* @g3 to i8*
%dllimport = bitcast i32* @dllimport to i8*
%tls = bitcast i32* @tls to i8*
%a1 = bitcast i32* @a1 to i8*
%a2 = bitcast i32* @a2 to i8*
%i1 = bitcast void()* @i1 to i8*
%i2 = bitcast void()* @i2 to i8*
call void @llvm.dbg.value(metadata i8* bitcast (void()* @metadata_f1 to i8*), metadata !6, metadata !DIExpression()), !dbg !8
call void @llvm.dbg.value(metadata i8* bitcast (void()* @metadata_f2 to i8*), metadata !6, metadata !DIExpression()), !dbg !8
call void @f4(i8* bitcast (void()* @metadata_f2 to i8*))
unreachable
}
declare void @f4(i8*) unnamed_addr
declare void @metadata_f1()
declare void @metadata_f2()
define internal void()* @f2() local_unnamed_addr {
unreachable
}
declare void @f3() unnamed_addr
@g1 = global i32 0
@g2 = internal local_unnamed_addr global i32 0
@g3 = external unnamed_addr global i32
@unref = external global i32
@dllimport = external dllimport global i32
@tls = thread_local global i32 0
@a1 = alias i32, i32* @g1
@a2 = internal local_unnamed_addr alias i32, i32* @g2
@i1 = ifunc void(), void()* ()* @f1
@i2 = internal local_unnamed_addr ifunc void(), void()* ()* @f2
declare void @llvm.dbg.value(metadata, metadata, metadata)
attributes #0 = { noinline }
!llvm.dbg.cu = !{!0}
!llvm.module.flags = !{!2, !3}
!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, emissionKind: FullDebug)
!1 = !DIFile(filename: "test.c", directory: "/tmp")
!2 = !{i32 7, !"Dwarf Version", i32 4}
!3 = !{i32 2, !"Debug Info Version", i32 3}
!4 = distinct !DISubprogram(scope: null, isLocal: false, isDefinition: true, isOptimized: false, unit: !0)
!5 = !DILocation(line: 0, scope: !4)
!6 = !DILocalVariable(scope: !7)
!7 = distinct !DISubprogram(scope: null, isLocal: false, isDefinition: true, isOptimized: false, unit: !0)
!8 = !DILocation(line: 0, scope: !7, inlinedAt: !5)
!9 = distinct !DISubprogram(scope: null, file: !1, line: 1, type: !10, unit: !0)
!10 = !DISubroutineType(types: !{})
|
