blob: 421e7deccc3917cb4309d938c9f0cbb41240fe3d [file] [log] [blame]
Anders Carlsson610ee712008-01-26 01:36:00 +00001//===--- CGExprConstant.cpp - Emit LLVM Code from Constant Expressions ----===//
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 to emit Constant Expr nodes as LLVM code.
11//
12//===----------------------------------------------------------------------===//
13
14#include "CodeGenFunction.h"
John McCall5d865c322010-08-31 07:33:07 +000015#include "CGCXXABI.h"
Daniel Dunbar89da6ad2008-08-13 00:59:25 +000016#include "CGObjCRuntime.h"
Daniel Dunbar072d0bb2010-03-30 22:26:10 +000017#include "CGRecordLayout.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000018#include "CodeGenModule.h"
Chris Lattnere50e9012008-10-06 05:59:01 +000019#include "clang/AST/APValue.h"
Daniel Dunbarad319a72008-08-11 05:00:27 +000020#include "clang/AST/ASTContext.h"
Anders Carlssone1d5ca52009-07-24 15:20:52 +000021#include "clang/AST/RecordLayout.h"
Daniel Dunbarad319a72008-08-11 05:00:27 +000022#include "clang/AST/StmtVisitor.h"
Chris Lattner15ba9492009-06-14 01:54:56 +000023#include "clang/Basic/Builtins.h"
Chandler Carruthffd55512013-01-02 11:45:17 +000024#include "llvm/IR/Constants.h"
25#include "llvm/IR/DataLayout.h"
26#include "llvm/IR/Function.h"
27#include "llvm/IR/GlobalVariable.h"
Anders Carlsson610ee712008-01-26 01:36:00 +000028using namespace clang;
29using namespace CodeGen;
30
Chris Lattnercfa3e7a2010-04-13 17:45:57 +000031//===----------------------------------------------------------------------===//
32// ConstStructBuilder
33//===----------------------------------------------------------------------===//
34
35namespace {
Benjamin Kramer337e3a52009-11-28 19:45:26 +000036class ConstStructBuilder {
Anders Carlssone1d5ca52009-07-24 15:20:52 +000037 CodeGenModule &CGM;
38 CodeGenFunction *CGF;
39
Mike Stump11289f42009-09-09 15:08:12 +000040 bool Packed;
Ken Dyckdb205d12011-03-17 01:33:18 +000041 CharUnits NextFieldOffsetInChars;
Ken Dycka1b35102011-03-18 01:26:17 +000042 CharUnits LLVMStructAlignment;
Bill Wendling7ac74722012-02-07 00:54:58 +000043 SmallVector<llvm::Constant *, 32> Elements;
Chris Lattnercfa3e7a2010-04-13 17:45:57 +000044public:
45 static llvm::Constant *BuildStruct(CodeGenModule &CGM, CodeGenFunction *CGF,
46 InitListExpr *ILE);
Richard Smithdafff942012-01-14 04:30:29 +000047 static llvm::Constant *BuildStruct(CodeGenModule &CGM, CodeGenFunction *CGF,
48 const APValue &Value, QualType ValTy);
49
50private:
Anders Carlssone1d5ca52009-07-24 15:20:52 +000051 ConstStructBuilder(CodeGenModule &CGM, CodeGenFunction *CGF)
Ken Dyckdb205d12011-03-17 01:33:18 +000052 : CGM(CGM), CGF(CGF), Packed(false),
53 NextFieldOffsetInChars(CharUnits::Zero()),
Ken Dycka1b35102011-03-18 01:26:17 +000054 LLVMStructAlignment(CharUnits::One()) { }
Anders Carlssone1d5ca52009-07-24 15:20:52 +000055
Richard Smithdafff942012-01-14 04:30:29 +000056 void AppendField(const FieldDecl *Field, uint64_t FieldOffset,
Chris Lattnerff0e2a32010-04-13 18:16:19 +000057 llvm::Constant *InitExpr);
Mike Stump11289f42009-09-09 15:08:12 +000058
Richard Smithc8998922012-02-23 08:33:23 +000059 void AppendBytes(CharUnits FieldOffsetInChars, llvm::Constant *InitCst);
60
Chris Lattner9a3459f2010-07-05 17:04:23 +000061 void AppendBitField(const FieldDecl *Field, uint64_t FieldOffset,
62 llvm::ConstantInt *InitExpr);
Mike Stump11289f42009-09-09 15:08:12 +000063
Ken Dyck30a87e32011-03-11 23:42:54 +000064 void AppendPadding(CharUnits PadSize);
Mike Stump11289f42009-09-09 15:08:12 +000065
Ken Dyck327b77a2011-03-11 02:17:05 +000066 void AppendTailPadding(CharUnits RecordSize);
Anders Carlssonba4c6d12009-07-27 01:23:51 +000067
Chris Lattnercfa3e7a2010-04-13 17:45:57 +000068 void ConvertStructToPacked();
Richard Smithdafff942012-01-14 04:30:29 +000069
Chris Lattnercfa3e7a2010-04-13 17:45:57 +000070 bool Build(InitListExpr *ILE);
Richard Smithc8998922012-02-23 08:33:23 +000071 void Build(const APValue &Val, const RecordDecl *RD, bool IsPrimaryBase,
Timur Iskhodzhanov8b5987e2013-09-27 14:48:01 +000072 const CXXRecordDecl *VTableClass, CharUnits BaseOffset);
Richard Smithdafff942012-01-14 04:30:29 +000073 llvm::Constant *Finalize(QualType Ty);
Mike Stump11289f42009-09-09 15:08:12 +000074
Ken Dycka1b35102011-03-18 01:26:17 +000075 CharUnits getAlignment(const llvm::Constant *C) const {
76 if (Packed) return CharUnits::One();
77 return CharUnits::fromQuantity(
Micah Villmowdd31ca12012-10-08 16:25:52 +000078 CGM.getDataLayout().getABITypeAlignment(C->getType()));
Anders Carlssone1d5ca52009-07-24 15:20:52 +000079 }
Mike Stump11289f42009-09-09 15:08:12 +000080
Ken Dyck33fa9ee2011-03-18 01:12:13 +000081 CharUnits getSizeInChars(const llvm::Constant *C) const {
82 return CharUnits::fromQuantity(
Micah Villmowdd31ca12012-10-08 16:25:52 +000083 CGM.getDataLayout().getTypeAllocSize(C->getType()));
Anders Carlssone1d5ca52009-07-24 15:20:52 +000084 }
Anders Carlssone1d5ca52009-07-24 15:20:52 +000085};
Mike Stump11289f42009-09-09 15:08:12 +000086
Richard Smithdafff942012-01-14 04:30:29 +000087void ConstStructBuilder::
Chris Lattnerff0e2a32010-04-13 18:16:19 +000088AppendField(const FieldDecl *Field, uint64_t FieldOffset,
89 llvm::Constant *InitCst) {
Ken Dyck1c80fd12011-03-15 01:09:02 +000090 const ASTContext &Context = CGM.getContext();
91
92 CharUnits FieldOffsetInChars = Context.toCharUnitsFromBits(FieldOffset);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +000093
Richard Smithc8998922012-02-23 08:33:23 +000094 AppendBytes(FieldOffsetInChars, InitCst);
95}
96
97void ConstStructBuilder::
98AppendBytes(CharUnits FieldOffsetInChars, llvm::Constant *InitCst) {
99
Ken Dyckdb205d12011-03-17 01:33:18 +0000100 assert(NextFieldOffsetInChars <= FieldOffsetInChars
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000101 && "Field offset mismatch!");
102
Ken Dycka1b35102011-03-18 01:26:17 +0000103 CharUnits FieldAlignment = getAlignment(InitCst);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000104
105 // Round up the field offset to the alignment of the field type.
Ken Dyckdb205d12011-03-17 01:33:18 +0000106 CharUnits AlignedNextFieldOffsetInChars =
Ken Dycka1b35102011-03-18 01:26:17 +0000107 NextFieldOffsetInChars.RoundUpToAlignment(FieldAlignment);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000108
Chandler Carruthbf972bb2014-10-19 19:41:46 +0000109 if (AlignedNextFieldOffsetInChars > FieldOffsetInChars) {
110 assert(!Packed && "Alignment is wrong even with a packed struct!");
111
112 // Convert the struct to a packed struct.
113 ConvertStructToPacked();
114
115 AlignedNextFieldOffsetInChars = NextFieldOffsetInChars;
116 }
117
Ken Dyckdb205d12011-03-17 01:33:18 +0000118 if (AlignedNextFieldOffsetInChars < FieldOffsetInChars) {
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000119 // We need to append padding.
Richard Smithdafff942012-01-14 04:30:29 +0000120 AppendPadding(FieldOffsetInChars - NextFieldOffsetInChars);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000121
Ken Dyckdb205d12011-03-17 01:33:18 +0000122 assert(NextFieldOffsetInChars == FieldOffsetInChars &&
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000123 "Did not add enough padding!");
124
Ken Dyckdb205d12011-03-17 01:33:18 +0000125 AlignedNextFieldOffsetInChars = NextFieldOffsetInChars;
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000126 }
127
128 // Add the field.
Chris Lattnerff0e2a32010-04-13 18:16:19 +0000129 Elements.push_back(InitCst);
Ken Dyckdb205d12011-03-17 01:33:18 +0000130 NextFieldOffsetInChars = AlignedNextFieldOffsetInChars +
Ken Dyck33fa9ee2011-03-18 01:12:13 +0000131 getSizeInChars(InitCst);
Richard Smithdafff942012-01-14 04:30:29 +0000132
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000133 if (Packed)
Richard Smithdafff942012-01-14 04:30:29 +0000134 assert(LLVMStructAlignment == CharUnits::One() &&
Ken Dycka1b35102011-03-18 01:26:17 +0000135 "Packed struct not byte-aligned!");
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000136 else
137 LLVMStructAlignment = std::max(LLVMStructAlignment, FieldAlignment);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000138}
139
Chris Lattner9a3459f2010-07-05 17:04:23 +0000140void ConstStructBuilder::AppendBitField(const FieldDecl *Field,
141 uint64_t FieldOffset,
142 llvm::ConstantInt *CI) {
Ken Dycka862d952011-03-12 12:03:11 +0000143 const ASTContext &Context = CGM.getContext();
Ken Dyck0f2f30b2011-03-19 00:57:28 +0000144 const uint64_t CharWidth = Context.getCharWidth();
Ken Dyckdb205d12011-03-17 01:33:18 +0000145 uint64_t NextFieldOffsetInBits = Context.toBits(NextFieldOffsetInChars);
146 if (FieldOffset > NextFieldOffsetInBits) {
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000147 // We need to add padding.
Ken Dycka862d952011-03-12 12:03:11 +0000148 CharUnits PadSize = Context.toCharUnitsFromBits(
Ken Dyckdb205d12011-03-17 01:33:18 +0000149 llvm::RoundUpToAlignment(FieldOffset - NextFieldOffsetInBits,
Douglas Gregore8bbc122011-09-02 00:18:52 +0000150 Context.getTargetInfo().getCharAlign()));
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000151
Ken Dycka862d952011-03-12 12:03:11 +0000152 AppendPadding(PadSize);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000153 }
154
Richard Smithcaf33902011-10-10 18:28:20 +0000155 uint64_t FieldSize = Field->getBitWidthValue(Context);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000156
157 llvm::APInt FieldValue = CI->getValue();
158
159 // Promote the size of FieldValue if necessary
160 // FIXME: This should never occur, but currently it can because initializer
161 // constants are cast to bool, and because clang is not enforcing bitfield
162 // width limits.
163 if (FieldSize > FieldValue.getBitWidth())
Jay Foad6d4db0c2010-12-07 08:25:34 +0000164 FieldValue = FieldValue.zext(FieldSize);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000165
166 // Truncate the size of FieldValue to the bit field size.
167 if (FieldSize < FieldValue.getBitWidth())
Jay Foad6d4db0c2010-12-07 08:25:34 +0000168 FieldValue = FieldValue.trunc(FieldSize);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000169
Ken Dyckdb205d12011-03-17 01:33:18 +0000170 NextFieldOffsetInBits = Context.toBits(NextFieldOffsetInChars);
171 if (FieldOffset < NextFieldOffsetInBits) {
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000172 // Either part of the field or the entire field can go into the previous
173 // byte.
174 assert(!Elements.empty() && "Elements can't be empty!");
175
Ken Dyckdb205d12011-03-17 01:33:18 +0000176 unsigned BitsInPreviousByte = NextFieldOffsetInBits - FieldOffset;
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000177
178 bool FitsCompletelyInPreviousByte =
179 BitsInPreviousByte >= FieldValue.getBitWidth();
180
181 llvm::APInt Tmp = FieldValue;
182
183 if (!FitsCompletelyInPreviousByte) {
184 unsigned NewFieldWidth = FieldSize - BitsInPreviousByte;
185
Micah Villmowdd31ca12012-10-08 16:25:52 +0000186 if (CGM.getDataLayout().isBigEndian()) {
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000187 Tmp = Tmp.lshr(NewFieldWidth);
Jay Foad6d4db0c2010-12-07 08:25:34 +0000188 Tmp = Tmp.trunc(BitsInPreviousByte);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000189
190 // We want the remaining high bits.
Jay Foad6d4db0c2010-12-07 08:25:34 +0000191 FieldValue = FieldValue.trunc(NewFieldWidth);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000192 } else {
Jay Foad6d4db0c2010-12-07 08:25:34 +0000193 Tmp = Tmp.trunc(BitsInPreviousByte);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000194
195 // We want the remaining low bits.
196 FieldValue = FieldValue.lshr(BitsInPreviousByte);
Jay Foad6d4db0c2010-12-07 08:25:34 +0000197 FieldValue = FieldValue.trunc(NewFieldWidth);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000198 }
199 }
200
Ken Dyck0f2f30b2011-03-19 00:57:28 +0000201 Tmp = Tmp.zext(CharWidth);
Micah Villmowdd31ca12012-10-08 16:25:52 +0000202 if (CGM.getDataLayout().isBigEndian()) {
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000203 if (FitsCompletelyInPreviousByte)
204 Tmp = Tmp.shl(BitsInPreviousByte - FieldValue.getBitWidth());
205 } else {
Ken Dyck0f2f30b2011-03-19 00:57:28 +0000206 Tmp = Tmp.shl(CharWidth - BitsInPreviousByte);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000207 }
208
Chris Lattner53b479f2010-07-05 18:03:30 +0000209 // 'or' in the bits that go into the previous byte.
210 llvm::Value *LastElt = Elements.back();
211 if (llvm::ConstantInt *Val = dyn_cast<llvm::ConstantInt>(LastElt))
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000212 Tmp |= Val->getValue();
Chris Lattner53b479f2010-07-05 18:03:30 +0000213 else {
214 assert(isa<llvm::UndefValue>(LastElt));
215 // If there is an undef field that we're adding to, it can either be a
216 // scalar undef (in which case, we just replace it with our field) or it
217 // is an array. If it is an array, we have to pull one byte off the
218 // array so that the other undef bytes stay around.
219 if (!isa<llvm::IntegerType>(LastElt->getType())) {
220 // The undef padding will be a multibyte array, create a new smaller
221 // padding and then an hole for our i8 to get plopped into.
222 assert(isa<llvm::ArrayType>(LastElt->getType()) &&
223 "Expected array padding of undefs");
Chris Lattner2192fe52011-07-18 04:24:23 +0000224 llvm::ArrayType *AT = cast<llvm::ArrayType>(LastElt->getType());
Ken Dyck0f2f30b2011-03-19 00:57:28 +0000225 assert(AT->getElementType()->isIntegerTy(CharWidth) &&
Chris Lattner53b479f2010-07-05 18:03:30 +0000226 AT->getNumElements() != 0 &&
227 "Expected non-empty array padding of undefs");
228
229 // Remove the padding array.
Ken Dyckdb205d12011-03-17 01:33:18 +0000230 NextFieldOffsetInChars -= CharUnits::fromQuantity(AT->getNumElements());
Chris Lattner53b479f2010-07-05 18:03:30 +0000231 Elements.pop_back();
232
233 // Add the padding back in two chunks.
Ken Dyck30a87e32011-03-11 23:42:54 +0000234 AppendPadding(CharUnits::fromQuantity(AT->getNumElements()-1));
235 AppendPadding(CharUnits::One());
Chris Lattner53b479f2010-07-05 18:03:30 +0000236 assert(isa<llvm::UndefValue>(Elements.back()) &&
Ken Dyck0f2f30b2011-03-19 00:57:28 +0000237 Elements.back()->getType()->isIntegerTy(CharWidth) &&
Chris Lattner53b479f2010-07-05 18:03:30 +0000238 "Padding addition didn't work right");
239 }
240 }
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000241
242 Elements.back() = llvm::ConstantInt::get(CGM.getLLVMContext(), Tmp);
243
244 if (FitsCompletelyInPreviousByte)
Chris Lattner9a3459f2010-07-05 17:04:23 +0000245 return;
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000246 }
247
Ken Dyck0f2f30b2011-03-19 00:57:28 +0000248 while (FieldValue.getBitWidth() > CharWidth) {
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000249 llvm::APInt Tmp;
250
Micah Villmowdd31ca12012-10-08 16:25:52 +0000251 if (CGM.getDataLayout().isBigEndian()) {
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000252 // We want the high bits.
Ken Dyck0f2f30b2011-03-19 00:57:28 +0000253 Tmp =
254 FieldValue.lshr(FieldValue.getBitWidth() - CharWidth).trunc(CharWidth);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000255 } else {
256 // We want the low bits.
Ken Dyck0f2f30b2011-03-19 00:57:28 +0000257 Tmp = FieldValue.trunc(CharWidth);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000258
Ken Dyck0f2f30b2011-03-19 00:57:28 +0000259 FieldValue = FieldValue.lshr(CharWidth);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000260 }
261
262 Elements.push_back(llvm::ConstantInt::get(CGM.getLLVMContext(), Tmp));
Ken Dyck6d470d92011-03-19 01:28:06 +0000263 ++NextFieldOffsetInChars;
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000264
Ken Dyck0f2f30b2011-03-19 00:57:28 +0000265 FieldValue = FieldValue.trunc(FieldValue.getBitWidth() - CharWidth);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000266 }
267
268 assert(FieldValue.getBitWidth() > 0 &&
269 "Should have at least one bit left!");
Ken Dyck0f2f30b2011-03-19 00:57:28 +0000270 assert(FieldValue.getBitWidth() <= CharWidth &&
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000271 "Should not have more than a byte left!");
272
Ken Dyck0f2f30b2011-03-19 00:57:28 +0000273 if (FieldValue.getBitWidth() < CharWidth) {
Micah Villmowdd31ca12012-10-08 16:25:52 +0000274 if (CGM.getDataLayout().isBigEndian()) {
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000275 unsigned BitWidth = FieldValue.getBitWidth();
276
Ken Dyck0f2f30b2011-03-19 00:57:28 +0000277 FieldValue = FieldValue.zext(CharWidth) << (CharWidth - BitWidth);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000278 } else
Ken Dyck0f2f30b2011-03-19 00:57:28 +0000279 FieldValue = FieldValue.zext(CharWidth);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000280 }
281
282 // Append the last element.
283 Elements.push_back(llvm::ConstantInt::get(CGM.getLLVMContext(),
284 FieldValue));
Ken Dyck6d470d92011-03-19 01:28:06 +0000285 ++NextFieldOffsetInChars;
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000286}
287
Ken Dyck30a87e32011-03-11 23:42:54 +0000288void ConstStructBuilder::AppendPadding(CharUnits PadSize) {
289 if (PadSize.isZero())
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000290 return;
291
Chris Lattnerece04092012-02-07 00:39:47 +0000292 llvm::Type *Ty = CGM.Int8Ty;
Ken Dyck30a87e32011-03-11 23:42:54 +0000293 if (PadSize > CharUnits::One())
294 Ty = llvm::ArrayType::get(Ty, PadSize.getQuantity());
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000295
Nuno Lopes5863c992010-04-16 20:56:35 +0000296 llvm::Constant *C = llvm::UndefValue::get(Ty);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000297 Elements.push_back(C);
Ken Dycka1b35102011-03-18 01:26:17 +0000298 assert(getAlignment(C) == CharUnits::One() &&
299 "Padding must have 1 byte alignment!");
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000300
Ken Dyck33fa9ee2011-03-18 01:12:13 +0000301 NextFieldOffsetInChars += getSizeInChars(C);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000302}
303
Ken Dyck327b77a2011-03-11 02:17:05 +0000304void ConstStructBuilder::AppendTailPadding(CharUnits RecordSize) {
Ken Dyckdb205d12011-03-17 01:33:18 +0000305 assert(NextFieldOffsetInChars <= RecordSize &&
Ken Dyck327b77a2011-03-11 02:17:05 +0000306 "Size mismatch!");
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000307
Ken Dyckdb205d12011-03-17 01:33:18 +0000308 AppendPadding(RecordSize - NextFieldOffsetInChars);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000309}
310
311void ConstStructBuilder::ConvertStructToPacked() {
Bill Wendling1e375fa2012-02-07 00:04:27 +0000312 SmallVector<llvm::Constant *, 16> PackedElements;
Ken Dyck4e54dca2011-03-18 00:55:06 +0000313 CharUnits ElementOffsetInChars = CharUnits::Zero();
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000314
315 for (unsigned i = 0, e = Elements.size(); i != e; ++i) {
316 llvm::Constant *C = Elements[i];
317
Ken Dycka1b35102011-03-18 01:26:17 +0000318 CharUnits ElementAlign = CharUnits::fromQuantity(
Micah Villmowdd31ca12012-10-08 16:25:52 +0000319 CGM.getDataLayout().getABITypeAlignment(C->getType()));
Ken Dyck4e54dca2011-03-18 00:55:06 +0000320 CharUnits AlignedElementOffsetInChars =
Ken Dycka1b35102011-03-18 01:26:17 +0000321 ElementOffsetInChars.RoundUpToAlignment(ElementAlign);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000322
Ken Dyck4e54dca2011-03-18 00:55:06 +0000323 if (AlignedElementOffsetInChars > ElementOffsetInChars) {
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000324 // We need some padding.
Ken Dyck4e54dca2011-03-18 00:55:06 +0000325 CharUnits NumChars =
326 AlignedElementOffsetInChars - ElementOffsetInChars;
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000327
Chris Lattnerece04092012-02-07 00:39:47 +0000328 llvm::Type *Ty = CGM.Int8Ty;
Ken Dyck4e54dca2011-03-18 00:55:06 +0000329 if (NumChars > CharUnits::One())
330 Ty = llvm::ArrayType::get(Ty, NumChars.getQuantity());
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000331
Nuno Lopes5863c992010-04-16 20:56:35 +0000332 llvm::Constant *Padding = llvm::UndefValue::get(Ty);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000333 PackedElements.push_back(Padding);
Ken Dyck33fa9ee2011-03-18 01:12:13 +0000334 ElementOffsetInChars += getSizeInChars(Padding);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000335 }
336
337 PackedElements.push_back(C);
Ken Dyck33fa9ee2011-03-18 01:12:13 +0000338 ElementOffsetInChars += getSizeInChars(C);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000339 }
340
Ken Dyck4e54dca2011-03-18 00:55:06 +0000341 assert(ElementOffsetInChars == NextFieldOffsetInChars &&
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000342 "Packing the struct changed its size!");
343
Bill Wendling1e375fa2012-02-07 00:04:27 +0000344 Elements.swap(PackedElements);
Ken Dycka1b35102011-03-18 01:26:17 +0000345 LLVMStructAlignment = CharUnits::One();
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000346 Packed = true;
347}
348
349bool ConstStructBuilder::Build(InitListExpr *ILE) {
350 RecordDecl *RD = ILE->getType()->getAs<RecordType>()->getDecl();
351 const ASTRecordLayout &Layout = CGM.getContext().getASTRecordLayout(RD);
352
353 unsigned FieldNo = 0;
354 unsigned ElementNo = 0;
Fariborz Jahanian8409bce42011-04-28 22:49:46 +0000355
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000356 for (RecordDecl::field_iterator Field = RD->field_begin(),
Chris Lattnerff0e2a32010-04-13 18:16:19 +0000357 FieldEnd = RD->field_end(); Field != FieldEnd; ++Field, ++FieldNo) {
Chris Lattnerff0e2a32010-04-13 18:16:19 +0000358 // If this is a union, skip all the fields that aren't being initialized.
David Blaikie40ed2972012-06-06 20:45:41 +0000359 if (RD->isUnion() && ILE->getInitializedFieldInUnion() != *Field)
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000360 continue;
361
Chris Lattnerff0e2a32010-04-13 18:16:19 +0000362 // Don't emit anonymous bitfields, they just affect layout.
Eli Friedman2782dac2013-06-26 20:50:34 +0000363 if (Field->isUnnamedBitfield())
Chris Lattnerff0e2a32010-04-13 18:16:19 +0000364 continue;
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000365
Chris Lattnerff0e2a32010-04-13 18:16:19 +0000366 // Get the initializer. A struct can include fields without initializers,
367 // we just use explicit null values for them.
368 llvm::Constant *EltInit;
369 if (ElementNo < ILE->getNumInits())
370 EltInit = CGM.EmitConstantExpr(ILE->getInit(ElementNo++),
371 Field->getType(), CGF);
372 else
373 EltInit = CGM.EmitNullConstant(Field->getType());
Eli Friedman3ee10222010-07-17 23:55:01 +0000374
375 if (!EltInit)
376 return false;
Chris Lattnerff0e2a32010-04-13 18:16:19 +0000377
378 if (!Field->isBitField()) {
379 // Handle non-bitfield members.
David Blaikie40ed2972012-06-06 20:45:41 +0000380 AppendField(*Field, Layout.getFieldOffset(FieldNo), EltInit);
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000381 } else {
Chris Lattnerff0e2a32010-04-13 18:16:19 +0000382 // Otherwise we have a bitfield.
David Blaikie40ed2972012-06-06 20:45:41 +0000383 AppendBitField(*Field, Layout.getFieldOffset(FieldNo),
Chris Lattner9a3459f2010-07-05 17:04:23 +0000384 cast<llvm::ConstantInt>(EltInit));
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000385 }
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000386 }
387
Richard Smithdafff942012-01-14 04:30:29 +0000388 return true;
389}
390
Richard Smithc8998922012-02-23 08:33:23 +0000391namespace {
392struct BaseInfo {
393 BaseInfo(const CXXRecordDecl *Decl, CharUnits Offset, unsigned Index)
394 : Decl(Decl), Offset(Offset), Index(Index) {
395 }
396
397 const CXXRecordDecl *Decl;
398 CharUnits Offset;
399 unsigned Index;
400
401 bool operator<(const BaseInfo &O) const { return Offset < O.Offset; }
402};
403}
404
405void ConstStructBuilder::Build(const APValue &Val, const RecordDecl *RD,
Timur Iskhodzhanov8b5987e2013-09-27 14:48:01 +0000406 bool IsPrimaryBase,
Richard Smithc8998922012-02-23 08:33:23 +0000407 const CXXRecordDecl *VTableClass,
408 CharUnits Offset) {
Richard Smithdafff942012-01-14 04:30:29 +0000409 const ASTRecordLayout &Layout = CGM.getContext().getASTRecordLayout(RD);
410
Richard Smithc8998922012-02-23 08:33:23 +0000411 if (const CXXRecordDecl *CD = dyn_cast<CXXRecordDecl>(RD)) {
412 // Add a vtable pointer, if we need one and it hasn't already been added.
Timur Iskhodzhanov8b5987e2013-09-27 14:48:01 +0000413 if (CD->isDynamicClass() && !IsPrimaryBase) {
414 llvm::Constant *VTableAddressPoint =
415 CGM.getCXXABI().getVTableAddressPointForConstExpr(
416 BaseSubobject(CD, Offset), VTableClass);
417 AppendBytes(Offset, VTableAddressPoint);
418 }
Richard Smithc8998922012-02-23 08:33:23 +0000419
420 // Accumulate and sort bases, in order to visit them in address order, which
421 // may not be the same as declaration order.
Dmitri Gribenkof8579502013-01-12 19:30:44 +0000422 SmallVector<BaseInfo, 8> Bases;
Richard Smithc8998922012-02-23 08:33:23 +0000423 Bases.reserve(CD->getNumBases());
Richard Smithdafff942012-01-14 04:30:29 +0000424 unsigned BaseNo = 0;
Richard Smithc8998922012-02-23 08:33:23 +0000425 for (CXXRecordDecl::base_class_const_iterator Base = CD->bases_begin(),
Richard Smithdafff942012-01-14 04:30:29 +0000426 BaseEnd = CD->bases_end(); Base != BaseEnd; ++Base, ++BaseNo) {
Richard Smithc8998922012-02-23 08:33:23 +0000427 assert(!Base->isVirtual() && "should not have virtual bases here");
Richard Smithdafff942012-01-14 04:30:29 +0000428 const CXXRecordDecl *BD = Base->getType()->getAsCXXRecordDecl();
429 CharUnits BaseOffset = Layout.getBaseClassOffset(BD);
Richard Smithc8998922012-02-23 08:33:23 +0000430 Bases.push_back(BaseInfo(BD, BaseOffset, BaseNo));
431 }
432 std::stable_sort(Bases.begin(), Bases.end());
Richard Smithdafff942012-01-14 04:30:29 +0000433
Richard Smithc8998922012-02-23 08:33:23 +0000434 for (unsigned I = 0, N = Bases.size(); I != N; ++I) {
435 BaseInfo &Base = Bases[I];
Richard Smithdafff942012-01-14 04:30:29 +0000436
Richard Smithc8998922012-02-23 08:33:23 +0000437 bool IsPrimaryBase = Layout.getPrimaryBase() == Base.Decl;
438 Build(Val.getStructBase(Base.Index), Base.Decl, IsPrimaryBase,
Timur Iskhodzhanov8b5987e2013-09-27 14:48:01 +0000439 VTableClass, Offset + Base.Offset);
Richard Smithdafff942012-01-14 04:30:29 +0000440 }
441 }
442
443 unsigned FieldNo = 0;
Eli Friedmana154dd52012-03-30 03:55:31 +0000444 uint64_t OffsetBits = CGM.getContext().toBits(Offset);
Richard Smithdafff942012-01-14 04:30:29 +0000445
446 for (RecordDecl::field_iterator Field = RD->field_begin(),
447 FieldEnd = RD->field_end(); Field != FieldEnd; ++Field, ++FieldNo) {
Richard Smithdafff942012-01-14 04:30:29 +0000448 // If this is a union, skip all the fields that aren't being initialized.
David Blaikie40ed2972012-06-06 20:45:41 +0000449 if (RD->isUnion() && Val.getUnionField() != *Field)
Richard Smithdafff942012-01-14 04:30:29 +0000450 continue;
451
452 // Don't emit anonymous bitfields, they just affect layout.
Eli Friedman2782dac2013-06-26 20:50:34 +0000453 if (Field->isUnnamedBitfield())
Richard Smithdafff942012-01-14 04:30:29 +0000454 continue;
Richard Smithdafff942012-01-14 04:30:29 +0000455
456 // Emit the value of the initializer.
457 const APValue &FieldValue =
458 RD->isUnion() ? Val.getUnionValue() : Val.getStructField(FieldNo);
459 llvm::Constant *EltInit =
Richard Smithbc6387672012-03-02 23:27:11 +0000460 CGM.EmitConstantValueForMemory(FieldValue, Field->getType(), CGF);
Richard Smithdafff942012-01-14 04:30:29 +0000461 assert(EltInit && "EmitConstantValue can't fail");
462
463 if (!Field->isBitField()) {
464 // Handle non-bitfield members.
David Blaikie40ed2972012-06-06 20:45:41 +0000465 AppendField(*Field, Layout.getFieldOffset(FieldNo) + OffsetBits, EltInit);
Richard Smithdafff942012-01-14 04:30:29 +0000466 } else {
467 // Otherwise we have a bitfield.
David Blaikie40ed2972012-06-06 20:45:41 +0000468 AppendBitField(*Field, Layout.getFieldOffset(FieldNo) + OffsetBits,
Richard Smithdafff942012-01-14 04:30:29 +0000469 cast<llvm::ConstantInt>(EltInit));
470 }
471 }
472}
473
474llvm::Constant *ConstStructBuilder::Finalize(QualType Ty) {
475 RecordDecl *RD = Ty->getAs<RecordType>()->getDecl();
476 const ASTRecordLayout &Layout = CGM.getContext().getASTRecordLayout(RD);
477
Ken Dyckdb205d12011-03-17 01:33:18 +0000478 CharUnits LayoutSizeInChars = Layout.getSize();
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000479
Ken Dyckdb205d12011-03-17 01:33:18 +0000480 if (NextFieldOffsetInChars > LayoutSizeInChars) {
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000481 // If the struct is bigger than the size of the record type,
482 // we must have a flexible array member at the end.
483 assert(RD->hasFlexibleArrayMember() &&
484 "Must have flexible array member if struct is bigger than type!");
Richard Smithdafff942012-01-14 04:30:29 +0000485
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000486 // No tail padding is necessary.
Richard Smithdafff942012-01-14 04:30:29 +0000487 } else {
488 // Append tail padding if necessary.
489 AppendTailPadding(LayoutSizeInChars);
490
491 CharUnits LLVMSizeInChars =
492 NextFieldOffsetInChars.RoundUpToAlignment(LLVMStructAlignment);
493
494 // Check if we need to convert the struct to a packed struct.
495 if (NextFieldOffsetInChars <= LayoutSizeInChars &&
496 LLVMSizeInChars > LayoutSizeInChars) {
497 assert(!Packed && "Size mismatch!");
498
499 ConvertStructToPacked();
500 assert(NextFieldOffsetInChars <= LayoutSizeInChars &&
501 "Converting to packed did not help!");
502 }
503
504 assert(LayoutSizeInChars == NextFieldOffsetInChars &&
505 "Tail padding mismatch!");
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000506 }
507
Chris Lattnere64d7ba2011-06-20 04:01:35 +0000508 // Pick the type to use. If the type is layout identical to the ConvertType
509 // type then use it, otherwise use whatever the builder produced for us.
Chris Lattner2192fe52011-07-18 04:24:23 +0000510 llvm::StructType *STy =
Chris Lattnere64d7ba2011-06-20 04:01:35 +0000511 llvm::ConstantStruct::getTypeForElements(CGM.getLLVMContext(),
Richard Smithdafff942012-01-14 04:30:29 +0000512 Elements, Packed);
513 llvm::Type *ValTy = CGM.getTypes().ConvertType(Ty);
514 if (llvm::StructType *ValSTy = dyn_cast<llvm::StructType>(ValTy)) {
515 if (ValSTy->isLayoutIdentical(STy))
516 STy = ValSTy;
Chris Lattnere64d7ba2011-06-20 04:01:35 +0000517 }
Richard Smithdafff942012-01-14 04:30:29 +0000518
519 llvm::Constant *Result = llvm::ConstantStruct::get(STy, Elements);
520
521 assert(NextFieldOffsetInChars.RoundUpToAlignment(getAlignment(Result)) ==
522 getSizeInChars(Result) && "Size mismatch!");
523
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000524 return Result;
525}
526
Richard Smithdafff942012-01-14 04:30:29 +0000527llvm::Constant *ConstStructBuilder::BuildStruct(CodeGenModule &CGM,
528 CodeGenFunction *CGF,
529 InitListExpr *ILE) {
530 ConstStructBuilder Builder(CGM, CGF);
531
532 if (!Builder.Build(ILE))
Craig Topper8a13c412014-05-21 05:09:00 +0000533 return nullptr;
Richard Smithdafff942012-01-14 04:30:29 +0000534
535 return Builder.Finalize(ILE->getType());
536}
537
538llvm::Constant *ConstStructBuilder::BuildStruct(CodeGenModule &CGM,
539 CodeGenFunction *CGF,
540 const APValue &Val,
541 QualType ValTy) {
542 ConstStructBuilder Builder(CGM, CGF);
Richard Smithc8998922012-02-23 08:33:23 +0000543
544 const RecordDecl *RD = ValTy->castAs<RecordType>()->getDecl();
545 const CXXRecordDecl *CD = dyn_cast<CXXRecordDecl>(RD);
Timur Iskhodzhanov8b5987e2013-09-27 14:48:01 +0000546 Builder.Build(Val, RD, false, CD, CharUnits::Zero());
Richard Smithc8998922012-02-23 08:33:23 +0000547
Richard Smithdafff942012-01-14 04:30:29 +0000548 return Builder.Finalize(ValTy);
549}
550
551
Chris Lattnercfa3e7a2010-04-13 17:45:57 +0000552//===----------------------------------------------------------------------===//
553// ConstExprEmitter
554//===----------------------------------------------------------------------===//
Richard Smithdd5bdd82012-01-17 21:42:19 +0000555
556/// This class only needs to handle two cases:
557/// 1) Literals (this is used by APValue emission to emit literals).
558/// 2) Arrays, structs and unions (outside C++11 mode, we don't currently
559/// constant fold these types).
Benjamin Kramer337e3a52009-11-28 19:45:26 +0000560class ConstExprEmitter :
Anders Carlsson8a88c382008-01-26 04:30:23 +0000561 public StmtVisitor<ConstExprEmitter, llvm::Constant*> {
Anders Carlsson610ee712008-01-26 01:36:00 +0000562 CodeGenModule &CGM;
Lauro Ramos Venancio01a72ff2008-02-26 21:41:45 +0000563 CodeGenFunction *CGF;
Owen Anderson170229f2009-07-14 23:10:40 +0000564 llvm::LLVMContext &VMContext;
Anders Carlsson610ee712008-01-26 01:36:00 +0000565public:
Lauro Ramos Venancio01a72ff2008-02-26 21:41:45 +0000566 ConstExprEmitter(CodeGenModule &cgm, CodeGenFunction *cgf)
Owen Anderson170229f2009-07-14 23:10:40 +0000567 : CGM(cgm), CGF(cgf), VMContext(cgm.getLLVMContext()) {
Anders Carlsson610ee712008-01-26 01:36:00 +0000568 }
Mike Stump11289f42009-09-09 15:08:12 +0000569
Anders Carlsson610ee712008-01-26 01:36:00 +0000570 //===--------------------------------------------------------------------===//
571 // Visitor Methods
572 //===--------------------------------------------------------------------===//
Mike Stump11289f42009-09-09 15:08:12 +0000573
Anders Carlsson610ee712008-01-26 01:36:00 +0000574 llvm::Constant *VisitStmt(Stmt *S) {
Craig Topper8a13c412014-05-21 05:09:00 +0000575 return nullptr;
Anders Carlsson610ee712008-01-26 01:36:00 +0000576 }
Mike Stump11289f42009-09-09 15:08:12 +0000577
578 llvm::Constant *VisitParenExpr(ParenExpr *PE) {
579 return Visit(PE->getSubExpr());
Anders Carlsson610ee712008-01-26 01:36:00 +0000580 }
Mike Stump11289f42009-09-09 15:08:12 +0000581
John McCall7c454bb2011-07-15 05:09:51 +0000582 llvm::Constant *
583 VisitSubstNonTypeTemplateParmExpr(SubstNonTypeTemplateParmExpr *PE) {
584 return Visit(PE->getReplacement());
585 }
586
Peter Collingbourne91147592011-04-15 00:35:48 +0000587 llvm::Constant *VisitGenericSelectionExpr(GenericSelectionExpr *GE) {
588 return Visit(GE->getResultExpr());
589 }
590
Eli Friedman4c27ac22013-07-16 22:40:53 +0000591 llvm::Constant *VisitChooseExpr(ChooseExpr *CE) {
Eli Friedman75807f22013-07-20 00:40:58 +0000592 return Visit(CE->getChosenSubExpr());
Eli Friedman4c27ac22013-07-16 22:40:53 +0000593 }
594
Anders Carlsson610ee712008-01-26 01:36:00 +0000595 llvm::Constant *VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
596 return Visit(E->getInitializer());
597 }
John McCallf3a88602011-02-03 08:15:49 +0000598
Argyrios Kyrtzidis3bab3d22008-08-18 23:01:59 +0000599 llvm::Constant *VisitCastExpr(CastExpr* E) {
John McCall2de87f62011-03-15 21:17:48 +0000600 Expr *subExpr = E->getSubExpr();
601 llvm::Constant *C = CGM.EmitConstantExpr(subExpr, subExpr->getType(), CGF);
Craig Topper8a13c412014-05-21 05:09:00 +0000602 if (!C) return nullptr;
John McCall2de87f62011-03-15 21:17:48 +0000603
Chris Lattner2192fe52011-07-18 04:24:23 +0000604 llvm::Type *destType = ConvertType(E->getType());
John McCall2de87f62011-03-15 21:17:48 +0000605
Anders Carlsson3b0c5dc2009-08-22 23:54:44 +0000606 switch (E->getCastKind()) {
John McCalle3027922010-08-25 11:45:40 +0000607 case CK_ToUnion: {
Anders Carlsson3b0c5dc2009-08-22 23:54:44 +0000608 // GCC cast to union extension
609 assert(E->getType()->isUnionType() &&
610 "Destination type is not union type!");
Mike Stump11289f42009-09-09 15:08:12 +0000611
Anders Carlssond65ab042009-07-31 21:38:39 +0000612 // Build a struct with the union sub-element as the first member,
613 // and padded to the appropriate size
Bill Wendling99729582012-02-07 00:13:27 +0000614 SmallVector<llvm::Constant*, 2> Elts;
615 SmallVector<llvm::Type*, 2> Types;
Anders Carlssond65ab042009-07-31 21:38:39 +0000616 Elts.push_back(C);
617 Types.push_back(C->getType());
Micah Villmowdd31ca12012-10-08 16:25:52 +0000618 unsigned CurSize = CGM.getDataLayout().getTypeAllocSize(C->getType());
619 unsigned TotalSize = CGM.getDataLayout().getTypeAllocSize(destType);
Mike Stump11289f42009-09-09 15:08:12 +0000620
Anders Carlssond65ab042009-07-31 21:38:39 +0000621 assert(CurSize <= TotalSize && "Union size mismatch!");
622 if (unsigned NumPadBytes = TotalSize - CurSize) {
Chris Lattnerece04092012-02-07 00:39:47 +0000623 llvm::Type *Ty = CGM.Int8Ty;
Anders Carlssond65ab042009-07-31 21:38:39 +0000624 if (NumPadBytes > 1)
625 Ty = llvm::ArrayType::get(Ty, NumPadBytes);
Anders Carlsson3b0c5dc2009-08-22 23:54:44 +0000626
Nuno Lopes5863c992010-04-16 20:56:35 +0000627 Elts.push_back(llvm::UndefValue::get(Ty));
Anders Carlssond65ab042009-07-31 21:38:39 +0000628 Types.push_back(Ty);
629 }
Mike Stump11289f42009-09-09 15:08:12 +0000630
Anders Carlsson3b0c5dc2009-08-22 23:54:44 +0000631 llvm::StructType* STy =
632 llvm::StructType::get(C->getType()->getContext(), Types, false);
Anders Carlssond65ab042009-07-31 21:38:39 +0000633 return llvm::ConstantStruct::get(STy, Elts);
Nuno Lopes4d78cf02009-01-17 00:48:48 +0000634 }
Anders Carlsson9500ad12009-10-18 20:31:03 +0000635
David Tweede1468322013-12-11 13:39:46 +0000636 case CK_AddressSpaceConversion:
637 return llvm::ConstantExpr::getAddrSpaceCast(C, destType);
638
John McCall2de87f62011-03-15 21:17:48 +0000639 case CK_LValueToRValue:
David Chisnallfa35df62012-01-16 17:27:18 +0000640 case CK_AtomicToNonAtomic:
641 case CK_NonAtomicToAtomic:
John McCall2de87f62011-03-15 21:17:48 +0000642 case CK_NoOp:
Eli Friedman4c27ac22013-07-16 22:40:53 +0000643 case CK_ConstructorConversion:
John McCall2de87f62011-03-15 21:17:48 +0000644 return C;
Anders Carlsson9500ad12009-10-18 20:31:03 +0000645
John McCall2de87f62011-03-15 21:17:48 +0000646 case CK_Dependent: llvm_unreachable("saw dependent cast!");
647
Eli Friedman34866c72012-08-31 00:14:07 +0000648 case CK_BuiltinFnToFnPtr:
649 llvm_unreachable("builtin functions are handled elsewhere");
650
John McCallc62bb392012-02-15 01:22:51 +0000651 case CK_ReinterpretMemberPointer:
652 case CK_DerivedToBaseMemberPointer:
653 case CK_BaseToDerivedMemberPointer:
654 return CGM.getCXXABI().EmitMemberPointerConversion(E, C);
655
John McCall2de87f62011-03-15 21:17:48 +0000656 // These will never be supported.
657 case CK_ObjCObjectLValueCast:
John McCall2d637d22011-09-10 06:18:15 +0000658 case CK_ARCProduceObject:
659 case CK_ARCConsumeObject:
660 case CK_ARCReclaimReturnedObject:
661 case CK_ARCExtendBlockObject:
Douglas Gregored90df32012-02-22 05:02:47 +0000662 case CK_CopyAndAutoreleaseBlockObject:
Craig Topper8a13c412014-05-21 05:09:00 +0000663 return nullptr;
John McCall2de87f62011-03-15 21:17:48 +0000664
Eli Friedmanfd5e54d2012-01-04 23:13:47 +0000665 // These don't need to be handled here because Evaluate knows how to
Richard Smithdd5bdd82012-01-17 21:42:19 +0000666 // evaluate them in the cases where they can be folded.
John McCallc62bb392012-02-15 01:22:51 +0000667 case CK_BitCast:
Richard Smithdd5bdd82012-01-17 21:42:19 +0000668 case CK_ToVoid:
669 case CK_Dynamic:
670 case CK_LValueBitCast:
671 case CK_NullToMemberPointer:
Richard Smithdd5bdd82012-01-17 21:42:19 +0000672 case CK_UserDefinedConversion:
Eli Friedmanfd5e54d2012-01-04 23:13:47 +0000673 case CK_CPointerToObjCPointerCast:
674 case CK_BlockPointerToObjCPointerCast:
675 case CK_AnyPointerToBlockPointerCast:
John McCall2de87f62011-03-15 21:17:48 +0000676 case CK_ArrayToPointerDecay:
677 case CK_FunctionToPointerDecay:
678 case CK_BaseToDerived:
679 case CK_DerivedToBase:
680 case CK_UncheckedDerivedToBase:
681 case CK_MemberPointerToBoolean:
682 case CK_VectorSplat:
683 case CK_FloatingRealToComplex:
684 case CK_FloatingComplexToReal:
685 case CK_FloatingComplexToBoolean:
686 case CK_FloatingComplexCast:
687 case CK_FloatingComplexToIntegralComplex:
688 case CK_IntegralRealToComplex:
689 case CK_IntegralComplexToReal:
690 case CK_IntegralComplexToBoolean:
691 case CK_IntegralComplexCast:
692 case CK_IntegralComplexToFloatingComplex:
John McCall2de87f62011-03-15 21:17:48 +0000693 case CK_PointerToIntegral:
John McCall2de87f62011-03-15 21:17:48 +0000694 case CK_PointerToBoolean:
John McCall2de87f62011-03-15 21:17:48 +0000695 case CK_NullToPointer:
Eli Friedmanfd5e54d2012-01-04 23:13:47 +0000696 case CK_IntegralCast:
697 case CK_IntegralToPointer:
John McCall2de87f62011-03-15 21:17:48 +0000698 case CK_IntegralToBoolean:
John McCall2de87f62011-03-15 21:17:48 +0000699 case CK_IntegralToFloating:
John McCall2de87f62011-03-15 21:17:48 +0000700 case CK_FloatingToIntegral:
John McCall2de87f62011-03-15 21:17:48 +0000701 case CK_FloatingToBoolean:
John McCall2de87f62011-03-15 21:17:48 +0000702 case CK_FloatingCast:
Guy Benyei1b4fb3e2013-01-20 12:31:11 +0000703 case CK_ZeroToOCLEvent:
Craig Topper8a13c412014-05-21 05:09:00 +0000704 return nullptr;
Anders Carlsson3b0c5dc2009-08-22 23:54:44 +0000705 }
Matt Beaumont-Gay145e2eb2011-03-17 00:46:34 +0000706 llvm_unreachable("Invalid CastKind");
Anders Carlsson610ee712008-01-26 01:36:00 +0000707 }
Devang Patela703a672008-02-05 02:39:50 +0000708
Chris Lattneraa9c7ae2008-04-08 04:40:51 +0000709 llvm::Constant *VisitCXXDefaultArgExpr(CXXDefaultArgExpr *DAE) {
710 return Visit(DAE->getExpr());
711 }
712
Richard Smith852c9db2013-04-20 22:23:05 +0000713 llvm::Constant *VisitCXXDefaultInitExpr(CXXDefaultInitExpr *DIE) {
714 // No need for a DefaultInitExprScope: we don't handle 'this' in a
715 // constant expression.
716 return Visit(DIE->getExpr());
717 }
718
Douglas Gregorfe314812011-06-21 17:03:29 +0000719 llvm::Constant *VisitMaterializeTemporaryExpr(MaterializeTemporaryExpr *E) {
720 return Visit(E->GetTemporaryExpr());
721 }
722
Eli Friedmana2eaffc2008-05-30 10:24:46 +0000723 llvm::Constant *EmitArrayInitialization(InitListExpr *ILE) {
Richard Smith9ec1e482012-04-15 02:50:59 +0000724 if (ILE->isStringLiteralInit())
Nuno Lopes247a1382010-04-18 19:06:43 +0000725 return Visit(ILE->getInit(0));
726
Chris Lattner2192fe52011-07-18 04:24:23 +0000727 llvm::ArrayType *AType =
Nuno Lopes74b59522010-04-16 23:19:41 +0000728 cast<llvm::ArrayType>(ConvertType(ILE->getType()));
Chris Lattner2192fe52011-07-18 04:24:23 +0000729 llvm::Type *ElemTy = AType->getElementType();
Richard Smith9ec1e482012-04-15 02:50:59 +0000730 unsigned NumInitElements = ILE->getNumInits();
Devang Patela703a672008-02-05 02:39:50 +0000731 unsigned NumElements = AType->getNumElements();
732
Mike Stump11289f42009-09-09 15:08:12 +0000733 // Initialising an array requires us to automatically
Devang Patela703a672008-02-05 02:39:50 +0000734 // initialise any elements that have not been initialised explicitly
735 unsigned NumInitableElts = std::min(NumInitElements, NumElements);
736
737 // Copy initializer elements.
Bill Wendling99729582012-02-07 00:13:27 +0000738 std::vector<llvm::Constant*> Elts;
739 Elts.reserve(NumInitableElts + NumElements);
Benjamin Kramer8001f742012-02-14 12:06:21 +0000740
Eli Friedman34994cb2008-05-30 19:58:50 +0000741 bool RewriteType = false;
Benjamin Kramer8001f742012-02-14 12:06:21 +0000742 for (unsigned i = 0; i < NumInitableElts; ++i) {
Anders Carlsson80f97ab2009-04-08 04:48:15 +0000743 Expr *Init = ILE->getInit(i);
744 llvm::Constant *C = CGM.EmitConstantExpr(Init, Init->getType(), CGF);
Daniel Dunbar38ad1e62009-02-17 18:43:32 +0000745 if (!C)
Craig Topper8a13c412014-05-21 05:09:00 +0000746 return nullptr;
Eli Friedman34994cb2008-05-30 19:58:50 +0000747 RewriteType |= (C->getType() != ElemTy);
Devang Patela703a672008-02-05 02:39:50 +0000748 Elts.push_back(C);
749 }
Eli Friedman34994cb2008-05-30 19:58:50 +0000750
Devang Patela703a672008-02-05 02:39:50 +0000751 // Initialize remaining array elements.
Eli Friedman20bb5e02009-04-13 21:47:26 +0000752 // FIXME: This doesn't handle member pointers correctly!
Argyrios Kyrtzidisb2ed28e2011-04-21 00:27:41 +0000753 llvm::Constant *fillC;
754 if (Expr *filler = ILE->getArrayFiller())
755 fillC = CGM.EmitConstantExpr(filler, filler->getType(), CGF);
756 else
757 fillC = llvm::Constant::getNullValue(ElemTy);
758 if (!fillC)
Craig Topper8a13c412014-05-21 05:09:00 +0000759 return nullptr;
Argyrios Kyrtzidisb2ed28e2011-04-21 00:27:41 +0000760 RewriteType |= (fillC->getType() != ElemTy);
Benjamin Kramer8001f742012-02-14 12:06:21 +0000761 Elts.resize(NumElements, fillC);
Devang Patela703a672008-02-05 02:39:50 +0000762
Eli Friedman34994cb2008-05-30 19:58:50 +0000763 if (RewriteType) {
764 // FIXME: Try to avoid packing the array
Jay Foad7c57be32011-07-11 09:56:20 +0000765 std::vector<llvm::Type*> Types;
Bill Wendling99729582012-02-07 00:13:27 +0000766 Types.reserve(NumInitableElts + NumElements);
Bill Wendlingbf21cac2012-02-06 23:46:08 +0000767 for (unsigned i = 0, e = Elts.size(); i < e; ++i)
Eli Friedman34994cb2008-05-30 19:58:50 +0000768 Types.push_back(Elts[i]->getType());
Chris Lattner2192fe52011-07-18 04:24:23 +0000769 llvm::StructType *SType = llvm::StructType::get(AType->getContext(),
Owen Anderson758428f2009-08-05 23:18:46 +0000770 Types, true);
Owen Anderson0e0189d2009-07-27 22:29:56 +0000771 return llvm::ConstantStruct::get(SType, Elts);
Eli Friedman34994cb2008-05-30 19:58:50 +0000772 }
773
Mike Stump11289f42009-09-09 15:08:12 +0000774 return llvm::ConstantArray::get(AType, Elts);
Devang Patela703a672008-02-05 02:39:50 +0000775 }
776
Richard Smithc030bcd2012-09-11 05:51:06 +0000777 llvm::Constant *EmitRecordInitialization(InitListExpr *ILE) {
Anders Carlsson0d5f37b2009-07-31 21:34:04 +0000778 return ConstStructBuilder::BuildStruct(CGM, CGF, ILE);
Eli Friedmana2eaffc2008-05-30 10:24:46 +0000779 }
780
Anders Carlsson02714ed2009-01-30 06:13:25 +0000781 llvm::Constant *VisitImplicitValueInitExpr(ImplicitValueInitExpr* E) {
Eli Friedman20bb5e02009-04-13 21:47:26 +0000782 return CGM.EmitNullConstant(E->getType());
Anders Carlsson02714ed2009-01-30 06:13:25 +0000783 }
Mike Stump11289f42009-09-09 15:08:12 +0000784
Anders Carlsson610ee712008-01-26 01:36:00 +0000785 llvm::Constant *VisitInitListExpr(InitListExpr *ILE) {
Eli Friedmana2eaffc2008-05-30 10:24:46 +0000786 if (ILE->getType()->isArrayType())
787 return EmitArrayInitialization(ILE);
Devang Patel45a65d22008-01-29 23:23:18 +0000788
Jin-Gu Kang1a5e4232012-09-05 08:37:43 +0000789 if (ILE->getType()->isRecordType())
Richard Smithc030bcd2012-09-11 05:51:06 +0000790 return EmitRecordInitialization(ILE);
Jin-Gu Kang1a5e4232012-09-05 08:37:43 +0000791
Craig Topper8a13c412014-05-21 05:09:00 +0000792 return nullptr;
Anders Carlsson610ee712008-01-26 01:36:00 +0000793 }
Eli Friedmana2433112008-02-21 17:57:49 +0000794
John McCall49786a62010-02-02 08:02:49 +0000795 llvm::Constant *VisitCXXConstructExpr(CXXConstructExpr *E) {
796 if (!E->getConstructor()->isTrivial())
Craig Topper8a13c412014-05-21 05:09:00 +0000797 return nullptr;
John McCall49786a62010-02-02 08:02:49 +0000798
Anders Carlssoncb86e102010-02-05 18:38:45 +0000799 QualType Ty = E->getType();
800
801 // FIXME: We should not have to call getBaseElementType here.
802 const RecordType *RT =
803 CGM.getContext().getBaseElementType(Ty)->getAs<RecordType>();
804 const CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl());
805
806 // If the class doesn't have a trivial destructor, we can't emit it as a
807 // constant expr.
808 if (!RD->hasTrivialDestructor())
Craig Topper8a13c412014-05-21 05:09:00 +0000809 return nullptr;
810
John McCall49786a62010-02-02 08:02:49 +0000811 // Only copy and default constructors can be trivial.
812
John McCall49786a62010-02-02 08:02:49 +0000813
814 if (E->getNumArgs()) {
815 assert(E->getNumArgs() == 1 && "trivial ctor with > 1 argument");
Sebastian Redl22653ba2011-08-30 19:58:05 +0000816 assert(E->getConstructor()->isCopyOrMoveConstructor() &&
817 "trivial ctor has argument but isn't a copy/move ctor");
John McCall49786a62010-02-02 08:02:49 +0000818
819 Expr *Arg = E->getArg(0);
820 assert(CGM.getContext().hasSameUnqualifiedType(Ty, Arg->getType()) &&
821 "argument to copy ctor is of wrong type");
822
Chandler Carruth173bfe42010-02-02 12:15:55 +0000823 return Visit(Arg);
John McCall49786a62010-02-02 08:02:49 +0000824 }
825
826 return CGM.EmitNullConstant(Ty);
827 }
828
Anders Carlsson610ee712008-01-26 01:36:00 +0000829 llvm::Constant *VisitStringLiteral(StringLiteral *E) {
Eli Friedmanfcec6302011-11-01 02:23:42 +0000830 return CGM.GetConstantArrayFromStringLiteral(E);
Anders Carlsson610ee712008-01-26 01:36:00 +0000831 }
832
Chris Lattnerd7e7b8e2009-02-24 22:18:39 +0000833 llvm::Constant *VisitObjCEncodeExpr(ObjCEncodeExpr *E) {
834 // This must be an @encode initializing an array in a static initializer.
835 // Don't emit it as the address of the string, emit the string data itself
836 // as an inline array.
837 std::string Str;
838 CGM.getContext().getObjCEncodingForType(E->getEncodedType(), Str);
Fariborz Jahanian9da2a792014-04-23 17:44:58 +0000839 QualType T = E->getType();
840 if (T->getTypeClass() == Type::TypeOfExpr)
841 T = cast<TypeOfExprType>(T)->getUnderlyingExpr()->getType();
842 const ConstantArrayType *CAT = cast<ConstantArrayType>(T);
Mike Stump11289f42009-09-09 15:08:12 +0000843
Chris Lattnerd7e7b8e2009-02-24 22:18:39 +0000844 // Resize the string to the right size, adding zeros at the end, or
845 // truncating as needed.
846 Str.resize(CAT->getSize().getZExtValue(), '\0');
Chris Lattner9c818332012-02-05 02:30:40 +0000847 return llvm::ConstantDataArray::getString(VMContext, Str, false);
Chris Lattnerd7e7b8e2009-02-24 22:18:39 +0000848 }
Mike Stump11289f42009-09-09 15:08:12 +0000849
Eli Friedman045bf4f2008-05-29 11:22:45 +0000850 llvm::Constant *VisitUnaryExtension(const UnaryOperator *E) {
851 return Visit(E->getSubExpr());
852 }
Mike Stumpa6703322009-02-19 22:01:56 +0000853
Anders Carlsson610ee712008-01-26 01:36:00 +0000854 // Utility methods
Chris Lattner2192fe52011-07-18 04:24:23 +0000855 llvm::Type *ConvertType(QualType T) {
Anders Carlsson610ee712008-01-26 01:36:00 +0000856 return CGM.getTypes().ConvertType(T);
857 }
Anders Carlsson8a88c382008-01-26 04:30:23 +0000858
Anders Carlsson43088772008-11-16 06:23:45 +0000859public:
Richard Smithce40ad62011-11-12 22:28:03 +0000860 llvm::Constant *EmitLValue(APValue::LValueBase LVBase) {
861 if (const ValueDecl *Decl = LVBase.dyn_cast<const ValueDecl*>()) {
Rafael Espindolabef98682010-03-04 21:26:03 +0000862 if (Decl->hasAttr<WeakRefAttr>())
Eli Friedman04831922010-08-22 01:00:03 +0000863 return CGM.GetWeakRefReference(Decl);
Anders Carlssona4139112008-01-26 02:08:50 +0000864 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(Decl))
Anders Carlssonecf9bf02009-09-10 23:43:36 +0000865 return CGM.GetAddrOfFunction(FD);
Steve Naroff08899ff2008-04-15 22:42:06 +0000866 if (const VarDecl* VD = dyn_cast<VarDecl>(Decl)) {
Daniel Dunbard4ecca12009-02-24 18:41:57 +0000867 // We can never refer to a variable with local storage.
Mike Stump11289f42009-09-09 15:08:12 +0000868 if (!VD->hasLocalStorage()) {
Daniel Dunbard4ecca12009-02-24 18:41:57 +0000869 if (VD->isFileVarDecl() || VD->hasExternalStorage())
870 return CGM.GetAddrOfGlobalVar(VD);
Eli Friedman33accdf2013-01-03 00:39:26 +0000871 else if (VD->isLocalVarDecl())
Reid Kleckner453e0562014-10-08 01:07:54 +0000872 return CGM.getOrCreateStaticVarDecl(
873 *VD, CGM.getLLVMLinkageVarDefinition(VD, /*isConstant=*/false));
Steve Naroff08899ff2008-04-15 22:42:06 +0000874 }
Lauro Ramos Venancio01a72ff2008-02-26 21:41:45 +0000875 }
Craig Topper8a13c412014-05-21 05:09:00 +0000876 return nullptr;
Richard Smithce40ad62011-11-12 22:28:03 +0000877 }
878
879 Expr *E = const_cast<Expr*>(LVBase.get<const Expr*>());
880 switch (E->getStmtClass()) {
881 default: break;
882 case Expr::CompoundLiteralExprClass: {
883 // Note that due to the nature of compound literals, this is guaranteed
884 // to be the only use of the variable, so we just generate it here.
885 CompoundLiteralExpr *CLE = cast<CompoundLiteralExpr>(E);
Eli Friedman5c9cd7a2011-12-22 00:04:00 +0000886 llvm::Constant* C = CGM.EmitConstantExpr(CLE->getInitializer(),
887 CLE->getType(), CGF);
Richard Smithce40ad62011-11-12 22:28:03 +0000888 // FIXME: "Leaked" on failure.
889 if (C)
890 C = new llvm::GlobalVariable(CGM.getModule(), C->getType(),
891 E->getType().isConstant(CGM.getContext()),
892 llvm::GlobalValue::InternalLinkage,
Craig Topper8a13c412014-05-21 05:09:00 +0000893 C, ".compoundliteral", nullptr,
Hans Wennborgd3b01bc2012-06-23 11:51:46 +0000894 llvm::GlobalVariable::NotThreadLocal,
Richard Smithce40ad62011-11-12 22:28:03 +0000895 CGM.getContext().getTargetAddressSpace(E->getType()));
896 return C;
Anders Carlssona4139112008-01-26 02:08:50 +0000897 }
Daniel Dunbarc4baa062008-08-13 23:20:05 +0000898 case Expr::StringLiteralClass:
899 return CGM.GetAddrOfConstantStringFromLiteral(cast<StringLiteral>(E));
Chris Lattnerd7e7b8e2009-02-24 22:18:39 +0000900 case Expr::ObjCEncodeExprClass:
901 return CGM.GetAddrOfConstantStringFromObjCEncode(cast<ObjCEncodeExpr>(E));
Anders Carlsson43088772008-11-16 06:23:45 +0000902 case Expr::ObjCStringLiteralClass: {
903 ObjCStringLiteral* SL = cast<ObjCStringLiteral>(E);
David Chisnall481e3a82010-01-23 02:40:42 +0000904 llvm::Constant *C =
905 CGM.getObjCRuntime().GenerateConstantString(SL->getString());
Owen Andersonade90fd2009-07-29 18:54:39 +0000906 return llvm::ConstantExpr::getBitCast(C, ConvertType(E->getType()));
Anders Carlsson43088772008-11-16 06:23:45 +0000907 }
Chris Lattnerb4396f42008-12-12 05:18:02 +0000908 case Expr::PredefinedExprClass: {
Eli Friedmanb210fc52009-11-14 08:37:13 +0000909 unsigned Type = cast<PredefinedExpr>(E)->getIdentType();
910 if (CGF) {
Daniel Dunbarb1d94a92010-08-21 03:01:12 +0000911 LValue Res = CGF->EmitPredefinedLValue(cast<PredefinedExpr>(E));
Eli Friedmanb210fc52009-11-14 08:37:13 +0000912 return cast<llvm::Constant>(Res.getAddress());
913 } else if (Type == PredefinedExpr::PrettyFunction) {
914 return CGM.GetAddrOfConstantCString("top level", ".tmp");
915 }
Mike Stump11289f42009-09-09 15:08:12 +0000916
Eli Friedmanb210fc52009-11-14 08:37:13 +0000917 return CGM.GetAddrOfConstantCString("", ".tmp");
Chris Lattnerb4396f42008-12-12 05:18:02 +0000918 }
Eli Friedman529a99b2009-01-25 01:21:06 +0000919 case Expr::AddrLabelExprClass: {
920 assert(CGF && "Invalid address of label expression outside function.");
Chris Lattner6c4d2552009-10-28 23:59:40 +0000921 llvm::Constant *Ptr =
922 CGF->GetAddrOfLabel(cast<AddrLabelExpr>(E)->getLabel());
923 return llvm::ConstantExpr::getBitCast(Ptr, ConvertType(E->getType()));
Eli Friedman529a99b2009-01-25 01:21:06 +0000924 }
Eli Friedmanc69d4542009-01-25 01:54:01 +0000925 case Expr::CallExprClass: {
926 CallExpr* CE = cast<CallExpr>(E);
Alp Tokera724cff2013-12-28 21:59:02 +0000927 unsigned builtin = CE->getBuiltinCallee();
David Chisnall481e3a82010-01-23 02:40:42 +0000928 if (builtin !=
929 Builtin::BI__builtin___CFStringMakeConstantString &&
930 builtin !=
931 Builtin::BI__builtin___NSStringMakeConstantString)
Eli Friedmanc69d4542009-01-25 01:54:01 +0000932 break;
933 const Expr *Arg = CE->getArg(0)->IgnoreParenCasts();
934 const StringLiteral *Literal = cast<StringLiteral>(Arg);
David Chisnall481e3a82010-01-23 02:40:42 +0000935 if (builtin ==
936 Builtin::BI__builtin___NSStringMakeConstantString) {
937 return CGM.getObjCRuntime().GenerateConstantString(Literal);
938 }
Steve Naroff66afeb52009-03-31 16:53:37 +0000939 // FIXME: need to deal with UCN conversion issues.
Steve Naroffe14b3682009-04-01 13:55:36 +0000940 return CGM.GetAddrOfConstantCFString(Literal);
Eli Friedmanc69d4542009-01-25 01:54:01 +0000941 }
Mike Stump5d2534ad2009-02-19 01:01:04 +0000942 case Expr::BlockExprClass: {
Anders Carlssoned5e69f2009-03-01 01:09:12 +0000943 std::string FunctionName;
944 if (CGF)
945 FunctionName = CGF->CurFn->getName();
946 else
947 FunctionName = "global";
948
949 return CGM.GetAddrOfGlobalBlock(cast<BlockExpr>(E), FunctionName.c_str());
Mike Stump5d2534ad2009-02-19 01:01:04 +0000950 }
Richard Smith6e525142011-12-27 12:18:28 +0000951 case Expr::CXXTypeidExprClass: {
952 CXXTypeidExpr *Typeid = cast<CXXTypeidExpr>(E);
953 QualType T;
954 if (Typeid->isTypeOperand())
David Majnemer143c55e2013-09-27 07:04:31 +0000955 T = Typeid->getTypeOperand(CGM.getContext());
Richard Smith6e525142011-12-27 12:18:28 +0000956 else
957 T = Typeid->getExprOperand()->getType();
958 return CGM.GetAddrOfRTTIDescriptor(T);
959 }
Nico Webercf4ff5862012-10-11 10:13:44 +0000960 case Expr::CXXUuidofExprClass: {
961 return CGM.GetAddrOfUuidDescriptor(cast<CXXUuidofExpr>(E));
962 }
Richard Smithe6c01442013-06-05 00:46:14 +0000963 case Expr::MaterializeTemporaryExprClass: {
964 MaterializeTemporaryExpr *MTE = cast<MaterializeTemporaryExpr>(E);
965 assert(MTE->getStorageDuration() == SD_Static);
966 SmallVector<const Expr *, 2> CommaLHSs;
967 SmallVector<SubobjectAdjustment, 2> Adjustments;
968 const Expr *Inner = MTE->GetTemporaryExpr()
969 ->skipRValueSubobjectAdjustments(CommaLHSs, Adjustments);
970 return CGM.GetAddrOfGlobalTemporary(MTE, Inner);
971 }
Eli Friedmana5b20232008-02-11 00:23:10 +0000972 }
Daniel Dunbar38ad1e62009-02-17 18:43:32 +0000973
Craig Topper8a13c412014-05-21 05:09:00 +0000974 return nullptr;
Anders Carlssona4139112008-01-26 02:08:50 +0000975 }
Anders Carlssona4139112008-01-26 02:08:50 +0000976};
Mike Stump11289f42009-09-09 15:08:12 +0000977
Anders Carlsson610ee712008-01-26 01:36:00 +0000978} // end anonymous namespace.
979
Richard Smithdafff942012-01-14 04:30:29 +0000980llvm::Constant *CodeGenModule::EmitConstantInit(const VarDecl &D,
981 CodeGenFunction *CGF) {
Fariborz Jahaniancc7f0082013-01-10 23:28:43 +0000982 // Make a quick check if variable can be default NULL initialized
983 // and avoid going through rest of code which may do, for c++11,
984 // initialization of memory to all NULLs.
985 if (!D.hasLocalStorage()) {
986 QualType Ty = D.getType();
987 if (Ty->isArrayType())
988 Ty = Context.getBaseElementType(Ty);
989 if (Ty->isRecordType())
990 if (const CXXConstructExpr *E =
991 dyn_cast_or_null<CXXConstructExpr>(D.getInit())) {
992 const CXXConstructorDecl *CD = E->getConstructor();
Alexey Samsonovcb9efbe2013-04-05 07:47:28 +0000993 if (CD->isTrivial() && CD->isDefaultConstructor())
Fariborz Jahaniancc7f0082013-01-10 23:28:43 +0000994 return EmitNullConstant(D.getType());
995 }
996 }
997
Richard Smithdafff942012-01-14 04:30:29 +0000998 if (const APValue *Value = D.evaluateValue())
Richard Smithbc6387672012-03-02 23:27:11 +0000999 return EmitConstantValueForMemory(*Value, D.getType(), CGF);
Richard Smithdafff942012-01-14 04:30:29 +00001000
Richard Smith6331c402012-02-13 22:16:19 +00001001 // FIXME: Implement C++11 [basic.start.init]p2: if the initializer of a
1002 // reference is a constant expression, and the reference binds to a temporary,
1003 // then constant initialization is performed. ConstExprEmitter will
1004 // incorrectly emit a prvalue constant in this case, and the calling code
1005 // interprets that as the (pointer) value of the reference, rather than the
1006 // desired value of the referee.
1007 if (D.getType()->isReferenceType())
Craig Topper8a13c412014-05-21 05:09:00 +00001008 return nullptr;
Richard Smith6331c402012-02-13 22:16:19 +00001009
Richard Smithdafff942012-01-14 04:30:29 +00001010 const Expr *E = D.getInit();
1011 assert(E && "No initializer to emit");
1012
1013 llvm::Constant* C = ConstExprEmitter(*this, CGF).Visit(const_cast<Expr*>(E));
1014 if (C && C->getType()->isIntegerTy(1)) {
1015 llvm::Type *BoolTy = getTypes().ConvertTypeForMem(E->getType());
1016 C = llvm::ConstantExpr::getZExt(C, BoolTy);
1017 }
1018 return C;
1019}
1020
Lauro Ramos Venancio01a72ff2008-02-26 21:41:45 +00001021llvm::Constant *CodeGenModule::EmitConstantExpr(const Expr *E,
Anders Carlsson80f97ab2009-04-08 04:48:15 +00001022 QualType DestType,
Chris Lattner0f398c42008-07-26 22:37:01 +00001023 CodeGenFunction *CGF) {
Anders Carlsson38eef1d2008-12-01 02:42:14 +00001024 Expr::EvalResult Result;
Mike Stump11289f42009-09-09 15:08:12 +00001025
Anders Carlssond8e39bb2009-04-11 01:08:03 +00001026 bool Success = false;
Mike Stump11289f42009-09-09 15:08:12 +00001027
Eli Friedman751aa72b72009-05-27 06:04:58 +00001028 if (DestType->isReferenceType())
1029 Success = E->EvaluateAsLValue(Result, Context);
Mike Stump11289f42009-09-09 15:08:12 +00001030 else
Richard Smith7b553f12011-10-29 00:50:52 +00001031 Success = E->EvaluateAsRValue(Result, Context);
Mike Stump11289f42009-09-09 15:08:12 +00001032
Craig Topper8a13c412014-05-21 05:09:00 +00001033 llvm::Constant *C = nullptr;
Richard Smithdafff942012-01-14 04:30:29 +00001034 if (Success && !Result.HasSideEffects)
Richard Smithbc6387672012-03-02 23:27:11 +00001035 C = EmitConstantValue(Result.Val, DestType, CGF);
1036 else
1037 C = ConstExprEmitter(*this, CGF).Visit(const_cast<Expr*>(E));
Eli Friedman10c24172008-06-01 15:31:44 +00001038
Chris Lattnerfa20e952010-06-26 21:52:32 +00001039 if (C && C->getType()->isIntegerTy(1)) {
Chris Lattner2192fe52011-07-18 04:24:23 +00001040 llvm::Type *BoolTy = getTypes().ConvertTypeForMem(E->getType());
Owen Andersonade90fd2009-07-29 18:54:39 +00001041 C = llvm::ConstantExpr::getZExt(C, BoolTy);
Eli Friedman10c24172008-06-01 15:31:44 +00001042 }
1043 return C;
Anders Carlsson610ee712008-01-26 01:36:00 +00001044}
Eli Friedman20bb5e02009-04-13 21:47:26 +00001045
Richard Smithdafff942012-01-14 04:30:29 +00001046llvm::Constant *CodeGenModule::EmitConstantValue(const APValue &Value,
1047 QualType DestType,
1048 CodeGenFunction *CGF) {
Richard Smith77be48a2014-07-31 06:31:19 +00001049 // For an _Atomic-qualified constant, we may need to add tail padding.
1050 if (auto *AT = DestType->getAs<AtomicType>()) {
1051 QualType InnerType = AT->getValueType();
1052 auto *Inner = EmitConstantValue(Value, InnerType, CGF);
1053
1054 uint64_t InnerSize = Context.getTypeSize(InnerType);
1055 uint64_t OuterSize = Context.getTypeSize(DestType);
1056 if (InnerSize == OuterSize)
1057 return Inner;
1058
1059 assert(InnerSize < OuterSize && "emitted over-large constant for atomic");
1060 llvm::Constant *Elts[] = {
1061 Inner,
1062 llvm::ConstantAggregateZero::get(
1063 llvm::ArrayType::get(Int8Ty, (OuterSize - InnerSize) / 8))
1064 };
1065 return llvm::ConstantStruct::getAnon(Elts);
1066 }
1067
Richard Smithdafff942012-01-14 04:30:29 +00001068 switch (Value.getKind()) {
1069 case APValue::Uninitialized:
1070 llvm_unreachable("Constant expressions should be initialized.");
1071 case APValue::LValue: {
1072 llvm::Type *DestTy = getTypes().ConvertTypeForMem(DestType);
1073 llvm::Constant *Offset =
Chris Lattnerece04092012-02-07 00:39:47 +00001074 llvm::ConstantInt::get(Int64Ty, Value.getLValueOffset().getQuantity());
Richard Smithdafff942012-01-14 04:30:29 +00001075
1076 llvm::Constant *C;
1077 if (APValue::LValueBase LVBase = Value.getLValueBase()) {
1078 // An array can be represented as an lvalue referring to the base.
1079 if (isa<llvm::ArrayType>(DestTy)) {
1080 assert(Offset->isNullValue() && "offset on array initializer");
1081 return ConstExprEmitter(*this, CGF).Visit(
1082 const_cast<Expr*>(LVBase.get<const Expr*>()));
1083 }
1084
1085 C = ConstExprEmitter(*this, CGF).EmitLValue(LVBase);
1086
1087 // Apply offset if necessary.
1088 if (!Offset->isNullValue()) {
Matt Arsenault10e3ef82014-04-17 17:45:37 +00001089 unsigned AS = C->getType()->getPointerAddressSpace();
1090 llvm::Type *CharPtrTy = Int8Ty->getPointerTo(AS);
1091 llvm::Constant *Casted = llvm::ConstantExpr::getBitCast(C, CharPtrTy);
Richard Smithdafff942012-01-14 04:30:29 +00001092 Casted = llvm::ConstantExpr::getGetElementPtr(Casted, Offset);
David Tweede1468322013-12-11 13:39:46 +00001093 C = llvm::ConstantExpr::getPointerCast(Casted, C->getType());
Richard Smithdafff942012-01-14 04:30:29 +00001094 }
1095
1096 // Convert to the appropriate type; this could be an lvalue for
1097 // an integer.
1098 if (isa<llvm::PointerType>(DestTy))
David Tweede1468322013-12-11 13:39:46 +00001099 return llvm::ConstantExpr::getPointerCast(C, DestTy);
Richard Smithdafff942012-01-14 04:30:29 +00001100
1101 return llvm::ConstantExpr::getPtrToInt(C, DestTy);
1102 } else {
1103 C = Offset;
1104
1105 // Convert to the appropriate type; this could be an lvalue for
1106 // an integer.
1107 if (isa<llvm::PointerType>(DestTy))
1108 return llvm::ConstantExpr::getIntToPtr(C, DestTy);
1109
1110 // If the types don't match this should only be a truncate.
1111 if (C->getType() != DestTy)
1112 return llvm::ConstantExpr::getTrunc(C, DestTy);
1113
1114 return C;
1115 }
1116 }
Richard Smithbc6387672012-03-02 23:27:11 +00001117 case APValue::Int:
1118 return llvm::ConstantInt::get(VMContext, Value.getInt());
Richard Smithdafff942012-01-14 04:30:29 +00001119 case APValue::ComplexInt: {
1120 llvm::Constant *Complex[2];
1121
1122 Complex[0] = llvm::ConstantInt::get(VMContext,
1123 Value.getComplexIntReal());
1124 Complex[1] = llvm::ConstantInt::get(VMContext,
1125 Value.getComplexIntImag());
1126
1127 // FIXME: the target may want to specify that this is packed.
1128 llvm::StructType *STy = llvm::StructType::get(Complex[0]->getType(),
1129 Complex[1]->getType(),
1130 NULL);
1131 return llvm::ConstantStruct::get(STy, Complex);
1132 }
1133 case APValue::Float: {
1134 const llvm::APFloat &Init = Value.getFloat();
Joey Goulydd7f4562013-01-23 11:56:20 +00001135 if (&Init.getSemantics() == &llvm::APFloat::IEEEhalf &&
Oliver Stannarded8ecc82014-08-27 16:31:57 +00001136 !Context.getLangOpts().NativeHalfType &&
1137 !Context.getLangOpts().HalfArgsAndReturns)
Richard Smithdafff942012-01-14 04:30:29 +00001138 return llvm::ConstantInt::get(VMContext, Init.bitcastToAPInt());
1139 else
1140 return llvm::ConstantFP::get(VMContext, Init);
1141 }
1142 case APValue::ComplexFloat: {
1143 llvm::Constant *Complex[2];
1144
1145 Complex[0] = llvm::ConstantFP::get(VMContext,
1146 Value.getComplexFloatReal());
1147 Complex[1] = llvm::ConstantFP::get(VMContext,
1148 Value.getComplexFloatImag());
1149
1150 // FIXME: the target may want to specify that this is packed.
1151 llvm::StructType *STy = llvm::StructType::get(Complex[0]->getType(),
1152 Complex[1]->getType(),
1153 NULL);
1154 return llvm::ConstantStruct::get(STy, Complex);
1155 }
1156 case APValue::Vector: {
1157 SmallVector<llvm::Constant *, 4> Inits;
1158 unsigned NumElts = Value.getVectorLength();
1159
1160 for (unsigned i = 0; i != NumElts; ++i) {
1161 const APValue &Elt = Value.getVectorElt(i);
1162 if (Elt.isInt())
1163 Inits.push_back(llvm::ConstantInt::get(VMContext, Elt.getInt()));
1164 else
1165 Inits.push_back(llvm::ConstantFP::get(VMContext, Elt.getFloat()));
1166 }
1167 return llvm::ConstantVector::get(Inits);
1168 }
1169 case APValue::AddrLabelDiff: {
1170 const AddrLabelExpr *LHSExpr = Value.getAddrLabelDiffLHS();
1171 const AddrLabelExpr *RHSExpr = Value.getAddrLabelDiffRHS();
1172 llvm::Constant *LHS = EmitConstantExpr(LHSExpr, LHSExpr->getType(), CGF);
1173 llvm::Constant *RHS = EmitConstantExpr(RHSExpr, RHSExpr->getType(), CGF);
1174
1175 // Compute difference
1176 llvm::Type *ResultType = getTypes().ConvertType(DestType);
1177 LHS = llvm::ConstantExpr::getPtrToInt(LHS, IntPtrTy);
1178 RHS = llvm::ConstantExpr::getPtrToInt(RHS, IntPtrTy);
1179 llvm::Constant *AddrLabelDiff = llvm::ConstantExpr::getSub(LHS, RHS);
1180
1181 // LLVM is a bit sensitive about the exact format of the
1182 // address-of-label difference; make sure to truncate after
1183 // the subtraction.
1184 return llvm::ConstantExpr::getTruncOrBitCast(AddrLabelDiff, ResultType);
1185 }
1186 case APValue::Struct:
1187 case APValue::Union:
1188 return ConstStructBuilder::BuildStruct(*this, CGF, Value, DestType);
1189 case APValue::Array: {
1190 const ArrayType *CAT = Context.getAsArrayType(DestType);
1191 unsigned NumElements = Value.getArraySize();
1192 unsigned NumInitElts = Value.getArrayInitializedElts();
1193
1194 std::vector<llvm::Constant*> Elts;
1195 Elts.reserve(NumElements);
1196
1197 // Emit array filler, if there is one.
Craig Topper8a13c412014-05-21 05:09:00 +00001198 llvm::Constant *Filler = nullptr;
Richard Smithdafff942012-01-14 04:30:29 +00001199 if (Value.hasArrayFiller())
Richard Smithbc6387672012-03-02 23:27:11 +00001200 Filler = EmitConstantValueForMemory(Value.getArrayFiller(),
1201 CAT->getElementType(), CGF);
Richard Smithdafff942012-01-14 04:30:29 +00001202
1203 // Emit initializer elements.
Craig Topper8a13c412014-05-21 05:09:00 +00001204 llvm::Type *CommonElementType = nullptr;
Richard Smithdafff942012-01-14 04:30:29 +00001205 for (unsigned I = 0; I < NumElements; ++I) {
1206 llvm::Constant *C = Filler;
1207 if (I < NumInitElts)
Richard Smithbc6387672012-03-02 23:27:11 +00001208 C = EmitConstantValueForMemory(Value.getArrayInitializedElt(I),
1209 CAT->getElementType(), CGF);
Jordan Rosed03d99d2013-03-05 01:27:54 +00001210 else
1211 assert(Filler && "Missing filler for implicit elements of initializer");
Richard Smithdafff942012-01-14 04:30:29 +00001212 if (I == 0)
1213 CommonElementType = C->getType();
1214 else if (C->getType() != CommonElementType)
Craig Topper8a13c412014-05-21 05:09:00 +00001215 CommonElementType = nullptr;
Richard Smithdafff942012-01-14 04:30:29 +00001216 Elts.push_back(C);
1217 }
1218
1219 if (!CommonElementType) {
1220 // FIXME: Try to avoid packing the array
1221 std::vector<llvm::Type*> Types;
Bill Wendling99729582012-02-07 00:13:27 +00001222 Types.reserve(NumElements);
Bill Wendlingbf21cac2012-02-06 23:46:08 +00001223 for (unsigned i = 0, e = Elts.size(); i < e; ++i)
Richard Smithdafff942012-01-14 04:30:29 +00001224 Types.push_back(Elts[i]->getType());
1225 llvm::StructType *SType = llvm::StructType::get(VMContext, Types, true);
1226 return llvm::ConstantStruct::get(SType, Elts);
1227 }
1228
1229 llvm::ArrayType *AType =
1230 llvm::ArrayType::get(CommonElementType, NumElements);
1231 return llvm::ConstantArray::get(AType, Elts);
1232 }
1233 case APValue::MemberPointer:
1234 return getCXXABI().EmitMemberPointer(Value, DestType);
1235 }
1236 llvm_unreachable("Unknown APValue kind");
1237}
1238
Richard Smith2d988f02011-11-22 22:48:32 +00001239llvm::Constant *
Richard Smithbc6387672012-03-02 23:27:11 +00001240CodeGenModule::EmitConstantValueForMemory(const APValue &Value,
1241 QualType DestType,
1242 CodeGenFunction *CGF) {
1243 llvm::Constant *C = EmitConstantValue(Value, DestType, CGF);
1244 if (C->getType()->isIntegerTy(1)) {
1245 llvm::Type *BoolTy = getTypes().ConvertTypeForMem(DestType);
1246 C = llvm::ConstantExpr::getZExt(C, BoolTy);
1247 }
1248 return C;
1249}
1250
1251llvm::Constant *
Richard Smith2d988f02011-11-22 22:48:32 +00001252CodeGenModule::GetAddrOfConstantCompoundLiteral(const CompoundLiteralExpr *E) {
1253 assert(E->isFileScope() && "not a file-scope compound literal expr");
Craig Topper8a13c412014-05-21 05:09:00 +00001254 return ConstExprEmitter(*this, nullptr).EmitLValue(E);
Richard Smith2d988f02011-11-22 22:48:32 +00001255}
1256
John McCallf3a88602011-02-03 08:15:49 +00001257llvm::Constant *
1258CodeGenModule::getMemberPointerConstant(const UnaryOperator *uo) {
1259 // Member pointer constants always have a very particular form.
1260 const MemberPointerType *type = cast<MemberPointerType>(uo->getType());
1261 const ValueDecl *decl = cast<DeclRefExpr>(uo->getSubExpr())->getDecl();
1262
1263 // A member function pointer.
1264 if (const CXXMethodDecl *method = dyn_cast<CXXMethodDecl>(decl))
1265 return getCXXABI().EmitMemberPointer(method);
1266
1267 // Otherwise, a member data pointer.
Richard Smithdafff942012-01-14 04:30:29 +00001268 uint64_t fieldOffset = getContext().getFieldOffset(decl);
John McCallf3a88602011-02-03 08:15:49 +00001269 CharUnits chars = getContext().toCharUnitsFromBits((int64_t) fieldOffset);
1270 return getCXXABI().EmitMemberDataPointer(type, chars);
1271}
1272
John McCall0217dfc22011-02-15 06:40:56 +00001273static llvm::Constant *EmitNullConstantForBase(CodeGenModule &CGM,
Chris Lattner2192fe52011-07-18 04:24:23 +00001274 llvm::Type *baseType,
John McCall0217dfc22011-02-15 06:40:56 +00001275 const CXXRecordDecl *base);
1276
Anders Carlsson849ea412010-11-22 18:42:14 +00001277static llvm::Constant *EmitNullConstant(CodeGenModule &CGM,
John McCall0217dfc22011-02-15 06:40:56 +00001278 const CXXRecordDecl *record,
1279 bool asCompleteObject) {
1280 const CGRecordLayout &layout = CGM.getTypes().getCGRecordLayout(record);
Chris Lattner2192fe52011-07-18 04:24:23 +00001281 llvm::StructType *structure =
John McCall0217dfc22011-02-15 06:40:56 +00001282 (asCompleteObject ? layout.getLLVMType()
1283 : layout.getBaseSubobjectLLVMType());
Anders Carlsson849ea412010-11-22 18:42:14 +00001284
John McCall0217dfc22011-02-15 06:40:56 +00001285 unsigned numElements = structure->getNumElements();
1286 std::vector<llvm::Constant *> elements(numElements);
Anders Carlsson849ea412010-11-22 18:42:14 +00001287
John McCall0217dfc22011-02-15 06:40:56 +00001288 // Fill in all the bases.
Aaron Ballman574705e2014-03-13 15:41:46 +00001289 for (const auto &I : record->bases()) {
1290 if (I.isVirtual()) {
John McCall0217dfc22011-02-15 06:40:56 +00001291 // Ignore virtual bases; if we're laying out for a complete
1292 // object, we'll lay these out later.
Anders Carlsson849ea412010-11-22 18:42:14 +00001293 continue;
1294 }
1295
John McCall0217dfc22011-02-15 06:40:56 +00001296 const CXXRecordDecl *base =
Aaron Ballman574705e2014-03-13 15:41:46 +00001297 cast<CXXRecordDecl>(I.getType()->castAs<RecordType>()->getDecl());
Anders Carlsson849ea412010-11-22 18:42:14 +00001298
1299 // Ignore empty bases.
John McCall0217dfc22011-02-15 06:40:56 +00001300 if (base->isEmpty())
Anders Carlsson849ea412010-11-22 18:42:14 +00001301 continue;
1302
John McCall0217dfc22011-02-15 06:40:56 +00001303 unsigned fieldIndex = layout.getNonVirtualBaseLLVMFieldNo(base);
Chris Lattner2192fe52011-07-18 04:24:23 +00001304 llvm::Type *baseType = structure->getElementType(fieldIndex);
John McCall0217dfc22011-02-15 06:40:56 +00001305 elements[fieldIndex] = EmitNullConstantForBase(CGM, baseType, base);
Anders Carlsson849ea412010-11-22 18:42:14 +00001306 }
1307
John McCall0217dfc22011-02-15 06:40:56 +00001308 // Fill in all the fields.
Aaron Ballmane8a8bae2014-03-08 20:12:42 +00001309 for (const auto *Field : record->fields()) {
Eli Friedmandae858a2011-12-07 01:30:11 +00001310 // Fill in non-bitfields. (Bitfields always use a zero pattern, which we
1311 // will fill in later.)
Aaron Ballmane8a8bae2014-03-08 20:12:42 +00001312 if (!Field->isBitField()) {
1313 unsigned fieldIndex = layout.getLLVMFieldNo(Field);
1314 elements[fieldIndex] = CGM.EmitNullConstant(Field->getType());
Eli Friedmandae858a2011-12-07 01:30:11 +00001315 }
1316
1317 // For unions, stop after the first named field.
Aaron Ballmane8a8bae2014-03-08 20:12:42 +00001318 if (record->isUnion() && Field->getDeclName())
Eli Friedmandae858a2011-12-07 01:30:11 +00001319 break;
John McCall0217dfc22011-02-15 06:40:56 +00001320 }
1321
1322 // Fill in the virtual bases, if we're working with the complete object.
1323 if (asCompleteObject) {
Aaron Ballman445a9392014-03-13 16:15:17 +00001324 for (const auto &I : record->vbases()) {
John McCall0217dfc22011-02-15 06:40:56 +00001325 const CXXRecordDecl *base =
Aaron Ballman445a9392014-03-13 16:15:17 +00001326 cast<CXXRecordDecl>(I.getType()->castAs<RecordType>()->getDecl());
John McCall0217dfc22011-02-15 06:40:56 +00001327
1328 // Ignore empty bases.
1329 if (base->isEmpty())
1330 continue;
1331
1332 unsigned fieldIndex = layout.getVirtualBaseIndex(base);
1333
1334 // We might have already laid this field out.
1335 if (elements[fieldIndex]) continue;
1336
Chris Lattner2192fe52011-07-18 04:24:23 +00001337 llvm::Type *baseType = structure->getElementType(fieldIndex);
John McCall0217dfc22011-02-15 06:40:56 +00001338 elements[fieldIndex] = EmitNullConstantForBase(CGM, baseType, base);
1339 }
Anders Carlsson849ea412010-11-22 18:42:14 +00001340 }
1341
1342 // Now go through all other fields and zero them out.
John McCall0217dfc22011-02-15 06:40:56 +00001343 for (unsigned i = 0; i != numElements; ++i) {
1344 if (!elements[i])
1345 elements[i] = llvm::Constant::getNullValue(structure->getElementType(i));
Anders Carlsson849ea412010-11-22 18:42:14 +00001346 }
1347
John McCall0217dfc22011-02-15 06:40:56 +00001348 return llvm::ConstantStruct::get(structure, elements);
1349}
1350
1351/// Emit the null constant for a base subobject.
1352static llvm::Constant *EmitNullConstantForBase(CodeGenModule &CGM,
Chris Lattner2192fe52011-07-18 04:24:23 +00001353 llvm::Type *baseType,
John McCall0217dfc22011-02-15 06:40:56 +00001354 const CXXRecordDecl *base) {
1355 const CGRecordLayout &baseLayout = CGM.getTypes().getCGRecordLayout(base);
1356
1357 // Just zero out bases that don't have any pointer to data members.
1358 if (baseLayout.isZeroInitializableAsBase())
1359 return llvm::Constant::getNullValue(baseType);
1360
David Majnemer2213bfe2014-10-17 01:00:43 +00001361 // Otherwise, we can just use its null constant.
1362 return EmitNullConstant(CGM, base, /*asCompleteObject=*/false);
Anders Carlsson849ea412010-11-22 18:42:14 +00001363}
1364
Eli Friedman20bb5e02009-04-13 21:47:26 +00001365llvm::Constant *CodeGenModule::EmitNullConstant(QualType T) {
John McCall614dbdc2010-08-22 21:01:12 +00001366 if (getTypes().isZeroInitializable(T))
Anders Carlsson867b48f2009-08-24 17:16:23 +00001367 return llvm::Constant::getNullValue(getTypes().ConvertTypeForMem(T));
Anders Carlssone8bfe412010-02-02 05:17:25 +00001368
Anders Carlssonf48123b2009-08-09 18:26:27 +00001369 if (const ConstantArrayType *CAT = Context.getAsConstantArrayType(T)) {
Chris Lattner72977a12012-02-06 22:00:56 +00001370 llvm::ArrayType *ATy =
1371 cast<llvm::ArrayType>(getTypes().ConvertTypeForMem(T));
Mike Stump11289f42009-09-09 15:08:12 +00001372
Anders Carlssonf48123b2009-08-09 18:26:27 +00001373 QualType ElementTy = CAT->getElementType();
1374
Anders Carlssone8bfe412010-02-02 05:17:25 +00001375 llvm::Constant *Element = EmitNullConstant(ElementTy);
1376 unsigned NumElements = CAT->getSize().getZExtValue();
Chris Lattner72977a12012-02-06 22:00:56 +00001377
1378 if (Element->isNullValue())
1379 return llvm::ConstantAggregateZero::get(ATy);
1380
1381 SmallVector<llvm::Constant *, 8> Array(NumElements, Element);
Anders Carlssone8bfe412010-02-02 05:17:25 +00001382 return llvm::ConstantArray::get(ATy, Array);
Anders Carlssonf48123b2009-08-09 18:26:27 +00001383 }
Anders Carlssond606de72009-08-23 01:25:01 +00001384
1385 if (const RecordType *RT = T->getAs<RecordType>()) {
Anders Carlssone8bfe412010-02-02 05:17:25 +00001386 const CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl());
John McCall0217dfc22011-02-15 06:40:56 +00001387 return ::EmitNullConstant(*this, RD, /*complete object*/ true);
Anders Carlssond606de72009-08-23 01:25:01 +00001388 }
Mike Stump11289f42009-09-09 15:08:12 +00001389
Anders Carlssonbe48c542010-05-18 16:51:41 +00001390 assert(T->isMemberPointerType() && "Should only see member pointers here!");
Anders Carlssone8bfe412010-02-02 05:17:25 +00001391 assert(!T->getAs<MemberPointerType>()->getPointeeType()->isFunctionType() &&
1392 "Should only see pointers to data members here!");
David Majnemer2213bfe2014-10-17 01:00:43 +00001393
John McCallf3a88602011-02-03 08:15:49 +00001394 return getCXXABI().EmitNullMemberPointer(T->castAs<MemberPointerType>());
Eli Friedman20bb5e02009-04-13 21:47:26 +00001395}
Eli Friedmanfde961d2011-10-14 02:27:24 +00001396
1397llvm::Constant *
1398CodeGenModule::EmitNullConstantForBase(const CXXRecordDecl *Record) {
1399 return ::EmitNullConstant(*this, Record, false);
1400}