blob: 0fd765235c9673b51aed706a7c5de9639ee523b4 [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"
15#include "CodeGenModule.h"
Daniel Dunbaraf2f62c2008-08-13 00:59:25 +000016#include "CGObjCRuntime.h"
Chris Lattnerf6b24ea2008-10-06 05:59:01 +000017#include "clang/AST/APValue.h"
Daniel Dunbarde7fb842008-08-11 05:00:27 +000018#include "clang/AST/ASTContext.h"
Anders Carlsson4c98efd2009-07-24 15:20:52 +000019#include "clang/AST/RecordLayout.h"
Daniel Dunbarde7fb842008-08-11 05:00:27 +000020#include "clang/AST/StmtVisitor.h"
Chris Lattner1b63e4f2009-06-14 01:54:56 +000021#include "clang/Basic/Builtins.h"
Anders Carlsson3b1d57b2008-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 Friedmana8234002008-05-30 10:24:46 +000026#include "llvm/Target/TargetData.h"
Anders Carlsson3b1d57b2008-01-26 01:36:00 +000027using namespace clang;
28using namespace CodeGen;
29
30namespace {
Anders Carlsson4c98efd2009-07-24 15:20:52 +000031
32class VISIBILITY_HIDDEN ConstStructBuilder {
33 CodeGenModule &CGM;
34 CodeGenFunction *CGF;
35
Mike Stump1eb44332009-09-09 15:08:12 +000036 bool Packed;
Anders Carlsson4257bc62009-07-25 00:24:56 +000037
Anders Carlsson4c98efd2009-07-24 15:20:52 +000038 unsigned NextFieldOffsetInBytes;
Mike Stump1eb44332009-09-09 15:08:12 +000039
Anders Carlsson31f2f9c2009-10-02 02:15:20 +000040 unsigned LLVMStructAlignment;
41
Anders Carlsson4c98efd2009-07-24 15:20:52 +000042 std::vector<llvm::Constant *> Elements;
43
44 ConstStructBuilder(CodeGenModule &CGM, CodeGenFunction *CGF)
Anders Carlsson31f2f9c2009-10-02 02:15:20 +000045 : CGM(CGM), CGF(CGF), Packed(false), NextFieldOffsetInBytes(0),
46 LLVMStructAlignment(1) { }
Anders Carlsson4c98efd2009-07-24 15:20:52 +000047
Mike Stump1eb44332009-09-09 15:08:12 +000048 bool AppendField(const FieldDecl *Field, uint64_t FieldOffset,
Anders Carlsson4c98efd2009-07-24 15:20:52 +000049 const Expr *InitExpr) {
50 uint64_t FieldOffsetInBytes = FieldOffset / 8;
Mike Stump1eb44332009-09-09 15:08:12 +000051
52 assert(NextFieldOffsetInBytes <= FieldOffsetInBytes
Anders Carlsson4c98efd2009-07-24 15:20:52 +000053 && "Field offset mismatch!");
Mike Stump1eb44332009-09-09 15:08:12 +000054
Anders Carlsson4c98efd2009-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 Stump1eb44332009-09-09 15:08:12 +000061
Anders Carlsson4c98efd2009-07-24 15:20:52 +000062 // Round up the field offset to the alignment of the field type.
Mike Stump1eb44332009-09-09 15:08:12 +000063 uint64_t AlignedNextFieldOffsetInBytes =
Anders Carlsson4c98efd2009-07-24 15:20:52 +000064 llvm::RoundUpToAlignment(NextFieldOffsetInBytes, FieldAlignment);
Mike Stump1eb44332009-09-09 15:08:12 +000065
Anders Carlsson4c98efd2009-07-24 15:20:52 +000066 if (AlignedNextFieldOffsetInBytes > FieldOffsetInBytes) {
Anders Carlssonbea9c522009-07-25 01:40:29 +000067 assert(!Packed && "Alignment is wrong even with a packed struct!");
Mike Stump1eb44332009-09-09 15:08:12 +000068
Anders Carlssonbea9c522009-07-25 01:40:29 +000069 // Convert the struct to a packed struct.
Anders Carlsson31f2f9c2009-10-02 02:15:20 +000070 ConvertStructToPacked();
71
Anders Carlssonbea9c522009-07-25 01:40:29 +000072 AlignedNextFieldOffsetInBytes = NextFieldOffsetInBytes;
Anders Carlsson4c98efd2009-07-24 15:20:52 +000073 }
74
75 if (AlignedNextFieldOffsetInBytes < FieldOffsetInBytes) {
76 // We need to append padding.
Anders Carlssonbea9c522009-07-25 01:40:29 +000077 AppendPadding(FieldOffsetInBytes - NextFieldOffsetInBytes);
Mike Stump1eb44332009-09-09 15:08:12 +000078
Anders Carlsson4c98efd2009-07-24 15:20:52 +000079 assert(NextFieldOffsetInBytes == FieldOffsetInBytes &&
80 "Did not add enough padding!");
Mike Stump1eb44332009-09-09 15:08:12 +000081
Anders Carlsson4c98efd2009-07-24 15:20:52 +000082 AlignedNextFieldOffsetInBytes = NextFieldOffsetInBytes;
83 }
Mike Stump1eb44332009-09-09 15:08:12 +000084
Anders Carlsson4c98efd2009-07-24 15:20:52 +000085 // Add the field.
86 Elements.push_back(C);
87 NextFieldOffsetInBytes = AlignedNextFieldOffsetInBytes + getSizeInBytes(C);
Anders Carlsson2df96e72009-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 Carlsson4c98efd2009-07-24 15:20:52 +000094 return true;
95 }
Mike Stump1eb44332009-09-09 15:08:12 +000096
97 bool AppendBitField(const FieldDecl *Field, uint64_t FieldOffset,
Anders Carlssond24393b2009-07-27 01:23:51 +000098 const Expr *InitExpr) {
Mike Stump1eb44332009-09-09 15:08:12 +000099 llvm::ConstantInt *CI =
100 cast_or_null<llvm::ConstantInt>(CGM.EmitConstantExpr(InitExpr,
101 Field->getType(),
Anders Carlssond24393b2009-07-27 01:23:51 +0000102 CGF));
103 // FIXME: Can this ever happen?
104 if (!CI)
105 return false;
Mike Stump1eb44332009-09-09 15:08:12 +0000106
Anders Carlssond24393b2009-07-27 01:23:51 +0000107 if (FieldOffset > NextFieldOffsetInBytes * 8) {
Anders Carlsson7a86d4b2009-07-27 02:56:37 +0000108 // We need to add padding.
Mike Stump1eb44332009-09-09 15:08:12 +0000109 uint64_t NumBytes =
110 llvm::RoundUpToAlignment(FieldOffset -
Anders Carlsson7a86d4b2009-07-27 02:56:37 +0000111 NextFieldOffsetInBytes * 8, 8) / 8;
Mike Stump1eb44332009-09-09 15:08:12 +0000112
Anders Carlsson7a86d4b2009-07-27 02:56:37 +0000113 AppendPadding(NumBytes);
Anders Carlssond24393b2009-07-27 01:23:51 +0000114 }
115
Mike Stump1eb44332009-09-09 15:08:12 +0000116 uint64_t FieldSize =
Anders Carlssond24393b2009-07-27 01:23:51 +0000117 Field->getBitWidth()->EvaluateAsInt(CGM.getContext()).getZExtValue();
118
119 llvm::APInt FieldValue = CI->getValue();
Mike Stump1eb44332009-09-09 15:08:12 +0000120
Anders Carlssond24393b2009-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 Stump1eb44332009-09-09 15:08:12 +0000127
Anders Carlssond24393b2009-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 Carlsson7a86d4b2009-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 Stump1eb44332009-09-09 15:08:12 +0000136
137 unsigned BitsInPreviousByte =
Anders Carlsson7a86d4b2009-07-27 02:56:37 +0000138 NextFieldOffsetInBytes * 8 - FieldOffset;
Mike Stump1eb44332009-09-09 15:08:12 +0000139
140 bool FitsCompletelyInPreviousByte =
Anders Carlsson7a86d4b2009-07-27 02:56:37 +0000141 BitsInPreviousByte >= FieldValue.getBitWidth();
Mike Stump1eb44332009-09-09 15:08:12 +0000142
Anders Carlsson7a86d4b2009-07-27 02:56:37 +0000143 llvm::APInt Tmp = FieldValue;
Mike Stump1eb44332009-09-09 15:08:12 +0000144
Anders Carlsson7a86d4b2009-07-27 02:56:37 +0000145 if (!FitsCompletelyInPreviousByte) {
146 unsigned NewFieldWidth = FieldSize - BitsInPreviousByte;
Mike Stump1eb44332009-09-09 15:08:12 +0000147
Anders Carlsson7a86d4b2009-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 Stump1eb44332009-09-09 15:08:12 +0000162
Anders Carlsson7a86d4b2009-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 Stump1eb44332009-09-09 15:08:12 +0000174
Anders Carlsson7a86d4b2009-07-27 02:56:37 +0000175 if (FitsCompletelyInPreviousByte)
176 return true;
Anders Carlssond24393b2009-07-27 01:23:51 +0000177 }
Mike Stump1eb44332009-09-09 15:08:12 +0000178
Anders Carlssond24393b2009-07-27 01:23:51 +0000179 while (FieldValue.getBitWidth() > 8) {
180 llvm::APInt Tmp;
Mike Stump1eb44332009-09-09 15:08:12 +0000181
Anders Carlssond24393b2009-07-27 01:23:51 +0000182 if (CGM.getTargetData().isBigEndian()) {
Anders Carlssond24393b2009-07-27 01:23:51 +0000183 // We want the high bits.
Anders Carlsson7a86d4b2009-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 Stump1eb44332009-09-09 15:08:12 +0000191
Anders Carlsson7a86d4b2009-07-27 02:56:37 +0000192 FieldValue = FieldValue.lshr(8);
Anders Carlssond24393b2009-07-27 01:23:51 +0000193 }
Mike Stump1eb44332009-09-09 15:08:12 +0000194
Anders Carlssond24393b2009-07-27 01:23:51 +0000195 Elements.push_back(llvm::ConstantInt::get(CGM.getLLVMContext(), Tmp));
196 NextFieldOffsetInBytes++;
Mike Stump1eb44332009-09-09 15:08:12 +0000197
Anders Carlssond24393b2009-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 Stump1eb44332009-09-09 15:08:12 +0000209
Anders Carlssond24393b2009-07-27 01:23:51 +0000210 FieldValue.zext(8);
211 FieldValue = FieldValue << (8 - BitWidth);
Mike Stump1eb44332009-09-09 15:08:12 +0000212 } else
Anders Carlssond24393b2009-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 Stump1eb44332009-09-09 15:08:12 +0000222
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000223 void AppendPadding(uint64_t NumBytes) {
224 if (!NumBytes)
225 return;
226
Owen Anderson0032b272009-08-13 21:57:51 +0000227 const llvm::Type *Ty = llvm::Type::getInt8Ty(CGM.getLLVMContext());
Mike Stump1eb44332009-09-09 15:08:12 +0000228 if (NumBytes > 1)
Owen Anderson96e0fc72009-07-29 22:16:19 +0000229 Ty = llvm::ArrayType::get(Ty, NumBytes);
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000230
Owen Andersonc9c88b42009-07-31 20:28:54 +0000231 llvm::Constant *C = llvm::Constant::getNullValue(Ty);
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000232 Elements.push_back(C);
233 assert(getAlignment(C) == 1 && "Padding must have 1 byte alignment!");
Mike Stump1eb44332009-09-09 15:08:12 +0000234
Anders Carlsson4c98efd2009-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 Stump1eb44332009-09-09 15:08:12 +0000243
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000244 unsigned NumPadBytes = RecordSizeInBytes - NextFieldOffsetInBytes;
245 AppendPadding(NumPadBytes);
246 }
Mike Stump1eb44332009-09-09 15:08:12 +0000247
Anders Carlsson31f2f9c2009-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 Friedmanc0879bb2009-08-01 23:11:24 +0000286 bool Build(InitListExpr *ILE) {
Ted Kremenek6217b802009-07-29 21:53:49 +0000287 RecordDecl *RD = ILE->getType()->getAs<RecordType>()->getDecl();
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000288 const ASTRecordLayout &Layout = CGM.getContext().getASTRecordLayout(RD);
Mike Stump1eb44332009-09-09 15:08:12 +0000289
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000290 unsigned FieldNo = 0;
291 unsigned ElementNo = 0;
Mike Stump1eb44332009-09-09 15:08:12 +0000292 for (RecordDecl::field_iterator Field = RD->field_begin(),
293 FieldEnd = RD->field_end();
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000294 ElementNo < ILE->getNumInits() && Field != FieldEnd;
295 ++Field, ++FieldNo) {
Eli Friedmanc0879bb2009-08-01 23:11:24 +0000296 if (RD->isUnion() && ILE->getInitializedFieldInUnion() != *Field)
297 continue;
298
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000299 if (Field->isBitField()) {
300 if (!Field->getIdentifier())
301 continue;
Mike Stump1eb44332009-09-09 15:08:12 +0000302
Anders Carlssond24393b2009-07-27 01:23:51 +0000303 if (!AppendBitField(*Field, Layout.getFieldOffset(FieldNo),
304 ILE->getInit(ElementNo)))
305 return false;
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000306 } else {
307 if (!AppendField(*Field, Layout.getFieldOffset(FieldNo),
308 ILE->getInit(ElementNo)))
309 return false;
310 }
Mike Stump1eb44332009-09-09 15:08:12 +0000311
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000312 ElementNo++;
313 }
Mike Stump1eb44332009-09-09 15:08:12 +0000314
Anders Carlsson4257bc62009-07-25 00:24:56 +0000315 uint64_t LayoutSizeInBytes = Layout.getSize() / 8;
Mike Stump1eb44332009-09-09 15:08:12 +0000316
Anders Carlsson4257bc62009-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 Carlsson31f2f9c2009-10-02 02:15:20 +0000322
Anders Carlsson4257bc62009-07-25 00:24:56 +0000323 // No tail padding is necessary.
324 return true;
325 }
Mike Stump1eb44332009-09-09 15:08:12 +0000326
Anders Carlsson31f2f9c2009-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 Carlsson4c98efd2009-07-24 15:20:52 +0000340 // Append tail padding if necessary.
341 AppendTailPadding(Layout.getSize());
Mike Stump1eb44332009-09-09 15:08:12 +0000342
343 assert(Layout.getSize() / 8 == NextFieldOffsetInBytes &&
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000344 "Tail padding mismatch!");
Mike Stump1eb44332009-09-09 15:08:12 +0000345
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000346 return true;
347 }
Mike Stump1eb44332009-09-09 15:08:12 +0000348
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000349 unsigned getAlignment(const llvm::Constant *C) const {
350 if (Packed)
351 return 1;
Mike Stump1eb44332009-09-09 15:08:12 +0000352
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000353 return CGM.getTargetData().getABITypeAlignment(C->getType());
354 }
Mike Stump1eb44332009-09-09 15:08:12 +0000355
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000356 uint64_t getSizeInBytes(const llvm::Constant *C) const {
357 return CGM.getTargetData().getTypeAllocSize(C->getType());
358 }
Mike Stump1eb44332009-09-09 15:08:12 +0000359
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000360public:
361 static llvm::Constant *BuildStruct(CodeGenModule &CGM, CodeGenFunction *CGF,
Eli Friedmanc0879bb2009-08-01 23:11:24 +0000362 InitListExpr *ILE) {
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000363 ConstStructBuilder Builder(CGM, CGF);
Mike Stump1eb44332009-09-09 15:08:12 +0000364
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000365 if (!Builder.Build(ILE))
366 return 0;
Mike Stump1eb44332009-09-09 15:08:12 +0000367
368 llvm::Constant *Result =
Daniel Dunbara10f7ea2009-08-06 01:24:27 +0000369 llvm::ConstantStruct::get(CGM.getLLVMContext(),
Owen Anderson47a434f2009-08-05 23:18:46 +0000370 Builder.Elements, Builder.Packed);
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000371
Anders Carlsson4257bc62009-07-25 00:24:56 +0000372 assert(llvm::RoundUpToAlignment(Builder.NextFieldOffsetInBytes,
Mike Stump1eb44332009-09-09 15:08:12 +0000373 Builder.getAlignment(Result)) ==
Anders Carlsson4257bc62009-07-25 00:24:56 +0000374 Builder.getSizeInBytes(Result) && "Size mismatch!");
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000375
Anders Carlsson56027192009-07-24 18:20:38 +0000376 return Result;
Anders Carlsson4c98efd2009-07-24 15:20:52 +0000377 }
378};
Mike Stump1eb44332009-09-09 15:08:12 +0000379
380class VISIBILITY_HIDDEN ConstExprEmitter :
Anders Carlsson84005b42008-01-26 04:30:23 +0000381 public StmtVisitor<ConstExprEmitter, llvm::Constant*> {
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000382 CodeGenModule &CGM;
Lauro Ramos Venancio81373352008-02-26 21:41:45 +0000383 CodeGenFunction *CGF;
Owen Andersona1cf15f2009-07-14 23:10:40 +0000384 llvm::LLVMContext &VMContext;
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000385public:
Lauro Ramos Venancio81373352008-02-26 21:41:45 +0000386 ConstExprEmitter(CodeGenModule &cgm, CodeGenFunction *cgf)
Owen Andersona1cf15f2009-07-14 23:10:40 +0000387 : CGM(cgm), CGF(cgf), VMContext(cgm.getLLVMContext()) {
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000388 }
Mike Stump1eb44332009-09-09 15:08:12 +0000389
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000390 //===--------------------------------------------------------------------===//
391 // Visitor Methods
392 //===--------------------------------------------------------------------===//
Mike Stump1eb44332009-09-09 15:08:12 +0000393
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000394 llvm::Constant *VisitStmt(Stmt *S) {
Anders Carlsson069880e2009-03-03 16:43:34 +0000395 return 0;
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000396 }
Mike Stump1eb44332009-09-09 15:08:12 +0000397
398 llvm::Constant *VisitParenExpr(ParenExpr *PE) {
399 return Visit(PE->getSubExpr());
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000400 }
Mike Stump1eb44332009-09-09 15:08:12 +0000401
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000402 llvm::Constant *VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
403 return Visit(E->getInitializer());
404 }
Anders Carlssonf57b4e42009-10-03 15:02:02 +0000405
406 llvm::Constant *EmitMemberFunctionPointer(CXXMethodDecl *MD) {
407 assert(MD->isInstance() && "Member function must not be static!");
408
409 const llvm::Type *PtrDiffTy =
410 CGM.getTypes().ConvertType(CGM.getContext().getPointerDiffType());
411
412 llvm::Constant *Values[2];
413
414 // Get the function pointer (or index if this is a virtual function).
415 if (MD->isVirtual()) {
Anders Carlsson719aa442009-10-03 19:56:56 +0000416 uint64_t Index = CGM.GetVtableIndex(MD->getCanonicalDecl());
Anders Carlssonf57b4e42009-10-03 15:02:02 +0000417
418 Values[0] = llvm::ConstantInt::get(PtrDiffTy, Index + 1);
419 } else {
420 llvm::Constant *FuncPtr = CGM.GetAddrOfFunction(MD);
Mike Stump1eb44332009-09-09 15:08:12 +0000421
Anders Carlssonf57b4e42009-10-03 15:02:02 +0000422 Values[0] = llvm::ConstantExpr::getPtrToInt(FuncPtr, PtrDiffTy);
423 }
424
425 // The adjustment will always be 0.
426 Values[1] = llvm::ConstantInt::get(PtrDiffTy, 0);
427
428 return llvm::ConstantStruct::get(CGM.getLLVMContext(),
429 Values, 2, /*Packed=*/false);
430 }
431
432 llvm::Constant *VisitUnaryAddrOf(UnaryOperator *E) {
433 if (const MemberPointerType *MPT =
434 E->getType()->getAs<MemberPointerType>()) {
435 QualType T = MPT->getPointeeType();
436 if (T->isFunctionProtoType()) {
437 QualifiedDeclRefExpr *DRE = cast<QualifiedDeclRefExpr>(E->getSubExpr());
438
439 return EmitMemberFunctionPointer(cast<CXXMethodDecl>(DRE->getDecl()));
440 }
441
442 // FIXME: Should we handle other member pointer types here too,
443 // or should they be handled by Expr::Evaluate?
444 }
445
446 return 0;
447 }
448
Argyrios Kyrtzidis0835a3c2008-08-18 23:01:59 +0000449 llvm::Constant *VisitCastExpr(CastExpr* E) {
Anders Carlsson0086ccb2009-08-22 23:54:44 +0000450 switch (E->getCastKind()) {
451 case CastExpr::CK_ToUnion: {
452 // GCC cast to union extension
453 assert(E->getType()->isUnionType() &&
454 "Destination type is not union type!");
Nuno Lopes81e51e22009-01-17 00:48:48 +0000455 const llvm::Type *Ty = ConvertType(E->getType());
Anders Carlssone9352cc2009-04-08 04:48:15 +0000456 Expr *SubExpr = E->getSubExpr();
Anders Carlsson0086ccb2009-08-22 23:54:44 +0000457
Mike Stump1eb44332009-09-09 15:08:12 +0000458 llvm::Constant *C =
Anders Carlssonaaed50d2009-07-31 21:38:39 +0000459 CGM.EmitConstantExpr(SubExpr, SubExpr->getType(), CGF);
460 if (!C)
461 return 0;
Mike Stump1eb44332009-09-09 15:08:12 +0000462
Anders Carlssonaaed50d2009-07-31 21:38:39 +0000463 // Build a struct with the union sub-element as the first member,
464 // and padded to the appropriate size
465 std::vector<llvm::Constant*> Elts;
466 std::vector<const llvm::Type*> Types;
467 Elts.push_back(C);
468 Types.push_back(C->getType());
469 unsigned CurSize = CGM.getTargetData().getTypeAllocSize(C->getType());
470 unsigned TotalSize = CGM.getTargetData().getTypeAllocSize(Ty);
Mike Stump1eb44332009-09-09 15:08:12 +0000471
Anders Carlssonaaed50d2009-07-31 21:38:39 +0000472 assert(CurSize <= TotalSize && "Union size mismatch!");
473 if (unsigned NumPadBytes = TotalSize - CurSize) {
Owen Anderson0032b272009-08-13 21:57:51 +0000474 const llvm::Type *Ty = llvm::Type::getInt8Ty(VMContext);
Anders Carlssonaaed50d2009-07-31 21:38:39 +0000475 if (NumPadBytes > 1)
476 Ty = llvm::ArrayType::get(Ty, NumPadBytes);
Anders Carlsson0086ccb2009-08-22 23:54:44 +0000477
Anders Carlssonaaed50d2009-07-31 21:38:39 +0000478 Elts.push_back(llvm::Constant::getNullValue(Ty));
479 Types.push_back(Ty);
480 }
Mike Stump1eb44332009-09-09 15:08:12 +0000481
Anders Carlsson0086ccb2009-08-22 23:54:44 +0000482 llvm::StructType* STy =
483 llvm::StructType::get(C->getType()->getContext(), Types, false);
Anders Carlssonaaed50d2009-07-31 21:38:39 +0000484 return llvm::ConstantStruct::get(STy, Elts);
Nuno Lopes81e51e22009-01-17 00:48:48 +0000485 }
Anders Carlssond1a9bac2009-08-23 00:02:11 +0000486 case CastExpr::CK_NullToMemberPointer:
487 return CGM.EmitNullConstant(E->getType());
Anders Carlsson2c51f092009-10-03 15:13:22 +0000488
489 case CastExpr::CK_BaseToDerivedMemberPointer: {
490 Expr *SubExpr = E->getSubExpr();
491
492 const MemberPointerType *SrcTy =
493 SubExpr->getType()->getAs<MemberPointerType>();
494 const MemberPointerType *DestTy =
495 E->getType()->getAs<MemberPointerType>();
496
497 const CXXRecordDecl *BaseClass =
498 cast<CXXRecordDecl>(cast<RecordType>(SrcTy->getClass())->getDecl());
499 const CXXRecordDecl *DerivedClass =
500 cast<CXXRecordDecl>(cast<RecordType>(DestTy->getClass())->getDecl());
501
502 if (SrcTy->getPointeeType()->isFunctionProtoType()) {
503 llvm::Constant *C =
504 CGM.EmitConstantExpr(SubExpr, SubExpr->getType(), CGF);
505 if (!C)
506 return 0;
507
508 llvm::ConstantStruct *CS = cast<llvm::ConstantStruct>(C);
509
510 // Check if we need to update the adjustment.
511 if (llvm::Constant *Offset = CGM.GetCXXBaseClassOffset(DerivedClass,
512 BaseClass)) {
513 llvm::Constant *Values[2];
514
515 Values[0] = CS->getOperand(0);
516 Values[1] = llvm::ConstantExpr::getAdd(CS->getOperand(1), Offset);
517 return llvm::ConstantStruct::get(CGM.getLLVMContext(), Values, 2,
518 /*Packed=*/false);
519 }
520
521 return CS;
522 }
523 }
524
Anders Carlsson0086ccb2009-08-22 23:54:44 +0000525 default: {
526 // FIXME: This should be handled by the CK_NoOp cast kind.
527 // Explicit and implicit no-op casts
528 QualType Ty = E->getType(), SubTy = E->getSubExpr()->getType();
529 if (CGM.getContext().hasSameUnqualifiedType(Ty, SubTy))
530 return Visit(E->getSubExpr());
531 return 0;
Eli Friedmanddd2b6e2009-02-22 07:29:04 +0000532 }
Anders Carlsson0086ccb2009-08-22 23:54:44 +0000533 }
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000534 }
Devang Pateleae15602008-02-05 02:39:50 +0000535
Chris Lattner04421082008-04-08 04:40:51 +0000536 llvm::Constant *VisitCXXDefaultArgExpr(CXXDefaultArgExpr *DAE) {
537 return Visit(DAE->getExpr());
538 }
539
Eli Friedmana8234002008-05-30 10:24:46 +0000540 llvm::Constant *EmitArrayInitialization(InitListExpr *ILE) {
Eli Friedman4d1c0182008-02-21 17:45:41 +0000541 std::vector<llvm::Constant*> Elts;
Eli Friedmana8234002008-05-30 10:24:46 +0000542 const llvm::ArrayType *AType =
543 cast<llvm::ArrayType>(ConvertType(ILE->getType()));
Eli Friedman4d1c0182008-02-21 17:45:41 +0000544 unsigned NumInitElements = ILE->getNumInits();
545 // FIXME: Check for wide strings
Chris Lattnereaf2bb82009-02-24 22:18:39 +0000546 // FIXME: Check for NumInitElements exactly equal to 1??
Mike Stump1eb44332009-09-09 15:08:12 +0000547 if (NumInitElements > 0 &&
Chris Lattnereaf2bb82009-02-24 22:18:39 +0000548 (isa<StringLiteral>(ILE->getInit(0)) ||
549 isa<ObjCEncodeExpr>(ILE->getInit(0))) &&
Chris Lattnerc63a1f22008-08-04 07:31:14 +0000550 ILE->getType()->getArrayElementTypeNoTypeQual()->isCharType())
Eli Friedman4d1c0182008-02-21 17:45:41 +0000551 return Visit(ILE->getInit(0));
Devang Pateleae15602008-02-05 02:39:50 +0000552 const llvm::Type *ElemTy = AType->getElementType();
553 unsigned NumElements = AType->getNumElements();
554
Mike Stump1eb44332009-09-09 15:08:12 +0000555 // Initialising an array requires us to automatically
Devang Pateleae15602008-02-05 02:39:50 +0000556 // initialise any elements that have not been initialised explicitly
557 unsigned NumInitableElts = std::min(NumInitElements, NumElements);
558
559 // Copy initializer elements.
560 unsigned i = 0;
Eli Friedmana04a1532008-05-30 19:58:50 +0000561 bool RewriteType = false;
Devang Pateleae15602008-02-05 02:39:50 +0000562 for (; i < NumInitableElts; ++i) {
Anders Carlssone9352cc2009-04-08 04:48:15 +0000563 Expr *Init = ILE->getInit(i);
564 llvm::Constant *C = CGM.EmitConstantExpr(Init, Init->getType(), CGF);
Daniel Dunbard60f2fb2009-02-17 18:43:32 +0000565 if (!C)
566 return 0;
Eli Friedmana04a1532008-05-30 19:58:50 +0000567 RewriteType |= (C->getType() != ElemTy);
Devang Pateleae15602008-02-05 02:39:50 +0000568 Elts.push_back(C);
569 }
Eli Friedmana04a1532008-05-30 19:58:50 +0000570
Devang Pateleae15602008-02-05 02:39:50 +0000571 // Initialize remaining array elements.
Eli Friedman0f593122009-04-13 21:47:26 +0000572 // FIXME: This doesn't handle member pointers correctly!
Devang Pateleae15602008-02-05 02:39:50 +0000573 for (; i < NumElements; ++i)
Owen Andersonc9c88b42009-07-31 20:28:54 +0000574 Elts.push_back(llvm::Constant::getNullValue(ElemTy));
Devang Pateleae15602008-02-05 02:39:50 +0000575
Eli Friedmana04a1532008-05-30 19:58:50 +0000576 if (RewriteType) {
577 // FIXME: Try to avoid packing the array
578 std::vector<const llvm::Type*> Types;
579 for (unsigned i = 0; i < Elts.size(); ++i)
580 Types.push_back(Elts[i]->getType());
Mike Stump1eb44332009-09-09 15:08:12 +0000581 const llvm::StructType *SType = llvm::StructType::get(AType->getContext(),
Owen Anderson47a434f2009-08-05 23:18:46 +0000582 Types, true);
Owen Anderson08e25242009-07-27 22:29:56 +0000583 return llvm::ConstantStruct::get(SType, Elts);
Eli Friedmana04a1532008-05-30 19:58:50 +0000584 }
585
Mike Stump1eb44332009-09-09 15:08:12 +0000586 return llvm::ConstantArray::get(AType, Elts);
Devang Pateleae15602008-02-05 02:39:50 +0000587 }
588
Eli Friedmana8234002008-05-30 10:24:46 +0000589 llvm::Constant *EmitStructInitialization(InitListExpr *ILE) {
Anders Carlsson8dca3b32009-07-27 05:54:15 +0000590 return ConstStructBuilder::BuildStruct(CGM, CGF, ILE);
Devang Pateleae15602008-02-05 02:39:50 +0000591 }
Mike Stump1eb44332009-09-09 15:08:12 +0000592
Eli Friedmana8234002008-05-30 10:24:46 +0000593 llvm::Constant *EmitUnionInitialization(InitListExpr *ILE) {
Anders Carlssonf6c43962009-07-31 21:34:04 +0000594 return ConstStructBuilder::BuildStruct(CGM, CGF, ILE);
Eli Friedmana8234002008-05-30 10:24:46 +0000595 }
596
597 llvm::Constant *EmitVectorInitialization(InitListExpr *ILE) {
598 const llvm::VectorType *VType =
599 cast<llvm::VectorType>(ConvertType(ILE->getType()));
Eli Friedmancfb313b2008-05-30 12:02:14 +0000600 const llvm::Type *ElemTy = VType->getElementType();
601 std::vector<llvm::Constant*> Elts;
Devang Pateleae15602008-02-05 02:39:50 +0000602 unsigned NumElements = VType->getNumElements();
Eli Friedmancfb313b2008-05-30 12:02:14 +0000603 unsigned NumInitElements = ILE->getNumInits();
Devang Pateleae15602008-02-05 02:39:50 +0000604
Eli Friedmancfb313b2008-05-30 12:02:14 +0000605 unsigned NumInitableElts = std::min(NumInitElements, NumElements);
606
Devang Pateleae15602008-02-05 02:39:50 +0000607 // Copy initializer elements.
608 unsigned i = 0;
Eli Friedmancfb313b2008-05-30 12:02:14 +0000609 for (; i < NumInitableElts; ++i) {
Anders Carlssone9352cc2009-04-08 04:48:15 +0000610 Expr *Init = ILE->getInit(i);
611 llvm::Constant *C = CGM.EmitConstantExpr(Init, Init->getType(), CGF);
Daniel Dunbard60f2fb2009-02-17 18:43:32 +0000612 if (!C)
613 return 0;
Devang Pateleae15602008-02-05 02:39:50 +0000614 Elts.push_back(C);
615 }
616
Eli Friedmancfb313b2008-05-30 12:02:14 +0000617 for (; i < NumElements; ++i)
Owen Andersonc9c88b42009-07-31 20:28:54 +0000618 Elts.push_back(llvm::Constant::getNullValue(ElemTy));
Eli Friedmancfb313b2008-05-30 12:02:14 +0000619
Mike Stump1eb44332009-09-09 15:08:12 +0000620 return llvm::ConstantVector::get(VType, Elts);
Devang Pateleae15602008-02-05 02:39:50 +0000621 }
Mike Stump1eb44332009-09-09 15:08:12 +0000622
Anders Carlsson7d801ea2009-01-30 06:13:25 +0000623 llvm::Constant *VisitImplicitValueInitExpr(ImplicitValueInitExpr* E) {
Eli Friedman0f593122009-04-13 21:47:26 +0000624 return CGM.EmitNullConstant(E->getType());
Anders Carlsson7d801ea2009-01-30 06:13:25 +0000625 }
Mike Stump1eb44332009-09-09 15:08:12 +0000626
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000627 llvm::Constant *VisitInitListExpr(InitListExpr *ILE) {
Eli Friedmana8234002008-05-30 10:24:46 +0000628 if (ILE->getType()->isScalarType()) {
629 // We have a scalar in braces. Just use the first element.
Anders Carlssone9352cc2009-04-08 04:48:15 +0000630 if (ILE->getNumInits() > 0) {
631 Expr *Init = ILE->getInit(0);
632 return CGM.EmitConstantExpr(Init, Init->getType(), CGF);
633 }
Eli Friedman0f593122009-04-13 21:47:26 +0000634 return CGM.EmitNullConstant(ILE->getType());
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000635 }
Mike Stump1eb44332009-09-09 15:08:12 +0000636
Eli Friedmana8234002008-05-30 10:24:46 +0000637 if (ILE->getType()->isArrayType())
638 return EmitArrayInitialization(ILE);
Devang Patel47fb6972008-01-29 23:23:18 +0000639
Eli Friedmana8234002008-05-30 10:24:46 +0000640 if (ILE->getType()->isStructureType())
641 return EmitStructInitialization(ILE);
642
643 if (ILE->getType()->isUnionType())
644 return EmitUnionInitialization(ILE);
645
646 if (ILE->getType()->isVectorType())
647 return EmitVectorInitialization(ILE);
648
Devang Pateleae15602008-02-05 02:39:50 +0000649 assert(0 && "Unable to handle InitListExpr");
Chris Lattner2b94fe32008-03-01 08:45:05 +0000650 // Get rid of control reaches end of void function warning.
651 // Not reached.
652 return 0;
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000653 }
Eli Friedman3b707e72008-02-21 17:57:49 +0000654
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000655 llvm::Constant *VisitStringLiteral(StringLiteral *E) {
Chris Lattnera7ad98f2008-02-11 00:02:17 +0000656 assert(!E->getType()->isPointerType() && "Strings are always arrays");
Mike Stump1eb44332009-09-09 15:08:12 +0000657
Chris Lattnereaf2bb82009-02-24 22:18:39 +0000658 // This must be a string initializing an array in a static initializer.
659 // Don't emit it as the address of the string, emit the string data itself
660 // as an inline array.
Owen Anderson0032b272009-08-13 21:57:51 +0000661 return llvm::ConstantArray::get(VMContext,
662 CGM.GetStringForStringLiteral(E), false);
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000663 }
664
Chris Lattnereaf2bb82009-02-24 22:18:39 +0000665 llvm::Constant *VisitObjCEncodeExpr(ObjCEncodeExpr *E) {
666 // This must be an @encode initializing an array in a static initializer.
667 // Don't emit it as the address of the string, emit the string data itself
668 // as an inline array.
669 std::string Str;
670 CGM.getContext().getObjCEncodingForType(E->getEncodedType(), Str);
671 const ConstantArrayType *CAT = cast<ConstantArrayType>(E->getType());
Mike Stump1eb44332009-09-09 15:08:12 +0000672
Chris Lattnereaf2bb82009-02-24 22:18:39 +0000673 // Resize the string to the right size, adding zeros at the end, or
674 // truncating as needed.
675 Str.resize(CAT->getSize().getZExtValue(), '\0');
Owen Anderson0032b272009-08-13 21:57:51 +0000676 return llvm::ConstantArray::get(VMContext, Str, false);
Chris Lattnereaf2bb82009-02-24 22:18:39 +0000677 }
Mike Stump1eb44332009-09-09 15:08:12 +0000678
Eli Friedmanbc5ed6e2008-05-29 11:22:45 +0000679 llvm::Constant *VisitUnaryExtension(const UnaryOperator *E) {
680 return Visit(E->getSubExpr());
681 }
Mike Stumpb83d2872009-02-19 22:01:56 +0000682
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000683 // Utility methods
684 const llvm::Type *ConvertType(QualType T) {
685 return CGM.getTypes().ConvertType(T);
686 }
Anders Carlsson84005b42008-01-26 04:30:23 +0000687
Anders Carlsson5ea7d072008-11-16 06:23:45 +0000688public:
Anders Carlsson84005b42008-01-26 04:30:23 +0000689 llvm::Constant *EmitLValue(Expr *E) {
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000690 switch (E->getStmtClass()) {
Eli Friedman546d94c2008-02-11 00:23:10 +0000691 default: break;
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000692 case Expr::CompoundLiteralExprClass: {
693 // Note that due to the nature of compound literals, this is guaranteed
694 // to be the only use of the variable, so we just generate it here.
Anders Carlsson84005b42008-01-26 04:30:23 +0000695 CompoundLiteralExpr *CLE = cast<CompoundLiteralExpr>(E);
696 llvm::Constant* C = Visit(CLE->getInitializer());
Daniel Dunbard60f2fb2009-02-17 18:43:32 +0000697 // FIXME: "Leaked" on failure.
698 if (C)
Owen Anderson1c431b32009-07-08 19:05:04 +0000699 C = new llvm::GlobalVariable(CGM.getModule(), C->getType(),
Eli Friedmand15d8c62009-08-26 20:01:39 +0000700 E->getType().isConstant(CGM.getContext()),
Daniel Dunbard60f2fb2009-02-17 18:43:32 +0000701 llvm::GlobalValue::InternalLinkage,
Eli Friedmand15d8c62009-08-26 20:01:39 +0000702 C, ".compoundliteral", 0, false,
703 E->getType().getAddressSpace());
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000704 return C;
Anders Carlsson84005b42008-01-26 04:30:23 +0000705 }
Mike Stump1eb44332009-09-09 15:08:12 +0000706 case Expr::DeclRefExprClass:
Douglas Gregor1a49af92009-01-06 05:10:23 +0000707 case Expr::QualifiedDeclRefExprClass: {
Douglas Gregor8e9bebd2008-10-21 16:13:35 +0000708 NamedDecl *Decl = cast<DeclRefExpr>(E)->getDecl();
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000709 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(Decl))
Anders Carlsson555b4bb2009-09-10 23:43:36 +0000710 return CGM.GetAddrOfFunction(FD);
Steve Naroff248a7532008-04-15 22:42:06 +0000711 if (const VarDecl* VD = dyn_cast<VarDecl>(Decl)) {
Daniel Dunbard01b6692009-02-24 18:41:57 +0000712 // We can never refer to a variable with local storage.
Mike Stump1eb44332009-09-09 15:08:12 +0000713 if (!VD->hasLocalStorage()) {
Daniel Dunbard01b6692009-02-24 18:41:57 +0000714 if (VD->isFileVarDecl() || VD->hasExternalStorage())
715 return CGM.GetAddrOfGlobalVar(VD);
716 else if (VD->isBlockVarDecl()) {
717 assert(CGF && "Can't access static local vars without CGF");
718 return CGF->GetAddrOfStaticLocalVar(VD);
719 }
Steve Naroff248a7532008-04-15 22:42:06 +0000720 }
Lauro Ramos Venancio81373352008-02-26 21:41:45 +0000721 }
Eli Friedman546d94c2008-02-11 00:23:10 +0000722 break;
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000723 }
Daniel Dunbar61432932008-08-13 23:20:05 +0000724 case Expr::StringLiteralClass:
725 return CGM.GetAddrOfConstantStringFromLiteral(cast<StringLiteral>(E));
Chris Lattnereaf2bb82009-02-24 22:18:39 +0000726 case Expr::ObjCEncodeExprClass:
727 return CGM.GetAddrOfConstantStringFromObjCEncode(cast<ObjCEncodeExpr>(E));
Anders Carlsson5ea7d072008-11-16 06:23:45 +0000728 case Expr::ObjCStringLiteralClass: {
729 ObjCStringLiteral* SL = cast<ObjCStringLiteral>(E);
Steve Naroff33fdb732009-03-31 16:53:37 +0000730 llvm::Constant *C = CGM.getObjCRuntime().GenerateConstantString(SL);
Owen Anderson3c4972d2009-07-29 18:54:39 +0000731 return llvm::ConstantExpr::getBitCast(C, ConvertType(E->getType()));
Anders Carlsson5ea7d072008-11-16 06:23:45 +0000732 }
Chris Lattner35345642008-12-12 05:18:02 +0000733 case Expr::PredefinedExprClass: {
734 // __func__/__FUNCTION__ -> "". __PRETTY_FUNCTION__ -> "top level".
735 std::string Str;
Mike Stump1eb44332009-09-09 15:08:12 +0000736 if (cast<PredefinedExpr>(E)->getIdentType() ==
Chris Lattner35345642008-12-12 05:18:02 +0000737 PredefinedExpr::PrettyFunction)
738 Str = "top level";
Mike Stump1eb44332009-09-09 15:08:12 +0000739
Chris Lattner35345642008-12-12 05:18:02 +0000740 return CGM.GetAddrOfConstantCString(Str, ".tmp");
741 }
Eli Friedmanf0115892009-01-25 01:21:06 +0000742 case Expr::AddrLabelExprClass: {
743 assert(CGF && "Invalid address of label expression outside function.");
Owen Anderson0032b272009-08-13 21:57:51 +0000744 unsigned id =
745 CGF->GetIDForAddrOfLabel(cast<AddrLabelExpr>(E)->getLabel());
746 llvm::Constant *C =
747 llvm::ConstantInt::get(llvm::Type::getInt32Ty(VMContext), id);
Owen Anderson3c4972d2009-07-29 18:54:39 +0000748 return llvm::ConstantExpr::getIntToPtr(C, ConvertType(E->getType()));
Eli Friedmanf0115892009-01-25 01:21:06 +0000749 }
Eli Friedman3941b182009-01-25 01:54:01 +0000750 case Expr::CallExprClass: {
751 CallExpr* CE = cast<CallExpr>(E);
Mike Stump1eb44332009-09-09 15:08:12 +0000752 if (CE->isBuiltinCall(CGM.getContext()) !=
Douglas Gregor3c385e52009-02-14 18:57:46 +0000753 Builtin::BI__builtin___CFStringMakeConstantString)
Eli Friedman3941b182009-01-25 01:54:01 +0000754 break;
755 const Expr *Arg = CE->getArg(0)->IgnoreParenCasts();
756 const StringLiteral *Literal = cast<StringLiteral>(Arg);
Steve Naroff33fdb732009-03-31 16:53:37 +0000757 // FIXME: need to deal with UCN conversion issues.
Steve Naroff8d4141f2009-04-01 13:55:36 +0000758 return CGM.GetAddrOfConstantCFString(Literal);
Eli Friedman3941b182009-01-25 01:54:01 +0000759 }
Mike Stumpbd65cac2009-02-19 01:01:04 +0000760 case Expr::BlockExprClass: {
Anders Carlsson4de9fce2009-03-01 01:09:12 +0000761 std::string FunctionName;
762 if (CGF)
763 FunctionName = CGF->CurFn->getName();
764 else
765 FunctionName = "global";
766
767 return CGM.GetAddrOfGlobalBlock(cast<BlockExpr>(E), FunctionName.c_str());
Mike Stumpbd65cac2009-02-19 01:01:04 +0000768 }
Eli Friedman546d94c2008-02-11 00:23:10 +0000769 }
Daniel Dunbard60f2fb2009-02-17 18:43:32 +0000770
771 return 0;
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000772 }
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000773};
Mike Stump1eb44332009-09-09 15:08:12 +0000774
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000775} // end anonymous namespace.
776
Lauro Ramos Venancio81373352008-02-26 21:41:45 +0000777llvm::Constant *CodeGenModule::EmitConstantExpr(const Expr *E,
Anders Carlssone9352cc2009-04-08 04:48:15 +0000778 QualType DestType,
Chris Lattner96196622008-07-26 22:37:01 +0000779 CodeGenFunction *CGF) {
Anders Carlsson4b3f9c02008-12-01 02:42:14 +0000780 Expr::EvalResult Result;
Mike Stump1eb44332009-09-09 15:08:12 +0000781
Anders Carlsson1e5dc6e2009-04-11 01:08:03 +0000782 bool Success = false;
Mike Stump1eb44332009-09-09 15:08:12 +0000783
Eli Friedman50c39ea2009-05-27 06:04:58 +0000784 if (DestType->isReferenceType())
785 Success = E->EvaluateAsLValue(Result, Context);
Mike Stump1eb44332009-09-09 15:08:12 +0000786 else
Anders Carlsson1e5dc6e2009-04-11 01:08:03 +0000787 Success = E->Evaluate(Result, Context);
Mike Stump1eb44332009-09-09 15:08:12 +0000788
Anders Carlsson1e5dc6e2009-04-11 01:08:03 +0000789 if (Success) {
Mike Stump1eb44332009-09-09 15:08:12 +0000790 assert(!Result.HasSideEffects &&
Anders Carlsson4b3f9c02008-12-01 02:42:14 +0000791 "Constant expr should not have any side effects!");
792 switch (Result.Val.getKind()) {
Daniel Dunbara5fd07b2009-01-28 22:24:07 +0000793 case APValue::Uninitialized:
Daniel Dunbard60f2fb2009-02-17 18:43:32 +0000794 assert(0 && "Constant expressions should be initialized.");
795 return 0;
Anders Carlsson5a9a4572008-11-15 20:45:50 +0000796 case APValue::LValue: {
Anders Carlsson1e5dc6e2009-04-11 01:08:03 +0000797 const llvm::Type *DestTy = getTypes().ConvertTypeForMem(DestType);
Mike Stump1eb44332009-09-09 15:08:12 +0000798 llvm::Constant *Offset =
799 llvm::ConstantInt::get(llvm::Type::getInt64Ty(VMContext),
Anders Carlsson4b3f9c02008-12-01 02:42:14 +0000800 Result.Val.getLValueOffset());
Mike Stump1eb44332009-09-09 15:08:12 +0000801
Daniel Dunbare20de512009-02-19 21:44:24 +0000802 llvm::Constant *C;
Anders Carlsson4b3f9c02008-12-01 02:42:14 +0000803 if (const Expr *LVBase = Result.Val.getLValueBase()) {
Daniel Dunbare20de512009-02-19 21:44:24 +0000804 C = ConstExprEmitter(*this, CGF).EmitLValue(const_cast<Expr*>(LVBase));
Anders Carlsson5ea7d072008-11-16 06:23:45 +0000805
Daniel Dunbare20de512009-02-19 21:44:24 +0000806 // Apply offset if necessary.
807 if (!Offset->isNullValue()) {
Mike Stump1eb44332009-09-09 15:08:12 +0000808 const llvm::Type *Type =
Owen Anderson0032b272009-08-13 21:57:51 +0000809 llvm::PointerType::getUnqual(llvm::Type::getInt8Ty(VMContext));
Owen Anderson3c4972d2009-07-29 18:54:39 +0000810 llvm::Constant *Casted = llvm::ConstantExpr::getBitCast(C, Type);
811 Casted = llvm::ConstantExpr::getGetElementPtr(Casted, &Offset, 1);
812 C = llvm::ConstantExpr::getBitCast(Casted, C->getType());
Daniel Dunbare20de512009-02-19 21:44:24 +0000813 }
814
815 // Convert to the appropriate type; this could be an lvalue for
816 // an integer.
Anders Carlsson12e330c2009-04-10 04:59:59 +0000817 if (isa<llvm::PointerType>(DestTy))
Owen Anderson3c4972d2009-07-29 18:54:39 +0000818 return llvm::ConstantExpr::getBitCast(C, DestTy);
Daniel Dunbare20de512009-02-19 21:44:24 +0000819
Owen Anderson3c4972d2009-07-29 18:54:39 +0000820 return llvm::ConstantExpr::getPtrToInt(C, DestTy);
Daniel Dunbare20de512009-02-19 21:44:24 +0000821 } else {
822 C = Offset;
823
824 // Convert to the appropriate type; this could be an lvalue for
825 // an integer.
Anders Carlsson12e330c2009-04-10 04:59:59 +0000826 if (isa<llvm::PointerType>(DestTy))
Owen Anderson3c4972d2009-07-29 18:54:39 +0000827 return llvm::ConstantExpr::getIntToPtr(C, DestTy);
Daniel Dunbare20de512009-02-19 21:44:24 +0000828
829 // If the types don't match this should only be a truncate.
Anders Carlsson12e330c2009-04-10 04:59:59 +0000830 if (C->getType() != DestTy)
Owen Anderson3c4972d2009-07-29 18:54:39 +0000831 return llvm::ConstantExpr::getTrunc(C, DestTy);
Daniel Dunbare20de512009-02-19 21:44:24 +0000832
833 return C;
Anders Carlsson5ea7d072008-11-16 06:23:45 +0000834 }
Anders Carlsson5a9a4572008-11-15 20:45:50 +0000835 }
Eli Friedman7b30b1c2008-11-17 03:57:28 +0000836 case APValue::Int: {
Mike Stump1eb44332009-09-09 15:08:12 +0000837 llvm::Constant *C = llvm::ConstantInt::get(VMContext,
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000838 Result.Val.getInt());
Mike Stump1eb44332009-09-09 15:08:12 +0000839
Owen Anderson0032b272009-08-13 21:57:51 +0000840 if (C->getType() == llvm::Type::getInt1Ty(VMContext)) {
Anders Carlsson5a9a4572008-11-15 20:45:50 +0000841 const llvm::Type *BoolTy = getTypes().ConvertTypeForMem(E->getType());
Owen Anderson3c4972d2009-07-29 18:54:39 +0000842 C = llvm::ConstantExpr::getZExt(C, BoolTy);
Anders Carlsson5a9a4572008-11-15 20:45:50 +0000843 }
844 return C;
Eli Friedman7b30b1c2008-11-17 03:57:28 +0000845 }
Daniel Dunbara5fd07b2009-01-28 22:24:07 +0000846 case APValue::ComplexInt: {
847 llvm::Constant *Complex[2];
Mike Stump1eb44332009-09-09 15:08:12 +0000848
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000849 Complex[0] = llvm::ConstantInt::get(VMContext,
850 Result.Val.getComplexIntReal());
Mike Stump1eb44332009-09-09 15:08:12 +0000851 Complex[1] = llvm::ConstantInt::get(VMContext,
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000852 Result.Val.getComplexIntImag());
Mike Stump1eb44332009-09-09 15:08:12 +0000853
Nick Lewycky0d36dd22009-09-19 20:00:52 +0000854 // FIXME: the target may want to specify that this is packed.
855 return llvm::ConstantStruct::get(VMContext, Complex, 2, false);
Daniel Dunbara5fd07b2009-01-28 22:24:07 +0000856 }
Anders Carlsson5a9a4572008-11-15 20:45:50 +0000857 case APValue::Float:
Owen Andersonbc0a2222009-07-27 21:00:51 +0000858 return llvm::ConstantFP::get(VMContext, Result.Val.getFloat());
Anders Carlssonaa432562008-11-17 01:58:55 +0000859 case APValue::ComplexFloat: {
860 llvm::Constant *Complex[2];
Mike Stump1eb44332009-09-09 15:08:12 +0000861
862 Complex[0] = llvm::ConstantFP::get(VMContext,
Owen Andersonbc0a2222009-07-27 21:00:51 +0000863 Result.Val.getComplexFloatReal());
864 Complex[1] = llvm::ConstantFP::get(VMContext,
865 Result.Val.getComplexFloatImag());
Mike Stump1eb44332009-09-09 15:08:12 +0000866
Nick Lewycky0d36dd22009-09-19 20:00:52 +0000867 // FIXME: the target may want to specify that this is packed.
868 return llvm::ConstantStruct::get(VMContext, Complex, 2, false);
Anders Carlssonaa432562008-11-17 01:58:55 +0000869 }
Nate Begeman3d309f92009-01-18 01:01:34 +0000870 case APValue::Vector: {
871 llvm::SmallVector<llvm::Constant *, 4> Inits;
872 unsigned NumElts = Result.Val.getVectorLength();
Mike Stump1eb44332009-09-09 15:08:12 +0000873
Nate Begeman3d309f92009-01-18 01:01:34 +0000874 for (unsigned i = 0; i != NumElts; ++i) {
875 APValue &Elt = Result.Val.getVectorElt(i);
876 if (Elt.isInt())
Owen Anderson4a28d5d2009-07-24 23:12:58 +0000877 Inits.push_back(llvm::ConstantInt::get(VMContext, Elt.getInt()));
Nate Begeman3d309f92009-01-18 01:01:34 +0000878 else
Owen Andersonbc0a2222009-07-27 21:00:51 +0000879 Inits.push_back(llvm::ConstantFP::get(VMContext, Elt.getFloat()));
Nate Begeman3d309f92009-01-18 01:01:34 +0000880 }
Owen Anderson4a289322009-07-28 21:22:35 +0000881 return llvm::ConstantVector::get(&Inits[0], Inits.size());
Nate Begeman3d309f92009-01-18 01:01:34 +0000882 }
Anders Carlsson5a9a4572008-11-15 20:45:50 +0000883 }
884 }
Eli Friedman7dfa6392008-06-01 15:31:44 +0000885
886 llvm::Constant* C = ConstExprEmitter(*this, CGF).Visit(const_cast<Expr*>(E));
Owen Anderson0032b272009-08-13 21:57:51 +0000887 if (C && C->getType() == llvm::Type::getInt1Ty(VMContext)) {
Eli Friedman7dfa6392008-06-01 15:31:44 +0000888 const llvm::Type *BoolTy = getTypes().ConvertTypeForMem(E->getType());
Owen Anderson3c4972d2009-07-29 18:54:39 +0000889 C = llvm::ConstantExpr::getZExt(C, BoolTy);
Eli Friedman7dfa6392008-06-01 15:31:44 +0000890 }
891 return C;
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000892}
Eli Friedman0f593122009-04-13 21:47:26 +0000893
Anders Carlssone9d34dc2009-09-29 02:09:01 +0000894static inline bool isDataMemberPointerType(QualType T) {
895 if (const MemberPointerType *MPT = T->getAs<MemberPointerType>())
896 return !MPT->getPointeeType()->isFunctionType();
897
898 return false;
899}
900
Eli Friedman0f593122009-04-13 21:47:26 +0000901llvm::Constant *CodeGenModule::EmitNullConstant(QualType T) {
Anders Carlssonad3e7112009-08-24 17:16:23 +0000902 // No need to check for member pointers when not compiling C++.
903 if (!getContext().getLangOptions().CPlusPlus)
904 return llvm::Constant::getNullValue(getTypes().ConvertTypeForMem(T));
Mike Stump1eb44332009-09-09 15:08:12 +0000905
Anders Carlsson237957c2009-08-09 18:26:27 +0000906 if (const ConstantArrayType *CAT = Context.getAsConstantArrayType(T)) {
Mike Stump1eb44332009-09-09 15:08:12 +0000907
Anders Carlsson237957c2009-08-09 18:26:27 +0000908 QualType ElementTy = CAT->getElementType();
909
910 // FIXME: Handle arrays of structs that contain member pointers.
Anders Carlssone9d34dc2009-09-29 02:09:01 +0000911 if (isDataMemberPointerType(Context.getBaseElementType(ElementTy))) {
Anders Carlsson237957c2009-08-09 18:26:27 +0000912 llvm::Constant *Element = EmitNullConstant(ElementTy);
913 uint64_t NumElements = CAT->getSize().getZExtValue();
914 std::vector<llvm::Constant *> Array(NumElements);
915 for (uint64_t i = 0; i != NumElements; ++i)
916 Array[i] = Element;
Mike Stump1eb44332009-09-09 15:08:12 +0000917
918 const llvm::ArrayType *ATy =
Anders Carlsson237957c2009-08-09 18:26:27 +0000919 cast<llvm::ArrayType>(getTypes().ConvertTypeForMem(T));
920 return llvm::ConstantArray::get(ATy, Array);
921 }
922 }
Anders Carlssonfc3eaa42009-08-23 01:25:01 +0000923
924 if (const RecordType *RT = T->getAs<RecordType>()) {
Anders Carlssonad3e7112009-08-24 17:16:23 +0000925 const RecordDecl *RD = RT->getDecl();
Mike Stump1eb44332009-09-09 15:08:12 +0000926 // FIXME: It would be better if there was a way to explicitly compute the
Anders Carlssonad3e7112009-08-24 17:16:23 +0000927 // record layout instead of converting to a type.
928 Types.ConvertTagDeclType(RD);
Mike Stump1eb44332009-09-09 15:08:12 +0000929
Anders Carlssonad3e7112009-08-24 17:16:23 +0000930 const CGRecordLayout &Layout = Types.getCGRecordLayout(RD);
931 if (Layout.containsMemberPointer()) {
Anders Carlssonfc3eaa42009-08-23 01:25:01 +0000932 assert(0 && "FIXME: No support for structs with member pointers yet!");
933 }
Anders Carlssonfc3eaa42009-08-23 01:25:01 +0000934 }
Mike Stump1eb44332009-09-09 15:08:12 +0000935
Anders Carlsson237957c2009-08-09 18:26:27 +0000936 // FIXME: Handle structs that contain member pointers.
Anders Carlssone9d34dc2009-09-29 02:09:01 +0000937 if (isDataMemberPointerType(T))
Anders Carlsson237957c2009-08-09 18:26:27 +0000938 return llvm::Constant::getAllOnesValue(getTypes().ConvertTypeForMem(T));
Mike Stump1eb44332009-09-09 15:08:12 +0000939
Anders Carlssonb0d0ea02009-08-02 21:18:22 +0000940 return llvm::Constant::getNullValue(getTypes().ConvertTypeForMem(T));
Eli Friedman0f593122009-04-13 21:47:26 +0000941}