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
|
; Tests that we store the type identifiers in .callgraph section of the binary.
; RUN: llc --call-graph-section -filetype=obj -o - < %s | \
; RUN: llvm-readelf -x .callgraph - | FileCheck %s
target triple = "x86_64-unknown-linux-gnu"
define dso_local void @foo() #0 !type !4 {
entry:
ret void
}
define dso_local i32 @bar(i8 signext %a) #0 !type !5 {
entry:
%a.addr = alloca i8, align 1
store i8 %a, i8* %a.addr, align 1
ret i32 0
}
define dso_local i32* @baz(i8* %a) #0 !type !6 {
entry:
%a.addr = alloca i8*, align 8
store i8* %a, i8** %a.addr, align 8
ret i32* null
}
define dso_local i32 @main() #0 !type !7 {
entry:
%retval = alloca i32, align 4
%fp_foo = alloca void (...)*, align 8
%a = alloca i8, align 1
%fp_bar = alloca i32 (i8)*, align 8
%fp_baz = alloca i32* (i8*)*, align 8
store i32 0, i32* %retval, align 4
store void (...)* bitcast (void ()* @foo to void (...)*), void (...)** %fp_foo, align 8
%0 = load void (...)*, void (...)** %fp_foo, align 8
call void (...) %0() [ "type"(metadata !"_ZTSFvE.generalized") ]
store i32 (i8)* @bar, i32 (i8)** %fp_bar, align 8
%1 = load i32 (i8)*, i32 (i8)** %fp_bar, align 8
%2 = load i8, i8* %a, align 1
%call = call i32 %1(i8 signext %2) [ "type"(metadata !"_ZTSFicE.generalized") ]
store i32* (i8*)* @baz, i32* (i8*)** %fp_baz, align 8
%3 = load i32* (i8*)*, i32* (i8*)** %fp_baz, align 8
%call1 = call i32* %3(i8* %a) [ "type"(metadata !"_ZTSFPvS_E.generalized") ]
call void @foo() [ "type"(metadata !"_ZTSFvE.generalized") ]
%4 = load i8, i8* %a, align 1
%call2 = call i32 @bar(i8 signext %4) [ "type"(metadata !"_ZTSFicE.generalized") ]
%call3 = call i32* @baz(i8* %a) [ "type"(metadata !"_ZTSFPvS_E.generalized") ]
ret i32 0
}
attributes #0 = { noinline nounwind optnone uwtable "frame-pointer"="all" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
!llvm.module.flags = !{!0, !1, !2}
!llvm.ident = !{!3}
; Check that the numeric type id (md5 hash) for the below type ids are emitted
; to the callgraph section.
; CHECK: Hex dump of section '.callgraph':
!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 7, !"uwtable", i32 1}
!2 = !{i32 7, !"frame-pointer", i32 2}
!3 = !{!"clang version 13.0.0 (git@github.com:llvm/llvm-project.git 6d35f403b91c2f2c604e23763f699d580370ca96)"}
; CHECK-DAG: 2444f731 f5eecb3e
!4 = !{i64 0, !"_ZTSFvE.generalized"}
; CHECK-DAG: 5486bc59 814b8e30
!5 = !{i64 0, !"_ZTSFicE.generalized"}
; CHECK-DAG: 7ade6814 f897fd77
!6 = !{i64 0, !"_ZTSFPvS_E.generalized"}
; CHECK-DAG: caaf769a 600968fa
!7 = !{i64 0, !"_ZTSFiE.generalized"}
|