blob: c67b41f4e2dddf5bcfe62d2a571d9b273bf009f5 [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"
15#include "CodeGenModule.h"
Daniel Dunbar89da6ad2008-08-13 00:59:25 +000016#include "CGObjCRuntime.h"
Chris Lattnere50e9012008-10-06 05:59:01 +000017#include "clang/AST/APValue.h"
Daniel Dunbarad319a72008-08-11 05:00:27 +000018#include "clang/AST/ASTContext.h"
Anders Carlssone1d5ca52009-07-24 15:20:52 +000019#include "clang/AST/RecordLayout.h"
Daniel Dunbarad319a72008-08-11 05:00:27 +000020#include "clang/AST/StmtVisitor.h"
Chris Lattner15ba9492009-06-14 01:54:56 +000021#include "clang/Basic/Builtins.h"
Anders Carlsson610ee712008-01-26 01:36:00 +000022#include "llvm/Constants.h"
23#include "llvm/Function.h"
24#include "llvm/GlobalVariable.h"
25#include "llvm/Support/Compiler.h"
Eli Friedmana2eaffc2008-05-30 10:24:46 +000026#include "llvm/Target/TargetData.h"
Anders Carlsson610ee712008-01-26 01:36:00 +000027using namespace clang;
28using namespace CodeGen;
29
30namespace {
Anders Carlssone1d5ca52009-07-24 15:20:52 +000031
32class VISIBILITY_HIDDEN ConstStructBuilder {
33 CodeGenModule &CGM;
34 CodeGenFunction *CGF;
35
Mike Stump11289f42009-09-09 15:08:12 +000036 bool Packed;
Anders Carlsson87a9a342009-07-25 00:24:56 +000037
Anders Carlssone1d5ca52009-07-24 15:20:52 +000038 unsigned NextFieldOffsetInBytes;
Mike Stump11289f42009-09-09 15:08:12 +000039
Anders Carlsson39e3eb12009-10-02 02:15:20 +000040 unsigned LLVMStructAlignment;
41
Anders Carlssone1d5ca52009-07-24 15:20:52 +000042 std::vector<llvm::Constant *> Elements;
43
44 ConstStructBuilder(CodeGenModule &CGM, CodeGenFunction *CGF)
Anders Carlsson39e3eb12009-10-02 02:15:20 +000045 : CGM(CGM), CGF(CGF), Packed(false), NextFieldOffsetInBytes(0),
46 LLVMStructAlignment(1) { }
Anders Carlssone1d5ca52009-07-24 15:20:52 +000047
Mike Stump11289f42009-09-09 15:08:12 +000048 bool AppendField(const FieldDecl *Field, uint64_t FieldOffset,
Anders Carlssone1d5ca52009-07-24 15:20:52 +000049 const Expr *InitExpr) {
50 uint64_t FieldOffsetInBytes = FieldOffset / 8;
Mike Stump11289f42009-09-09 15:08:12 +000051
52 assert(NextFieldOffsetInBytes <= FieldOffsetInBytes
Anders Carlssone1d5ca52009-07-24 15:20:52 +000053 && "Field offset mismatch!");
Mike Stump11289f42009-09-09 15:08:12 +000054
Anders Carlssone1d5ca52009-07-24 15:20:52 +000055 // Emit the field.
56 llvm::Constant *C = CGM.EmitConstantExpr(InitExpr, Field->getType(), CGF);
57 if (!C)
58 return false;
59
60 unsigned FieldAlignment = getAlignment(C);
Mike Stump11289f42009-09-09 15:08:12 +000061
Anders Carlssone1d5ca52009-07-24 15:20:52 +000062 // Round up the field offset to the alignment of the field type.
Mike Stump11289f42009-09-09 15:08:12 +000063 uint64_t AlignedNextFieldOffsetInBytes =
Anders Carlssone1d5ca52009-07-24 15:20:52 +000064 llvm::RoundUpToAlignment(NextFieldOffsetInBytes, FieldAlignment);
Mike Stump11289f42009-09-09 15:08:12 +000065
Anders Carlssone1d5ca52009-07-24 15:20:52 +000066 if (AlignedNextFieldOffsetInBytes > FieldOffsetInBytes) {
Anders Carlsson3b484b92009-07-25 01:40:29 +000067 assert(!Packed && "Alignment is wrong even with a packed struct!");
Mike Stump11289f42009-09-09 15:08:12 +000068
Anders Carlsson3b484b92009-07-25 01:40:29 +000069 // Convert the struct to a packed struct.
Anders Carlsson39e3eb12009-10-02 02:15:20 +000070 ConvertStructToPacked();
71
Anders Carlsson3b484b92009-07-25 01:40:29 +000072 AlignedNextFieldOffsetInBytes = NextFieldOffsetInBytes;
Anders Carlssone1d5ca52009-07-24 15:20:52 +000073 }
74
75 if (AlignedNextFieldOffsetInBytes < FieldOffsetInBytes) {
76 // We need to append padding.
Anders Carlsson3b484b92009-07-25 01:40:29 +000077 AppendPadding(FieldOffsetInBytes - NextFieldOffsetInBytes);
Mike Stump11289f42009-09-09 15:08:12 +000078
Anders Carlssone1d5ca52009-07-24 15:20:52 +000079 assert(NextFieldOffsetInBytes == FieldOffsetInBytes &&
80 "Did not add enough padding!");
Mike Stump11289f42009-09-09 15:08:12 +000081
Anders Carlssone1d5ca52009-07-24 15:20:52 +000082 AlignedNextFieldOffsetInBytes = NextFieldOffsetInBytes;
83 }
Mike Stump11289f42009-09-09 15:08:12 +000084
Anders Carlssone1d5ca52009-07-24 15:20:52 +000085 // Add the field.
86 Elements.push_back(C);
87 NextFieldOffsetInBytes = AlignedNextFieldOffsetInBytes + getSizeInBytes(C);
Anders Carlsson8a744ad2009-10-02 04:52:12 +000088
89 if (Packed)
90 assert(LLVMStructAlignment == 1 && "Packed struct not byte-aligned!");
91 else
92 LLVMStructAlignment = std::max(LLVMStructAlignment, FieldAlignment);
93
Anders Carlssone1d5ca52009-07-24 15:20:52 +000094 return true;
95 }
Mike Stump11289f42009-09-09 15:08:12 +000096
97 bool AppendBitField(const FieldDecl *Field, uint64_t FieldOffset,
Anders Carlssonba4c6d12009-07-27 01:23:51 +000098 const Expr *InitExpr) {
Mike Stump11289f42009-09-09 15:08:12 +000099 llvm::ConstantInt *CI =
100 cast_or_null<llvm::ConstantInt>(CGM.EmitConstantExpr(InitExpr,
101 Field->getType(),
Anders Carlssonba4c6d12009-07-27 01:23:51 +0000102 CGF));
103 // FIXME: Can this ever happen?
104 if (!CI)
105 return false;
Mike Stump11289f42009-09-09 15:08:12 +0000106
Anders Carlssonba4c6d12009-07-27 01:23:51 +0000107 if (FieldOffset > NextFieldOffsetInBytes * 8) {
Anders Carlssonbff6b492009-07-27 02:56:37 +0000108 // We need to add padding.
Mike Stump11289f42009-09-09 15:08:12 +0000109 uint64_t NumBytes =
110 llvm::RoundUpToAlignment(FieldOffset -
Anders Carlssonbff6b492009-07-27 02:56:37 +0000111 NextFieldOffsetInBytes * 8, 8) / 8;
Mike Stump11289f42009-09-09 15:08:12 +0000112
Anders Carlssonbff6b492009-07-27 02:56:37 +0000113 AppendPadding(NumBytes);
Anders Carlssonba4c6d12009-07-27 01:23:51 +0000114 }
115
Mike Stump11289f42009-09-09 15:08:12 +0000116 uint64_t FieldSize =
Anders Carlssonba4c6d12009-07-27 01:23:51 +0000117 Field->getBitWidth()->EvaluateAsInt(CGM.getContext()).getZExtValue();
118
119 llvm::APInt FieldValue = CI->getValue();
Mike Stump11289f42009-09-09 15:08:12 +0000120
Anders Carlssonba4c6d12009-07-27 01:23:51 +0000121 // Promote the size of FieldValue if necessary
122 // FIXME: This should never occur, but currently it can because initializer
123 // constants are cast to bool, and because clang is not enforcing bitfield
124 // width limits.
125 if (FieldSize > FieldValue.getBitWidth())
126 FieldValue.zext(FieldSize);
Mike Stump11289f42009-09-09 15:08:12 +0000127
Anders Carlssonba4c6d12009-07-27 01:23:51 +0000128 // Truncate the size of FieldValue to the bit field size.
129 if (FieldSize < FieldValue.getBitWidth())
130 FieldValue.trunc(FieldSize);
131
132 if (FieldOffset < NextFieldOffsetInBytes * 8) {
Anders Carlssonbff6b492009-07-27 02:56:37 +0000133 // Either part of the field or the entire field can go into the previous
134 // byte.
135 assert(!Elements.empty() && "Elements can't be empty!");
Mike Stump11289f42009-09-09 15:08:12 +0000136
137 unsigned BitsInPreviousByte =
Anders Carlssonbff6b492009-07-27 02:56:37 +0000138 NextFieldOffsetInBytes * 8 - FieldOffset;
Mike Stump11289f42009-09-09 15:08:12 +0000139
140 bool FitsCompletelyInPreviousByte =
Anders Carlssonbff6b492009-07-27 02:56:37 +0000141 BitsInPreviousByte >= FieldValue.getBitWidth();
Mike Stump11289f42009-09-09 15:08:12 +0000142
Anders Carlssonbff6b492009-07-27 02:56:37 +0000143 llvm::APInt Tmp = FieldValue;
Mike Stump11289f42009-09-09 15:08:12 +0000144
Anders Carlssonbff6b492009-07-27 02:56:37 +0000145 if (!FitsCompletelyInPreviousByte) {
146 unsigned NewFieldWidth = FieldSize - BitsInPreviousByte;
Mike Stump11289f42009-09-09 15:08:12 +0000147
Anders Carlssonbff6b492009-07-27 02:56:37 +0000148 if (CGM.getTargetData().isBigEndian()) {
149 Tmp = Tmp.lshr(NewFieldWidth);
150 Tmp.trunc(BitsInPreviousByte);
151
152 // We want the remaining high bits.
153 FieldValue.trunc(NewFieldWidth);
154 } else {
155 Tmp.trunc(BitsInPreviousByte);
156
157 // We want the remaining low bits.
158 FieldValue = FieldValue.lshr(BitsInPreviousByte);
159 FieldValue.trunc(NewFieldWidth);
160 }
161 }
Mike Stump11289f42009-09-09 15:08:12 +0000162
Anders Carlssonbff6b492009-07-27 02:56:37 +0000163 Tmp.zext(8);
164 if (CGM.getTargetData().isBigEndian()) {
165 if (FitsCompletelyInPreviousByte)
166 Tmp = Tmp.shl(BitsInPreviousByte - FieldValue.getBitWidth());
167 } else {
168 Tmp = Tmp.shl(8 - BitsInPreviousByte);
169 }
170
171 // Or in the bits that go into the previous byte.
172 Tmp |= cast<llvm::ConstantInt>(Elements.back())->getValue();
173 Elements.back() = llvm::ConstantInt::get(CGM.getLLVMContext(), Tmp);
Mike Stump11289f42009-09-09 15:08:12 +0000174
Anders Carlssonbff6b492009-07-27 02:56:37 +0000175 if (FitsCompletelyInPreviousByte)
176 return true;
Anders Carlssonba4c6d12009-07-27 01:23:51 +0000177 }
Mike Stump11289f42009-09-09 15:08:12 +0000178
Anders Carlssonba4c6d12009-07-27 01:23:51 +0000179 while (FieldValue.getBitWidth() > 8) {
180 llvm::APInt Tmp;
Mike Stump11289f42009-09-09 15:08:12 +0000181
Anders Carlssonba4c6d12009-07-27 01:23:51 +0000182 if (CGM.getTargetData().isBigEndian()) {
Anders Carlssonba4c6d12009-07-27 01:23:51 +0000183 // We want the high bits.
Anders Carlssonbff6b492009-07-27 02:56:37 +0000184 Tmp = FieldValue;
185 Tmp = Tmp.lshr(Tmp.getBitWidth() - 8);
186 Tmp.trunc(8);
187 } else {
188 // We want the low bits.
189 Tmp = FieldValue;
190 Tmp.trunc(8);
Mike Stump11289f42009-09-09 15:08:12 +0000191
Anders Carlssonbff6b492009-07-27 02:56:37 +0000192 FieldValue = FieldValue.lshr(8);
Anders Carlssonba4c6d12009-07-27 01:23:51 +0000193 }
Mike Stump11289f42009-09-09 15:08:12 +0000194
Anders Carlssonba4c6d12009-07-27 01:23:51 +0000195 Elements.push_back(llvm::ConstantInt::get(CGM.getLLVMContext(), Tmp));
196 NextFieldOffsetInBytes++;
Mike Stump11289f42009-09-09 15:08:12 +0000197
Anders Carlssonba4c6d12009-07-27 01:23:51 +0000198 FieldValue.trunc(FieldValue.getBitWidth() - 8);
199 }
200
201 assert(FieldValue.getBitWidth() > 0 &&
202 "Should have at least one bit left!");
203 assert(FieldValue.getBitWidth() <= 8 &&
204 "Should not have more than a byte left!");
205
206 if (FieldValue.getBitWidth() < 8) {
207 if (CGM.getTargetData().isBigEndian()) {
208 unsigned BitWidth = FieldValue.getBitWidth();
Mike Stump11289f42009-09-09 15:08:12 +0000209
Anders Carlssonba4c6d12009-07-27 01:23:51 +0000210 FieldValue.zext(8);
211 FieldValue = FieldValue << (8 - BitWidth);
Mike Stump11289f42009-09-09 15:08:12 +0000212 } else
Anders Carlssonba4c6d12009-07-27 01:23:51 +0000213 FieldValue.zext(8);
214 }
215
216 // Append the last element.
217 Elements.push_back(llvm::ConstantInt::get(CGM.getLLVMContext(),
218 FieldValue));
219 NextFieldOffsetInBytes++;
220 return true;
221 }
Mike Stump11289f42009-09-09 15:08:12 +0000222
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000223 void AppendPadding(uint64_t NumBytes) {
224 if (!NumBytes)
225 return;
226
Owen Anderson41a75022009-08-13 21:57:51 +0000227 const llvm::Type *Ty = llvm::Type::getInt8Ty(CGM.getLLVMContext());
Mike Stump11289f42009-09-09 15:08:12 +0000228 if (NumBytes > 1)
Owen Anderson9793f0e2009-07-29 22:16:19 +0000229 Ty = llvm::ArrayType::get(Ty, NumBytes);
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000230
Owen Anderson0b75f232009-07-31 20:28:54 +0000231 llvm::Constant *C = llvm::Constant::getNullValue(Ty);
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000232 Elements.push_back(C);
233 assert(getAlignment(C) == 1 && "Padding must have 1 byte alignment!");
Mike Stump11289f42009-09-09 15:08:12 +0000234
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000235 NextFieldOffsetInBytes += getSizeInBytes(C);
236 }
237
238 void AppendTailPadding(uint64_t RecordSize) {
239 assert(RecordSize % 8 == 0 && "Invalid record size!");
240
241 uint64_t RecordSizeInBytes = RecordSize / 8;
242 assert(NextFieldOffsetInBytes <= RecordSizeInBytes && "Size mismatch!");
Mike Stump11289f42009-09-09 15:08:12 +0000243
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000244 unsigned NumPadBytes = RecordSizeInBytes - NextFieldOffsetInBytes;
245 AppendPadding(NumPadBytes);
246 }
Mike Stump11289f42009-09-09 15:08:12 +0000247
Anders Carlsson39e3eb12009-10-02 02:15:20 +0000248 void ConvertStructToPacked() {
249 std::vector<llvm::Constant *> PackedElements;
250 uint64_t ElementOffsetInBytes = 0;
251
252 for (unsigned i = 0, e = Elements.size(); i != e; ++i) {
253 llvm::Constant *C = Elements[i];
254
255 unsigned ElementAlign =
256 CGM.getTargetData().getABITypeAlignment(C->getType());
257 uint64_t AlignedElementOffsetInBytes =
258 llvm::RoundUpToAlignment(ElementOffsetInBytes, ElementAlign);
259
260 if (AlignedElementOffsetInBytes > ElementOffsetInBytes) {
261 // We need some padding.
262 uint64_t NumBytes =
263 AlignedElementOffsetInBytes - ElementOffsetInBytes;
264
265 const llvm::Type *Ty = llvm::Type::getInt8Ty(CGF->getLLVMContext());
266 if (NumBytes > 1)
267 Ty = llvm::ArrayType::get(Ty, NumBytes);
268
269 llvm::Constant *Padding = llvm::Constant::getNullValue(Ty);
270 PackedElements.push_back(Padding);
271 ElementOffsetInBytes += getSizeInBytes(Padding);
272 }
273
274 PackedElements.push_back(C);
275 ElementOffsetInBytes += getSizeInBytes(C);
276 }
277
278 assert(ElementOffsetInBytes == NextFieldOffsetInBytes &&
279 "Packing the struct changed its size!");
280
281 Elements = PackedElements;
282 LLVMStructAlignment = 1;
283 Packed = true;
284 }
285
Eli Friedman62561fe2009-08-01 23:11:24 +0000286 bool Build(InitListExpr *ILE) {
Ted Kremenekc23c7e62009-07-29 21:53:49 +0000287 RecordDecl *RD = ILE->getType()->getAs<RecordType>()->getDecl();
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000288 const ASTRecordLayout &Layout = CGM.getContext().getASTRecordLayout(RD);
Mike Stump11289f42009-09-09 15:08:12 +0000289
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000290 unsigned FieldNo = 0;
291 unsigned ElementNo = 0;
Mike Stump11289f42009-09-09 15:08:12 +0000292 for (RecordDecl::field_iterator Field = RD->field_begin(),
293 FieldEnd = RD->field_end();
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000294 ElementNo < ILE->getNumInits() && Field != FieldEnd;
295 ++Field, ++FieldNo) {
Eli Friedman62561fe2009-08-01 23:11:24 +0000296 if (RD->isUnion() && ILE->getInitializedFieldInUnion() != *Field)
297 continue;
298
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000299 if (Field->isBitField()) {
300 if (!Field->getIdentifier())
301 continue;
Mike Stump11289f42009-09-09 15:08:12 +0000302
Anders Carlssonba4c6d12009-07-27 01:23:51 +0000303 if (!AppendBitField(*Field, Layout.getFieldOffset(FieldNo),
304 ILE->getInit(ElementNo)))
305 return false;
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000306 } else {
307 if (!AppendField(*Field, Layout.getFieldOffset(FieldNo),
308 ILE->getInit(ElementNo)))
309 return false;
310 }
Mike Stump11289f42009-09-09 15:08:12 +0000311
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000312 ElementNo++;
313 }
Mike Stump11289f42009-09-09 15:08:12 +0000314
Anders Carlsson87a9a342009-07-25 00:24:56 +0000315 uint64_t LayoutSizeInBytes = Layout.getSize() / 8;
Mike Stump11289f42009-09-09 15:08:12 +0000316
Anders Carlsson87a9a342009-07-25 00:24:56 +0000317 if (NextFieldOffsetInBytes > LayoutSizeInBytes) {
318 // If the struct is bigger than the size of the record type,
319 // we must have a flexible array member at the end.
320 assert(RD->hasFlexibleArrayMember() &&
321 "Must have flexible array member if struct is bigger than type!");
Anders Carlsson39e3eb12009-10-02 02:15:20 +0000322
Anders Carlsson87a9a342009-07-25 00:24:56 +0000323 // No tail padding is necessary.
324 return true;
325 }
Mike Stump11289f42009-09-09 15:08:12 +0000326
Anders Carlsson39e3eb12009-10-02 02:15:20 +0000327 uint64_t LLVMSizeInBytes = llvm::RoundUpToAlignment(NextFieldOffsetInBytes,
328 LLVMStructAlignment);
329
330 // Check if we need to convert the struct to a packed struct.
331 if (NextFieldOffsetInBytes <= LayoutSizeInBytes &&
332 LLVMSizeInBytes > LayoutSizeInBytes) {
333 assert(!Packed && "Size mismatch!");
334
335 ConvertStructToPacked();
336 assert(NextFieldOffsetInBytes == LayoutSizeInBytes &&
337 "Converting to packed did not help!");
338 }
339
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000340 // Append tail padding if necessary.
341 AppendTailPadding(Layout.getSize());
Mike Stump11289f42009-09-09 15:08:12 +0000342
343 assert(Layout.getSize() / 8 == NextFieldOffsetInBytes &&
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000344 "Tail padding mismatch!");
Mike Stump11289f42009-09-09 15:08:12 +0000345
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000346 return true;
347 }
Mike Stump11289f42009-09-09 15:08:12 +0000348
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000349 unsigned getAlignment(const llvm::Constant *C) const {
350 if (Packed)
351 return 1;
Mike Stump11289f42009-09-09 15:08:12 +0000352
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000353 return CGM.getTargetData().getABITypeAlignment(C->getType());
354 }
Mike Stump11289f42009-09-09 15:08:12 +0000355
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000356 uint64_t getSizeInBytes(const llvm::Constant *C) const {
357 return CGM.getTargetData().getTypeAllocSize(C->getType());
358 }
Mike Stump11289f42009-09-09 15:08:12 +0000359
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000360public:
361 static llvm::Constant *BuildStruct(CodeGenModule &CGM, CodeGenFunction *CGF,
Eli Friedman62561fe2009-08-01 23:11:24 +0000362 InitListExpr *ILE) {
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000363 ConstStructBuilder Builder(CGM, CGF);
Mike Stump11289f42009-09-09 15:08:12 +0000364
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000365 if (!Builder.Build(ILE))
366 return 0;
Mike Stump11289f42009-09-09 15:08:12 +0000367
368 llvm::Constant *Result =
Daniel Dunbarf1ad6b72009-08-06 01:24:27 +0000369 llvm::ConstantStruct::get(CGM.getLLVMContext(),
Owen Anderson758428f2009-08-05 23:18:46 +0000370 Builder.Elements, Builder.Packed);
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000371
Anders Carlsson87a9a342009-07-25 00:24:56 +0000372 assert(llvm::RoundUpToAlignment(Builder.NextFieldOffsetInBytes,
Mike Stump11289f42009-09-09 15:08:12 +0000373 Builder.getAlignment(Result)) ==
Anders Carlsson87a9a342009-07-25 00:24:56 +0000374 Builder.getSizeInBytes(Result) && "Size mismatch!");
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000375
Anders Carlsson5e66fb52009-07-24 18:20:38 +0000376 return Result;
Anders Carlssone1d5ca52009-07-24 15:20:52 +0000377 }
378};
Mike Stump11289f42009-09-09 15:08:12 +0000379
380class VISIBILITY_HIDDEN ConstExprEmitter :
Anders Carlsson8a88c382008-01-26 04:30:23 +0000381 public StmtVisitor<ConstExprEmitter, llvm::Constant*> {
Anders Carlsson610ee712008-01-26 01:36:00 +0000382 CodeGenModule &CGM;
Lauro Ramos Venancio01a72ff2008-02-26 21:41:45 +0000383 CodeGenFunction *CGF;
Owen Anderson170229f2009-07-14 23:10:40 +0000384 llvm::LLVMContext &VMContext;
Anders Carlsson610ee712008-01-26 01:36:00 +0000385public:
Lauro Ramos Venancio01a72ff2008-02-26 21:41:45 +0000386 ConstExprEmitter(CodeGenModule &cgm, CodeGenFunction *cgf)
Owen Anderson170229f2009-07-14 23:10:40 +0000387 : CGM(cgm), CGF(cgf), VMContext(cgm.getLLVMContext()) {
Anders Carlsson610ee712008-01-26 01:36:00 +0000388 }
Mike Stump11289f42009-09-09 15:08:12 +0000389
Anders Carlsson610ee712008-01-26 01:36:00 +0000390 //===--------------------------------------------------------------------===//
391 // Visitor Methods
392 //===--------------------------------------------------------------------===//
Mike Stump11289f42009-09-09 15:08:12 +0000393
Anders Carlsson610ee712008-01-26 01:36:00 +0000394 llvm::Constant *VisitStmt(Stmt *S) {
Anders Carlsson24b14472009-03-03 16:43:34 +0000395 return 0;
Anders Carlsson610ee712008-01-26 01:36:00 +0000396 }
Mike Stump11289f42009-09-09 15:08:12 +0000397
398 llvm::Constant *VisitParenExpr(ParenExpr *PE) {
399 return Visit(PE->getSubExpr());
Anders Carlsson610ee712008-01-26 01:36:00 +0000400 }
Mike Stump11289f42009-09-09 15:08:12 +0000401
Anders Carlsson610ee712008-01-26 01:36:00 +0000402 llvm::Constant *VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
403 return Visit(E->getInitializer());
404 }
Mike Stump11289f42009-09-09 15:08:12 +0000405
Argyrios Kyrtzidis3bab3d22008-08-18 23:01:59 +0000406 llvm::Constant *VisitCastExpr(CastExpr* E) {
Anders Carlsson3b0c5dc2009-08-22 23:54:44 +0000407 switch (E->getCastKind()) {
408 case CastExpr::CK_ToUnion: {
409 // GCC cast to union extension
410 assert(E->getType()->isUnionType() &&
411 "Destination type is not union type!");
Nuno Lopes4d78cf02009-01-17 00:48:48 +0000412 const llvm::Type *Ty = ConvertType(E->getType());
Anders Carlsson80f97ab2009-04-08 04:48:15 +0000413 Expr *SubExpr = E->getSubExpr();
Anders Carlsson3b0c5dc2009-08-22 23:54:44 +0000414
Mike Stump11289f42009-09-09 15:08:12 +0000415 llvm::Constant *C =
Anders Carlssond65ab042009-07-31 21:38:39 +0000416 CGM.EmitConstantExpr(SubExpr, SubExpr->getType(), CGF);
417 if (!C)
418 return 0;
Mike Stump11289f42009-09-09 15:08:12 +0000419
Anders Carlssond65ab042009-07-31 21:38:39 +0000420 // Build a struct with the union sub-element as the first member,
421 // and padded to the appropriate size
422 std::vector<llvm::Constant*> Elts;
423 std::vector<const llvm::Type*> Types;
424 Elts.push_back(C);
425 Types.push_back(C->getType());
426 unsigned CurSize = CGM.getTargetData().getTypeAllocSize(C->getType());
427 unsigned TotalSize = CGM.getTargetData().getTypeAllocSize(Ty);
Mike Stump11289f42009-09-09 15:08:12 +0000428
Anders Carlssond65ab042009-07-31 21:38:39 +0000429 assert(CurSize <= TotalSize && "Union size mismatch!");
430 if (unsigned NumPadBytes = TotalSize - CurSize) {
Owen Anderson41a75022009-08-13 21:57:51 +0000431 const llvm::Type *Ty = llvm::Type::getInt8Ty(VMContext);
Anders Carlssond65ab042009-07-31 21:38:39 +0000432 if (NumPadBytes > 1)
433 Ty = llvm::ArrayType::get(Ty, NumPadBytes);
Anders Carlsson3b0c5dc2009-08-22 23:54:44 +0000434
Anders Carlssond65ab042009-07-31 21:38:39 +0000435 Elts.push_back(llvm::Constant::getNullValue(Ty));
436 Types.push_back(Ty);
437 }
Mike Stump11289f42009-09-09 15:08:12 +0000438
Anders Carlsson3b0c5dc2009-08-22 23:54:44 +0000439 llvm::StructType* STy =
440 llvm::StructType::get(C->getType()->getContext(), Types, false);
Anders Carlssond65ab042009-07-31 21:38:39 +0000441 return llvm::ConstantStruct::get(STy, Elts);
Nuno Lopes4d78cf02009-01-17 00:48:48 +0000442 }
Anders Carlssonfaeccc62009-08-23 00:02:11 +0000443 case CastExpr::CK_NullToMemberPointer:
444 return CGM.EmitNullConstant(E->getType());
Anders Carlsson3b0c5dc2009-08-22 23:54:44 +0000445 default: {
446 // FIXME: This should be handled by the CK_NoOp cast kind.
447 // Explicit and implicit no-op casts
448 QualType Ty = E->getType(), SubTy = E->getSubExpr()->getType();
449 if (CGM.getContext().hasSameUnqualifiedType(Ty, SubTy))
450 return Visit(E->getSubExpr());
451 return 0;
Eli Friedman825fe752009-02-22 07:29:04 +0000452 }
Anders Carlsson3b0c5dc2009-08-22 23:54:44 +0000453 }
Anders Carlsson610ee712008-01-26 01:36:00 +0000454 }
Devang Patela703a672008-02-05 02:39:50 +0000455
Chris Lattneraa9c7ae2008-04-08 04:40:51 +0000456 llvm::Constant *VisitCXXDefaultArgExpr(CXXDefaultArgExpr *DAE) {
457 return Visit(DAE->getExpr());
458 }
459
Eli Friedmana2eaffc2008-05-30 10:24:46 +0000460 llvm::Constant *EmitArrayInitialization(InitListExpr *ILE) {
Eli Friedman115e9892008-02-21 17:45:41 +0000461 std::vector<llvm::Constant*> Elts;
Eli Friedmana2eaffc2008-05-30 10:24:46 +0000462 const llvm::ArrayType *AType =
463 cast<llvm::ArrayType>(ConvertType(ILE->getType()));
Eli Friedman115e9892008-02-21 17:45:41 +0000464 unsigned NumInitElements = ILE->getNumInits();
465 // FIXME: Check for wide strings
Chris Lattnerd7e7b8e2009-02-24 22:18:39 +0000466 // FIXME: Check for NumInitElements exactly equal to 1??
Mike Stump11289f42009-09-09 15:08:12 +0000467 if (NumInitElements > 0 &&
Chris Lattnerd7e7b8e2009-02-24 22:18:39 +0000468 (isa<StringLiteral>(ILE->getInit(0)) ||
469 isa<ObjCEncodeExpr>(ILE->getInit(0))) &&
Chris Lattner7adf0762008-08-04 07:31:14 +0000470 ILE->getType()->getArrayElementTypeNoTypeQual()->isCharType())
Eli Friedman115e9892008-02-21 17:45:41 +0000471 return Visit(ILE->getInit(0));
Devang Patela703a672008-02-05 02:39:50 +0000472 const llvm::Type *ElemTy = AType->getElementType();
473 unsigned NumElements = AType->getNumElements();
474
Mike Stump11289f42009-09-09 15:08:12 +0000475 // Initialising an array requires us to automatically
Devang Patela703a672008-02-05 02:39:50 +0000476 // initialise any elements that have not been initialised explicitly
477 unsigned NumInitableElts = std::min(NumInitElements, NumElements);
478
479 // Copy initializer elements.
480 unsigned i = 0;
Eli Friedman34994cb2008-05-30 19:58:50 +0000481 bool RewriteType = false;
Devang Patela703a672008-02-05 02:39:50 +0000482 for (; i < NumInitableElts; ++i) {
Anders Carlsson80f97ab2009-04-08 04:48:15 +0000483 Expr *Init = ILE->getInit(i);
484 llvm::Constant *C = CGM.EmitConstantExpr(Init, Init->getType(), CGF);
Daniel Dunbar38ad1e62009-02-17 18:43:32 +0000485 if (!C)
486 return 0;
Eli Friedman34994cb2008-05-30 19:58:50 +0000487 RewriteType |= (C->getType() != ElemTy);
Devang Patela703a672008-02-05 02:39:50 +0000488 Elts.push_back(C);
489 }
Eli Friedman34994cb2008-05-30 19:58:50 +0000490
Devang Patela703a672008-02-05 02:39:50 +0000491 // Initialize remaining array elements.
Eli Friedman20bb5e02009-04-13 21:47:26 +0000492 // FIXME: This doesn't handle member pointers correctly!
Devang Patela703a672008-02-05 02:39:50 +0000493 for (; i < NumElements; ++i)
Owen Anderson0b75f232009-07-31 20:28:54 +0000494 Elts.push_back(llvm::Constant::getNullValue(ElemTy));
Devang Patela703a672008-02-05 02:39:50 +0000495
Eli Friedman34994cb2008-05-30 19:58:50 +0000496 if (RewriteType) {
497 // FIXME: Try to avoid packing the array
498 std::vector<const llvm::Type*> Types;
499 for (unsigned i = 0; i < Elts.size(); ++i)
500 Types.push_back(Elts[i]->getType());
Mike Stump11289f42009-09-09 15:08:12 +0000501 const llvm::StructType *SType = llvm::StructType::get(AType->getContext(),
Owen Anderson758428f2009-08-05 23:18:46 +0000502 Types, true);
Owen Anderson0e0189d2009-07-27 22:29:56 +0000503 return llvm::ConstantStruct::get(SType, Elts);
Eli Friedman34994cb2008-05-30 19:58:50 +0000504 }
505
Mike Stump11289f42009-09-09 15:08:12 +0000506 return llvm::ConstantArray::get(AType, Elts);
Devang Patela703a672008-02-05 02:39:50 +0000507 }
508
Eli Friedmana2eaffc2008-05-30 10:24:46 +0000509 llvm::Constant *EmitStructInitialization(InitListExpr *ILE) {
Anders Carlssonb7130ed2009-07-27 05:54:15 +0000510 return ConstStructBuilder::BuildStruct(CGM, CGF, ILE);
Devang Patela703a672008-02-05 02:39:50 +0000511 }
Mike Stump11289f42009-09-09 15:08:12 +0000512
Eli Friedmana2eaffc2008-05-30 10:24:46 +0000513 llvm::Constant *EmitUnionInitialization(InitListExpr *ILE) {
Anders Carlsson0d5f37b2009-07-31 21:34:04 +0000514 return ConstStructBuilder::BuildStruct(CGM, CGF, ILE);
Eli Friedmana2eaffc2008-05-30 10:24:46 +0000515 }
516
517 llvm::Constant *EmitVectorInitialization(InitListExpr *ILE) {
518 const llvm::VectorType *VType =
519 cast<llvm::VectorType>(ConvertType(ILE->getType()));
Eli Friedmanf7fe4162008-05-30 12:02:14 +0000520 const llvm::Type *ElemTy = VType->getElementType();
521 std::vector<llvm::Constant*> Elts;
Devang Patela703a672008-02-05 02:39:50 +0000522 unsigned NumElements = VType->getNumElements();
Eli Friedmanf7fe4162008-05-30 12:02:14 +0000523 unsigned NumInitElements = ILE->getNumInits();
Devang Patela703a672008-02-05 02:39:50 +0000524
Eli Friedmanf7fe4162008-05-30 12:02:14 +0000525 unsigned NumInitableElts = std::min(NumInitElements, NumElements);
526
Devang Patela703a672008-02-05 02:39:50 +0000527 // Copy initializer elements.
528 unsigned i = 0;
Eli Friedmanf7fe4162008-05-30 12:02:14 +0000529 for (; i < NumInitableElts; ++i) {
Anders Carlsson80f97ab2009-04-08 04:48:15 +0000530 Expr *Init = ILE->getInit(i);
531 llvm::Constant *C = CGM.EmitConstantExpr(Init, Init->getType(), CGF);
Daniel Dunbar38ad1e62009-02-17 18:43:32 +0000532 if (!C)
533 return 0;
Devang Patela703a672008-02-05 02:39:50 +0000534 Elts.push_back(C);
535 }
536
Eli Friedmanf7fe4162008-05-30 12:02:14 +0000537 for (; i < NumElements; ++i)
Owen Anderson0b75f232009-07-31 20:28:54 +0000538 Elts.push_back(llvm::Constant::getNullValue(ElemTy));
Eli Friedmanf7fe4162008-05-30 12:02:14 +0000539
Mike Stump11289f42009-09-09 15:08:12 +0000540 return llvm::ConstantVector::get(VType, Elts);
Devang Patela703a672008-02-05 02:39:50 +0000541 }
Mike Stump11289f42009-09-09 15:08:12 +0000542
Anders Carlsson02714ed2009-01-30 06:13:25 +0000543 llvm::Constant *VisitImplicitValueInitExpr(ImplicitValueInitExpr* E) {
Eli Friedman20bb5e02009-04-13 21:47:26 +0000544 return CGM.EmitNullConstant(E->getType());
Anders Carlsson02714ed2009-01-30 06:13:25 +0000545 }
Mike Stump11289f42009-09-09 15:08:12 +0000546
Anders Carlsson610ee712008-01-26 01:36:00 +0000547 llvm::Constant *VisitInitListExpr(InitListExpr *ILE) {
Eli Friedmana2eaffc2008-05-30 10:24:46 +0000548 if (ILE->getType()->isScalarType()) {
549 // We have a scalar in braces. Just use the first element.
Anders Carlsson80f97ab2009-04-08 04:48:15 +0000550 if (ILE->getNumInits() > 0) {
551 Expr *Init = ILE->getInit(0);
552 return CGM.EmitConstantExpr(Init, Init->getType(), CGF);
553 }
Eli Friedman20bb5e02009-04-13 21:47:26 +0000554 return CGM.EmitNullConstant(ILE->getType());
Anders Carlsson610ee712008-01-26 01:36:00 +0000555 }
Mike Stump11289f42009-09-09 15:08:12 +0000556
Eli Friedmana2eaffc2008-05-30 10:24:46 +0000557 if (ILE->getType()->isArrayType())
558 return EmitArrayInitialization(ILE);
Devang Patel45a65d22008-01-29 23:23:18 +0000559
Eli Friedmana2eaffc2008-05-30 10:24:46 +0000560 if (ILE->getType()->isStructureType())
561 return EmitStructInitialization(ILE);
562
563 if (ILE->getType()->isUnionType())
564 return EmitUnionInitialization(ILE);
565
566 if (ILE->getType()->isVectorType())
567 return EmitVectorInitialization(ILE);
568
Devang Patela703a672008-02-05 02:39:50 +0000569 assert(0 && "Unable to handle InitListExpr");
Chris Lattnera087ff92008-03-01 08:45:05 +0000570 // Get rid of control reaches end of void function warning.
571 // Not reached.
572 return 0;
Anders Carlsson610ee712008-01-26 01:36:00 +0000573 }
Eli Friedmana2433112008-02-21 17:57:49 +0000574
Anders Carlsson610ee712008-01-26 01:36:00 +0000575 llvm::Constant *VisitStringLiteral(StringLiteral *E) {
Chris Lattner36fc8792008-02-11 00:02:17 +0000576 assert(!E->getType()->isPointerType() && "Strings are always arrays");
Mike Stump11289f42009-09-09 15:08:12 +0000577
Chris Lattnerd7e7b8e2009-02-24 22:18:39 +0000578 // This must be a string initializing an array in a static initializer.
579 // Don't emit it as the address of the string, emit the string data itself
580 // as an inline array.
Owen Anderson41a75022009-08-13 21:57:51 +0000581 return llvm::ConstantArray::get(VMContext,
582 CGM.GetStringForStringLiteral(E), false);
Anders Carlsson610ee712008-01-26 01:36:00 +0000583 }
584
Chris Lattnerd7e7b8e2009-02-24 22:18:39 +0000585 llvm::Constant *VisitObjCEncodeExpr(ObjCEncodeExpr *E) {
586 // This must be an @encode initializing an array in a static initializer.
587 // Don't emit it as the address of the string, emit the string data itself
588 // as an inline array.
589 std::string Str;
590 CGM.getContext().getObjCEncodingForType(E->getEncodedType(), Str);
591 const ConstantArrayType *CAT = cast<ConstantArrayType>(E->getType());
Mike Stump11289f42009-09-09 15:08:12 +0000592
Chris Lattnerd7e7b8e2009-02-24 22:18:39 +0000593 // Resize the string to the right size, adding zeros at the end, or
594 // truncating as needed.
595 Str.resize(CAT->getSize().getZExtValue(), '\0');
Owen Anderson41a75022009-08-13 21:57:51 +0000596 return llvm::ConstantArray::get(VMContext, Str, false);
Chris Lattnerd7e7b8e2009-02-24 22:18:39 +0000597 }
Mike Stump11289f42009-09-09 15:08:12 +0000598
Eli Friedman045bf4f2008-05-29 11:22:45 +0000599 llvm::Constant *VisitUnaryExtension(const UnaryOperator *E) {
600 return Visit(E->getSubExpr());
601 }
Mike Stumpa6703322009-02-19 22:01:56 +0000602
Anders Carlsson610ee712008-01-26 01:36:00 +0000603 // Utility methods
604 const llvm::Type *ConvertType(QualType T) {
605 return CGM.getTypes().ConvertType(T);
606 }
Anders Carlsson8a88c382008-01-26 04:30:23 +0000607
Anders Carlsson43088772008-11-16 06:23:45 +0000608public:
Anders Carlsson8a88c382008-01-26 04:30:23 +0000609 llvm::Constant *EmitLValue(Expr *E) {
Anders Carlssona4139112008-01-26 02:08:50 +0000610 switch (E->getStmtClass()) {
Eli Friedmana5b20232008-02-11 00:23:10 +0000611 default: break;
Anders Carlssona4139112008-01-26 02:08:50 +0000612 case Expr::CompoundLiteralExprClass: {
613 // Note that due to the nature of compound literals, this is guaranteed
614 // to be the only use of the variable, so we just generate it here.
Anders Carlsson8a88c382008-01-26 04:30:23 +0000615 CompoundLiteralExpr *CLE = cast<CompoundLiteralExpr>(E);
616 llvm::Constant* C = Visit(CLE->getInitializer());
Daniel Dunbar38ad1e62009-02-17 18:43:32 +0000617 // FIXME: "Leaked" on failure.
618 if (C)
Owen Andersonc10c8d32009-07-08 19:05:04 +0000619 C = new llvm::GlobalVariable(CGM.getModule(), C->getType(),
Eli Friedman95f89632009-08-26 20:01:39 +0000620 E->getType().isConstant(CGM.getContext()),
Daniel Dunbar38ad1e62009-02-17 18:43:32 +0000621 llvm::GlobalValue::InternalLinkage,
Eli Friedman95f89632009-08-26 20:01:39 +0000622 C, ".compoundliteral", 0, false,
623 E->getType().getAddressSpace());
Anders Carlssona4139112008-01-26 02:08:50 +0000624 return C;
Anders Carlsson8a88c382008-01-26 04:30:23 +0000625 }
Mike Stump11289f42009-09-09 15:08:12 +0000626 case Expr::DeclRefExprClass:
Douglas Gregorc7acfdf2009-01-06 05:10:23 +0000627 case Expr::QualifiedDeclRefExprClass: {
Douglas Gregor5251f1b2008-10-21 16:13:35 +0000628 NamedDecl *Decl = cast<DeclRefExpr>(E)->getDecl();
Anders Carlssona4139112008-01-26 02:08:50 +0000629 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(Decl))
Anders Carlssonecf9bf02009-09-10 23:43:36 +0000630 return CGM.GetAddrOfFunction(FD);
Steve Naroff08899ff2008-04-15 22:42:06 +0000631 if (const VarDecl* VD = dyn_cast<VarDecl>(Decl)) {
Daniel Dunbard4ecca12009-02-24 18:41:57 +0000632 // We can never refer to a variable with local storage.
Mike Stump11289f42009-09-09 15:08:12 +0000633 if (!VD->hasLocalStorage()) {
Daniel Dunbard4ecca12009-02-24 18:41:57 +0000634 if (VD->isFileVarDecl() || VD->hasExternalStorage())
635 return CGM.GetAddrOfGlobalVar(VD);
636 else if (VD->isBlockVarDecl()) {
637 assert(CGF && "Can't access static local vars without CGF");
638 return CGF->GetAddrOfStaticLocalVar(VD);
639 }
Steve Naroff08899ff2008-04-15 22:42:06 +0000640 }
Lauro Ramos Venancio01a72ff2008-02-26 21:41:45 +0000641 }
Eli Friedmana5b20232008-02-11 00:23:10 +0000642 break;
Anders Carlssona4139112008-01-26 02:08:50 +0000643 }
Daniel Dunbarc4baa062008-08-13 23:20:05 +0000644 case Expr::StringLiteralClass:
645 return CGM.GetAddrOfConstantStringFromLiteral(cast<StringLiteral>(E));
Chris Lattnerd7e7b8e2009-02-24 22:18:39 +0000646 case Expr::ObjCEncodeExprClass:
647 return CGM.GetAddrOfConstantStringFromObjCEncode(cast<ObjCEncodeExpr>(E));
Anders Carlsson43088772008-11-16 06:23:45 +0000648 case Expr::ObjCStringLiteralClass: {
649 ObjCStringLiteral* SL = cast<ObjCStringLiteral>(E);
Steve Naroff66afeb52009-03-31 16:53:37 +0000650 llvm::Constant *C = CGM.getObjCRuntime().GenerateConstantString(SL);
Owen Andersonade90fd2009-07-29 18:54:39 +0000651 return llvm::ConstantExpr::getBitCast(C, ConvertType(E->getType()));
Anders Carlsson43088772008-11-16 06:23:45 +0000652 }
Chris Lattnerb4396f42008-12-12 05:18:02 +0000653 case Expr::PredefinedExprClass: {
654 // __func__/__FUNCTION__ -> "". __PRETTY_FUNCTION__ -> "top level".
655 std::string Str;
Mike Stump11289f42009-09-09 15:08:12 +0000656 if (cast<PredefinedExpr>(E)->getIdentType() ==
Chris Lattnerb4396f42008-12-12 05:18:02 +0000657 PredefinedExpr::PrettyFunction)
658 Str = "top level";
Mike Stump11289f42009-09-09 15:08:12 +0000659
Chris Lattnerb4396f42008-12-12 05:18:02 +0000660 return CGM.GetAddrOfConstantCString(Str, ".tmp");
661 }
Eli Friedman529a99b2009-01-25 01:21:06 +0000662 case Expr::AddrLabelExprClass: {
663 assert(CGF && "Invalid address of label expression outside function.");
Owen Anderson41a75022009-08-13 21:57:51 +0000664 unsigned id =
665 CGF->GetIDForAddrOfLabel(cast<AddrLabelExpr>(E)->getLabel());
666 llvm::Constant *C =
667 llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), id);
Owen Andersonade90fd2009-07-29 18:54:39 +0000668 return llvm::ConstantExpr::getIntToPtr(C, ConvertType(E->getType()));
Eli Friedman529a99b2009-01-25 01:21:06 +0000669 }
Eli Friedmanc69d4542009-01-25 01:54:01 +0000670 case Expr::CallExprClass: {
671 CallExpr* CE = cast<CallExpr>(E);
Mike Stump11289f42009-09-09 15:08:12 +0000672 if (CE->isBuiltinCall(CGM.getContext()) !=
Douglas Gregore711f702009-02-14 18:57:46 +0000673 Builtin::BI__builtin___CFStringMakeConstantString)
Eli Friedmanc69d4542009-01-25 01:54:01 +0000674 break;
675 const Expr *Arg = CE->getArg(0)->IgnoreParenCasts();
676 const StringLiteral *Literal = cast<StringLiteral>(Arg);
Steve Naroff66afeb52009-03-31 16:53:37 +0000677 // FIXME: need to deal with UCN conversion issues.
Steve Naroffe14b3682009-04-01 13:55:36 +0000678 return CGM.GetAddrOfConstantCFString(Literal);
Eli Friedmanc69d4542009-01-25 01:54:01 +0000679 }
Mike Stump5d2534ad2009-02-19 01:01:04 +0000680 case Expr::BlockExprClass: {
Anders Carlssoned5e69f2009-03-01 01:09:12 +0000681 std::string FunctionName;
682 if (CGF)
683 FunctionName = CGF->CurFn->getName();
684 else
685 FunctionName = "global";
686
687 return CGM.GetAddrOfGlobalBlock(cast<BlockExpr>(E), FunctionName.c_str());
Mike Stump5d2534ad2009-02-19 01:01:04 +0000688 }
Eli Friedmana5b20232008-02-11 00:23:10 +0000689 }
Daniel Dunbar38ad1e62009-02-17 18:43:32 +0000690
691 return 0;
Anders Carlssona4139112008-01-26 02:08:50 +0000692 }
Anders Carlssona4139112008-01-26 02:08:50 +0000693};
Mike Stump11289f42009-09-09 15:08:12 +0000694
Anders Carlsson610ee712008-01-26 01:36:00 +0000695} // end anonymous namespace.
696
Lauro Ramos Venancio01a72ff2008-02-26 21:41:45 +0000697llvm::Constant *CodeGenModule::EmitConstantExpr(const Expr *E,
Anders Carlsson80f97ab2009-04-08 04:48:15 +0000698 QualType DestType,
Chris Lattner0f398c42008-07-26 22:37:01 +0000699 CodeGenFunction *CGF) {
Anders Carlsson38eef1d2008-12-01 02:42:14 +0000700 Expr::EvalResult Result;
Mike Stump11289f42009-09-09 15:08:12 +0000701
Anders Carlssond8e39bb2009-04-11 01:08:03 +0000702 bool Success = false;
Mike Stump11289f42009-09-09 15:08:12 +0000703
Eli Friedman751aa72b72009-05-27 06:04:58 +0000704 if (DestType->isReferenceType())
705 Success = E->EvaluateAsLValue(Result, Context);
Mike Stump11289f42009-09-09 15:08:12 +0000706 else
Anders Carlssond8e39bb2009-04-11 01:08:03 +0000707 Success = E->Evaluate(Result, Context);
Mike Stump11289f42009-09-09 15:08:12 +0000708
Anders Carlssond8e39bb2009-04-11 01:08:03 +0000709 if (Success) {
Mike Stump11289f42009-09-09 15:08:12 +0000710 assert(!Result.HasSideEffects &&
Anders Carlsson38eef1d2008-12-01 02:42:14 +0000711 "Constant expr should not have any side effects!");
712 switch (Result.Val.getKind()) {
Daniel Dunbarf50e60b2009-01-28 22:24:07 +0000713 case APValue::Uninitialized:
Daniel Dunbar38ad1e62009-02-17 18:43:32 +0000714 assert(0 && "Constant expressions should be initialized.");
715 return 0;
Anders Carlssonee0d90f2008-11-15 20:45:50 +0000716 case APValue::LValue: {
Anders Carlssond8e39bb2009-04-11 01:08:03 +0000717 const llvm::Type *DestTy = getTypes().ConvertTypeForMem(DestType);
Mike Stump11289f42009-09-09 15:08:12 +0000718 llvm::Constant *Offset =
719 llvm::ConstantInt::get(llvm::Type::getInt64Ty(VMContext),
Anders Carlsson38eef1d2008-12-01 02:42:14 +0000720 Result.Val.getLValueOffset());
Mike Stump11289f42009-09-09 15:08:12 +0000721
Daniel Dunbar18e14442009-02-19 21:44:24 +0000722 llvm::Constant *C;
Anders Carlsson38eef1d2008-12-01 02:42:14 +0000723 if (const Expr *LVBase = Result.Val.getLValueBase()) {
Daniel Dunbar18e14442009-02-19 21:44:24 +0000724 C = ConstExprEmitter(*this, CGF).EmitLValue(const_cast<Expr*>(LVBase));
Anders Carlsson43088772008-11-16 06:23:45 +0000725
Daniel Dunbar18e14442009-02-19 21:44:24 +0000726 // Apply offset if necessary.
727 if (!Offset->isNullValue()) {
Mike Stump11289f42009-09-09 15:08:12 +0000728 const llvm::Type *Type =
Owen Anderson41a75022009-08-13 21:57:51 +0000729 llvm::PointerType::getUnqual(llvm::Type::getInt8Ty(VMContext));
Owen Andersonade90fd2009-07-29 18:54:39 +0000730 llvm::Constant *Casted = llvm::ConstantExpr::getBitCast(C, Type);
731 Casted = llvm::ConstantExpr::getGetElementPtr(Casted, &Offset, 1);
732 C = llvm::ConstantExpr::getBitCast(Casted, C->getType());
Daniel Dunbar18e14442009-02-19 21:44:24 +0000733 }
734
735 // Convert to the appropriate type; this could be an lvalue for
736 // an integer.
Anders Carlsson6ef4ea42009-04-10 04:59:59 +0000737 if (isa<llvm::PointerType>(DestTy))
Owen Andersonade90fd2009-07-29 18:54:39 +0000738 return llvm::ConstantExpr::getBitCast(C, DestTy);
Daniel Dunbar18e14442009-02-19 21:44:24 +0000739
Owen Andersonade90fd2009-07-29 18:54:39 +0000740 return llvm::ConstantExpr::getPtrToInt(C, DestTy);
Daniel Dunbar18e14442009-02-19 21:44:24 +0000741 } else {
742 C = Offset;
743
744 // Convert to the appropriate type; this could be an lvalue for
745 // an integer.
Anders Carlsson6ef4ea42009-04-10 04:59:59 +0000746 if (isa<llvm::PointerType>(DestTy))
Owen Andersonade90fd2009-07-29 18:54:39 +0000747 return llvm::ConstantExpr::getIntToPtr(C, DestTy);
Daniel Dunbar18e14442009-02-19 21:44:24 +0000748
749 // If the types don't match this should only be a truncate.
Anders Carlsson6ef4ea42009-04-10 04:59:59 +0000750 if (C->getType() != DestTy)
Owen Andersonade90fd2009-07-29 18:54:39 +0000751 return llvm::ConstantExpr::getTrunc(C, DestTy);
Daniel Dunbar18e14442009-02-19 21:44:24 +0000752
753 return C;
Anders Carlsson43088772008-11-16 06:23:45 +0000754 }
Anders Carlssonee0d90f2008-11-15 20:45:50 +0000755 }
Eli Friedmandcbcbb82008-11-17 03:57:28 +0000756 case APValue::Int: {
Mike Stump11289f42009-09-09 15:08:12 +0000757 llvm::Constant *C = llvm::ConstantInt::get(VMContext,
Owen Andersonb7a2fe62009-07-24 23:12:58 +0000758 Result.Val.getInt());
Mike Stump11289f42009-09-09 15:08:12 +0000759
Owen Anderson41a75022009-08-13 21:57:51 +0000760 if (C->getType() == llvm::Type::getInt1Ty(VMContext)) {
Anders Carlssonee0d90f2008-11-15 20:45:50 +0000761 const llvm::Type *BoolTy = getTypes().ConvertTypeForMem(E->getType());
Owen Andersonade90fd2009-07-29 18:54:39 +0000762 C = llvm::ConstantExpr::getZExt(C, BoolTy);
Anders Carlssonee0d90f2008-11-15 20:45:50 +0000763 }
764 return C;
Eli Friedmandcbcbb82008-11-17 03:57:28 +0000765 }
Daniel Dunbarf50e60b2009-01-28 22:24:07 +0000766 case APValue::ComplexInt: {
767 llvm::Constant *Complex[2];
Mike Stump11289f42009-09-09 15:08:12 +0000768
Owen Andersonb7a2fe62009-07-24 23:12:58 +0000769 Complex[0] = llvm::ConstantInt::get(VMContext,
770 Result.Val.getComplexIntReal());
Mike Stump11289f42009-09-09 15:08:12 +0000771 Complex[1] = llvm::ConstantInt::get(VMContext,
Owen Andersonb7a2fe62009-07-24 23:12:58 +0000772 Result.Val.getComplexIntImag());
Mike Stump11289f42009-09-09 15:08:12 +0000773
Nick Lewycky41eaf0a2009-09-19 20:00:52 +0000774 // FIXME: the target may want to specify that this is packed.
775 return llvm::ConstantStruct::get(VMContext, Complex, 2, false);
Daniel Dunbarf50e60b2009-01-28 22:24:07 +0000776 }
Anders Carlssonee0d90f2008-11-15 20:45:50 +0000777 case APValue::Float:
Owen Andersone05f2ed2009-07-27 21:00:51 +0000778 return llvm::ConstantFP::get(VMContext, Result.Val.getFloat());
Anders Carlsson4425d8e2008-11-17 01:58:55 +0000779 case APValue::ComplexFloat: {
780 llvm::Constant *Complex[2];
Mike Stump11289f42009-09-09 15:08:12 +0000781
782 Complex[0] = llvm::ConstantFP::get(VMContext,
Owen Andersone05f2ed2009-07-27 21:00:51 +0000783 Result.Val.getComplexFloatReal());
784 Complex[1] = llvm::ConstantFP::get(VMContext,
785 Result.Val.getComplexFloatImag());
Mike Stump11289f42009-09-09 15:08:12 +0000786
Nick Lewycky41eaf0a2009-09-19 20:00:52 +0000787 // FIXME: the target may want to specify that this is packed.
788 return llvm::ConstantStruct::get(VMContext, Complex, 2, false);
Anders Carlsson4425d8e2008-11-17 01:58:55 +0000789 }
Nate Begeman1e31b162009-01-18 01:01:34 +0000790 case APValue::Vector: {
791 llvm::SmallVector<llvm::Constant *, 4> Inits;
792 unsigned NumElts = Result.Val.getVectorLength();
Mike Stump11289f42009-09-09 15:08:12 +0000793
Nate Begeman1e31b162009-01-18 01:01:34 +0000794 for (unsigned i = 0; i != NumElts; ++i) {
795 APValue &Elt = Result.Val.getVectorElt(i);
796 if (Elt.isInt())
Owen Andersonb7a2fe62009-07-24 23:12:58 +0000797 Inits.push_back(llvm::ConstantInt::get(VMContext, Elt.getInt()));
Nate Begeman1e31b162009-01-18 01:01:34 +0000798 else
Owen Andersone05f2ed2009-07-27 21:00:51 +0000799 Inits.push_back(llvm::ConstantFP::get(VMContext, Elt.getFloat()));
Nate Begeman1e31b162009-01-18 01:01:34 +0000800 }
Owen Anderson3cc120a2009-07-28 21:22:35 +0000801 return llvm::ConstantVector::get(&Inits[0], Inits.size());
Nate Begeman1e31b162009-01-18 01:01:34 +0000802 }
Anders Carlssonee0d90f2008-11-15 20:45:50 +0000803 }
804 }
Eli Friedman10c24172008-06-01 15:31:44 +0000805
806 llvm::Constant* C = ConstExprEmitter(*this, CGF).Visit(const_cast<Expr*>(E));
Owen Anderson41a75022009-08-13 21:57:51 +0000807 if (C && C->getType() == llvm::Type::getInt1Ty(VMContext)) {
Eli Friedman10c24172008-06-01 15:31:44 +0000808 const llvm::Type *BoolTy = getTypes().ConvertTypeForMem(E->getType());
Owen Andersonade90fd2009-07-29 18:54:39 +0000809 C = llvm::ConstantExpr::getZExt(C, BoolTy);
Eli Friedman10c24172008-06-01 15:31:44 +0000810 }
811 return C;
Anders Carlsson610ee712008-01-26 01:36:00 +0000812}
Eli Friedman20bb5e02009-04-13 21:47:26 +0000813
Anders Carlssonb05a3e52009-09-29 02:09:01 +0000814static inline bool isDataMemberPointerType(QualType T) {
815 if (const MemberPointerType *MPT = T->getAs<MemberPointerType>())
816 return !MPT->getPointeeType()->isFunctionType();
817
818 return false;
819}
820
Eli Friedman20bb5e02009-04-13 21:47:26 +0000821llvm::Constant *CodeGenModule::EmitNullConstant(QualType T) {
Anders Carlsson867b48f2009-08-24 17:16:23 +0000822 // No need to check for member pointers when not compiling C++.
823 if (!getContext().getLangOptions().CPlusPlus)
824 return llvm::Constant::getNullValue(getTypes().ConvertTypeForMem(T));
Mike Stump11289f42009-09-09 15:08:12 +0000825
Anders Carlssonf48123b2009-08-09 18:26:27 +0000826 if (const ConstantArrayType *CAT = Context.getAsConstantArrayType(T)) {
Mike Stump11289f42009-09-09 15:08:12 +0000827
Anders Carlssonf48123b2009-08-09 18:26:27 +0000828 QualType ElementTy = CAT->getElementType();
829
830 // FIXME: Handle arrays of structs that contain member pointers.
Anders Carlssonb05a3e52009-09-29 02:09:01 +0000831 if (isDataMemberPointerType(Context.getBaseElementType(ElementTy))) {
Anders Carlssonf48123b2009-08-09 18:26:27 +0000832 llvm::Constant *Element = EmitNullConstant(ElementTy);
833 uint64_t NumElements = CAT->getSize().getZExtValue();
834 std::vector<llvm::Constant *> Array(NumElements);
835 for (uint64_t i = 0; i != NumElements; ++i)
836 Array[i] = Element;
Mike Stump11289f42009-09-09 15:08:12 +0000837
838 const llvm::ArrayType *ATy =
Anders Carlssonf48123b2009-08-09 18:26:27 +0000839 cast<llvm::ArrayType>(getTypes().ConvertTypeForMem(T));
840 return llvm::ConstantArray::get(ATy, Array);
841 }
842 }
Anders Carlssond606de72009-08-23 01:25:01 +0000843
844 if (const RecordType *RT = T->getAs<RecordType>()) {
Anders Carlsson867b48f2009-08-24 17:16:23 +0000845 const RecordDecl *RD = RT->getDecl();
Mike Stump11289f42009-09-09 15:08:12 +0000846 // FIXME: It would be better if there was a way to explicitly compute the
Anders Carlsson867b48f2009-08-24 17:16:23 +0000847 // record layout instead of converting to a type.
848 Types.ConvertTagDeclType(RD);
Mike Stump11289f42009-09-09 15:08:12 +0000849
Anders Carlsson867b48f2009-08-24 17:16:23 +0000850 const CGRecordLayout &Layout = Types.getCGRecordLayout(RD);
851 if (Layout.containsMemberPointer()) {
Anders Carlssond606de72009-08-23 01:25:01 +0000852 assert(0 && "FIXME: No support for structs with member pointers yet!");
853 }
Anders Carlssond606de72009-08-23 01:25:01 +0000854 }
Mike Stump11289f42009-09-09 15:08:12 +0000855
Anders Carlssonf48123b2009-08-09 18:26:27 +0000856 // FIXME: Handle structs that contain member pointers.
Anders Carlssonb05a3e52009-09-29 02:09:01 +0000857 if (isDataMemberPointerType(T))
Anders Carlssonf48123b2009-08-09 18:26:27 +0000858 return llvm::Constant::getAllOnesValue(getTypes().ConvertTypeForMem(T));
Mike Stump11289f42009-09-09 15:08:12 +0000859
Anders Carlssonf18318c2009-08-02 21:18:22 +0000860 return llvm::Constant::getNullValue(getTypes().ConvertTypeForMem(T));
Eli Friedman20bb5e02009-04-13 21:47:26 +0000861}