Prabhu Rajasekaran
c311656883
When -fexperimental-call-graph-section flag is set, it adds type metadata to all the functions whose addresses are taken and does not have local linkage. When this flag is set along with CFI, the type metadata is added to all the vtable functions including destructors. This changes which functions are to be treated as CFI functions and includes such vtable entries to become part of the CFI check jumptables. To disambiguate intentions of CFI and callgraph mechanisms, this patch renames metadata set by callgraph mechanism to !callgraph (MD_callgraph). This prevents inflating the list of CFI functions when callgraph section is enabled along with CFI.
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: {{.*}} !callgraph [[F_TVF:![0-9]+]]
|
|
virtual int vf(char *a) { return 0; };
|
|
};
|
|
|
|
class Derived : public Base {
|
|
public:
|
|
// FT: define {{.*}} @_ZN7Derived2vfEPc({{.*}} !callgraph [[F_TVF]]
|
|
int vf(char *a) override { return 1; };
|
|
};
|
|
|
|
// FT: [[F_TVF]] = !{!"_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]] = !{!"_ZTSFiPcE.generalized"}
|