550b62cbcb
Create and add generalized type identifier metadata to indirect calls, and to functions which are potential indirect call targets. The functions carry the !type metadata. The indirect callsites carry a list of !type metadata values under !callee_type metadata. RFC: https://discourse.llvm.org/t/rfc-call-graph-information-from-clang-llvm-for-c-c/88255
57 lines
1.7 KiB
C++
57 lines
1.7 KiB
C++
// Tests that we assign appropriate identifiers to indirect calls and targets
|
|
// specifically for virtual methods.
|
|
|
|
// RUN: %clang_cc1 -triple x86_64-unknown-linux -fexperimental-call-graph-section \
|
|
// RUN: -emit-llvm -o %t %s
|
|
// RUN: FileCheck --check-prefix=FT %s < %t
|
|
// RUN: FileCheck --check-prefix=CST %s < %t
|
|
|
|
////////////////////////////////////////////////////////////////////////////////
|
|
// Class definitions (check for indirect target metadata)
|
|
|
|
class Base {
|
|
public:
|
|
// FT-LABEL: define {{.*}} @_ZN4Base2vfEPc(
|
|
// FT-SAME: {{.*}} !type [[F_TVF:![0-9]+]]
|
|
virtual int vf(char *a) { return 0; };
|
|
};
|
|
|
|
class Derived : public Base {
|
|
public:
|
|
// FT: define {{.*}} @_ZN7Derived2vfEPc({{.*}} !type [[F_TVF]]
|
|
int vf(char *a) override { return 1; };
|
|
};
|
|
|
|
// FT: [[F_TVF]] = !{i64 0, !"_ZTSFiPcE.generalized"}
|
|
|
|
////////////////////////////////////////////////////////////////////////////////
|
|
// Callsites (check for indirect callsite operand bundles)
|
|
|
|
// CST-LABEL: define {{.*}} @_Z3foov
|
|
void foo() {
|
|
auto B = Base();
|
|
auto D = Derived();
|
|
|
|
Base *Bptr = &B;
|
|
Base *BptrToD = &D;
|
|
Derived *Dptr = &D;
|
|
|
|
auto FpBaseVf = &Base::vf;
|
|
auto FpDerivedVf = &Derived::vf;
|
|
|
|
// CST: call noundef i32 %{{.*}}, !callee_type [[F_TVF_CT:![0-9]+]]
|
|
(Bptr->*FpBaseVf)(0);
|
|
|
|
// CST: call noundef i32 %{{.*}}, !callee_type [[F_TVF_CT:![0-9]+]]
|
|
(BptrToD->*FpBaseVf)(0);
|
|
|
|
// CST: call noundef i32 %{{.*}}, !callee_type [[F_TVF_CT:![0-9]+]]
|
|
(Dptr->*FpBaseVf)(0);
|
|
|
|
// CST: call noundef i32 %{{.*}}, !callee_type [[F_TVF_CT:![0-9]+]]
|
|
(Dptr->*FpDerivedVf)(0);
|
|
}
|
|
|
|
// CST: [[F_TVF_CT]] = !{[[F_TVF:![0-9]+]]}
|
|
// CST: [[F_TVF]] = !{i64 0, !"_ZTSFiPcE.generalized"}
|