| // 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]+]]} |