forked from OSchip/llvm-project
Handle base-to-derived casts of member function pointers in CGExprConstant.cpp
llvm-svn: 83265
This commit is contained in:
parent
128a5d5147
commit
3162e4945a
|
@ -485,6 +485,43 @@ public:
|
|||
}
|
||||
case CastExpr::CK_NullToMemberPointer:
|
||||
return CGM.EmitNullConstant(E->getType());
|
||||
|
||||
case CastExpr::CK_BaseToDerivedMemberPointer: {
|
||||
Expr *SubExpr = E->getSubExpr();
|
||||
|
||||
const MemberPointerType *SrcTy =
|
||||
SubExpr->getType()->getAs<MemberPointerType>();
|
||||
const MemberPointerType *DestTy =
|
||||
E->getType()->getAs<MemberPointerType>();
|
||||
|
||||
const CXXRecordDecl *BaseClass =
|
||||
cast<CXXRecordDecl>(cast<RecordType>(SrcTy->getClass())->getDecl());
|
||||
const CXXRecordDecl *DerivedClass =
|
||||
cast<CXXRecordDecl>(cast<RecordType>(DestTy->getClass())->getDecl());
|
||||
|
||||
if (SrcTy->getPointeeType()->isFunctionProtoType()) {
|
||||
llvm::Constant *C =
|
||||
CGM.EmitConstantExpr(SubExpr, SubExpr->getType(), CGF);
|
||||
if (!C)
|
||||
return 0;
|
||||
|
||||
llvm::ConstantStruct *CS = cast<llvm::ConstantStruct>(C);
|
||||
|
||||
// Check if we need to update the adjustment.
|
||||
if (llvm::Constant *Offset = CGM.GetCXXBaseClassOffset(DerivedClass,
|
||||
BaseClass)) {
|
||||
llvm::Constant *Values[2];
|
||||
|
||||
Values[0] = CS->getOperand(0);
|
||||
Values[1] = llvm::ConstantExpr::getAdd(CS->getOperand(1), Offset);
|
||||
return llvm::ConstantStruct::get(CGM.getLLVMContext(), Values, 2,
|
||||
/*Packed=*/false);
|
||||
}
|
||||
|
||||
return CS;
|
||||
}
|
||||
}
|
||||
|
||||
default: {
|
||||
// FIXME: This should be handled by the CK_NoOp cast kind.
|
||||
// Explicit and implicit no-op casts
|
||||
|
|
|
@ -15,6 +15,12 @@ void (A::*pa2)() = &A::f;
|
|||
// CHECK: @pa3 = global %0 { i64 1, i64 0 }, align 8
|
||||
void (A::*pa3)() = &A::vf;
|
||||
|
||||
// CHECK: @pc2 = global %0 { i64 ptrtoint (void ()* @_ZN1A1fEv to i64), i64 16 }, align 8
|
||||
void (C::*pc2)() = &C::f;
|
||||
|
||||
// CHECK: @pc3 = global %0 { i64 1, i64 0 }, align 8
|
||||
void (A::*pc3)() = &A::vf;
|
||||
|
||||
void f() {
|
||||
// CHECK: store i64 0, i64* getelementptr inbounds (%0* @pa, i32 0, i32 0)
|
||||
// CHECK: store i64 0, i64* getelementptr inbounds (%0* @pa, i32 0, i32 1)
|
||||
|
|
Loading…
Reference in New Issue