Anders Carlsson | e1b29ef | 2008-08-22 16:00:37 +0000 | [diff] [blame] | 1 | //===--- CGDecl.cpp - Emit LLVM Code for declarations ---------------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This contains code dealing with C++ code generation. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 14 | // We might split this into multiple files if it gets too unwieldy |
Anders Carlsson | e1b29ef | 2008-08-22 16:00:37 +0000 | [diff] [blame] | 15 | |
| 16 | #include "CodeGenFunction.h" |
| 17 | #include "CodeGenModule.h" |
Anders Carlsson | 283a062 | 2009-04-13 18:03:33 +0000 | [diff] [blame] | 18 | #include "Mangle.h" |
Anders Carlsson | e1b29ef | 2008-08-22 16:00:37 +0000 | [diff] [blame] | 19 | #include "clang/AST/ASTContext.h" |
Fariborz Jahanian | 742cd1b | 2009-07-25 21:12:28 +0000 | [diff] [blame] | 20 | #include "clang/AST/RecordLayout.h" |
Anders Carlsson | e1b29ef | 2008-08-22 16:00:37 +0000 | [diff] [blame] | 21 | #include "clang/AST/Decl.h" |
Anders Carlsson | 774e7c6 | 2009-04-03 22:50:24 +0000 | [diff] [blame] | 22 | #include "clang/AST/DeclCXX.h" |
Anders Carlsson | 86e9644 | 2008-08-23 19:42:54 +0000 | [diff] [blame] | 23 | #include "clang/AST/DeclObjC.h" |
Anders Carlsson | 6815e94 | 2009-09-27 18:58:34 +0000 | [diff] [blame] | 24 | #include "clang/AST/StmtCXX.h" |
Anders Carlsson | e1b29ef | 2008-08-22 16:00:37 +0000 | [diff] [blame] | 25 | #include "llvm/ADT/StringExtras.h" |
Anders Carlsson | e1b29ef | 2008-08-22 16:00:37 +0000 | [diff] [blame] | 26 | using namespace clang; |
| 27 | using namespace CodeGen; |
| 28 | |
Anders Carlsson | b9de2c5 | 2009-05-11 23:37:08 +0000 | [diff] [blame] | 29 | |
Anders Carlsson | 0f29463 | 2009-05-27 04:18:27 +0000 | [diff] [blame] | 30 | |
Anders Carlsson | 95d4e5d | 2009-04-15 15:55:24 +0000 | [diff] [blame] | 31 | void CodeGenModule::EmitCXXConstructors(const CXXConstructorDecl *D) { |
Anders Carlsson | 2a131fb | 2009-05-05 04:44:02 +0000 | [diff] [blame] | 32 | EmitGlobal(GlobalDecl(D, Ctor_Complete)); |
| 33 | EmitGlobal(GlobalDecl(D, Ctor_Base)); |
Anders Carlsson | 95d4e5d | 2009-04-15 15:55:24 +0000 | [diff] [blame] | 34 | } |
Anders Carlsson | 363c184 | 2009-04-16 23:57:24 +0000 | [diff] [blame] | 35 | |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 36 | void CodeGenModule::EmitCXXConstructor(const CXXConstructorDecl *D, |
Anders Carlsson | 27ae536 | 2009-04-17 01:58:57 +0000 | [diff] [blame] | 37 | CXXCtorType Type) { |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 38 | |
Anders Carlsson | 27ae536 | 2009-04-17 01:58:57 +0000 | [diff] [blame] | 39 | llvm::Function *Fn = GetAddrOfCXXConstructor(D, Type); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 40 | |
Anders Carlsson | 0ff8baf | 2009-09-11 00:07:24 +0000 | [diff] [blame] | 41 | CodeGenFunction(*this).GenerateCode(GlobalDecl(D, Type), Fn); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 42 | |
Anders Carlsson | 27ae536 | 2009-04-17 01:58:57 +0000 | [diff] [blame] | 43 | SetFunctionDefinitionAttributes(D, Fn); |
| 44 | SetLLVMFunctionAttributesForDefinition(D, Fn); |
| 45 | } |
| 46 | |
Anders Carlsson | 363c184 | 2009-04-16 23:57:24 +0000 | [diff] [blame] | 47 | llvm::Function * |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 48 | CodeGenModule::GetAddrOfCXXConstructor(const CXXConstructorDecl *D, |
Anders Carlsson | 363c184 | 2009-04-16 23:57:24 +0000 | [diff] [blame] | 49 | CXXCtorType Type) { |
Fariborz Jahanian | 30509a3 | 2009-11-06 18:47:57 +0000 | [diff] [blame] | 50 | const FunctionProtoType *FPT = D->getType()->getAs<FunctionProtoType>(); |
Anders Carlsson | 363c184 | 2009-04-16 23:57:24 +0000 | [diff] [blame] | 51 | const llvm::FunctionType *FTy = |
Anders Carlsson | f6c56e2 | 2009-11-25 03:15:49 +0000 | [diff] [blame] | 52 | getTypes().GetFunctionType(getTypes().getFunctionInfo(D, Type), |
Fariborz Jahanian | 30509a3 | 2009-11-06 18:47:57 +0000 | [diff] [blame] | 53 | FPT->isVariadic()); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 54 | |
Anders Carlsson | 363c184 | 2009-04-16 23:57:24 +0000 | [diff] [blame] | 55 | const char *Name = getMangledCXXCtorName(D, Type); |
Chris Lattner | b4880ba | 2009-05-12 21:21:08 +0000 | [diff] [blame] | 56 | return cast<llvm::Function>( |
| 57 | GetOrCreateLLVMFunction(Name, FTy, GlobalDecl(D, Type))); |
Anders Carlsson | 363c184 | 2009-04-16 23:57:24 +0000 | [diff] [blame] | 58 | } |
Anders Carlsson | 27ae536 | 2009-04-17 01:58:57 +0000 | [diff] [blame] | 59 | |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 60 | const char *CodeGenModule::getMangledCXXCtorName(const CXXConstructorDecl *D, |
Anders Carlsson | 27ae536 | 2009-04-17 01:58:57 +0000 | [diff] [blame] | 61 | CXXCtorType Type) { |
| 62 | llvm::SmallString<256> Name; |
Daniel Dunbar | 94fd26d | 2009-11-21 09:06:22 +0000 | [diff] [blame] | 63 | getMangleContext().mangleCXXCtor(D, Type, Name); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 64 | |
Anders Carlsson | 27ae536 | 2009-04-17 01:58:57 +0000 | [diff] [blame] | 65 | Name += '\0'; |
| 66 | return UniqueMangledName(Name.begin(), Name.end()); |
| 67 | } |
| 68 | |
| 69 | void CodeGenModule::EmitCXXDestructors(const CXXDestructorDecl *D) { |
Eli Friedman | ea9a208 | 2009-11-14 04:19:37 +0000 | [diff] [blame] | 70 | if (D->isVirtual()) |
Eli Friedman | 624c7d7 | 2009-12-15 02:06:15 +0000 | [diff] [blame] | 71 | EmitGlobal(GlobalDecl(D, Dtor_Deleting)); |
| 72 | EmitGlobal(GlobalDecl(D, Dtor_Complete)); |
| 73 | EmitGlobal(GlobalDecl(D, Dtor_Base)); |
Anders Carlsson | 27ae536 | 2009-04-17 01:58:57 +0000 | [diff] [blame] | 74 | } |
| 75 | |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 76 | void CodeGenModule::EmitCXXDestructor(const CXXDestructorDecl *D, |
Anders Carlsson | 27ae536 | 2009-04-17 01:58:57 +0000 | [diff] [blame] | 77 | CXXDtorType Type) { |
| 78 | llvm::Function *Fn = GetAddrOfCXXDestructor(D, Type); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 79 | |
Anders Carlsson | 0ff8baf | 2009-09-11 00:07:24 +0000 | [diff] [blame] | 80 | CodeGenFunction(*this).GenerateCode(GlobalDecl(D, Type), Fn); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 81 | |
Anders Carlsson | 27ae536 | 2009-04-17 01:58:57 +0000 | [diff] [blame] | 82 | SetFunctionDefinitionAttributes(D, Fn); |
| 83 | SetLLVMFunctionAttributesForDefinition(D, Fn); |
| 84 | } |
| 85 | |
| 86 | llvm::Function * |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 87 | CodeGenModule::GetAddrOfCXXDestructor(const CXXDestructorDecl *D, |
Anders Carlsson | 27ae536 | 2009-04-17 01:58:57 +0000 | [diff] [blame] | 88 | CXXDtorType Type) { |
| 89 | const llvm::FunctionType *FTy = |
Anders Carlsson | f6c56e2 | 2009-11-25 03:15:49 +0000 | [diff] [blame] | 90 | getTypes().GetFunctionType(getTypes().getFunctionInfo(D, Type), false); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 91 | |
Anders Carlsson | 27ae536 | 2009-04-17 01:58:57 +0000 | [diff] [blame] | 92 | const char *Name = getMangledCXXDtorName(D, Type); |
Chris Lattner | b4880ba | 2009-05-12 21:21:08 +0000 | [diff] [blame] | 93 | return cast<llvm::Function>( |
| 94 | GetOrCreateLLVMFunction(Name, FTy, GlobalDecl(D, Type))); |
Anders Carlsson | 27ae536 | 2009-04-17 01:58:57 +0000 | [diff] [blame] | 95 | } |
| 96 | |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 97 | const char *CodeGenModule::getMangledCXXDtorName(const CXXDestructorDecl *D, |
Anders Carlsson | 27ae536 | 2009-04-17 01:58:57 +0000 | [diff] [blame] | 98 | CXXDtorType Type) { |
| 99 | llvm::SmallString<256> Name; |
Daniel Dunbar | 94fd26d | 2009-11-21 09:06:22 +0000 | [diff] [blame] | 100 | getMangleContext().mangleCXXDtor(D, Type, Name); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 101 | |
Anders Carlsson | 27ae536 | 2009-04-17 01:58:57 +0000 | [diff] [blame] | 102 | Name += '\0'; |
| 103 | return UniqueMangledName(Name.begin(), Name.end()); |
| 104 | } |
Fariborz Jahanian | e7d346b | 2009-07-20 23:18:55 +0000 | [diff] [blame] | 105 | |
Anders Carlsson | a94822e | 2009-11-26 02:32:05 +0000 | [diff] [blame] | 106 | llvm::Constant * |
Eli Friedman | 35c98cc | 2009-12-03 04:27:05 +0000 | [diff] [blame] | 107 | CodeGenFunction::GenerateThunk(llvm::Function *Fn, GlobalDecl GD, |
Anders Carlsson | a94822e | 2009-11-26 02:32:05 +0000 | [diff] [blame] | 108 | bool Extern, |
| 109 | const ThunkAdjustment &ThisAdjustment) { |
Mike Stump | 919d5e5 | 2009-12-03 03:47:56 +0000 | [diff] [blame] | 110 | return GenerateCovariantThunk(Fn, GD, Extern, |
Anders Carlsson | 7622cd3 | 2009-11-26 03:09:37 +0000 | [diff] [blame] | 111 | CovariantThunkAdjustment(ThisAdjustment, |
| 112 | ThunkAdjustment())); |
Mike Stump | ed032eb | 2009-09-04 18:27:16 +0000 | [diff] [blame] | 113 | } |
| 114 | |
Anders Carlsson | 7622cd3 | 2009-11-26 03:09:37 +0000 | [diff] [blame] | 115 | llvm::Value * |
| 116 | CodeGenFunction::DynamicTypeAdjust(llvm::Value *V, |
| 117 | const ThunkAdjustment &Adjustment) { |
| 118 | const llvm::Type *Int8PtrTy = llvm::Type::getInt8PtrTy(VMContext); |
| 119 | |
Mike Stump | c902d22 | 2009-11-03 16:59:27 +0000 | [diff] [blame] | 120 | const llvm::Type *OrigTy = V->getType(); |
Anders Carlsson | 7622cd3 | 2009-11-26 03:09:37 +0000 | [diff] [blame] | 121 | if (Adjustment.NonVirtual) { |
Mike Stump | c902d22 | 2009-11-03 16:59:27 +0000 | [diff] [blame] | 122 | // Do the non-virtual adjustment |
Anders Carlsson | 7622cd3 | 2009-11-26 03:09:37 +0000 | [diff] [blame] | 123 | V = Builder.CreateBitCast(V, Int8PtrTy); |
| 124 | V = Builder.CreateConstInBoundsGEP1_64(V, Adjustment.NonVirtual); |
Mike Stump | c902d22 | 2009-11-03 16:59:27 +0000 | [diff] [blame] | 125 | V = Builder.CreateBitCast(V, OrigTy); |
| 126 | } |
Anders Carlsson | 7622cd3 | 2009-11-26 03:09:37 +0000 | [diff] [blame] | 127 | |
| 128 | if (!Adjustment.Virtual) |
| 129 | return V; |
| 130 | |
| 131 | assert(Adjustment.Virtual % (LLVMPointerWidth / 8) == 0 && |
| 132 | "vtable entry unaligned"); |
| 133 | |
| 134 | // Do the virtual this adjustment |
| 135 | const llvm::Type *PtrDiffTy = ConvertType(getContext().getPointerDiffType()); |
| 136 | const llvm::Type *PtrDiffPtrTy = PtrDiffTy->getPointerTo(); |
| 137 | |
| 138 | llvm::Value *ThisVal = Builder.CreateBitCast(V, Int8PtrTy); |
| 139 | V = Builder.CreateBitCast(V, PtrDiffPtrTy->getPointerTo()); |
| 140 | V = Builder.CreateLoad(V, "vtable"); |
| 141 | |
| 142 | llvm::Value *VTablePtr = V; |
| 143 | uint64_t VirtualAdjustment = Adjustment.Virtual / (LLVMPointerWidth / 8); |
| 144 | V = Builder.CreateConstInBoundsGEP1_64(VTablePtr, VirtualAdjustment); |
| 145 | V = Builder.CreateLoad(V); |
| 146 | V = Builder.CreateGEP(ThisVal, V); |
| 147 | |
| 148 | return Builder.CreateBitCast(V, OrigTy); |
Mike Stump | c902d22 | 2009-11-03 16:59:27 +0000 | [diff] [blame] | 149 | } |
| 150 | |
Anders Carlsson | 7622cd3 | 2009-11-26 03:09:37 +0000 | [diff] [blame] | 151 | llvm::Constant * |
| 152 | CodeGenFunction::GenerateCovariantThunk(llvm::Function *Fn, |
Eli Friedman | 35c98cc | 2009-12-03 04:27:05 +0000 | [diff] [blame] | 153 | GlobalDecl GD, bool Extern, |
Anders Carlsson | 7622cd3 | 2009-11-26 03:09:37 +0000 | [diff] [blame] | 154 | const CovariantThunkAdjustment &Adjustment) { |
Mike Stump | 919d5e5 | 2009-12-03 03:47:56 +0000 | [diff] [blame] | 155 | const CXXMethodDecl *MD = cast<CXXMethodDecl>(GD.getDecl()); |
John McCall | 04a67a6 | 2010-02-05 21:31:56 +0000 | [diff] [blame] | 156 | const FunctionProtoType *FPT = MD->getType()->getAs<FunctionProtoType>(); |
| 157 | QualType ResultType = FPT->getResultType(); |
Mike Stump | 6e319f6 | 2009-09-11 23:25:56 +0000 | [diff] [blame] | 158 | |
| 159 | FunctionArgList Args; |
| 160 | ImplicitParamDecl *ThisDecl = |
| 161 | ImplicitParamDecl::Create(getContext(), 0, SourceLocation(), 0, |
| 162 | MD->getThisType(getContext())); |
| 163 | Args.push_back(std::make_pair(ThisDecl, ThisDecl->getType())); |
| 164 | for (FunctionDecl::param_const_iterator i = MD->param_begin(), |
| 165 | e = MD->param_end(); |
| 166 | i != e; ++i) { |
| 167 | ParmVarDecl *D = *i; |
| 168 | Args.push_back(std::make_pair(D, D->getType())); |
| 169 | } |
| 170 | IdentifierInfo *II |
| 171 | = &CGM.getContext().Idents.get("__thunk_named_foo_"); |
| 172 | FunctionDecl *FD = FunctionDecl::Create(getContext(), |
| 173 | getContext().getTranslationUnitDecl(), |
Mike Stump | c5dac4e | 2009-11-02 23:22:01 +0000 | [diff] [blame] | 174 | SourceLocation(), II, ResultType, 0, |
Mike Stump | 6e319f6 | 2009-09-11 23:25:56 +0000 | [diff] [blame] | 175 | Extern |
| 176 | ? FunctionDecl::Extern |
| 177 | : FunctionDecl::Static, |
| 178 | false, true); |
Mike Stump | c5dac4e | 2009-11-02 23:22:01 +0000 | [diff] [blame] | 179 | StartFunction(FD, ResultType, Fn, Args, SourceLocation()); |
| 180 | |
| 181 | // generate body |
Mike Stump | 736529e | 2009-11-03 02:12:59 +0000 | [diff] [blame] | 182 | const llvm::Type *Ty = |
| 183 | CGM.getTypes().GetFunctionType(CGM.getTypes().getFunctionInfo(MD), |
| 184 | FPT->isVariadic()); |
Eli Friedman | 35c98cc | 2009-12-03 04:27:05 +0000 | [diff] [blame] | 185 | llvm::Value *Callee = CGM.GetAddrOfFunction(GD, Ty); |
Mike Stump | 919d5e5 | 2009-12-03 03:47:56 +0000 | [diff] [blame] | 186 | |
Mike Stump | c5dac4e | 2009-11-02 23:22:01 +0000 | [diff] [blame] | 187 | CallArgList CallArgs; |
| 188 | |
Anders Carlsson | 7622cd3 | 2009-11-26 03:09:37 +0000 | [diff] [blame] | 189 | bool ShouldAdjustReturnPointer = true; |
Mike Stump | 736529e | 2009-11-03 02:12:59 +0000 | [diff] [blame] | 190 | QualType ArgType = MD->getThisType(getContext()); |
| 191 | llvm::Value *Arg = Builder.CreateLoad(LocalDeclMap[ThisDecl], "this"); |
Anders Carlsson | 7622cd3 | 2009-11-26 03:09:37 +0000 | [diff] [blame] | 192 | if (!Adjustment.ThisAdjustment.isEmpty()) { |
Mike Stump | c902d22 | 2009-11-03 16:59:27 +0000 | [diff] [blame] | 193 | // Do the this adjustment. |
Mike Stump | d0fe536 | 2009-11-04 00:53:51 +0000 | [diff] [blame] | 194 | const llvm::Type *OrigTy = Callee->getType(); |
Anders Carlsson | 7622cd3 | 2009-11-26 03:09:37 +0000 | [diff] [blame] | 195 | Arg = DynamicTypeAdjust(Arg, Adjustment.ThisAdjustment); |
| 196 | |
| 197 | if (!Adjustment.ReturnAdjustment.isEmpty()) { |
| 198 | const CovariantThunkAdjustment &ReturnAdjustment = |
| 199 | CovariantThunkAdjustment(ThunkAdjustment(), |
| 200 | Adjustment.ReturnAdjustment); |
| 201 | |
Mike Stump | 919d5e5 | 2009-12-03 03:47:56 +0000 | [diff] [blame] | 202 | Callee = CGM.BuildCovariantThunk(GD, Extern, ReturnAdjustment); |
Anders Carlsson | 7622cd3 | 2009-11-26 03:09:37 +0000 | [diff] [blame] | 203 | |
Mike Stump | d0fe536 | 2009-11-04 00:53:51 +0000 | [diff] [blame] | 204 | Callee = Builder.CreateBitCast(Callee, OrigTy); |
Anders Carlsson | 7622cd3 | 2009-11-26 03:09:37 +0000 | [diff] [blame] | 205 | ShouldAdjustReturnPointer = false; |
Mike Stump | d0fe536 | 2009-11-04 00:53:51 +0000 | [diff] [blame] | 206 | } |
| 207 | } |
| 208 | |
Mike Stump | 736529e | 2009-11-03 02:12:59 +0000 | [diff] [blame] | 209 | CallArgs.push_back(std::make_pair(RValue::get(Arg), ArgType)); |
| 210 | |
Mike Stump | c5dac4e | 2009-11-02 23:22:01 +0000 | [diff] [blame] | 211 | for (FunctionDecl::param_const_iterator i = MD->param_begin(), |
| 212 | e = MD->param_end(); |
| 213 | i != e; ++i) { |
| 214 | ParmVarDecl *D = *i; |
| 215 | QualType ArgType = D->getType(); |
| 216 | |
| 217 | // llvm::Value *Arg = CGF.GetAddrOfLocalVar(Dst); |
Eli Friedman | 6804fa2 | 2009-12-03 04:49:52 +0000 | [diff] [blame] | 218 | Expr *Arg = new (getContext()) DeclRefExpr(D, ArgType.getNonReferenceType(), |
| 219 | SourceLocation()); |
Mike Stump | c5dac4e | 2009-11-02 23:22:01 +0000 | [diff] [blame] | 220 | CallArgs.push_back(std::make_pair(EmitCallArg(Arg, ArgType), ArgType)); |
| 221 | } |
| 222 | |
John McCall | 04a67a6 | 2010-02-05 21:31:56 +0000 | [diff] [blame] | 223 | RValue RV = EmitCall(CGM.getTypes().getFunctionInfo(ResultType, CallArgs, |
| 224 | FPT->getCallConv(), |
| 225 | FPT->getNoReturnAttr()), |
Anders Carlsson | f3c47c9 | 2009-12-24 19:25:24 +0000 | [diff] [blame] | 226 | Callee, ReturnValueSlot(), CallArgs, MD); |
Anders Carlsson | 7622cd3 | 2009-11-26 03:09:37 +0000 | [diff] [blame] | 227 | if (ShouldAdjustReturnPointer && !Adjustment.ReturnAdjustment.isEmpty()) { |
Mike Stump | 03e777e | 2009-11-05 06:32:02 +0000 | [diff] [blame] | 228 | bool CanBeZero = !(ResultType->isReferenceType() |
| 229 | // FIXME: attr nonnull can't be zero either |
| 230 | /* || ResultType->hasAttr<NonNullAttr>() */ ); |
Mike Stump | c902d22 | 2009-11-03 16:59:27 +0000 | [diff] [blame] | 231 | // Do the return result adjustment. |
Mike Stump | 03e777e | 2009-11-05 06:32:02 +0000 | [diff] [blame] | 232 | if (CanBeZero) { |
| 233 | llvm::BasicBlock *NonZeroBlock = createBasicBlock(); |
| 234 | llvm::BasicBlock *ZeroBlock = createBasicBlock(); |
| 235 | llvm::BasicBlock *ContBlock = createBasicBlock(); |
Mike Stump | 7c276b8 | 2009-11-05 06:12:26 +0000 | [diff] [blame] | 236 | |
Mike Stump | 03e777e | 2009-11-05 06:32:02 +0000 | [diff] [blame] | 237 | const llvm::Type *Ty = RV.getScalarVal()->getType(); |
| 238 | llvm::Value *Zero = llvm::Constant::getNullValue(Ty); |
| 239 | Builder.CreateCondBr(Builder.CreateICmpNE(RV.getScalarVal(), Zero), |
| 240 | NonZeroBlock, ZeroBlock); |
| 241 | EmitBlock(NonZeroBlock); |
Anders Carlsson | 7622cd3 | 2009-11-26 03:09:37 +0000 | [diff] [blame] | 242 | llvm::Value *NZ = |
| 243 | DynamicTypeAdjust(RV.getScalarVal(), Adjustment.ReturnAdjustment); |
Mike Stump | 03e777e | 2009-11-05 06:32:02 +0000 | [diff] [blame] | 244 | EmitBranch(ContBlock); |
| 245 | EmitBlock(ZeroBlock); |
| 246 | llvm::Value *Z = RV.getScalarVal(); |
| 247 | EmitBlock(ContBlock); |
| 248 | llvm::PHINode *RVOrZero = Builder.CreatePHI(Ty); |
| 249 | RVOrZero->reserveOperandSpace(2); |
| 250 | RVOrZero->addIncoming(NZ, NonZeroBlock); |
| 251 | RVOrZero->addIncoming(Z, ZeroBlock); |
| 252 | RV = RValue::get(RVOrZero); |
| 253 | } else |
Anders Carlsson | 7622cd3 | 2009-11-26 03:09:37 +0000 | [diff] [blame] | 254 | RV = RValue::get(DynamicTypeAdjust(RV.getScalarVal(), |
| 255 | Adjustment.ReturnAdjustment)); |
Mike Stump | c5dac4e | 2009-11-02 23:22:01 +0000 | [diff] [blame] | 256 | } |
| 257 | |
Mike Stump | f49ed94 | 2009-11-02 23:47:45 +0000 | [diff] [blame] | 258 | if (!ResultType->isVoidType()) |
| 259 | EmitReturnOfRValue(RV, ResultType); |
| 260 | |
Mike Stump | 6e319f6 | 2009-09-11 23:25:56 +0000 | [diff] [blame] | 261 | FinishFunction(); |
| 262 | return Fn; |
| 263 | } |
| 264 | |
Anders Carlsson | a94822e | 2009-11-26 02:32:05 +0000 | [diff] [blame] | 265 | llvm::Constant * |
Eli Friedman | 72649ed | 2009-12-06 22:01:30 +0000 | [diff] [blame] | 266 | CodeGenModule::GetAddrOfThunk(GlobalDecl GD, |
| 267 | const ThunkAdjustment &ThisAdjustment) { |
| 268 | const CXXMethodDecl *MD = cast<CXXMethodDecl>(GD.getDecl()); |
| 269 | |
| 270 | // Compute mangled name |
| 271 | llvm::SmallString<256> OutName; |
| 272 | if (const CXXDestructorDecl* DD = dyn_cast<CXXDestructorDecl>(MD)) |
| 273 | getMangleContext().mangleCXXDtorThunk(DD, GD.getDtorType(), ThisAdjustment, |
| 274 | OutName); |
| 275 | else |
| 276 | getMangleContext().mangleThunk(MD, ThisAdjustment, OutName); |
| 277 | OutName += '\0'; |
| 278 | const char* Name = UniqueMangledName(OutName.begin(), OutName.end()); |
| 279 | |
| 280 | // Get function for mangled name |
| 281 | const llvm::Type *Ty = getTypes().GetFunctionTypeForVtable(MD); |
| 282 | return GetOrCreateLLVMFunction(Name, Ty, GlobalDecl()); |
| 283 | } |
| 284 | |
| 285 | llvm::Constant * |
| 286 | CodeGenModule::GetAddrOfCovariantThunk(GlobalDecl GD, |
| 287 | const CovariantThunkAdjustment &Adjustment) { |
| 288 | const CXXMethodDecl *MD = cast<CXXMethodDecl>(GD.getDecl()); |
| 289 | |
| 290 | // Compute mangled name |
| 291 | llvm::SmallString<256> OutName; |
| 292 | getMangleContext().mangleCovariantThunk(MD, Adjustment, OutName); |
| 293 | OutName += '\0'; |
| 294 | const char* Name = UniqueMangledName(OutName.begin(), OutName.end()); |
| 295 | |
| 296 | // Get function for mangled name |
| 297 | const llvm::Type *Ty = getTypes().GetFunctionTypeForVtable(MD); |
| 298 | return GetOrCreateLLVMFunction(Name, Ty, GlobalDecl()); |
| 299 | } |
| 300 | |
| 301 | void CodeGenModule::BuildThunksForVirtual(GlobalDecl GD) { |
Eli Friedman | b455f0e | 2009-12-07 23:56:34 +0000 | [diff] [blame] | 302 | CGVtableInfo::AdjustmentVectorTy *AdjPtr = getVtableInfo().getAdjustments(GD); |
| 303 | if (!AdjPtr) |
| 304 | return; |
| 305 | CGVtableInfo::AdjustmentVectorTy &Adj = *AdjPtr; |
Eli Friedman | 72649ed | 2009-12-06 22:01:30 +0000 | [diff] [blame] | 306 | const CXXMethodDecl *MD = cast<CXXMethodDecl>(GD.getDecl()); |
Eli Friedman | b455f0e | 2009-12-07 23:56:34 +0000 | [diff] [blame] | 307 | for (unsigned i = 0; i < Adj.size(); i++) { |
| 308 | GlobalDecl OGD = Adj[i].first; |
| 309 | const CXXMethodDecl *OMD = cast<CXXMethodDecl>(OGD.getDecl()); |
Eli Friedman | 72649ed | 2009-12-06 22:01:30 +0000 | [diff] [blame] | 310 | QualType nc_oret = OMD->getType()->getAs<FunctionType>()->getResultType(); |
| 311 | CanQualType oret = getContext().getCanonicalType(nc_oret); |
| 312 | QualType nc_ret = MD->getType()->getAs<FunctionType>()->getResultType(); |
| 313 | CanQualType ret = getContext().getCanonicalType(nc_ret); |
| 314 | ThunkAdjustment ReturnAdjustment; |
| 315 | if (oret != ret) { |
| 316 | QualType qD = nc_ret->getPointeeType(); |
| 317 | QualType qB = nc_oret->getPointeeType(); |
| 318 | CXXRecordDecl *D = cast<CXXRecordDecl>(qD->getAs<RecordType>()->getDecl()); |
| 319 | CXXRecordDecl *B = cast<CXXRecordDecl>(qB->getAs<RecordType>()->getDecl()); |
| 320 | ReturnAdjustment = ComputeThunkAdjustment(D, B); |
| 321 | } |
Eli Friedman | b455f0e | 2009-12-07 23:56:34 +0000 | [diff] [blame] | 322 | ThunkAdjustment ThisAdjustment = Adj[i].second; |
Eli Friedman | 72649ed | 2009-12-06 22:01:30 +0000 | [diff] [blame] | 323 | bool Extern = !cast<CXXRecordDecl>(OMD->getDeclContext())->isInAnonymousNamespace(); |
| 324 | if (!ReturnAdjustment.isEmpty() || !ThisAdjustment.isEmpty()) { |
| 325 | CovariantThunkAdjustment CoAdj(ThisAdjustment, ReturnAdjustment); |
| 326 | llvm::Constant *FnConst; |
| 327 | if (!ReturnAdjustment.isEmpty()) |
| 328 | FnConst = GetAddrOfCovariantThunk(GD, CoAdj); |
| 329 | else |
| 330 | FnConst = GetAddrOfThunk(GD, ThisAdjustment); |
| 331 | if (!isa<llvm::Function>(FnConst)) { |
Eli Friedman | b455f0e | 2009-12-07 23:56:34 +0000 | [diff] [blame] | 332 | llvm::Constant *SubExpr = |
| 333 | cast<llvm::ConstantExpr>(FnConst)->getOperand(0); |
| 334 | llvm::Function *OldFn = cast<llvm::Function>(SubExpr); |
| 335 | std::string Name = OldFn->getNameStr(); |
| 336 | GlobalDeclMap.erase(UniqueMangledName(Name.data(), |
| 337 | Name.data() + Name.size() + 1)); |
| 338 | llvm::Constant *NewFnConst; |
| 339 | if (!ReturnAdjustment.isEmpty()) |
| 340 | NewFnConst = GetAddrOfCovariantThunk(GD, CoAdj); |
| 341 | else |
| 342 | NewFnConst = GetAddrOfThunk(GD, ThisAdjustment); |
| 343 | llvm::Function *NewFn = cast<llvm::Function>(NewFnConst); |
| 344 | NewFn->takeName(OldFn); |
| 345 | llvm::Constant *NewPtrForOldDecl = |
| 346 | llvm::ConstantExpr::getBitCast(NewFn, OldFn->getType()); |
| 347 | OldFn->replaceAllUsesWith(NewPtrForOldDecl); |
| 348 | OldFn->eraseFromParent(); |
| 349 | FnConst = NewFn; |
Eli Friedman | 72649ed | 2009-12-06 22:01:30 +0000 | [diff] [blame] | 350 | } |
| 351 | llvm::Function *Fn = cast<llvm::Function>(FnConst); |
| 352 | if (Fn->isDeclaration()) { |
| 353 | llvm::GlobalVariable::LinkageTypes linktype; |
| 354 | linktype = llvm::GlobalValue::WeakAnyLinkage; |
| 355 | if (!Extern) |
| 356 | linktype = llvm::GlobalValue::InternalLinkage; |
| 357 | Fn->setLinkage(linktype); |
| 358 | if (!Features.Exceptions && !Features.ObjCNonFragileABI) |
| 359 | Fn->addFnAttr(llvm::Attribute::NoUnwind); |
| 360 | Fn->setAlignment(2); |
| 361 | CodeGenFunction(*this).GenerateCovariantThunk(Fn, GD, Extern, CoAdj); |
| 362 | } |
| 363 | } |
Eli Friedman | 72649ed | 2009-12-06 22:01:30 +0000 | [diff] [blame] | 364 | } |
| 365 | } |
| 366 | |
| 367 | llvm::Constant * |
Eli Friedman | 35c98cc | 2009-12-03 04:27:05 +0000 | [diff] [blame] | 368 | CodeGenModule::BuildThunk(GlobalDecl GD, bool Extern, |
Anders Carlsson | a94822e | 2009-11-26 02:32:05 +0000 | [diff] [blame] | 369 | const ThunkAdjustment &ThisAdjustment) { |
Mike Stump | 919d5e5 | 2009-12-03 03:47:56 +0000 | [diff] [blame] | 370 | const CXXMethodDecl *MD = cast<CXXMethodDecl>(GD.getDecl()); |
Mike Stump | ed032eb | 2009-09-04 18:27:16 +0000 | [diff] [blame] | 371 | llvm::SmallString<256> OutName; |
Mike Stump | 919d5e5 | 2009-12-03 03:47:56 +0000 | [diff] [blame] | 372 | if (const CXXDestructorDecl *D = dyn_cast<CXXDestructorDecl>(MD)) { |
| 373 | getMangleContext().mangleCXXDtorThunk(D, GD.getDtorType(), ThisAdjustment, |
| 374 | OutName); |
| 375 | } else |
| 376 | getMangleContext().mangleThunk(MD, ThisAdjustment, OutName); |
Anders Carlsson | a94822e | 2009-11-26 02:32:05 +0000 | [diff] [blame] | 377 | |
Mike Stump | ed032eb | 2009-09-04 18:27:16 +0000 | [diff] [blame] | 378 | llvm::GlobalVariable::LinkageTypes linktype; |
| 379 | linktype = llvm::GlobalValue::WeakAnyLinkage; |
| 380 | if (!Extern) |
| 381 | linktype = llvm::GlobalValue::InternalLinkage; |
| 382 | llvm::Type *Ptr8Ty=llvm::PointerType::get(llvm::Type::getInt8Ty(VMContext),0); |
John McCall | 183700f | 2009-09-21 23:43:11 +0000 | [diff] [blame] | 383 | const FunctionProtoType *FPT = MD->getType()->getAs<FunctionProtoType>(); |
Mike Stump | ed032eb | 2009-09-04 18:27:16 +0000 | [diff] [blame] | 384 | const llvm::FunctionType *FTy = |
| 385 | getTypes().GetFunctionType(getTypes().getFunctionInfo(MD), |
| 386 | FPT->isVariadic()); |
| 387 | |
Daniel Dunbar | 94fd26d | 2009-11-21 09:06:22 +0000 | [diff] [blame] | 388 | llvm::Function *Fn = llvm::Function::Create(FTy, linktype, OutName.str(), |
Mike Stump | ed032eb | 2009-09-04 18:27:16 +0000 | [diff] [blame] | 389 | &getModule()); |
Mike Stump | 919d5e5 | 2009-12-03 03:47:56 +0000 | [diff] [blame] | 390 | CodeGenFunction(*this).GenerateThunk(Fn, GD, Extern, ThisAdjustment); |
Mike Stump | ed032eb | 2009-09-04 18:27:16 +0000 | [diff] [blame] | 391 | llvm::Constant *m = llvm::ConstantExpr::getBitCast(Fn, Ptr8Ty); |
| 392 | return m; |
| 393 | } |
| 394 | |
Anders Carlsson | 7622cd3 | 2009-11-26 03:09:37 +0000 | [diff] [blame] | 395 | llvm::Constant * |
Mike Stump | 919d5e5 | 2009-12-03 03:47:56 +0000 | [diff] [blame] | 396 | CodeGenModule::BuildCovariantThunk(const GlobalDecl &GD, bool Extern, |
Anders Carlsson | 7622cd3 | 2009-11-26 03:09:37 +0000 | [diff] [blame] | 397 | const CovariantThunkAdjustment &Adjustment) { |
Mike Stump | 919d5e5 | 2009-12-03 03:47:56 +0000 | [diff] [blame] | 398 | const CXXMethodDecl *MD = cast<CXXMethodDecl>(GD.getDecl()); |
Mike Stump | 6e319f6 | 2009-09-11 23:25:56 +0000 | [diff] [blame] | 399 | llvm::SmallString<256> OutName; |
Anders Carlsson | 7622cd3 | 2009-11-26 03:09:37 +0000 | [diff] [blame] | 400 | getMangleContext().mangleCovariantThunk(MD, Adjustment, OutName); |
Mike Stump | 6e319f6 | 2009-09-11 23:25:56 +0000 | [diff] [blame] | 401 | llvm::GlobalVariable::LinkageTypes linktype; |
| 402 | linktype = llvm::GlobalValue::WeakAnyLinkage; |
| 403 | if (!Extern) |
| 404 | linktype = llvm::GlobalValue::InternalLinkage; |
| 405 | llvm::Type *Ptr8Ty=llvm::PointerType::get(llvm::Type::getInt8Ty(VMContext),0); |
John McCall | 183700f | 2009-09-21 23:43:11 +0000 | [diff] [blame] | 406 | const FunctionProtoType *FPT = MD->getType()->getAs<FunctionProtoType>(); |
Mike Stump | 6e319f6 | 2009-09-11 23:25:56 +0000 | [diff] [blame] | 407 | const llvm::FunctionType *FTy = |
| 408 | getTypes().GetFunctionType(getTypes().getFunctionInfo(MD), |
| 409 | FPT->isVariadic()); |
| 410 | |
Daniel Dunbar | 94fd26d | 2009-11-21 09:06:22 +0000 | [diff] [blame] | 411 | llvm::Function *Fn = llvm::Function::Create(FTy, linktype, OutName.str(), |
Mike Stump | 6e319f6 | 2009-09-11 23:25:56 +0000 | [diff] [blame] | 412 | &getModule()); |
Anders Carlsson | 7622cd3 | 2009-11-26 03:09:37 +0000 | [diff] [blame] | 413 | CodeGenFunction(*this).GenerateCovariantThunk(Fn, MD, Extern, Adjustment); |
Mike Stump | 6e319f6 | 2009-09-11 23:25:56 +0000 | [diff] [blame] | 414 | llvm::Constant *m = llvm::ConstantExpr::getBitCast(Fn, Ptr8Ty); |
| 415 | return m; |
| 416 | } |
| 417 | |
Anders Carlsson | d6b07fb | 2009-11-27 20:47:55 +0000 | [diff] [blame] | 418 | static llvm::Value *BuildVirtualCall(CodeGenFunction &CGF, uint64_t VtableIndex, |
Anders Carlsson | 566abee | 2009-11-13 04:45:41 +0000 | [diff] [blame] | 419 | llvm::Value *This, const llvm::Type *Ty) { |
| 420 | Ty = Ty->getPointerTo()->getPointerTo()->getPointerTo(); |
Anders Carlsson | 2b35835 | 2009-10-03 14:56:57 +0000 | [diff] [blame] | 421 | |
Anders Carlsson | 566abee | 2009-11-13 04:45:41 +0000 | [diff] [blame] | 422 | llvm::Value *Vtable = CGF.Builder.CreateBitCast(This, Ty); |
| 423 | Vtable = CGF.Builder.CreateLoad(Vtable); |
| 424 | |
| 425 | llvm::Value *VFuncPtr = |
| 426 | CGF.Builder.CreateConstInBoundsGEP1_64(Vtable, VtableIndex, "vfn"); |
| 427 | return CGF.Builder.CreateLoad(VFuncPtr); |
| 428 | } |
| 429 | |
| 430 | llvm::Value * |
| 431 | CodeGenFunction::BuildVirtualCall(const CXXMethodDecl *MD, llvm::Value *This, |
| 432 | const llvm::Type *Ty) { |
| 433 | MD = MD->getCanonicalDecl(); |
Anders Carlsson | d6b07fb | 2009-11-27 20:47:55 +0000 | [diff] [blame] | 434 | uint64_t VtableIndex = CGM.getVtableInfo().getMethodVtableIndex(MD); |
Anders Carlsson | 566abee | 2009-11-13 04:45:41 +0000 | [diff] [blame] | 435 | |
| 436 | return ::BuildVirtualCall(*this, VtableIndex, This, Ty); |
| 437 | } |
| 438 | |
| 439 | llvm::Value * |
| 440 | CodeGenFunction::BuildVirtualCall(const CXXDestructorDecl *DD, CXXDtorType Type, |
| 441 | llvm::Value *&This, const llvm::Type *Ty) { |
| 442 | DD = cast<CXXDestructorDecl>(DD->getCanonicalDecl()); |
Anders Carlsson | d6b07fb | 2009-11-27 20:47:55 +0000 | [diff] [blame] | 443 | uint64_t VtableIndex = |
Anders Carlsson | a0fdd91 | 2009-11-13 17:08:56 +0000 | [diff] [blame] | 444 | CGM.getVtableInfo().getMethodVtableIndex(GlobalDecl(DD, Type)); |
Anders Carlsson | 566abee | 2009-11-13 04:45:41 +0000 | [diff] [blame] | 445 | |
| 446 | return ::BuildVirtualCall(*this, VtableIndex, This, Ty); |
Mike Stump | f0070db | 2009-08-26 20:46:33 +0000 | [diff] [blame] | 447 | } |