blob: 088a5d08b9b7ada7e12b75ff6a3c8bbb40834c9f [file] [log] [blame]
Anders Carlsson3b1d57b2008-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 McCall4c40d982010-08-31 07:33:07 +000015#include "CGCXXABI.h"
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +000016#include "CGObjCRuntime.h"
Daniel Dunbar2924ade2010-03-30 22:26:10 +000017#include "CGRecordLayout.h"
Chandler Carruth55fc8732012-12-04 09:13:33 +000018#include "CodeGenModule.h"
Chris Lattnerf6b24ea2008-10-06 05:59:01 +000019#include "clang/AST/APValue.h"
Daniel Dunbarde7fb842008-08-11 05:00:27 +000020#include "clang/AST/ASTContext.h"
Anders Carlsson4c98efd2009-07-24 15:20:52 +000021#include "clang/AST/RecordLayout.h"
Daniel Dunbarde7fb842008-08-11 05:00:27 +000022#include "clang/AST/StmtVisitor.h"
Chris Lattner1b63e4f2009-06-14 01:54:56 +000023#include "clang/Basic/Builtins.h"
Chandler Carruth3b844ba2013-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 Carlsson3b1d57b2008-01-26 01:36:00 +000028using namespace clang;
29using namespace CodeGen;
30
Chris Lattnereba3e5a2010-04-13 17:45:57 +000031//===----------------------------------------------------------------------===//
32// ConstStructBuilder
33//===----------------------------------------------------------------------===//
34
35namespace {
Benjamin Kramer85b45212009-11-28 19:45:26 +000036class ConstStructBuilder {
Anders Carlsson4c98efd2009-07-24 15:20:52 +000037 CodeGenModule &CGM;
38 CodeGenFunction *CGF;
39
Mike Stump1eb44332009-09-09 15:08:12 +000040 bool Packed;
Ken Dyckdc496392011-03-17 01:33:18 +000041 CharUnits NextFieldOffsetInChars;
Ken Dyck7d2f9d52011-03-18 01:26:17 +000042 CharUnits LLVMStructAlignment;
Bill Wendlingcf6511b2012-02-07 00:54:58 +000043 SmallVector<llvm::Constant *, 32> Elements;
Chris Lattnereba3e5a2010-04-13 17:45:57 +000044public:
45 static llvm::Constant *BuildStruct(CodeGenModule &CGM, CodeGenFunction *CGF,
46 InitListExpr *ILE);
Richard Smith2d6a5672012-01-14 04:30:29 +000047 static llvm::Constant *BuildStruct(CodeGenModule &CGM, CodeGenFunction *CGF,
48 const APValue &Value, QualType ValTy);
49
50private:
Anders Carlsson4c98efd2009-07-24 15:20:52 +000051 ConstStructBuilder(CodeGenModule &CGM, CodeGenFunction *CGF)
Ken Dyckdc496392011-03-17 01:33:18 +000052 : CGM(CGM), CGF(CGF), Packed(false),
53 NextFieldOffsetInChars(CharUnits::Zero()),
Ken Dyck7d2f9d52011-03-18 01:26:17 +000054 LLVMStructAlignment(CharUnits::One()) { }
Anders Carlsson4c98efd2009-07-24 15:20:52 +000055
Richard Smith2d6a5672012-01-14 04:30:29 +000056 void AppendField(const FieldDecl *Field, uint64_t FieldOffset,
Chris Lattner8ce9e452010-04-13 18:16:19 +000057 llvm::Constant *InitExpr);
Mike Stump1eb44332009-09-09 15:08:12 +000058
Richard Smithc22adbd2012-02-23 08:33:23 +000059 void AppendBytes(CharUnits FieldOffsetInChars, llvm::Constant *InitCst);
60
Chris Lattner18806662010-07-05 17:04:23 +000061 void AppendBitField(const FieldDecl *Field, uint64_t FieldOffset,
62 llvm::ConstantInt *InitExpr);
Mike Stump1eb44332009-09-09 15:08:12 +000063
Ken Dyckc29ea8f2011-03-11 23:42:54 +000064 void AppendPadding(CharUnits PadSize);
Mike Stump1eb44332009-09-09 15:08:12 +000065
Ken Dyck106ca042011-03-11 02:17:05 +000066 void AppendTailPadding(CharUnits RecordSize);
Anders Carlssond24393b2009-07-27 01:23:51 +000067
Chris Lattnereba3e5a2010-04-13 17:45:57 +000068 void ConvertStructToPacked();
Richard Smith2d6a5672012-01-14 04:30:29 +000069
Chris Lattnereba3e5a2010-04-13 17:45:57 +000070 bool Build(InitListExpr *ILE);
Richard Smithc22adbd2012-02-23 08:33:23 +000071 void Build(const APValue &Val, const RecordDecl *RD, bool IsPrimaryBase,
Timur Iskhodzhanova53d7a02013-09-27 14:48:01 +000072 const CXXRecordDecl *VTableClass, CharUnits BaseOffset);
Richard Smith2d6a5672012-01-14 04:30:29 +000073 llvm::Constant *Finalize(QualType Ty);
Mike Stump1eb44332009-09-09 15:08:12 +000074
Ken Dyck7d2f9d52011-03-18 01:26:17 +000075 CharUnits getAlignment(const llvm::Constant *C) const {
76 if (Packed) return CharUnits::One();
77 return CharUnits::fromQuantity(
Micah Villmow25a6a842012-10-08 16:25:52 +000078 CGM.getDataLayout().getABITypeAlignment(C->getType()));
Anders Carlsson4c98efd2009-07-24 15:20:52 +000079 }
Mike Stump1eb44332009-09-09 15:08:12 +000080
Ken Dyck15c152e2011-03-18 01:12:13 +000081 CharUnits getSizeInChars(const llvm::Constant *C) const {
82 return CharUnits::fromQuantity(
Micah Villmow25a6a842012-10-08 16:25:52 +000083 CGM.getDataLayout().getTypeAllocSize(C->getType()));
Anders Carlsson4c98efd2009-07-24 15:20:52 +000084 }
Anders Carlsson4c98efd2009-07-24 15:20:52 +000085};
Mike Stump1eb44332009-09-09 15:08:12 +000086
Richard Smith2d6a5672012-01-14 04:30:29 +000087void ConstStructBuilder::
Chris Lattner8ce9e452010-04-13 18:16:19 +000088AppendField(const FieldDecl *Field, uint64_t FieldOffset,
89 llvm::Constant *InitCst) {
Ken Dyck6925cc42011-03-15 01:09:02 +000090 const ASTContext &Context = CGM.getContext();
91
92 CharUnits FieldOffsetInChars = Context.toCharUnitsFromBits(FieldOffset);
Chris Lattnereba3e5a2010-04-13 17:45:57 +000093
Richard Smithc22adbd2012-02-23 08:33:23 +000094 AppendBytes(FieldOffsetInChars, InitCst);
95}
96
97void ConstStructBuilder::
98AppendBytes(CharUnits FieldOffsetInChars, llvm::Constant *InitCst) {
99
Ken Dyckdc496392011-03-17 01:33:18 +0000100 assert(NextFieldOffsetInChars <= FieldOffsetInChars
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000101 && "Field offset mismatch!");
102
Ken Dyck7d2f9d52011-03-18 01:26:17 +0000103 CharUnits FieldAlignment = getAlignment(InitCst);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000104
105 // Round up the field offset to the alignment of the field type.
Ken Dyckdc496392011-03-17 01:33:18 +0000106 CharUnits AlignedNextFieldOffsetInChars =
Stephen Hines176edba2014-12-01 14:53:08 -0800107 NextFieldOffsetInChars.RoundUpToAlignment(FieldAlignment);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000108
Ken Dyckdc496392011-03-17 01:33:18 +0000109 if (AlignedNextFieldOffsetInChars < FieldOffsetInChars) {
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000110 // We need to append padding.
Richard Smith2d6a5672012-01-14 04:30:29 +0000111 AppendPadding(FieldOffsetInChars - NextFieldOffsetInChars);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000112
Ken Dyckdc496392011-03-17 01:33:18 +0000113 assert(NextFieldOffsetInChars == FieldOffsetInChars &&
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000114 "Did not add enough padding!");
115
Stephen Hines176edba2014-12-01 14:53:08 -0800116 AlignedNextFieldOffsetInChars =
117 NextFieldOffsetInChars.RoundUpToAlignment(FieldAlignment);
118 }
119
120 if (AlignedNextFieldOffsetInChars > FieldOffsetInChars) {
121 assert(!Packed && "Alignment is wrong even with a packed struct!");
122
123 // Convert the struct to a packed struct.
124 ConvertStructToPacked();
125
126 // After we pack the struct, we may need to insert padding.
127 if (NextFieldOffsetInChars < FieldOffsetInChars) {
128 // We need to append padding.
129 AppendPadding(FieldOffsetInChars - NextFieldOffsetInChars);
130
131 assert(NextFieldOffsetInChars == FieldOffsetInChars &&
132 "Did not add enough padding!");
133 }
Ken Dyckdc496392011-03-17 01:33:18 +0000134 AlignedNextFieldOffsetInChars = NextFieldOffsetInChars;
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000135 }
136
137 // Add the field.
Chris Lattner8ce9e452010-04-13 18:16:19 +0000138 Elements.push_back(InitCst);
Ken Dyckdc496392011-03-17 01:33:18 +0000139 NextFieldOffsetInChars = AlignedNextFieldOffsetInChars +
Ken Dyck15c152e2011-03-18 01:12:13 +0000140 getSizeInChars(InitCst);
Richard Smith2d6a5672012-01-14 04:30:29 +0000141
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000142 if (Packed)
Richard Smith2d6a5672012-01-14 04:30:29 +0000143 assert(LLVMStructAlignment == CharUnits::One() &&
Ken Dyck7d2f9d52011-03-18 01:26:17 +0000144 "Packed struct not byte-aligned!");
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000145 else
146 LLVMStructAlignment = std::max(LLVMStructAlignment, FieldAlignment);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000147}
148
Chris Lattner18806662010-07-05 17:04:23 +0000149void ConstStructBuilder::AppendBitField(const FieldDecl *Field,
150 uint64_t FieldOffset,
151 llvm::ConstantInt *CI) {
Ken Dyckf004da42011-03-12 12:03:11 +0000152 const ASTContext &Context = CGM.getContext();
Ken Dyck4f318c02011-03-19 00:57:28 +0000153 const uint64_t CharWidth = Context.getCharWidth();
Ken Dyckdc496392011-03-17 01:33:18 +0000154 uint64_t NextFieldOffsetInBits = Context.toBits(NextFieldOffsetInChars);
155 if (FieldOffset > NextFieldOffsetInBits) {
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000156 // We need to add padding.
Ken Dyckf004da42011-03-12 12:03:11 +0000157 CharUnits PadSize = Context.toCharUnitsFromBits(
Ken Dyckdc496392011-03-17 01:33:18 +0000158 llvm::RoundUpToAlignment(FieldOffset - NextFieldOffsetInBits,
Douglas Gregorbcfd1f52011-09-02 00:18:52 +0000159 Context.getTargetInfo().getCharAlign()));
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000160
Ken Dyckf004da42011-03-12 12:03:11 +0000161 AppendPadding(PadSize);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000162 }
163
Richard Smitha6b8b2c2011-10-10 18:28:20 +0000164 uint64_t FieldSize = Field->getBitWidthValue(Context);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000165
166 llvm::APInt FieldValue = CI->getValue();
167
168 // Promote the size of FieldValue if necessary
169 // FIXME: This should never occur, but currently it can because initializer
170 // constants are cast to bool, and because clang is not enforcing bitfield
171 // width limits.
172 if (FieldSize > FieldValue.getBitWidth())
Jay Foad9f71a8f2010-12-07 08:25:34 +0000173 FieldValue = FieldValue.zext(FieldSize);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000174
175 // Truncate the size of FieldValue to the bit field size.
176 if (FieldSize < FieldValue.getBitWidth())
Jay Foad9f71a8f2010-12-07 08:25:34 +0000177 FieldValue = FieldValue.trunc(FieldSize);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000178
Ken Dyckdc496392011-03-17 01:33:18 +0000179 NextFieldOffsetInBits = Context.toBits(NextFieldOffsetInChars);
180 if (FieldOffset < NextFieldOffsetInBits) {
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000181 // Either part of the field or the entire field can go into the previous
182 // byte.
183 assert(!Elements.empty() && "Elements can't be empty!");
184
Ken Dyckdc496392011-03-17 01:33:18 +0000185 unsigned BitsInPreviousByte = NextFieldOffsetInBits - FieldOffset;
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000186
187 bool FitsCompletelyInPreviousByte =
188 BitsInPreviousByte >= FieldValue.getBitWidth();
189
190 llvm::APInt Tmp = FieldValue;
191
192 if (!FitsCompletelyInPreviousByte) {
193 unsigned NewFieldWidth = FieldSize - BitsInPreviousByte;
194
Micah Villmow25a6a842012-10-08 16:25:52 +0000195 if (CGM.getDataLayout().isBigEndian()) {
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000196 Tmp = Tmp.lshr(NewFieldWidth);
Jay Foad9f71a8f2010-12-07 08:25:34 +0000197 Tmp = Tmp.trunc(BitsInPreviousByte);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000198
199 // We want the remaining high bits.
Jay Foad9f71a8f2010-12-07 08:25:34 +0000200 FieldValue = FieldValue.trunc(NewFieldWidth);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000201 } else {
Jay Foad9f71a8f2010-12-07 08:25:34 +0000202 Tmp = Tmp.trunc(BitsInPreviousByte);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000203
204 // We want the remaining low bits.
205 FieldValue = FieldValue.lshr(BitsInPreviousByte);
Jay Foad9f71a8f2010-12-07 08:25:34 +0000206 FieldValue = FieldValue.trunc(NewFieldWidth);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000207 }
208 }
209
Ken Dyck4f318c02011-03-19 00:57:28 +0000210 Tmp = Tmp.zext(CharWidth);
Micah Villmow25a6a842012-10-08 16:25:52 +0000211 if (CGM.getDataLayout().isBigEndian()) {
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000212 if (FitsCompletelyInPreviousByte)
213 Tmp = Tmp.shl(BitsInPreviousByte - FieldValue.getBitWidth());
214 } else {
Ken Dyck4f318c02011-03-19 00:57:28 +0000215 Tmp = Tmp.shl(CharWidth - BitsInPreviousByte);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000216 }
217
Chris Lattner2bc00252010-07-05 18:03:30 +0000218 // 'or' in the bits that go into the previous byte.
219 llvm::Value *LastElt = Elements.back();
220 if (llvm::ConstantInt *Val = dyn_cast<llvm::ConstantInt>(LastElt))
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000221 Tmp |= Val->getValue();
Chris Lattner2bc00252010-07-05 18:03:30 +0000222 else {
223 assert(isa<llvm::UndefValue>(LastElt));
224 // If there is an undef field that we're adding to, it can either be a
225 // scalar undef (in which case, we just replace it with our field) or it
226 // is an array. If it is an array, we have to pull one byte off the
227 // array so that the other undef bytes stay around.
228 if (!isa<llvm::IntegerType>(LastElt->getType())) {
229 // The undef padding will be a multibyte array, create a new smaller
230 // padding and then an hole for our i8 to get plopped into.
231 assert(isa<llvm::ArrayType>(LastElt->getType()) &&
232 "Expected array padding of undefs");
Chris Lattner2acc6e32011-07-18 04:24:23 +0000233 llvm::ArrayType *AT = cast<llvm::ArrayType>(LastElt->getType());
Ken Dyck4f318c02011-03-19 00:57:28 +0000234 assert(AT->getElementType()->isIntegerTy(CharWidth) &&
Chris Lattner2bc00252010-07-05 18:03:30 +0000235 AT->getNumElements() != 0 &&
236 "Expected non-empty array padding of undefs");
237
238 // Remove the padding array.
Ken Dyckdc496392011-03-17 01:33:18 +0000239 NextFieldOffsetInChars -= CharUnits::fromQuantity(AT->getNumElements());
Chris Lattner2bc00252010-07-05 18:03:30 +0000240 Elements.pop_back();
241
242 // Add the padding back in two chunks.
Ken Dyckc29ea8f2011-03-11 23:42:54 +0000243 AppendPadding(CharUnits::fromQuantity(AT->getNumElements()-1));
244 AppendPadding(CharUnits::One());
Chris Lattner2bc00252010-07-05 18:03:30 +0000245 assert(isa<llvm::UndefValue>(Elements.back()) &&
Ken Dyck4f318c02011-03-19 00:57:28 +0000246 Elements.back()->getType()->isIntegerTy(CharWidth) &&
Chris Lattner2bc00252010-07-05 18:03:30 +0000247 "Padding addition didn't work right");
248 }
249 }
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000250
251 Elements.back() = llvm::ConstantInt::get(CGM.getLLVMContext(), Tmp);
252
253 if (FitsCompletelyInPreviousByte)
Chris Lattner18806662010-07-05 17:04:23 +0000254 return;
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000255 }
256
Ken Dyck4f318c02011-03-19 00:57:28 +0000257 while (FieldValue.getBitWidth() > CharWidth) {
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000258 llvm::APInt Tmp;
259
Micah Villmow25a6a842012-10-08 16:25:52 +0000260 if (CGM.getDataLayout().isBigEndian()) {
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000261 // We want the high bits.
Ken Dyck4f318c02011-03-19 00:57:28 +0000262 Tmp =
263 FieldValue.lshr(FieldValue.getBitWidth() - CharWidth).trunc(CharWidth);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000264 } else {
265 // We want the low bits.
Ken Dyck4f318c02011-03-19 00:57:28 +0000266 Tmp = FieldValue.trunc(CharWidth);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000267
Ken Dyck4f318c02011-03-19 00:57:28 +0000268 FieldValue = FieldValue.lshr(CharWidth);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000269 }
270
271 Elements.push_back(llvm::ConstantInt::get(CGM.getLLVMContext(), Tmp));
Ken Dyck199c1892011-03-19 01:28:06 +0000272 ++NextFieldOffsetInChars;
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000273
Ken Dyck4f318c02011-03-19 00:57:28 +0000274 FieldValue = FieldValue.trunc(FieldValue.getBitWidth() - CharWidth);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000275 }
276
277 assert(FieldValue.getBitWidth() > 0 &&
278 "Should have at least one bit left!");
Ken Dyck4f318c02011-03-19 00:57:28 +0000279 assert(FieldValue.getBitWidth() <= CharWidth &&
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000280 "Should not have more than a byte left!");
281
Ken Dyck4f318c02011-03-19 00:57:28 +0000282 if (FieldValue.getBitWidth() < CharWidth) {
Micah Villmow25a6a842012-10-08 16:25:52 +0000283 if (CGM.getDataLayout().isBigEndian()) {
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000284 unsigned BitWidth = FieldValue.getBitWidth();
285
Ken Dyck4f318c02011-03-19 00:57:28 +0000286 FieldValue = FieldValue.zext(CharWidth) << (CharWidth - BitWidth);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000287 } else
Ken Dyck4f318c02011-03-19 00:57:28 +0000288 FieldValue = FieldValue.zext(CharWidth);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000289 }
290
291 // Append the last element.
292 Elements.push_back(llvm::ConstantInt::get(CGM.getLLVMContext(),
293 FieldValue));
Ken Dyck199c1892011-03-19 01:28:06 +0000294 ++NextFieldOffsetInChars;
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000295}
296
Ken Dyckc29ea8f2011-03-11 23:42:54 +0000297void ConstStructBuilder::AppendPadding(CharUnits PadSize) {
298 if (PadSize.isZero())
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000299 return;
300
Chris Lattner8b418682012-02-07 00:39:47 +0000301 llvm::Type *Ty = CGM.Int8Ty;
Ken Dyckc29ea8f2011-03-11 23:42:54 +0000302 if (PadSize > CharUnits::One())
303 Ty = llvm::ArrayType::get(Ty, PadSize.getQuantity());
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000304
Nuno Lopescdb30b42010-04-16 20:56:35 +0000305 llvm::Constant *C = llvm::UndefValue::get(Ty);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000306 Elements.push_back(C);
Ken Dyck7d2f9d52011-03-18 01:26:17 +0000307 assert(getAlignment(C) == CharUnits::One() &&
308 "Padding must have 1 byte alignment!");
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000309
Ken Dyck15c152e2011-03-18 01:12:13 +0000310 NextFieldOffsetInChars += getSizeInChars(C);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000311}
312
Ken Dyck106ca042011-03-11 02:17:05 +0000313void ConstStructBuilder::AppendTailPadding(CharUnits RecordSize) {
Ken Dyckdc496392011-03-17 01:33:18 +0000314 assert(NextFieldOffsetInChars <= RecordSize &&
Ken Dyck106ca042011-03-11 02:17:05 +0000315 "Size mismatch!");
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000316
Ken Dyckdc496392011-03-17 01:33:18 +0000317 AppendPadding(RecordSize - NextFieldOffsetInChars);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000318}
319
320void ConstStructBuilder::ConvertStructToPacked() {
Bill Wendling35f18a52012-02-07 00:04:27 +0000321 SmallVector<llvm::Constant *, 16> PackedElements;
Ken Dyck4a5c87e2011-03-18 00:55:06 +0000322 CharUnits ElementOffsetInChars = CharUnits::Zero();
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000323
324 for (unsigned i = 0, e = Elements.size(); i != e; ++i) {
325 llvm::Constant *C = Elements[i];
326
Ken Dyck7d2f9d52011-03-18 01:26:17 +0000327 CharUnits ElementAlign = CharUnits::fromQuantity(
Micah Villmow25a6a842012-10-08 16:25:52 +0000328 CGM.getDataLayout().getABITypeAlignment(C->getType()));
Ken Dyck4a5c87e2011-03-18 00:55:06 +0000329 CharUnits AlignedElementOffsetInChars =
Ken Dyck7d2f9d52011-03-18 01:26:17 +0000330 ElementOffsetInChars.RoundUpToAlignment(ElementAlign);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000331
Ken Dyck4a5c87e2011-03-18 00:55:06 +0000332 if (AlignedElementOffsetInChars > ElementOffsetInChars) {
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000333 // We need some padding.
Ken Dyck4a5c87e2011-03-18 00:55:06 +0000334 CharUnits NumChars =
335 AlignedElementOffsetInChars - ElementOffsetInChars;
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000336
Chris Lattner8b418682012-02-07 00:39:47 +0000337 llvm::Type *Ty = CGM.Int8Ty;
Ken Dyck4a5c87e2011-03-18 00:55:06 +0000338 if (NumChars > CharUnits::One())
339 Ty = llvm::ArrayType::get(Ty, NumChars.getQuantity());
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000340
Nuno Lopescdb30b42010-04-16 20:56:35 +0000341 llvm::Constant *Padding = llvm::UndefValue::get(Ty);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000342 PackedElements.push_back(Padding);
Ken Dyck15c152e2011-03-18 01:12:13 +0000343 ElementOffsetInChars += getSizeInChars(Padding);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000344 }
345
346 PackedElements.push_back(C);
Ken Dyck15c152e2011-03-18 01:12:13 +0000347 ElementOffsetInChars += getSizeInChars(C);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000348 }
349
Ken Dyck4a5c87e2011-03-18 00:55:06 +0000350 assert(ElementOffsetInChars == NextFieldOffsetInChars &&
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000351 "Packing the struct changed its size!");
352
Bill Wendling35f18a52012-02-07 00:04:27 +0000353 Elements.swap(PackedElements);
Ken Dyck7d2f9d52011-03-18 01:26:17 +0000354 LLVMStructAlignment = CharUnits::One();
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000355 Packed = true;
356}
357
358bool ConstStructBuilder::Build(InitListExpr *ILE) {
359 RecordDecl *RD = ILE->getType()->getAs<RecordType>()->getDecl();
360 const ASTRecordLayout &Layout = CGM.getContext().getASTRecordLayout(RD);
361
362 unsigned FieldNo = 0;
363 unsigned ElementNo = 0;
Fariborz Jahanian07a8a212011-04-28 22:49:46 +0000364
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000365 for (RecordDecl::field_iterator Field = RD->field_begin(),
Chris Lattner8ce9e452010-04-13 18:16:19 +0000366 FieldEnd = RD->field_end(); Field != FieldEnd; ++Field, ++FieldNo) {
Chris Lattner8ce9e452010-04-13 18:16:19 +0000367 // If this is a union, skip all the fields that aren't being initialized.
David Blaikie581deb32012-06-06 20:45:41 +0000368 if (RD->isUnion() && ILE->getInitializedFieldInUnion() != *Field)
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000369 continue;
370
Chris Lattner8ce9e452010-04-13 18:16:19 +0000371 // Don't emit anonymous bitfields, they just affect layout.
Eli Friedmancd06f262013-06-26 20:50:34 +0000372 if (Field->isUnnamedBitfield())
Chris Lattner8ce9e452010-04-13 18:16:19 +0000373 continue;
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000374
Chris Lattner8ce9e452010-04-13 18:16:19 +0000375 // Get the initializer. A struct can include fields without initializers,
376 // we just use explicit null values for them.
377 llvm::Constant *EltInit;
378 if (ElementNo < ILE->getNumInits())
379 EltInit = CGM.EmitConstantExpr(ILE->getInit(ElementNo++),
380 Field->getType(), CGF);
381 else
382 EltInit = CGM.EmitNullConstant(Field->getType());
Eli Friedmanf0ca0ee2010-07-17 23:55:01 +0000383
384 if (!EltInit)
385 return false;
Chris Lattner8ce9e452010-04-13 18:16:19 +0000386
387 if (!Field->isBitField()) {
388 // Handle non-bitfield members.
David Blaikie581deb32012-06-06 20:45:41 +0000389 AppendField(*Field, Layout.getFieldOffset(FieldNo), EltInit);
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000390 } else {
Chris Lattner8ce9e452010-04-13 18:16:19 +0000391 // Otherwise we have a bitfield.
David Blaikie581deb32012-06-06 20:45:41 +0000392 AppendBitField(*Field, Layout.getFieldOffset(FieldNo),
Chris Lattner18806662010-07-05 17:04:23 +0000393 cast<llvm::ConstantInt>(EltInit));
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000394 }
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000395 }
396
Richard Smith2d6a5672012-01-14 04:30:29 +0000397 return true;
398}
399
Richard Smithc22adbd2012-02-23 08:33:23 +0000400namespace {
401struct BaseInfo {
402 BaseInfo(const CXXRecordDecl *Decl, CharUnits Offset, unsigned Index)
403 : Decl(Decl), Offset(Offset), Index(Index) {
404 }
405
406 const CXXRecordDecl *Decl;
407 CharUnits Offset;
408 unsigned Index;
409
410 bool operator<(const BaseInfo &O) const { return Offset < O.Offset; }
411};
412}
413
414void ConstStructBuilder::Build(const APValue &Val, const RecordDecl *RD,
Timur Iskhodzhanova53d7a02013-09-27 14:48:01 +0000415 bool IsPrimaryBase,
Richard Smithc22adbd2012-02-23 08:33:23 +0000416 const CXXRecordDecl *VTableClass,
417 CharUnits Offset) {
Richard Smith2d6a5672012-01-14 04:30:29 +0000418 const ASTRecordLayout &Layout = CGM.getContext().getASTRecordLayout(RD);
419
Richard Smithc22adbd2012-02-23 08:33:23 +0000420 if (const CXXRecordDecl *CD = dyn_cast<CXXRecordDecl>(RD)) {
421 // Add a vtable pointer, if we need one and it hasn't already been added.
Timur Iskhodzhanova53d7a02013-09-27 14:48:01 +0000422 if (CD->isDynamicClass() && !IsPrimaryBase) {
423 llvm::Constant *VTableAddressPoint =
424 CGM.getCXXABI().getVTableAddressPointForConstExpr(
425 BaseSubobject(CD, Offset), VTableClass);
426 AppendBytes(Offset, VTableAddressPoint);
427 }
Richard Smithc22adbd2012-02-23 08:33:23 +0000428
429 // Accumulate and sort bases, in order to visit them in address order, which
430 // may not be the same as declaration order.
Dmitri Gribenkocfa88f82013-01-12 19:30:44 +0000431 SmallVector<BaseInfo, 8> Bases;
Richard Smithc22adbd2012-02-23 08:33:23 +0000432 Bases.reserve(CD->getNumBases());
Richard Smith2d6a5672012-01-14 04:30:29 +0000433 unsigned BaseNo = 0;
Richard Smithc22adbd2012-02-23 08:33:23 +0000434 for (CXXRecordDecl::base_class_const_iterator Base = CD->bases_begin(),
Richard Smith2d6a5672012-01-14 04:30:29 +0000435 BaseEnd = CD->bases_end(); Base != BaseEnd; ++Base, ++BaseNo) {
Richard Smithc22adbd2012-02-23 08:33:23 +0000436 assert(!Base->isVirtual() && "should not have virtual bases here");
Richard Smith2d6a5672012-01-14 04:30:29 +0000437 const CXXRecordDecl *BD = Base->getType()->getAsCXXRecordDecl();
438 CharUnits BaseOffset = Layout.getBaseClassOffset(BD);
Richard Smithc22adbd2012-02-23 08:33:23 +0000439 Bases.push_back(BaseInfo(BD, BaseOffset, BaseNo));
440 }
441 std::stable_sort(Bases.begin(), Bases.end());
Richard Smith2d6a5672012-01-14 04:30:29 +0000442
Richard Smithc22adbd2012-02-23 08:33:23 +0000443 for (unsigned I = 0, N = Bases.size(); I != N; ++I) {
444 BaseInfo &Base = Bases[I];
Richard Smith2d6a5672012-01-14 04:30:29 +0000445
Richard Smithc22adbd2012-02-23 08:33:23 +0000446 bool IsPrimaryBase = Layout.getPrimaryBase() == Base.Decl;
447 Build(Val.getStructBase(Base.Index), Base.Decl, IsPrimaryBase,
Timur Iskhodzhanova53d7a02013-09-27 14:48:01 +0000448 VTableClass, Offset + Base.Offset);
Richard Smith2d6a5672012-01-14 04:30:29 +0000449 }
450 }
451
452 unsigned FieldNo = 0;
Eli Friedman5fe61c62012-03-30 03:55:31 +0000453 uint64_t OffsetBits = CGM.getContext().toBits(Offset);
Richard Smith2d6a5672012-01-14 04:30:29 +0000454
455 for (RecordDecl::field_iterator Field = RD->field_begin(),
456 FieldEnd = RD->field_end(); Field != FieldEnd; ++Field, ++FieldNo) {
Richard Smith2d6a5672012-01-14 04:30:29 +0000457 // If this is a union, skip all the fields that aren't being initialized.
David Blaikie581deb32012-06-06 20:45:41 +0000458 if (RD->isUnion() && Val.getUnionField() != *Field)
Richard Smith2d6a5672012-01-14 04:30:29 +0000459 continue;
460
461 // Don't emit anonymous bitfields, they just affect layout.
Eli Friedmancd06f262013-06-26 20:50:34 +0000462 if (Field->isUnnamedBitfield())
Richard Smith2d6a5672012-01-14 04:30:29 +0000463 continue;
Richard Smith2d6a5672012-01-14 04:30:29 +0000464
465 // Emit the value of the initializer.
466 const APValue &FieldValue =
467 RD->isUnion() ? Val.getUnionValue() : Val.getStructField(FieldNo);
468 llvm::Constant *EltInit =
Richard Smitha3ca41f2012-03-02 23:27:11 +0000469 CGM.EmitConstantValueForMemory(FieldValue, Field->getType(), CGF);
Richard Smith2d6a5672012-01-14 04:30:29 +0000470 assert(EltInit && "EmitConstantValue can't fail");
471
472 if (!Field->isBitField()) {
473 // Handle non-bitfield members.
David Blaikie581deb32012-06-06 20:45:41 +0000474 AppendField(*Field, Layout.getFieldOffset(FieldNo) + OffsetBits, EltInit);
Richard Smith2d6a5672012-01-14 04:30:29 +0000475 } else {
476 // Otherwise we have a bitfield.
David Blaikie581deb32012-06-06 20:45:41 +0000477 AppendBitField(*Field, Layout.getFieldOffset(FieldNo) + OffsetBits,
Richard Smith2d6a5672012-01-14 04:30:29 +0000478 cast<llvm::ConstantInt>(EltInit));
479 }
480 }
481}
482
483llvm::Constant *ConstStructBuilder::Finalize(QualType Ty) {
484 RecordDecl *RD = Ty->getAs<RecordType>()->getDecl();
485 const ASTRecordLayout &Layout = CGM.getContext().getASTRecordLayout(RD);
486
Ken Dyckdc496392011-03-17 01:33:18 +0000487 CharUnits LayoutSizeInChars = Layout.getSize();
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000488
Ken Dyckdc496392011-03-17 01:33:18 +0000489 if (NextFieldOffsetInChars > LayoutSizeInChars) {
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000490 // If the struct is bigger than the size of the record type,
491 // we must have a flexible array member at the end.
492 assert(RD->hasFlexibleArrayMember() &&
493 "Must have flexible array member if struct is bigger than type!");
Richard Smith2d6a5672012-01-14 04:30:29 +0000494
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000495 // No tail padding is necessary.
Richard Smith2d6a5672012-01-14 04:30:29 +0000496 } else {
497 // Append tail padding if necessary.
Richard Smith2d6a5672012-01-14 04:30:29 +0000498 CharUnits LLVMSizeInChars =
Stephen Hines176edba2014-12-01 14:53:08 -0800499 NextFieldOffsetInChars.RoundUpToAlignment(LLVMStructAlignment);
500
501 if (LLVMSizeInChars != LayoutSizeInChars)
502 AppendTailPadding(LayoutSizeInChars);
503
504 LLVMSizeInChars =
505 NextFieldOffsetInChars.RoundUpToAlignment(LLVMStructAlignment);
Richard Smith2d6a5672012-01-14 04:30:29 +0000506
507 // Check if we need to convert the struct to a packed struct.
508 if (NextFieldOffsetInChars <= LayoutSizeInChars &&
509 LLVMSizeInChars > LayoutSizeInChars) {
510 assert(!Packed && "Size mismatch!");
511
512 ConvertStructToPacked();
513 assert(NextFieldOffsetInChars <= LayoutSizeInChars &&
514 "Converting to packed did not help!");
515 }
516
Stephen Hines176edba2014-12-01 14:53:08 -0800517 LLVMSizeInChars =
518 NextFieldOffsetInChars.RoundUpToAlignment(LLVMStructAlignment);
519
520 assert(LayoutSizeInChars == LLVMSizeInChars &&
Richard Smith2d6a5672012-01-14 04:30:29 +0000521 "Tail padding mismatch!");
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000522 }
523
Chris Lattnerc5cbb902011-06-20 04:01:35 +0000524 // Pick the type to use. If the type is layout identical to the ConvertType
525 // type then use it, otherwise use whatever the builder produced for us.
Chris Lattner2acc6e32011-07-18 04:24:23 +0000526 llvm::StructType *STy =
Chris Lattnerc5cbb902011-06-20 04:01:35 +0000527 llvm::ConstantStruct::getTypeForElements(CGM.getLLVMContext(),
Richard Smith2d6a5672012-01-14 04:30:29 +0000528 Elements, Packed);
529 llvm::Type *ValTy = CGM.getTypes().ConvertType(Ty);
530 if (llvm::StructType *ValSTy = dyn_cast<llvm::StructType>(ValTy)) {
531 if (ValSTy->isLayoutIdentical(STy))
532 STy = ValSTy;
Chris Lattnerc5cbb902011-06-20 04:01:35 +0000533 }
Richard Smith2d6a5672012-01-14 04:30:29 +0000534
535 llvm::Constant *Result = llvm::ConstantStruct::get(STy, Elements);
536
537 assert(NextFieldOffsetInChars.RoundUpToAlignment(getAlignment(Result)) ==
538 getSizeInChars(Result) && "Size mismatch!");
539
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000540 return Result;
541}
542
Richard Smith2d6a5672012-01-14 04:30:29 +0000543llvm::Constant *ConstStructBuilder::BuildStruct(CodeGenModule &CGM,
544 CodeGenFunction *CGF,
545 InitListExpr *ILE) {
546 ConstStructBuilder Builder(CGM, CGF);
547
548 if (!Builder.Build(ILE))
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700549 return nullptr;
Richard Smith2d6a5672012-01-14 04:30:29 +0000550
551 return Builder.Finalize(ILE->getType());
552}
553
554llvm::Constant *ConstStructBuilder::BuildStruct(CodeGenModule &CGM,
555 CodeGenFunction *CGF,
556 const APValue &Val,
557 QualType ValTy) {
558 ConstStructBuilder Builder(CGM, CGF);
Richard Smithc22adbd2012-02-23 08:33:23 +0000559
560 const RecordDecl *RD = ValTy->castAs<RecordType>()->getDecl();
561 const CXXRecordDecl *CD = dyn_cast<CXXRecordDecl>(RD);
Timur Iskhodzhanova53d7a02013-09-27 14:48:01 +0000562 Builder.Build(Val, RD, false, CD, CharUnits::Zero());
Richard Smithc22adbd2012-02-23 08:33:23 +0000563
Richard Smith2d6a5672012-01-14 04:30:29 +0000564 return Builder.Finalize(ValTy);
565}
566
567
Chris Lattnereba3e5a2010-04-13 17:45:57 +0000568//===----------------------------------------------------------------------===//
569// ConstExprEmitter
570//===----------------------------------------------------------------------===//
Richard Smithe7aa62d2012-01-17 21:42:19 +0000571
572/// This class only needs to handle two cases:
573/// 1) Literals (this is used by APValue emission to emit literals).
574/// 2) Arrays, structs and unions (outside C++11 mode, we don't currently
575/// constant fold these types).
Benjamin Kramer85b45212009-11-28 19:45:26 +0000576class ConstExprEmitter :
Anders Carlsson84005b42008-01-26 04:30:23 +0000577 public StmtVisitor<ConstExprEmitter, llvm::Constant*> {
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000578 CodeGenModule &CGM;
Lauro Ramos Venancio81373352008-02-26 21:41:45 +0000579 CodeGenFunction *CGF;
Owen Andersona1cf15f2009-07-14 23:10:40 +0000580 llvm::LLVMContext &VMContext;
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000581public:
Lauro Ramos Venancio81373352008-02-26 21:41:45 +0000582 ConstExprEmitter(CodeGenModule &cgm, CodeGenFunction *cgf)
Owen Andersona1cf15f2009-07-14 23:10:40 +0000583 : CGM(cgm), CGF(cgf), VMContext(cgm.getLLVMContext()) {
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000584 }
Mike Stump1eb44332009-09-09 15:08:12 +0000585
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000586 //===--------------------------------------------------------------------===//
587 // Visitor Methods
588 //===--------------------------------------------------------------------===//
Mike Stump1eb44332009-09-09 15:08:12 +0000589
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000590 llvm::Constant *VisitStmt(Stmt *S) {
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700591 return nullptr;
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000592 }
Mike Stump1eb44332009-09-09 15:08:12 +0000593
594 llvm::Constant *VisitParenExpr(ParenExpr *PE) {
595 return Visit(PE->getSubExpr());
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000596 }
Mike Stump1eb44332009-09-09 15:08:12 +0000597
John McCall91a57552011-07-15 05:09:51 +0000598 llvm::Constant *
599 VisitSubstNonTypeTemplateParmExpr(SubstNonTypeTemplateParmExpr *PE) {
600 return Visit(PE->getReplacement());
601 }
602
Peter Collingbournef111d932011-04-15 00:35:48 +0000603 llvm::Constant *VisitGenericSelectionExpr(GenericSelectionExpr *GE) {
604 return Visit(GE->getResultExpr());
605 }
606
Eli Friedman21cde052013-07-16 22:40:53 +0000607 llvm::Constant *VisitChooseExpr(ChooseExpr *CE) {
Eli Friedmana5e66012013-07-20 00:40:58 +0000608 return Visit(CE->getChosenSubExpr());
Eli Friedman21cde052013-07-16 22:40:53 +0000609 }
610
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000611 llvm::Constant *VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
612 return Visit(E->getInitializer());
613 }
John McCall5808ce42011-02-03 08:15:49 +0000614
Argyrios Kyrtzidis0835a3c2008-08-18 23:01:59 +0000615 llvm::Constant *VisitCastExpr(CastExpr* E) {
John McCall8bba1f42011-03-15 21:17:48 +0000616 Expr *subExpr = E->getSubExpr();
617 llvm::Constant *C = CGM.EmitConstantExpr(subExpr, subExpr->getType(), CGF);
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700618 if (!C) return nullptr;
John McCall8bba1f42011-03-15 21:17:48 +0000619
Chris Lattner2acc6e32011-07-18 04:24:23 +0000620 llvm::Type *destType = ConvertType(E->getType());
John McCall8bba1f42011-03-15 21:17:48 +0000621
Anders Carlsson0086ccb2009-08-22 23:54:44 +0000622 switch (E->getCastKind()) {
John McCall2de56d12010-08-25 11:45:40 +0000623 case CK_ToUnion: {
Anders Carlsson0086ccb2009-08-22 23:54:44 +0000624 // GCC cast to union extension
625 assert(E->getType()->isUnionType() &&
626 "Destination type is not union type!");
Mike Stump1eb44332009-09-09 15:08:12 +0000627
Anders Carlssonaaed50d2009-07-31 21:38:39 +0000628 // Build a struct with the union sub-element as the first member,
629 // and padded to the appropriate size
Bill Wendlingf9ea9532012-02-07 00:13:27 +0000630 SmallVector<llvm::Constant*, 2> Elts;
631 SmallVector<llvm::Type*, 2> Types;
Anders Carlssonaaed50d2009-07-31 21:38:39 +0000632 Elts.push_back(C);
633 Types.push_back(C->getType());
Micah Villmow25a6a842012-10-08 16:25:52 +0000634 unsigned CurSize = CGM.getDataLayout().getTypeAllocSize(C->getType());
635 unsigned TotalSize = CGM.getDataLayout().getTypeAllocSize(destType);
Mike Stump1eb44332009-09-09 15:08:12 +0000636
Anders Carlssonaaed50d2009-07-31 21:38:39 +0000637 assert(CurSize <= TotalSize && "Union size mismatch!");
638 if (unsigned NumPadBytes = TotalSize - CurSize) {
Chris Lattner8b418682012-02-07 00:39:47 +0000639 llvm::Type *Ty = CGM.Int8Ty;
Anders Carlssonaaed50d2009-07-31 21:38:39 +0000640 if (NumPadBytes > 1)
641 Ty = llvm::ArrayType::get(Ty, NumPadBytes);
Anders Carlsson0086ccb2009-08-22 23:54:44 +0000642
Nuno Lopescdb30b42010-04-16 20:56:35 +0000643 Elts.push_back(llvm::UndefValue::get(Ty));
Anders Carlssonaaed50d2009-07-31 21:38:39 +0000644 Types.push_back(Ty);
645 }
Mike Stump1eb44332009-09-09 15:08:12 +0000646
Anders Carlsson0086ccb2009-08-22 23:54:44 +0000647 llvm::StructType* STy =
648 llvm::StructType::get(C->getType()->getContext(), Types, false);
Anders Carlssonaaed50d2009-07-31 21:38:39 +0000649 return llvm::ConstantStruct::get(STy, Elts);
Nuno Lopes81e51e22009-01-17 00:48:48 +0000650 }
Anders Carlssonbb378cb2009-10-18 20:31:03 +0000651
Stephen Hines651f13c2014-04-23 16:59:28 -0700652 case CK_AddressSpaceConversion:
653 return llvm::ConstantExpr::getAddrSpaceCast(C, destType);
654
John McCall8bba1f42011-03-15 21:17:48 +0000655 case CK_LValueToRValue:
David Chisnall7a7ee302012-01-16 17:27:18 +0000656 case CK_AtomicToNonAtomic:
657 case CK_NonAtomicToAtomic:
John McCall8bba1f42011-03-15 21:17:48 +0000658 case CK_NoOp:
Eli Friedman21cde052013-07-16 22:40:53 +0000659 case CK_ConstructorConversion:
John McCall8bba1f42011-03-15 21:17:48 +0000660 return C;
Anders Carlssonbb378cb2009-10-18 20:31:03 +0000661
John McCall8bba1f42011-03-15 21:17:48 +0000662 case CK_Dependent: llvm_unreachable("saw dependent cast!");
663
Eli Friedmana6c66ce2012-08-31 00:14:07 +0000664 case CK_BuiltinFnToFnPtr:
665 llvm_unreachable("builtin functions are handled elsewhere");
666
John McCall4d4e5c12012-02-15 01:22:51 +0000667 case CK_ReinterpretMemberPointer:
668 case CK_DerivedToBaseMemberPointer:
669 case CK_BaseToDerivedMemberPointer:
670 return CGM.getCXXABI().EmitMemberPointerConversion(E, C);
671
John McCall8bba1f42011-03-15 21:17:48 +0000672 // These will never be supported.
673 case CK_ObjCObjectLValueCast:
John McCall33e56f32011-09-10 06:18:15 +0000674 case CK_ARCProduceObject:
675 case CK_ARCConsumeObject:
676 case CK_ARCReclaimReturnedObject:
677 case CK_ARCExtendBlockObject:
Douglas Gregorac1303e2012-02-22 05:02:47 +0000678 case CK_CopyAndAutoreleaseBlockObject:
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700679 return nullptr;
John McCall8bba1f42011-03-15 21:17:48 +0000680
Eli Friedman65639282012-01-04 23:13:47 +0000681 // These don't need to be handled here because Evaluate knows how to
Richard Smithe7aa62d2012-01-17 21:42:19 +0000682 // evaluate them in the cases where they can be folded.
John McCall4d4e5c12012-02-15 01:22:51 +0000683 case CK_BitCast:
Richard Smithe7aa62d2012-01-17 21:42:19 +0000684 case CK_ToVoid:
685 case CK_Dynamic:
686 case CK_LValueBitCast:
687 case CK_NullToMemberPointer:
Richard Smithe7aa62d2012-01-17 21:42:19 +0000688 case CK_UserDefinedConversion:
Eli Friedman65639282012-01-04 23:13:47 +0000689 case CK_CPointerToObjCPointerCast:
690 case CK_BlockPointerToObjCPointerCast:
691 case CK_AnyPointerToBlockPointerCast:
John McCall8bba1f42011-03-15 21:17:48 +0000692 case CK_ArrayToPointerDecay:
693 case CK_FunctionToPointerDecay:
694 case CK_BaseToDerived:
695 case CK_DerivedToBase:
696 case CK_UncheckedDerivedToBase:
697 case CK_MemberPointerToBoolean:
698 case CK_VectorSplat:
699 case CK_FloatingRealToComplex:
700 case CK_FloatingComplexToReal:
701 case CK_FloatingComplexToBoolean:
702 case CK_FloatingComplexCast:
703 case CK_FloatingComplexToIntegralComplex:
704 case CK_IntegralRealToComplex:
705 case CK_IntegralComplexToReal:
706 case CK_IntegralComplexToBoolean:
707 case CK_IntegralComplexCast:
708 case CK_IntegralComplexToFloatingComplex:
John McCall8bba1f42011-03-15 21:17:48 +0000709 case CK_PointerToIntegral:
John McCall8bba1f42011-03-15 21:17:48 +0000710 case CK_PointerToBoolean:
John McCall8bba1f42011-03-15 21:17:48 +0000711 case CK_NullToPointer:
Eli Friedman65639282012-01-04 23:13:47 +0000712 case CK_IntegralCast:
713 case CK_IntegralToPointer:
John McCall8bba1f42011-03-15 21:17:48 +0000714 case CK_IntegralToBoolean:
John McCall8bba1f42011-03-15 21:17:48 +0000715 case CK_IntegralToFloating:
John McCall8bba1f42011-03-15 21:17:48 +0000716 case CK_FloatingToIntegral:
John McCall8bba1f42011-03-15 21:17:48 +0000717 case CK_FloatingToBoolean:
John McCall8bba1f42011-03-15 21:17:48 +0000718 case CK_FloatingCast:
Guy Benyeie6b9d802013-01-20 12:31:11 +0000719 case CK_ZeroToOCLEvent:
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700720 return nullptr;
Anders Carlsson0086ccb2009-08-22 23:54:44 +0000721 }
Matt Beaumont-Gay17d12fe2011-03-17 00:46:34 +0000722 llvm_unreachable("Invalid CastKind");
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000723 }
Devang Pateleae15602008-02-05 02:39:50 +0000724
Chris Lattner04421082008-04-08 04:40:51 +0000725 llvm::Constant *VisitCXXDefaultArgExpr(CXXDefaultArgExpr *DAE) {
726 return Visit(DAE->getExpr());
727 }
728
Richard Smithc3bf52c2013-04-20 22:23:05 +0000729 llvm::Constant *VisitCXXDefaultInitExpr(CXXDefaultInitExpr *DIE) {
730 // No need for a DefaultInitExprScope: we don't handle 'this' in a
731 // constant expression.
732 return Visit(DIE->getExpr());
733 }
734
Douglas Gregor03e80032011-06-21 17:03:29 +0000735 llvm::Constant *VisitMaterializeTemporaryExpr(MaterializeTemporaryExpr *E) {
736 return Visit(E->GetTemporaryExpr());
737 }
738
Eli Friedmana8234002008-05-30 10:24:46 +0000739 llvm::Constant *EmitArrayInitialization(InitListExpr *ILE) {
Richard Smithfe587202012-04-15 02:50:59 +0000740 if (ILE->isStringLiteralInit())
Nuno Lopesa75b71f2010-04-18 19:06:43 +0000741 return Visit(ILE->getInit(0));
742
Chris Lattner2acc6e32011-07-18 04:24:23 +0000743 llvm::ArrayType *AType =
Nuno Lopes67847042010-04-16 23:19:41 +0000744 cast<llvm::ArrayType>(ConvertType(ILE->getType()));
Chris Lattner2acc6e32011-07-18 04:24:23 +0000745 llvm::Type *ElemTy = AType->getElementType();
Richard Smithfe587202012-04-15 02:50:59 +0000746 unsigned NumInitElements = ILE->getNumInits();
Devang Pateleae15602008-02-05 02:39:50 +0000747 unsigned NumElements = AType->getNumElements();
748
Mike Stump1eb44332009-09-09 15:08:12 +0000749 // Initialising an array requires us to automatically
Devang Pateleae15602008-02-05 02:39:50 +0000750 // initialise any elements that have not been initialised explicitly
751 unsigned NumInitableElts = std::min(NumInitElements, NumElements);
752
753 // Copy initializer elements.
Bill Wendlingf9ea9532012-02-07 00:13:27 +0000754 std::vector<llvm::Constant*> Elts;
755 Elts.reserve(NumInitableElts + NumElements);
Benjamin Kramer14c59822012-02-14 12:06:21 +0000756
Eli Friedmana04a1532008-05-30 19:58:50 +0000757 bool RewriteType = false;
Benjamin Kramer14c59822012-02-14 12:06:21 +0000758 for (unsigned i = 0; i < NumInitableElts; ++i) {
Anders Carlssone9352cc2009-04-08 04:48:15 +0000759 Expr *Init = ILE->getInit(i);
760 llvm::Constant *C = CGM.EmitConstantExpr(Init, Init->getType(), CGF);
Daniel Dunbard60f2fb2009-02-17 18:43:32 +0000761 if (!C)
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700762 return nullptr;
Eli Friedmana04a1532008-05-30 19:58:50 +0000763 RewriteType |= (C->getType() != ElemTy);
Devang Pateleae15602008-02-05 02:39:50 +0000764 Elts.push_back(C);
765 }
Eli Friedmana04a1532008-05-30 19:58:50 +0000766
Devang Pateleae15602008-02-05 02:39:50 +0000767 // Initialize remaining array elements.
Eli Friedman0f593122009-04-13 21:47:26 +0000768 // FIXME: This doesn't handle member pointers correctly!
Argyrios Kyrtzidis4423ac02011-04-21 00:27:41 +0000769 llvm::Constant *fillC;
770 if (Expr *filler = ILE->getArrayFiller())
771 fillC = CGM.EmitConstantExpr(filler, filler->getType(), CGF);
772 else
773 fillC = llvm::Constant::getNullValue(ElemTy);
774 if (!fillC)
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700775 return nullptr;
Argyrios Kyrtzidis4423ac02011-04-21 00:27:41 +0000776 RewriteType |= (fillC->getType() != ElemTy);
Benjamin Kramer14c59822012-02-14 12:06:21 +0000777 Elts.resize(NumElements, fillC);
Devang Pateleae15602008-02-05 02:39:50 +0000778
Eli Friedmana04a1532008-05-30 19:58:50 +0000779 if (RewriteType) {
780 // FIXME: Try to avoid packing the array
Jay Foadef6de3d2011-07-11 09:56:20 +0000781 std::vector<llvm::Type*> Types;
Bill Wendlingf9ea9532012-02-07 00:13:27 +0000782 Types.reserve(NumInitableElts + NumElements);
Bill Wendlingfd3e5ef2012-02-06 23:46:08 +0000783 for (unsigned i = 0, e = Elts.size(); i < e; ++i)
Eli Friedmana04a1532008-05-30 19:58:50 +0000784 Types.push_back(Elts[i]->getType());
Chris Lattner2acc6e32011-07-18 04:24:23 +0000785 llvm::StructType *SType = llvm::StructType::get(AType->getContext(),
Owen Anderson47a434f2009-08-05 23:18:46 +0000786 Types, true);
Owen Anderson08e25242009-07-27 22:29:56 +0000787 return llvm::ConstantStruct::get(SType, Elts);
Eli Friedmana04a1532008-05-30 19:58:50 +0000788 }
789
Mike Stump1eb44332009-09-09 15:08:12 +0000790 return llvm::ConstantArray::get(AType, Elts);
Devang Pateleae15602008-02-05 02:39:50 +0000791 }
792
Richard Smith1b5c3362012-09-11 05:51:06 +0000793 llvm::Constant *EmitRecordInitialization(InitListExpr *ILE) {
Anders Carlssonf6c43962009-07-31 21:34:04 +0000794 return ConstStructBuilder::BuildStruct(CGM, CGF, ILE);
Eli Friedmana8234002008-05-30 10:24:46 +0000795 }
796
Anders Carlsson7d801ea2009-01-30 06:13:25 +0000797 llvm::Constant *VisitImplicitValueInitExpr(ImplicitValueInitExpr* E) {
Eli Friedman0f593122009-04-13 21:47:26 +0000798 return CGM.EmitNullConstant(E->getType());
Anders Carlsson7d801ea2009-01-30 06:13:25 +0000799 }
Mike Stump1eb44332009-09-09 15:08:12 +0000800
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000801 llvm::Constant *VisitInitListExpr(InitListExpr *ILE) {
Eli Friedmana8234002008-05-30 10:24:46 +0000802 if (ILE->getType()->isArrayType())
803 return EmitArrayInitialization(ILE);
Devang Patel47fb6972008-01-29 23:23:18 +0000804
Jin-Gu Kang45e4e082012-09-05 08:37:43 +0000805 if (ILE->getType()->isRecordType())
Richard Smith1b5c3362012-09-11 05:51:06 +0000806 return EmitRecordInitialization(ILE);
Jin-Gu Kang45e4e082012-09-05 08:37:43 +0000807
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700808 return nullptr;
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000809 }
Eli Friedman3b707e72008-02-21 17:57:49 +0000810
John McCallfb8b69a2010-02-02 08:02:49 +0000811 llvm::Constant *VisitCXXConstructExpr(CXXConstructExpr *E) {
812 if (!E->getConstructor()->isTrivial())
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700813 return nullptr;
John McCallfb8b69a2010-02-02 08:02:49 +0000814
Anders Carlsson2ca4f632010-02-05 18:38:45 +0000815 QualType Ty = E->getType();
816
817 // FIXME: We should not have to call getBaseElementType here.
818 const RecordType *RT =
819 CGM.getContext().getBaseElementType(Ty)->getAs<RecordType>();
820 const CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl());
821
822 // If the class doesn't have a trivial destructor, we can't emit it as a
823 // constant expr.
824 if (!RD->hasTrivialDestructor())
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700825 return nullptr;
826
John McCallfb8b69a2010-02-02 08:02:49 +0000827 // Only copy and default constructors can be trivial.
828
John McCallfb8b69a2010-02-02 08:02:49 +0000829
830 if (E->getNumArgs()) {
831 assert(E->getNumArgs() == 1 && "trivial ctor with > 1 argument");
Sebastian Redl85ea7aa2011-08-30 19:58:05 +0000832 assert(E->getConstructor()->isCopyOrMoveConstructor() &&
833 "trivial ctor has argument but isn't a copy/move ctor");
John McCallfb8b69a2010-02-02 08:02:49 +0000834
835 Expr *Arg = E->getArg(0);
836 assert(CGM.getContext().hasSameUnqualifiedType(Ty, Arg->getType()) &&
837 "argument to copy ctor is of wrong type");
838
Chandler Carruth878b55c2010-02-02 12:15:55 +0000839 return Visit(Arg);
John McCallfb8b69a2010-02-02 08:02:49 +0000840 }
841
842 return CGM.EmitNullConstant(Ty);
843 }
844
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000845 llvm::Constant *VisitStringLiteral(StringLiteral *E) {
Eli Friedman64f45a22011-11-01 02:23:42 +0000846 return CGM.GetConstantArrayFromStringLiteral(E);
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000847 }
848
Chris Lattnereaf2bb82009-02-24 22:18:39 +0000849 llvm::Constant *VisitObjCEncodeExpr(ObjCEncodeExpr *E) {
850 // This must be an @encode initializing an array in a static initializer.
851 // Don't emit it as the address of the string, emit the string data itself
852 // as an inline array.
853 std::string Str;
854 CGM.getContext().getObjCEncodingForType(E->getEncodedType(), Str);
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700855 QualType T = E->getType();
856 if (T->getTypeClass() == Type::TypeOfExpr)
857 T = cast<TypeOfExprType>(T)->getUnderlyingExpr()->getType();
858 const ConstantArrayType *CAT = cast<ConstantArrayType>(T);
Mike Stump1eb44332009-09-09 15:08:12 +0000859
Chris Lattnereaf2bb82009-02-24 22:18:39 +0000860 // Resize the string to the right size, adding zeros at the end, or
861 // truncating as needed.
862 Str.resize(CAT->getSize().getZExtValue(), '\0');
Chris Lattner94010692012-02-05 02:30:40 +0000863 return llvm::ConstantDataArray::getString(VMContext, Str, false);
Chris Lattnereaf2bb82009-02-24 22:18:39 +0000864 }
Mike Stump1eb44332009-09-09 15:08:12 +0000865
Eli Friedmanbc5ed6e2008-05-29 11:22:45 +0000866 llvm::Constant *VisitUnaryExtension(const UnaryOperator *E) {
867 return Visit(E->getSubExpr());
868 }
Mike Stumpb83d2872009-02-19 22:01:56 +0000869
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000870 // Utility methods
Chris Lattner2acc6e32011-07-18 04:24:23 +0000871 llvm::Type *ConvertType(QualType T) {
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000872 return CGM.getTypes().ConvertType(T);
873 }
Anders Carlsson84005b42008-01-26 04:30:23 +0000874
Anders Carlsson5ea7d072008-11-16 06:23:45 +0000875public:
Richard Smith1bf9a9e2011-11-12 22:28:03 +0000876 llvm::Constant *EmitLValue(APValue::LValueBase LVBase) {
877 if (const ValueDecl *Decl = LVBase.dyn_cast<const ValueDecl*>()) {
Rafael Espindolada182612010-03-04 21:26:03 +0000878 if (Decl->hasAttr<WeakRefAttr>())
Eli Friedmana7e68452010-08-22 01:00:03 +0000879 return CGM.GetWeakRefReference(Decl);
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000880 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(Decl))
Anders Carlsson555b4bb2009-09-10 23:43:36 +0000881 return CGM.GetAddrOfFunction(FD);
Steve Naroff248a7532008-04-15 22:42:06 +0000882 if (const VarDecl* VD = dyn_cast<VarDecl>(Decl)) {
Daniel Dunbard01b6692009-02-24 18:41:57 +0000883 // We can never refer to a variable with local storage.
Mike Stump1eb44332009-09-09 15:08:12 +0000884 if (!VD->hasLocalStorage()) {
Daniel Dunbard01b6692009-02-24 18:41:57 +0000885 if (VD->isFileVarDecl() || VD->hasExternalStorage())
886 return CGM.GetAddrOfGlobalVar(VD);
Eli Friedman89e19b42013-01-03 00:39:26 +0000887 else if (VD->isLocalVarDecl())
Stephen Hines176edba2014-12-01 14:53:08 -0800888 return CGM.getOrCreateStaticVarDecl(
889 *VD, CGM.getLLVMLinkageVarDefinition(VD, /*isConstant=*/false));
Steve Naroff248a7532008-04-15 22:42:06 +0000890 }
Lauro Ramos Venancio81373352008-02-26 21:41:45 +0000891 }
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700892 return nullptr;
Richard Smith1bf9a9e2011-11-12 22:28:03 +0000893 }
894
895 Expr *E = const_cast<Expr*>(LVBase.get<const Expr*>());
896 switch (E->getStmtClass()) {
897 default: break;
898 case Expr::CompoundLiteralExprClass: {
899 // Note that due to the nature of compound literals, this is guaranteed
900 // to be the only use of the variable, so we just generate it here.
901 CompoundLiteralExpr *CLE = cast<CompoundLiteralExpr>(E);
Eli Friedman58c65fc2011-12-22 00:04:00 +0000902 llvm::Constant* C = CGM.EmitConstantExpr(CLE->getInitializer(),
903 CLE->getType(), CGF);
Richard Smith1bf9a9e2011-11-12 22:28:03 +0000904 // FIXME: "Leaked" on failure.
905 if (C)
906 C = new llvm::GlobalVariable(CGM.getModule(), C->getType(),
907 E->getType().isConstant(CGM.getContext()),
908 llvm::GlobalValue::InternalLinkage,
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700909 C, ".compoundliteral", nullptr,
Hans Wennborg5e2d5de2012-06-23 11:51:46 +0000910 llvm::GlobalVariable::NotThreadLocal,
Richard Smith1bf9a9e2011-11-12 22:28:03 +0000911 CGM.getContext().getTargetAddressSpace(E->getType()));
912 return C;
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000913 }
Daniel Dunbar61432932008-08-13 23:20:05 +0000914 case Expr::StringLiteralClass:
915 return CGM.GetAddrOfConstantStringFromLiteral(cast<StringLiteral>(E));
Chris Lattnereaf2bb82009-02-24 22:18:39 +0000916 case Expr::ObjCEncodeExprClass:
917 return CGM.GetAddrOfConstantStringFromObjCEncode(cast<ObjCEncodeExpr>(E));
Anders Carlsson5ea7d072008-11-16 06:23:45 +0000918 case Expr::ObjCStringLiteralClass: {
919 ObjCStringLiteral* SL = cast<ObjCStringLiteral>(E);
David Chisnall0d13f6f2010-01-23 02:40:42 +0000920 llvm::Constant *C =
921 CGM.getObjCRuntime().GenerateConstantString(SL->getString());
Owen Anderson3c4972d2009-07-29 18:54:39 +0000922 return llvm::ConstantExpr::getBitCast(C, ConvertType(E->getType()));
Anders Carlsson5ea7d072008-11-16 06:23:45 +0000923 }
Chris Lattner35345642008-12-12 05:18:02 +0000924 case Expr::PredefinedExprClass: {
Eli Friedmanf70b24e2009-11-14 08:37:13 +0000925 unsigned Type = cast<PredefinedExpr>(E)->getIdentType();
926 if (CGF) {
Daniel Dunbar3ec0baf2010-08-21 03:01:12 +0000927 LValue Res = CGF->EmitPredefinedLValue(cast<PredefinedExpr>(E));
Eli Friedmanf70b24e2009-11-14 08:37:13 +0000928 return cast<llvm::Constant>(Res.getAddress());
929 } else if (Type == PredefinedExpr::PrettyFunction) {
930 return CGM.GetAddrOfConstantCString("top level", ".tmp");
931 }
Mike Stump1eb44332009-09-09 15:08:12 +0000932
Eli Friedmanf70b24e2009-11-14 08:37:13 +0000933 return CGM.GetAddrOfConstantCString("", ".tmp");
Chris Lattner35345642008-12-12 05:18:02 +0000934 }
Eli Friedmanf0115892009-01-25 01:21:06 +0000935 case Expr::AddrLabelExprClass: {
936 assert(CGF && "Invalid address of label expression outside function.");
Chris Lattnerd9becd12009-10-28 23:59:40 +0000937 llvm::Constant *Ptr =
938 CGF->GetAddrOfLabel(cast<AddrLabelExpr>(E)->getLabel());
939 return llvm::ConstantExpr::getBitCast(Ptr, ConvertType(E->getType()));
Eli Friedmanf0115892009-01-25 01:21:06 +0000940 }
Eli Friedman3941b182009-01-25 01:54:01 +0000941 case Expr::CallExprClass: {
942 CallExpr* CE = cast<CallExpr>(E);
Stephen Hines651f13c2014-04-23 16:59:28 -0700943 unsigned builtin = CE->getBuiltinCallee();
David Chisnall0d13f6f2010-01-23 02:40:42 +0000944 if (builtin !=
945 Builtin::BI__builtin___CFStringMakeConstantString &&
946 builtin !=
947 Builtin::BI__builtin___NSStringMakeConstantString)
Eli Friedman3941b182009-01-25 01:54:01 +0000948 break;
949 const Expr *Arg = CE->getArg(0)->IgnoreParenCasts();
950 const StringLiteral *Literal = cast<StringLiteral>(Arg);
David Chisnall0d13f6f2010-01-23 02:40:42 +0000951 if (builtin ==
952 Builtin::BI__builtin___NSStringMakeConstantString) {
953 return CGM.getObjCRuntime().GenerateConstantString(Literal);
954 }
Steve Naroff33fdb732009-03-31 16:53:37 +0000955 // FIXME: need to deal with UCN conversion issues.
Steve Naroff8d4141f2009-04-01 13:55:36 +0000956 return CGM.GetAddrOfConstantCFString(Literal);
Eli Friedman3941b182009-01-25 01:54:01 +0000957 }
Mike Stumpbd65cac2009-02-19 01:01:04 +0000958 case Expr::BlockExprClass: {
Anders Carlsson4de9fce2009-03-01 01:09:12 +0000959 std::string FunctionName;
960 if (CGF)
961 FunctionName = CGF->CurFn->getName();
962 else
963 FunctionName = "global";
964
965 return CGM.GetAddrOfGlobalBlock(cast<BlockExpr>(E), FunctionName.c_str());
Mike Stumpbd65cac2009-02-19 01:01:04 +0000966 }
Richard Smith47d21452011-12-27 12:18:28 +0000967 case Expr::CXXTypeidExprClass: {
968 CXXTypeidExpr *Typeid = cast<CXXTypeidExpr>(E);
969 QualType T;
970 if (Typeid->isTypeOperand())
David Majnemerfe16aa32013-09-27 07:04:31 +0000971 T = Typeid->getTypeOperand(CGM.getContext());
Richard Smith47d21452011-12-27 12:18:28 +0000972 else
973 T = Typeid->getExprOperand()->getType();
974 return CGM.GetAddrOfRTTIDescriptor(T);
975 }
Nico Weberc5f80462012-10-11 10:13:44 +0000976 case Expr::CXXUuidofExprClass: {
977 return CGM.GetAddrOfUuidDescriptor(cast<CXXUuidofExpr>(E));
978 }
Richard Smith211c8dd2013-06-05 00:46:14 +0000979 case Expr::MaterializeTemporaryExprClass: {
980 MaterializeTemporaryExpr *MTE = cast<MaterializeTemporaryExpr>(E);
981 assert(MTE->getStorageDuration() == SD_Static);
982 SmallVector<const Expr *, 2> CommaLHSs;
983 SmallVector<SubobjectAdjustment, 2> Adjustments;
984 const Expr *Inner = MTE->GetTemporaryExpr()
985 ->skipRValueSubobjectAdjustments(CommaLHSs, Adjustments);
986 return CGM.GetAddrOfGlobalTemporary(MTE, Inner);
987 }
Eli Friedman546d94c2008-02-11 00:23:10 +0000988 }
Daniel Dunbard60f2fb2009-02-17 18:43:32 +0000989
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700990 return nullptr;
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000991 }
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000992};
Mike Stump1eb44332009-09-09 15:08:12 +0000993
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000994} // end anonymous namespace.
995
Richard Smith2d6a5672012-01-14 04:30:29 +0000996llvm::Constant *CodeGenModule::EmitConstantInit(const VarDecl &D,
997 CodeGenFunction *CGF) {
Fariborz Jahanianc2316db2013-01-10 23:28:43 +0000998 // Make a quick check if variable can be default NULL initialized
999 // and avoid going through rest of code which may do, for c++11,
1000 // initialization of memory to all NULLs.
1001 if (!D.hasLocalStorage()) {
1002 QualType Ty = D.getType();
1003 if (Ty->isArrayType())
1004 Ty = Context.getBaseElementType(Ty);
1005 if (Ty->isRecordType())
1006 if (const CXXConstructExpr *E =
1007 dyn_cast_or_null<CXXConstructExpr>(D.getInit())) {
1008 const CXXConstructorDecl *CD = E->getConstructor();
Alexey Samsonov50f9de52013-04-05 07:47:28 +00001009 if (CD->isTrivial() && CD->isDefaultConstructor())
Fariborz Jahanianc2316db2013-01-10 23:28:43 +00001010 return EmitNullConstant(D.getType());
1011 }
1012 }
1013
Richard Smith2d6a5672012-01-14 04:30:29 +00001014 if (const APValue *Value = D.evaluateValue())
Richard Smitha3ca41f2012-03-02 23:27:11 +00001015 return EmitConstantValueForMemory(*Value, D.getType(), CGF);
Richard Smith2d6a5672012-01-14 04:30:29 +00001016
Richard Smith7ca48502012-02-13 22:16:19 +00001017 // FIXME: Implement C++11 [basic.start.init]p2: if the initializer of a
1018 // reference is a constant expression, and the reference binds to a temporary,
1019 // then constant initialization is performed. ConstExprEmitter will
1020 // incorrectly emit a prvalue constant in this case, and the calling code
1021 // interprets that as the (pointer) value of the reference, rather than the
1022 // desired value of the referee.
1023 if (D.getType()->isReferenceType())
Stephen Hines6bcf27b2014-05-29 04:14:42 -07001024 return nullptr;
Richard Smith7ca48502012-02-13 22:16:19 +00001025
Richard Smith2d6a5672012-01-14 04:30:29 +00001026 const Expr *E = D.getInit();
1027 assert(E && "No initializer to emit");
1028
1029 llvm::Constant* C = ConstExprEmitter(*this, CGF).Visit(const_cast<Expr*>(E));
1030 if (C && C->getType()->isIntegerTy(1)) {
1031 llvm::Type *BoolTy = getTypes().ConvertTypeForMem(E->getType());
1032 C = llvm::ConstantExpr::getZExt(C, BoolTy);
1033 }
1034 return C;
1035}
1036
Lauro Ramos Venancio81373352008-02-26 21:41:45 +00001037llvm::Constant *CodeGenModule::EmitConstantExpr(const Expr *E,
Anders Carlssone9352cc2009-04-08 04:48:15 +00001038 QualType DestType,
Chris Lattner96196622008-07-26 22:37:01 +00001039 CodeGenFunction *CGF) {
Anders Carlsson4b3f9c02008-12-01 02:42:14 +00001040 Expr::EvalResult Result;
Mike Stump1eb44332009-09-09 15:08:12 +00001041
Anders Carlsson1e5dc6e2009-04-11 01:08:03 +00001042 bool Success = false;
Mike Stump1eb44332009-09-09 15:08:12 +00001043
Eli Friedman50c39ea2009-05-27 06:04:58 +00001044 if (DestType->isReferenceType())
1045 Success = E->EvaluateAsLValue(Result, Context);
Mike Stump1eb44332009-09-09 15:08:12 +00001046 else
Richard Smith51f47082011-10-29 00:50:52 +00001047 Success = E->EvaluateAsRValue(Result, Context);
Mike Stump1eb44332009-09-09 15:08:12 +00001048
Stephen Hines6bcf27b2014-05-29 04:14:42 -07001049 llvm::Constant *C = nullptr;
Richard Smith2d6a5672012-01-14 04:30:29 +00001050 if (Success && !Result.HasSideEffects)
Richard Smitha3ca41f2012-03-02 23:27:11 +00001051 C = EmitConstantValue(Result.Val, DestType, CGF);
1052 else
1053 C = ConstExprEmitter(*this, CGF).Visit(const_cast<Expr*>(E));
Eli Friedman7dfa6392008-06-01 15:31:44 +00001054
Chris Lattner7f215c12010-06-26 21:52:32 +00001055 if (C && C->getType()->isIntegerTy(1)) {
Chris Lattner2acc6e32011-07-18 04:24:23 +00001056 llvm::Type *BoolTy = getTypes().ConvertTypeForMem(E->getType());
Owen Anderson3c4972d2009-07-29 18:54:39 +00001057 C = llvm::ConstantExpr::getZExt(C, BoolTy);
Eli Friedman7dfa6392008-06-01 15:31:44 +00001058 }
1059 return C;
Anders Carlsson3b1d57b2008-01-26 01:36:00 +00001060}
Eli Friedman0f593122009-04-13 21:47:26 +00001061
Richard Smith2d6a5672012-01-14 04:30:29 +00001062llvm::Constant *CodeGenModule::EmitConstantValue(const APValue &Value,
1063 QualType DestType,
1064 CodeGenFunction *CGF) {
Stephen Hines176edba2014-12-01 14:53:08 -08001065 // For an _Atomic-qualified constant, we may need to add tail padding.
1066 if (auto *AT = DestType->getAs<AtomicType>()) {
1067 QualType InnerType = AT->getValueType();
1068 auto *Inner = EmitConstantValue(Value, InnerType, CGF);
1069
1070 uint64_t InnerSize = Context.getTypeSize(InnerType);
1071 uint64_t OuterSize = Context.getTypeSize(DestType);
1072 if (InnerSize == OuterSize)
1073 return Inner;
1074
1075 assert(InnerSize < OuterSize && "emitted over-large constant for atomic");
1076 llvm::Constant *Elts[] = {
1077 Inner,
1078 llvm::ConstantAggregateZero::get(
1079 llvm::ArrayType::get(Int8Ty, (OuterSize - InnerSize) / 8))
1080 };
1081 return llvm::ConstantStruct::getAnon(Elts);
1082 }
1083
Richard Smith2d6a5672012-01-14 04:30:29 +00001084 switch (Value.getKind()) {
1085 case APValue::Uninitialized:
1086 llvm_unreachable("Constant expressions should be initialized.");
1087 case APValue::LValue: {
1088 llvm::Type *DestTy = getTypes().ConvertTypeForMem(DestType);
1089 llvm::Constant *Offset =
Chris Lattner8b418682012-02-07 00:39:47 +00001090 llvm::ConstantInt::get(Int64Ty, Value.getLValueOffset().getQuantity());
Richard Smith2d6a5672012-01-14 04:30:29 +00001091
1092 llvm::Constant *C;
1093 if (APValue::LValueBase LVBase = Value.getLValueBase()) {
1094 // An array can be represented as an lvalue referring to the base.
1095 if (isa<llvm::ArrayType>(DestTy)) {
1096 assert(Offset->isNullValue() && "offset on array initializer");
1097 return ConstExprEmitter(*this, CGF).Visit(
1098 const_cast<Expr*>(LVBase.get<const Expr*>()));
1099 }
1100
1101 C = ConstExprEmitter(*this, CGF).EmitLValue(LVBase);
1102
1103 // Apply offset if necessary.
1104 if (!Offset->isNullValue()) {
Stephen Hines6bcf27b2014-05-29 04:14:42 -07001105 unsigned AS = C->getType()->getPointerAddressSpace();
1106 llvm::Type *CharPtrTy = Int8Ty->getPointerTo(AS);
1107 llvm::Constant *Casted = llvm::ConstantExpr::getBitCast(C, CharPtrTy);
Richard Smith2d6a5672012-01-14 04:30:29 +00001108 Casted = llvm::ConstantExpr::getGetElementPtr(Casted, Offset);
Stephen Hines651f13c2014-04-23 16:59:28 -07001109 C = llvm::ConstantExpr::getPointerCast(Casted, C->getType());
Richard Smith2d6a5672012-01-14 04:30:29 +00001110 }
1111
1112 // Convert to the appropriate type; this could be an lvalue for
1113 // an integer.
1114 if (isa<llvm::PointerType>(DestTy))
Stephen Hines651f13c2014-04-23 16:59:28 -07001115 return llvm::ConstantExpr::getPointerCast(C, DestTy);
Richard Smith2d6a5672012-01-14 04:30:29 +00001116
1117 return llvm::ConstantExpr::getPtrToInt(C, DestTy);
1118 } else {
1119 C = Offset;
1120
1121 // Convert to the appropriate type; this could be an lvalue for
1122 // an integer.
1123 if (isa<llvm::PointerType>(DestTy))
1124 return llvm::ConstantExpr::getIntToPtr(C, DestTy);
1125
1126 // If the types don't match this should only be a truncate.
1127 if (C->getType() != DestTy)
1128 return llvm::ConstantExpr::getTrunc(C, DestTy);
1129
1130 return C;
1131 }
1132 }
Richard Smitha3ca41f2012-03-02 23:27:11 +00001133 case APValue::Int:
1134 return llvm::ConstantInt::get(VMContext, Value.getInt());
Richard Smith2d6a5672012-01-14 04:30:29 +00001135 case APValue::ComplexInt: {
1136 llvm::Constant *Complex[2];
1137
1138 Complex[0] = llvm::ConstantInt::get(VMContext,
1139 Value.getComplexIntReal());
1140 Complex[1] = llvm::ConstantInt::get(VMContext,
1141 Value.getComplexIntImag());
1142
1143 // FIXME: the target may want to specify that this is packed.
1144 llvm::StructType *STy = llvm::StructType::get(Complex[0]->getType(),
1145 Complex[1]->getType(),
1146 NULL);
1147 return llvm::ConstantStruct::get(STy, Complex);
1148 }
1149 case APValue::Float: {
1150 const llvm::APFloat &Init = Value.getFloat();
Joey Gouly19dbb202013-01-23 11:56:20 +00001151 if (&Init.getSemantics() == &llvm::APFloat::IEEEhalf &&
Stephen Hines176edba2014-12-01 14:53:08 -08001152 !Context.getLangOpts().NativeHalfType &&
1153 !Context.getLangOpts().HalfArgsAndReturns)
Richard Smith2d6a5672012-01-14 04:30:29 +00001154 return llvm::ConstantInt::get(VMContext, Init.bitcastToAPInt());
1155 else
1156 return llvm::ConstantFP::get(VMContext, Init);
1157 }
1158 case APValue::ComplexFloat: {
1159 llvm::Constant *Complex[2];
1160
1161 Complex[0] = llvm::ConstantFP::get(VMContext,
1162 Value.getComplexFloatReal());
1163 Complex[1] = llvm::ConstantFP::get(VMContext,
1164 Value.getComplexFloatImag());
1165
1166 // FIXME: the target may want to specify that this is packed.
1167 llvm::StructType *STy = llvm::StructType::get(Complex[0]->getType(),
1168 Complex[1]->getType(),
1169 NULL);
1170 return llvm::ConstantStruct::get(STy, Complex);
1171 }
1172 case APValue::Vector: {
1173 SmallVector<llvm::Constant *, 4> Inits;
1174 unsigned NumElts = Value.getVectorLength();
1175
1176 for (unsigned i = 0; i != NumElts; ++i) {
1177 const APValue &Elt = Value.getVectorElt(i);
1178 if (Elt.isInt())
1179 Inits.push_back(llvm::ConstantInt::get(VMContext, Elt.getInt()));
1180 else
1181 Inits.push_back(llvm::ConstantFP::get(VMContext, Elt.getFloat()));
1182 }
1183 return llvm::ConstantVector::get(Inits);
1184 }
1185 case APValue::AddrLabelDiff: {
1186 const AddrLabelExpr *LHSExpr = Value.getAddrLabelDiffLHS();
1187 const AddrLabelExpr *RHSExpr = Value.getAddrLabelDiffRHS();
1188 llvm::Constant *LHS = EmitConstantExpr(LHSExpr, LHSExpr->getType(), CGF);
1189 llvm::Constant *RHS = EmitConstantExpr(RHSExpr, RHSExpr->getType(), CGF);
1190
1191 // Compute difference
1192 llvm::Type *ResultType = getTypes().ConvertType(DestType);
1193 LHS = llvm::ConstantExpr::getPtrToInt(LHS, IntPtrTy);
1194 RHS = llvm::ConstantExpr::getPtrToInt(RHS, IntPtrTy);
1195 llvm::Constant *AddrLabelDiff = llvm::ConstantExpr::getSub(LHS, RHS);
1196
1197 // LLVM is a bit sensitive about the exact format of the
1198 // address-of-label difference; make sure to truncate after
1199 // the subtraction.
1200 return llvm::ConstantExpr::getTruncOrBitCast(AddrLabelDiff, ResultType);
1201 }
1202 case APValue::Struct:
1203 case APValue::Union:
1204 return ConstStructBuilder::BuildStruct(*this, CGF, Value, DestType);
1205 case APValue::Array: {
1206 const ArrayType *CAT = Context.getAsArrayType(DestType);
1207 unsigned NumElements = Value.getArraySize();
1208 unsigned NumInitElts = Value.getArrayInitializedElts();
1209
1210 std::vector<llvm::Constant*> Elts;
1211 Elts.reserve(NumElements);
1212
1213 // Emit array filler, if there is one.
Stephen Hines6bcf27b2014-05-29 04:14:42 -07001214 llvm::Constant *Filler = nullptr;
Richard Smith2d6a5672012-01-14 04:30:29 +00001215 if (Value.hasArrayFiller())
Richard Smitha3ca41f2012-03-02 23:27:11 +00001216 Filler = EmitConstantValueForMemory(Value.getArrayFiller(),
1217 CAT->getElementType(), CGF);
Richard Smith2d6a5672012-01-14 04:30:29 +00001218
1219 // Emit initializer elements.
Stephen Hines6bcf27b2014-05-29 04:14:42 -07001220 llvm::Type *CommonElementType = nullptr;
Richard Smith2d6a5672012-01-14 04:30:29 +00001221 for (unsigned I = 0; I < NumElements; ++I) {
1222 llvm::Constant *C = Filler;
1223 if (I < NumInitElts)
Richard Smitha3ca41f2012-03-02 23:27:11 +00001224 C = EmitConstantValueForMemory(Value.getArrayInitializedElt(I),
1225 CAT->getElementType(), CGF);
Jordan Rose41f3f3a2013-03-05 01:27:54 +00001226 else
1227 assert(Filler && "Missing filler for implicit elements of initializer");
Richard Smith2d6a5672012-01-14 04:30:29 +00001228 if (I == 0)
1229 CommonElementType = C->getType();
1230 else if (C->getType() != CommonElementType)
Stephen Hines6bcf27b2014-05-29 04:14:42 -07001231 CommonElementType = nullptr;
Richard Smith2d6a5672012-01-14 04:30:29 +00001232 Elts.push_back(C);
1233 }
1234
1235 if (!CommonElementType) {
1236 // FIXME: Try to avoid packing the array
1237 std::vector<llvm::Type*> Types;
Bill Wendlingf9ea9532012-02-07 00:13:27 +00001238 Types.reserve(NumElements);
Bill Wendlingfd3e5ef2012-02-06 23:46:08 +00001239 for (unsigned i = 0, e = Elts.size(); i < e; ++i)
Richard Smith2d6a5672012-01-14 04:30:29 +00001240 Types.push_back(Elts[i]->getType());
1241 llvm::StructType *SType = llvm::StructType::get(VMContext, Types, true);
1242 return llvm::ConstantStruct::get(SType, Elts);
1243 }
1244
1245 llvm::ArrayType *AType =
1246 llvm::ArrayType::get(CommonElementType, NumElements);
1247 return llvm::ConstantArray::get(AType, Elts);
1248 }
1249 case APValue::MemberPointer:
1250 return getCXXABI().EmitMemberPointer(Value, DestType);
1251 }
1252 llvm_unreachable("Unknown APValue kind");
1253}
1254
Richard Smith7401cf52011-11-22 22:48:32 +00001255llvm::Constant *
Richard Smitha3ca41f2012-03-02 23:27:11 +00001256CodeGenModule::EmitConstantValueForMemory(const APValue &Value,
1257 QualType DestType,
1258 CodeGenFunction *CGF) {
1259 llvm::Constant *C = EmitConstantValue(Value, DestType, CGF);
1260 if (C->getType()->isIntegerTy(1)) {
1261 llvm::Type *BoolTy = getTypes().ConvertTypeForMem(DestType);
1262 C = llvm::ConstantExpr::getZExt(C, BoolTy);
1263 }
1264 return C;
1265}
1266
1267llvm::Constant *
Richard Smith7401cf52011-11-22 22:48:32 +00001268CodeGenModule::GetAddrOfConstantCompoundLiteral(const CompoundLiteralExpr *E) {
1269 assert(E->isFileScope() && "not a file-scope compound literal expr");
Stephen Hines6bcf27b2014-05-29 04:14:42 -07001270 return ConstExprEmitter(*this, nullptr).EmitLValue(E);
Richard Smith7401cf52011-11-22 22:48:32 +00001271}
1272
John McCall5808ce42011-02-03 08:15:49 +00001273llvm::Constant *
1274CodeGenModule::getMemberPointerConstant(const UnaryOperator *uo) {
1275 // Member pointer constants always have a very particular form.
1276 const MemberPointerType *type = cast<MemberPointerType>(uo->getType());
1277 const ValueDecl *decl = cast<DeclRefExpr>(uo->getSubExpr())->getDecl();
1278
1279 // A member function pointer.
1280 if (const CXXMethodDecl *method = dyn_cast<CXXMethodDecl>(decl))
1281 return getCXXABI().EmitMemberPointer(method);
1282
1283 // Otherwise, a member data pointer.
Richard Smith2d6a5672012-01-14 04:30:29 +00001284 uint64_t fieldOffset = getContext().getFieldOffset(decl);
John McCall5808ce42011-02-03 08:15:49 +00001285 CharUnits chars = getContext().toCharUnitsFromBits((int64_t) fieldOffset);
1286 return getCXXABI().EmitMemberDataPointer(type, chars);
1287}
1288
John McCall9b7da1c2011-02-15 06:40:56 +00001289static llvm::Constant *EmitNullConstantForBase(CodeGenModule &CGM,
Chris Lattner2acc6e32011-07-18 04:24:23 +00001290 llvm::Type *baseType,
John McCall9b7da1c2011-02-15 06:40:56 +00001291 const CXXRecordDecl *base);
1292
Anders Carlssonada4b322010-11-22 18:42:14 +00001293static llvm::Constant *EmitNullConstant(CodeGenModule &CGM,
John McCall9b7da1c2011-02-15 06:40:56 +00001294 const CXXRecordDecl *record,
1295 bool asCompleteObject) {
1296 const CGRecordLayout &layout = CGM.getTypes().getCGRecordLayout(record);
Chris Lattner2acc6e32011-07-18 04:24:23 +00001297 llvm::StructType *structure =
John McCall9b7da1c2011-02-15 06:40:56 +00001298 (asCompleteObject ? layout.getLLVMType()
1299 : layout.getBaseSubobjectLLVMType());
Anders Carlssonada4b322010-11-22 18:42:14 +00001300
John McCall9b7da1c2011-02-15 06:40:56 +00001301 unsigned numElements = structure->getNumElements();
1302 std::vector<llvm::Constant *> elements(numElements);
Anders Carlssonada4b322010-11-22 18:42:14 +00001303
John McCall9b7da1c2011-02-15 06:40:56 +00001304 // Fill in all the bases.
Stephen Hines651f13c2014-04-23 16:59:28 -07001305 for (const auto &I : record->bases()) {
1306 if (I.isVirtual()) {
John McCall9b7da1c2011-02-15 06:40:56 +00001307 // Ignore virtual bases; if we're laying out for a complete
1308 // object, we'll lay these out later.
Anders Carlssonada4b322010-11-22 18:42:14 +00001309 continue;
1310 }
1311
John McCall9b7da1c2011-02-15 06:40:56 +00001312 const CXXRecordDecl *base =
Stephen Hines651f13c2014-04-23 16:59:28 -07001313 cast<CXXRecordDecl>(I.getType()->castAs<RecordType>()->getDecl());
Anders Carlssonada4b322010-11-22 18:42:14 +00001314
1315 // Ignore empty bases.
John McCall9b7da1c2011-02-15 06:40:56 +00001316 if (base->isEmpty())
Anders Carlssonada4b322010-11-22 18:42:14 +00001317 continue;
1318
John McCall9b7da1c2011-02-15 06:40:56 +00001319 unsigned fieldIndex = layout.getNonVirtualBaseLLVMFieldNo(base);
Chris Lattner2acc6e32011-07-18 04:24:23 +00001320 llvm::Type *baseType = structure->getElementType(fieldIndex);
John McCall9b7da1c2011-02-15 06:40:56 +00001321 elements[fieldIndex] = EmitNullConstantForBase(CGM, baseType, base);
Anders Carlssonada4b322010-11-22 18:42:14 +00001322 }
1323
John McCall9b7da1c2011-02-15 06:40:56 +00001324 // Fill in all the fields.
Stephen Hines651f13c2014-04-23 16:59:28 -07001325 for (const auto *Field : record->fields()) {
Eli Friedman26e80cd2011-12-07 01:30:11 +00001326 // Fill in non-bitfields. (Bitfields always use a zero pattern, which we
1327 // will fill in later.)
Stephen Hines651f13c2014-04-23 16:59:28 -07001328 if (!Field->isBitField()) {
1329 unsigned fieldIndex = layout.getLLVMFieldNo(Field);
1330 elements[fieldIndex] = CGM.EmitNullConstant(Field->getType());
Eli Friedman26e80cd2011-12-07 01:30:11 +00001331 }
1332
1333 // For unions, stop after the first named field.
Stephen Hines651f13c2014-04-23 16:59:28 -07001334 if (record->isUnion() && Field->getDeclName())
Eli Friedman26e80cd2011-12-07 01:30:11 +00001335 break;
John McCall9b7da1c2011-02-15 06:40:56 +00001336 }
1337
1338 // Fill in the virtual bases, if we're working with the complete object.
1339 if (asCompleteObject) {
Stephen Hines651f13c2014-04-23 16:59:28 -07001340 for (const auto &I : record->vbases()) {
John McCall9b7da1c2011-02-15 06:40:56 +00001341 const CXXRecordDecl *base =
Stephen Hines651f13c2014-04-23 16:59:28 -07001342 cast<CXXRecordDecl>(I.getType()->castAs<RecordType>()->getDecl());
John McCall9b7da1c2011-02-15 06:40:56 +00001343
1344 // Ignore empty bases.
1345 if (base->isEmpty())
1346 continue;
1347
1348 unsigned fieldIndex = layout.getVirtualBaseIndex(base);
1349
1350 // We might have already laid this field out.
1351 if (elements[fieldIndex]) continue;
1352
Chris Lattner2acc6e32011-07-18 04:24:23 +00001353 llvm::Type *baseType = structure->getElementType(fieldIndex);
John McCall9b7da1c2011-02-15 06:40:56 +00001354 elements[fieldIndex] = EmitNullConstantForBase(CGM, baseType, base);
1355 }
Anders Carlssonada4b322010-11-22 18:42:14 +00001356 }
1357
1358 // Now go through all other fields and zero them out.
John McCall9b7da1c2011-02-15 06:40:56 +00001359 for (unsigned i = 0; i != numElements; ++i) {
1360 if (!elements[i])
1361 elements[i] = llvm::Constant::getNullValue(structure->getElementType(i));
Anders Carlssonada4b322010-11-22 18:42:14 +00001362 }
1363
John McCall9b7da1c2011-02-15 06:40:56 +00001364 return llvm::ConstantStruct::get(structure, elements);
1365}
1366
1367/// Emit the null constant for a base subobject.
1368static llvm::Constant *EmitNullConstantForBase(CodeGenModule &CGM,
Chris Lattner2acc6e32011-07-18 04:24:23 +00001369 llvm::Type *baseType,
John McCall9b7da1c2011-02-15 06:40:56 +00001370 const CXXRecordDecl *base) {
1371 const CGRecordLayout &baseLayout = CGM.getTypes().getCGRecordLayout(base);
1372
1373 // Just zero out bases that don't have any pointer to data members.
1374 if (baseLayout.isZeroInitializableAsBase())
1375 return llvm::Constant::getNullValue(baseType);
1376
Stephen Hines176edba2014-12-01 14:53:08 -08001377 // Otherwise, we can just use its null constant.
1378 return EmitNullConstant(CGM, base, /*asCompleteObject=*/false);
Anders Carlssonada4b322010-11-22 18:42:14 +00001379}
1380
Eli Friedman0f593122009-04-13 21:47:26 +00001381llvm::Constant *CodeGenModule::EmitNullConstant(QualType T) {
John McCallf16aa102010-08-22 21:01:12 +00001382 if (getTypes().isZeroInitializable(T))
Anders Carlssonad3e7112009-08-24 17:16:23 +00001383 return llvm::Constant::getNullValue(getTypes().ConvertTypeForMem(T));
Anders Carlsson2c12d032010-02-02 05:17:25 +00001384
Anders Carlsson237957c2009-08-09 18:26:27 +00001385 if (const ConstantArrayType *CAT = Context.getAsConstantArrayType(T)) {
Chris Lattner6ef016f2012-02-06 22:00:56 +00001386 llvm::ArrayType *ATy =
1387 cast<llvm::ArrayType>(getTypes().ConvertTypeForMem(T));
Mike Stump1eb44332009-09-09 15:08:12 +00001388
Anders Carlsson237957c2009-08-09 18:26:27 +00001389 QualType ElementTy = CAT->getElementType();
1390
Anders Carlsson2c12d032010-02-02 05:17:25 +00001391 llvm::Constant *Element = EmitNullConstant(ElementTy);
1392 unsigned NumElements = CAT->getSize().getZExtValue();
Chris Lattner6ef016f2012-02-06 22:00:56 +00001393
1394 if (Element->isNullValue())
1395 return llvm::ConstantAggregateZero::get(ATy);
1396
1397 SmallVector<llvm::Constant *, 8> Array(NumElements, Element);
Anders Carlsson2c12d032010-02-02 05:17:25 +00001398 return llvm::ConstantArray::get(ATy, Array);
Anders Carlsson237957c2009-08-09 18:26:27 +00001399 }
Anders Carlssonfc3eaa42009-08-23 01:25:01 +00001400
1401 if (const RecordType *RT = T->getAs<RecordType>()) {
Anders Carlsson2c12d032010-02-02 05:17:25 +00001402 const CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl());
John McCall9b7da1c2011-02-15 06:40:56 +00001403 return ::EmitNullConstant(*this, RD, /*complete object*/ true);
Anders Carlssonfc3eaa42009-08-23 01:25:01 +00001404 }
Mike Stump1eb44332009-09-09 15:08:12 +00001405
Anders Carlssona83fb4b2010-05-18 16:51:41 +00001406 assert(T->isMemberPointerType() && "Should only see member pointers here!");
Anders Carlsson2c12d032010-02-02 05:17:25 +00001407 assert(!T->getAs<MemberPointerType>()->getPointeeType()->isFunctionType() &&
1408 "Should only see pointers to data members here!");
Stephen Hines176edba2014-12-01 14:53:08 -08001409
John McCall5808ce42011-02-03 08:15:49 +00001410 return getCXXABI().EmitNullMemberPointer(T->castAs<MemberPointerType>());
Eli Friedman0f593122009-04-13 21:47:26 +00001411}
Eli Friedman2ed7cb62011-10-14 02:27:24 +00001412
1413llvm::Constant *
1414CodeGenModule::EmitNullConstantForBase(const CXXRecordDecl *Record) {
1415 return ::EmitNullConstant(*this, Record, false);
1416}