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
|
// Tests that we assign appropriate identifiers to indirect calls and targets.
// RUN: %clang_cc1 -triple x86_64-unknown-linux -fexperimental-call-graph-section \
// RUN: -emit-llvm -o - %s | FileCheck --check-prefixes=CHECK,ITANIUM %s
// RUN: %clang_cc1 -triple x86_64-pc-windows-msvc -fexperimental-call-graph-section \
// RUN: -emit-llvm -o - %s | FileCheck --check-prefixes=CHECK,MS %s
// CHECK-LABEL: define {{(dso_local)?}} void @foo(
// CHECK-SAME: {{.*}} !type [[F_TVOID:![0-9]+]]
void foo() {
}
// CHECK-LABEL: define {{(dso_local)?}} void @bar(
// CHECK-SAME: {{.*}} !type [[F_TVOID]]
void bar() {
void (*fp)() = foo;
// ITANIUM: call {{.*}}, !callee_type [[F_TVOID_CT:![0-9]+]]
// MS: call {{.*}}, !callee_type [[F_TVOID_CT:![0-9]+]]
fp();
}
// CHECK-LABEL: define {{(dso_local)?}} i32 @baz(
// CHECK-SAME: {{.*}} !type [[F_TPRIMITIVE:![0-9]+]]
int baz(char a, float b, double c) {
return 1;
}
// CHECK-LABEL: define {{(dso_local)?}} ptr @qux(
// CHECK-SAME: {{.*}} !type [[F_TPTR:![0-9]+]]
int *qux(char *a, float *b, double *c) {
return 0;
}
// CHECK-LABEL: define {{(dso_local)?}} void @corge(
// CHECK-SAME: {{.*}} !type [[F_TVOID]]
void corge() {
int (*fp_baz)(char, float, double) = baz;
// CHECK: call i32 {{.*}}, !callee_type [[F_TPRIMITIVE_CT:![0-9]+]]
fp_baz('a', .0f, .0);
int *(*fp_qux)(char *, float *, double *) = qux;
// CHECK: call ptr {{.*}}, !callee_type [[F_TPTR_CT:![0-9]+]]
fp_qux(0, 0, 0);
}
struct st1 {
int *(*fp)(char *, float *, double *);
};
struct st2 {
struct st1 m;
};
// CHECK-LABEL: define {{(dso_local)?}} void @stparam(
// CHECK-SAME: {{.*}} !type [[F_TSTRUCT:![0-9]+]]
void stparam(struct st2 a, struct st2 *b) {}
// CHECK-LABEL: define {{(dso_local)?}} void @stf(
// CHECK-SAME: {{.*}} !type [[F_TVOID]]
void stf() {
struct st1 St1;
St1.fp = qux;
// CHECK: call ptr {{.*}}, !callee_type [[F_TPTR_CT:![0-9]+]]
St1.fp(0, 0, 0);
struct st2 St2;
St2.m.fp = qux;
// CHECK: call ptr {{.*}}, !callee_type [[F_TPTR_CT:![0-9]+]]
St2.m.fp(0, 0, 0);
// CHECK: call void {{.*}}, !callee_type [[F_TSTRUCT_CT:![0-9]+]]
void (*fp_stparam)(struct st2, struct st2 *) = stparam;
fp_stparam(St2, &St2);
}
// ITANIUM: [[F_TVOID]] = !{i64 0, !"_ZTSFvE.generalized"}
// ITANIUM: [[F_TVOID_CT]] = !{[[F_TVOID:![0-9]+]]}
// ITANIUM: [[F_TPRIMITIVE]] = !{i64 0, !"_ZTSFicfdE.generalized"}
// ITANIUM: [[F_TPTR]] = !{i64 0, !"_ZTSFPiPcPfPdE.generalized"}
// ITANIUM: [[F_TPRIMITIVE_CT]] = !{[[F_TPRIMITIVE:![0-9]+]]}
// ITANIUM: [[F_TPTR_CT]] = !{[[F_TPTR:![0-9]+]]}
// ITANIUM: [[F_TSTRUCT]] = !{i64 0, !"_ZTSFv3st2PS_E.generalized"}
// ITANIUM: [[F_TSTRUCT_CT]] = !{[[F_TSTRUCT:![0-9]+]]}
// MS: [[F_TVOID]] = !{i64 0, !"?6AX@Z.generalized"}
// MS: [[F_TVOID_CT]] = !{[[F_TVOID:![0-9]+]]}
// MS: [[F_TPRIMITIVE]] = !{i64 0, !"?6AHDMN@Z.generalized"}
// MS: [[F_TPTR]] = !{i64 0, !"?6APEAHPEADPEAMPEAN@Z.generalized"}
// MS: [[F_TPRIMITIVE_CT]] = !{[[F_TPRIMITIVE:![0-9]+]]}
// MS: [[F_TPTR_CT]] = !{[[F_TPTR:![0-9]+]]}
// MS: [[F_TSTRUCT]] = !{i64 0, !"?6AXUst2@@PEAU0@@Z.generalized"}
// MS: [[F_TSTRUCT_CT]] = !{[[F_TSTRUCT:![0-9]+]]}
|
