blob: f72994d5089e68ed7c23d8205c553223fab0579c [file] [log] [blame]
Anders Carlssond76cead2008-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"
16#include "clang/AST/AST.h"
17#include "llvm/Constants.h"
18#include "llvm/Function.h"
19#include "llvm/GlobalVariable.h"
20#include "llvm/Support/Compiler.h"
21using namespace clang;
22using namespace CodeGen;
23
24namespace {
Anders Carlssonde598292008-01-26 04:30:23 +000025class VISIBILITY_HIDDEN ConstExprEmitter :
26 public StmtVisitor<ConstExprEmitter, llvm::Constant*> {
Anders Carlssond76cead2008-01-26 01:36:00 +000027 CodeGenModule &CGM;
28public:
29 ConstExprEmitter(CodeGenModule &cgm)
30 : CGM(cgm) {
31 }
32
33 //===--------------------------------------------------------------------===//
34 // Visitor Methods
35 //===--------------------------------------------------------------------===//
36
37 llvm::Constant *VisitStmt(Stmt *S) {
38 CGM.WarnUnsupported(S, "constant expression");
39 return 0;
40 }
41
42 llvm::Constant *VisitParenExpr(ParenExpr *PE) {
43 return Visit(PE->getSubExpr());
44 }
45
46 // Leaves
47 llvm::Constant *VisitIntegerLiteral(const IntegerLiteral *E) {
48 return llvm::ConstantInt::get(E->getValue());
49 }
50 llvm::Constant *VisitFloatingLiteral(const FloatingLiteral *E) {
51 return llvm::ConstantFP::get(ConvertType(E->getType()), E->getValue());
52 }
53 llvm::Constant *VisitCharacterLiteral(const CharacterLiteral *E) {
54 return llvm::ConstantInt::get(ConvertType(E->getType()), E->getValue());
55 }
56 llvm::Constant *VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *E) {
57 return llvm::ConstantInt::get(ConvertType(E->getType()), E->getValue());
58 }
59
60 llvm::Constant *VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
61 return Visit(E->getInitializer());
62 }
63
64 llvm::Constant *VisitCastExpr(const CastExpr* E) {
65 llvm::Constant *C = Visit(E->getSubExpr());
66
67 return EmitConversion(C, E->getSubExpr()->getType(), E->getType());
68 }
Devang Patel04520012008-02-05 02:39:50 +000069
70 llvm::Constant *EmitArrayInitialization(InitListExpr *ILE,
71 const llvm::ArrayType *AType) {
72
73 std::vector<llvm::Constant*> Elts;
74 unsigned NumInitElements = ILE->getNumInits();
75 const llvm::Type *ElemTy = AType->getElementType();
76 unsigned NumElements = AType->getNumElements();
77
78 // Initialising an array requires us to automatically
79 // initialise any elements that have not been initialised explicitly
80 unsigned NumInitableElts = std::min(NumInitElements, NumElements);
81
82 // Copy initializer elements.
83 unsigned i = 0;
84 for (; i < NumInitableElts; ++i) {
85
86 llvm::Constant *C = Visit(ILE->getInit(i));
87 // FIXME: Remove this when sema of initializers is finished (and the code
88 // above).
89 if (C == 0 && ILE->getInit(i)->getType()->isVoidType()) {
90 if (ILE->getType()->isVoidType()) return 0;
91 return llvm::UndefValue::get(AType);
92 }
93 assert (C && "Failed to create initializer expression");
94 Elts.push_back(C);
95 }
96
97 // Initialize remaining array elements.
98 for (; i < NumElements; ++i)
99 Elts.push_back(llvm::Constant::getNullValue(ElemTy));
100
101 return llvm::ConstantArray::get(AType, Elts);
102 }
103
104 llvm::Constant *EmitStructInitialization(InitListExpr *ILE,
105 const llvm::StructType *SType) {
106
Chris Lattner7b2543e2008-02-05 06:55:31 +0000107 TagDecl *TD = ILE->getType()->getAsRecordType()->getDecl();
Devang Patel04520012008-02-05 02:39:50 +0000108 std::vector<llvm::Constant*> Elts;
Chris Lattner7b2543e2008-02-05 06:55:31 +0000109 const CGRecordLayout *CGR = CGM.getTypes().getCGRecordLayout(TD);
Devang Patel04520012008-02-05 02:39:50 +0000110 unsigned NumInitElements = ILE->getNumInits();
111 unsigned NumElements = SType->getNumElements();
112
113 // Initialising an structure requires us to automatically
114 // initialise any elements that have not been initialised explicitly
115 unsigned NumInitableElts = std::min(NumInitElements, NumElements);
116
117 // Copy initializer elements. Skip padding fields.
118 unsigned EltNo = 0; // Element no in ILE
119 unsigned FieldNo = 0; // Field no in SType
120 while (EltNo < NumInitableElts) {
121
122 // Zero initialize padding field.
123 if (CGR->isPaddingField(FieldNo)) {
124 const llvm::Type *FieldTy = SType->getElementType(FieldNo);
125 Elts.push_back(llvm::Constant::getNullValue(FieldTy));
126 FieldNo++;
127 continue;
128 }
129
130 llvm::Constant *C = Visit(ILE->getInit(EltNo));
131 // FIXME: Remove this when sema of initializers is finished (and the code
132 // above).
133 if (C == 0 && ILE->getInit(EltNo)->getType()->isVoidType()) {
134 if (ILE->getType()->isVoidType()) return 0;
135 return llvm::UndefValue::get(SType);
136 }
137 assert (C && "Failed to create initializer expression");
138 Elts.push_back(C);
139 EltNo++;
140 FieldNo++;
141 }
142
143 // Initialize remaining structure elements.
144 for (unsigned i = Elts.size(); i < NumElements; ++i) {
145 const llvm::Type *FieldTy = SType->getElementType(i);
146 Elts.push_back(llvm::Constant::getNullValue(FieldTy));
147 }
148
149 return llvm::ConstantStruct::get(SType, Elts);
150 }
151
152 llvm::Constant *EmitVectorInitialization(InitListExpr *ILE,
153 const llvm::VectorType *VType) {
154
155 std::vector<llvm::Constant*> Elts;
156 unsigned NumInitElements = ILE->getNumInits();
157 unsigned NumElements = VType->getNumElements();
158
159 assert (NumInitElements == NumElements
160 && "Unsufficient vector init elelments");
161 // Copy initializer elements.
162 unsigned i = 0;
163 for (; i < NumElements; ++i) {
164
165 llvm::Constant *C = Visit(ILE->getInit(i));
166 // FIXME: Remove this when sema of initializers is finished (and the code
167 // above).
168 if (C == 0 && ILE->getInit(i)->getType()->isVoidType()) {
169 if (ILE->getType()->isVoidType()) return 0;
170 return llvm::UndefValue::get(VType);
171 }
172 assert (C && "Failed to create initializer expression");
173 Elts.push_back(C);
174 }
175
176 return llvm::ConstantVector::get(VType, Elts);
177 }
178
Anders Carlssond76cead2008-01-26 01:36:00 +0000179 llvm::Constant *VisitInitListExpr(InitListExpr *ILE) {
Anders Carlsson35ab4f92008-01-29 01:15:48 +0000180 const llvm::CompositeType *CType =
181 dyn_cast<llvm::CompositeType>(ConvertType(ILE->getType()));
182
183 if (!CType) {
184 // We have a scalar in braces. Just use the first element.
185 return Visit(ILE->getInit(0));
Anders Carlssond76cead2008-01-26 01:36:00 +0000186 }
Anders Carlsson35ab4f92008-01-29 01:15:48 +0000187
Devang Patel04520012008-02-05 02:39:50 +0000188 if (const llvm::ArrayType *AType = dyn_cast<llvm::ArrayType>(CType))
189 return EmitArrayInitialization(ILE, AType);
Devang Pateld72d1012008-01-29 23:23:18 +0000190
Devang Patel04520012008-02-05 02:39:50 +0000191 if (const llvm::StructType *SType = dyn_cast<llvm::StructType>(CType))
192 return EmitStructInitialization(ILE, SType);
Devang Pateld72d1012008-01-29 23:23:18 +0000193
Devang Patel04520012008-02-05 02:39:50 +0000194 if (const llvm::VectorType *VType = dyn_cast<llvm::VectorType>(CType))
195 return EmitVectorInitialization(ILE, VType);
Anders Carlssond76cead2008-01-26 01:36:00 +0000196
197 // Make sure we have an array at this point
Devang Patel04520012008-02-05 02:39:50 +0000198 assert(0 && "Unable to handle InitListExpr");
Anders Carlssond76cead2008-01-26 01:36:00 +0000199 }
200
201 llvm::Constant *VisitImplicitCastExpr(ImplicitCastExpr *ICExpr) {
202 // If this is due to array->pointer conversion, emit the array expression as
203 // an l-value.
204 if (ICExpr->getSubExpr()->getType()->isArrayType()) {
205 // Note that VLAs can't exist for global variables.
206 // The only thing that can have array type like this is a
207 // DeclRefExpr(FileVarDecl)?
208 const DeclRefExpr *DRE = cast<DeclRefExpr>(ICExpr->getSubExpr());
209 const VarDecl *VD = cast<VarDecl>(DRE->getDecl());
210 llvm::Constant *C = CGM.GetAddrOfGlobalVar(VD, false);
211 assert(isa<llvm::PointerType>(C->getType()) &&
212 isa<llvm::ArrayType>(cast<llvm::PointerType>(C->getType())
213 ->getElementType()));
214 llvm::Constant *Idx0 = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0);
215
216 llvm::Constant *Ops[] = {Idx0, Idx0};
217 C = llvm::ConstantExpr::getGetElementPtr(C, Ops, 2);
218
219 // The resultant pointer type can be implicitly cast to other pointer
220 // types as well, for example void*.
221 const llvm::Type *DestPTy = ConvertType(ICExpr->getType());
222 assert(isa<llvm::PointerType>(DestPTy) &&
223 "Only expect implicit cast to pointer");
224 return llvm::ConstantExpr::getBitCast(C, DestPTy);
225 }
226
227 llvm::Constant *C = Visit(ICExpr->getSubExpr());
228
229 return EmitConversion(C, ICExpr->getSubExpr()->getType(),ICExpr->getType());
230 }
231
232 llvm::Constant *VisitStringLiteral(StringLiteral *E) {
233 const char *StrData = E->getStrData();
234 unsigned Len = E->getByteLength();
235
236 // If the string has a pointer type, emit it as a global and use the pointer
237 // to the global as its value.
238 if (E->getType()->isPointerType())
239 return CGM.GetAddrOfConstantString(std::string(StrData, StrData + Len));
240
241 // Otherwise this must be a string initializing an array in a static
242 // initializer. Don't emit it as the address of the string, emit the string
243 // data itself as an inline array.
244 const ConstantArrayType *CAT = E->getType()->getAsConstantArrayType();
245 assert(CAT && "String isn't pointer or array!");
246
247 std::string Str(StrData, StrData + Len);
248 // Null terminate the string before potentially truncating it.
249 // FIXME: What about wchar_t strings?
250 Str.push_back(0);
251
252 uint64_t RealLen = CAT->getSize().getZExtValue();
253 // String or grow the initializer to the required size.
254 if (RealLen != Str.size())
255 Str.resize(RealLen);
256
257 return llvm::ConstantArray::get(Str, false);
258 }
259
260 llvm::Constant *VisitDeclRefExpr(DeclRefExpr *E) {
261 const ValueDecl *Decl = E->getDecl();
262 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(Decl))
263 return CGM.GetAddrOfFunctionDecl(FD, false);
Anders Carlsson544cbe52008-01-29 01:28:48 +0000264 if (const EnumConstantDecl *EC = dyn_cast<EnumConstantDecl>(Decl))
265 return llvm::ConstantInt::get(EC->getInitVal());
Anders Carlssond76cead2008-01-26 01:36:00 +0000266 assert(0 && "Unsupported decl ref type!");
267 return 0;
268 }
269
270 llvm::Constant *VisitSizeOfAlignOfTypeExpr(const SizeOfAlignOfTypeExpr *E) {
271 return EmitSizeAlignOf(E->getArgumentType(), E->getType(), E->isSizeOf());
272 }
273
274 // Unary operators
275 llvm::Constant *VisitUnaryPlus(const UnaryOperator *E) {
276 return Visit(E->getSubExpr());
277 }
278 llvm::Constant *VisitUnaryMinus(const UnaryOperator *E) {
279 return llvm::ConstantExpr::getNeg(Visit(E->getSubExpr()));
280 }
281 llvm::Constant *VisitUnaryNot(const UnaryOperator *E) {
282 return llvm::ConstantExpr::getNot(Visit(E->getSubExpr()));
283 }
284 llvm::Constant *VisitUnaryLNot(const UnaryOperator *E) {
285 llvm::Constant *SubExpr = Visit(E->getSubExpr());
286
287 if (E->getSubExpr()->getType()->isRealFloatingType()) {
288 // Compare against 0.0 for fp scalars.
289 llvm::Constant *Zero = llvm::Constant::getNullValue(SubExpr->getType());
290 SubExpr = llvm::ConstantExpr::getFCmp(llvm::FCmpInst::FCMP_UEQ, SubExpr,
291 Zero);
292 } else {
293 assert((E->getSubExpr()->getType()->isIntegerType() ||
294 E->getSubExpr()->getType()->isPointerType()) &&
295 "Unknown scalar type to convert");
296 // Compare against an integer or pointer null.
297 llvm::Constant *Zero = llvm::Constant::getNullValue(SubExpr->getType());
298 SubExpr = llvm::ConstantExpr::getICmp(llvm::ICmpInst::ICMP_EQ, SubExpr,
299 Zero);
300 }
301
302 return llvm::ConstantExpr::getZExt(SubExpr, ConvertType(E->getType()));
303 }
304 llvm::Constant *VisitUnarySizeOf(const UnaryOperator *E) {
305 return EmitSizeAlignOf(E->getSubExpr()->getType(), E->getType(), true);
306 }
307 llvm::Constant *VisitUnaryAlignOf(const UnaryOperator *E) {
308 return EmitSizeAlignOf(E->getSubExpr()->getType(), E->getType(), false);
309 }
Anders Carlsson00b837c2008-01-26 02:08:50 +0000310 llvm::Constant *VisitUnaryAddrOf(const UnaryOperator *E) {
311 return EmitLValue(E->getSubExpr());
312 }
Anders Carlsson52774ad2008-01-29 15:56:48 +0000313 llvm::Constant *VisitUnaryOffsetOf(const UnaryOperator *E) {
314 int64_t Val = E->evaluateOffsetOf(CGM.getContext());
315
316 assert(E->getType()->isIntegerType() && "Result type must be an integer!");
317
318 uint32_t ResultWidth = static_cast<uint32_t>(
319 CGM.getContext().getTypeSize(E->getType(), SourceLocation()));
320 return llvm::ConstantInt::get(llvm::APInt(ResultWidth, Val));
321 }
Anders Carlssond76cead2008-01-26 01:36:00 +0000322
Anders Carlssoncc4855e2008-01-29 01:33:32 +0000323 // Binary operators
324 llvm::Constant *VisitBinOr(const BinaryOperator *E) {
325 llvm::Constant *LHS = Visit(E->getLHS());
326 llvm::Constant *RHS = Visit(E->getRHS());
327
328 return llvm::ConstantExpr::getOr(LHS, RHS);
329 }
330
Anders Carlssond76cead2008-01-26 01:36:00 +0000331 // Utility methods
332 const llvm::Type *ConvertType(QualType T) {
333 return CGM.getTypes().ConvertType(T);
334 }
335
336 llvm::Constant *EmitConversionToBool(llvm::Constant *Src, QualType SrcType) {
337 assert(SrcType->isCanonical() && "EmitConversion strips typedefs");
338
339 if (SrcType->isRealFloatingType()) {
340 // Compare against 0.0 for fp scalars.
341 llvm::Constant *Zero = llvm::Constant::getNullValue(Src->getType());
342 return llvm::ConstantExpr::getFCmp(llvm::FCmpInst::FCMP_UNE, Src, Zero);
343 }
344
345 assert((SrcType->isIntegerType() || SrcType->isPointerType()) &&
346 "Unknown scalar type to convert");
347
348 // Compare against an integer or pointer null.
349 llvm::Constant *Zero = llvm::Constant::getNullValue(Src->getType());
350 return llvm::ConstantExpr::getICmp(llvm::ICmpInst::ICMP_NE, Src, Zero);
351 }
352
353 llvm::Constant *EmitConversion(llvm::Constant *Src, QualType SrcType,
354 QualType DstType) {
355 SrcType = SrcType.getCanonicalType();
356 DstType = DstType.getCanonicalType();
357 if (SrcType == DstType) return Src;
358
359 // Handle conversions to bool first, they are special: comparisons against 0.
360 if (DstType->isBooleanType())
361 return EmitConversionToBool(Src, SrcType);
362
363 const llvm::Type *DstTy = ConvertType(DstType);
364
365 // Ignore conversions like int -> uint.
366 if (Src->getType() == DstTy)
367 return Src;
368
369 // Handle pointer conversions next: pointers can only be converted to/from
370 // other pointers and integers.
371 if (isa<PointerType>(DstType)) {
372 // The source value may be an integer, or a pointer.
373 if (isa<llvm::PointerType>(Src->getType()))
374 return llvm::ConstantExpr::getBitCast(Src, DstTy);
Anders Carlssonde598292008-01-26 04:30:23 +0000375 assert(SrcType->isIntegerType() &&"Not ptr->ptr or int->ptr conversion?");
Anders Carlssond76cead2008-01-26 01:36:00 +0000376 return llvm::ConstantExpr::getIntToPtr(Src, DstTy);
377 }
378
379 if (isa<PointerType>(SrcType)) {
380 // Must be an ptr to int cast.
381 assert(isa<llvm::IntegerType>(DstTy) && "not ptr->int?");
382 return llvm::ConstantExpr::getPtrToInt(Src, DstTy);
383 }
384
385 // A scalar source can be splatted to a vector of the same element type
386 if (isa<llvm::VectorType>(DstTy) && !isa<VectorType>(SrcType)) {
387 const llvm::VectorType *VT = cast<llvm::VectorType>(DstTy);
388 assert((VT->getElementType() == Src->getType()) &&
389 "Vector element type must match scalar type to splat.");
390 unsigned NumElements = DstType->getAsVectorType()->getNumElements();
391 llvm::SmallVector<llvm::Constant*, 16> Elements;
392 for (unsigned i = 0; i < NumElements; i++)
393 Elements.push_back(Src);
394
395 return llvm::ConstantVector::get(&Elements[0], NumElements);
396 }
397
398 if (isa<llvm::VectorType>(Src->getType()) ||
399 isa<llvm::VectorType>(DstTy)) {
400 return llvm::ConstantExpr::getBitCast(Src, DstTy);
401 }
402
403 // Finally, we have the arithmetic types: real int/float.
404 if (isa<llvm::IntegerType>(Src->getType())) {
405 bool InputSigned = SrcType->isSignedIntegerType();
406 if (isa<llvm::IntegerType>(DstTy))
407 return llvm::ConstantExpr::getIntegerCast(Src, DstTy, InputSigned);
408 else if (InputSigned)
409 return llvm::ConstantExpr::getSIToFP(Src, DstTy);
410 else
411 return llvm::ConstantExpr::getUIToFP(Src, DstTy);
412 }
413
414 assert(Src->getType()->isFloatingPoint() && "Unknown real conversion");
415 if (isa<llvm::IntegerType>(DstTy)) {
416 if (DstType->isSignedIntegerType())
417 return llvm::ConstantExpr::getFPToSI(Src, DstTy);
418 else
419 return llvm::ConstantExpr::getFPToUI(Src, DstTy);
420 }
421
422 assert(DstTy->isFloatingPoint() && "Unknown real conversion");
423 if (DstTy->getTypeID() < Src->getType()->getTypeID())
424 return llvm::ConstantExpr::getFPTrunc(Src, DstTy);
425 else
426 return llvm::ConstantExpr::getFPExtend(Src, DstTy);
427 }
428
429 llvm::Constant *EmitSizeAlignOf(QualType TypeToSize,
430 QualType RetType, bool isSizeOf) {
431 std::pair<uint64_t, unsigned> Info =
432 CGM.getContext().getTypeInfo(TypeToSize, SourceLocation());
433
434 uint64_t Val = isSizeOf ? Info.first : Info.second;
435 Val /= 8; // Return size in bytes, not bits.
436
437 assert(RetType->isIntegerType() && "Result type must be an integer!");
438
439 uint32_t ResultWidth = static_cast<uint32_t>(
440 CGM.getContext().getTypeSize(RetType, SourceLocation()));
441 return llvm::ConstantInt::get(llvm::APInt(ResultWidth, Val));
442 }
Anders Carlssonde598292008-01-26 04:30:23 +0000443
444 llvm::Constant *EmitLValue(Expr *E) {
Anders Carlsson00b837c2008-01-26 02:08:50 +0000445 switch (E->getStmtClass()) {
446 default: {
447 CGM.WarnUnsupported(E, "constant l-value expression");
448 llvm::Type *Ty = llvm::PointerType::getUnqual(ConvertType(E->getType()));
449 return llvm::UndefValue::get(Ty);
450 }
451 case Expr::ParenExprClass:
452 // Elide parenthesis
453 return EmitLValue(cast<ParenExpr>(E)->getSubExpr());
454 case Expr::CompoundLiteralExprClass: {
455 // Note that due to the nature of compound literals, this is guaranteed
456 // to be the only use of the variable, so we just generate it here.
Anders Carlssonde598292008-01-26 04:30:23 +0000457 CompoundLiteralExpr *CLE = cast<CompoundLiteralExpr>(E);
458 llvm::Constant* C = Visit(CLE->getInitializer());
459 C = new llvm::GlobalVariable(C->getType(), E->getType().isConstQualified(),
Anders Carlsson00b837c2008-01-26 02:08:50 +0000460 llvm::GlobalValue::InternalLinkage,
461 C, ".compoundliteral", &CGM.getModule());
462 return C;
Anders Carlssonde598292008-01-26 04:30:23 +0000463 }
Anders Carlsson00b837c2008-01-26 02:08:50 +0000464 case Expr::DeclRefExprClass: {
Anders Carlssonde598292008-01-26 04:30:23 +0000465 ValueDecl *Decl = cast<DeclRefExpr>(E)->getDecl();
Anders Carlsson00b837c2008-01-26 02:08:50 +0000466 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(Decl))
467 return CGM.GetAddrOfFunctionDecl(FD, false);
468 if (const FileVarDecl* FVD = dyn_cast<FileVarDecl>(Decl))
469 return CGM.GetAddrOfGlobalVar(FVD, false);
470 // We can end up here with static block-scope variables (and others?)
471 // FIXME: How do we implement block-scope variables?!
472 assert(0 && "Unimplemented Decl type");
473 return 0;
474 }
475 case Expr::MemberExprClass: {
Anders Carlssonde598292008-01-26 04:30:23 +0000476 MemberExpr* ME = cast<MemberExpr>(E);
Anders Carlssonde598292008-01-26 04:30:23 +0000477 llvm::Constant *Base;
478 if (ME->isArrow())
479 Base = Visit(ME->getBase());
480 else
481 Base = EmitLValue(ME->getBase());
Lauro Ramos Venancio2f049552008-01-30 21:23:20 +0000482
483 unsigned FieldNumber = CGM.getTypes().getLLVMFieldNo(ME->getMemberDecl());
Anders Carlsson00b837c2008-01-26 02:08:50 +0000484 llvm::Constant *Zero = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0);
485 llvm::Constant *Idx = llvm::ConstantInt::get(llvm::Type::Int32Ty,
486 FieldNumber);
487 llvm::Value *Ops[] = {Zero, Idx};
488 return llvm::ConstantExpr::getGetElementPtr(Base, Ops, 2);
489 }
490 case Expr::ArraySubscriptExprClass: {
Anders Carlssonde598292008-01-26 04:30:23 +0000491 ArraySubscriptExpr* ASExpr = cast<ArraySubscriptExpr>(E);
492 llvm::Constant *Base = Visit(ASExpr->getBase());
493 llvm::Constant *Index = Visit(ASExpr->getIdx());
Anders Carlsson00b837c2008-01-26 02:08:50 +0000494 assert(!ASExpr->getBase()->getType()->isVectorType() &&
495 "Taking the address of a vector component is illegal!");
496 return llvm::ConstantExpr::getGetElementPtr(Base, &Index, 1);
497 }
498 case Expr::StringLiteralClass: {
Anders Carlssonde598292008-01-26 04:30:23 +0000499 StringLiteral *String = cast<StringLiteral>(E);
Anders Carlsson00b837c2008-01-26 02:08:50 +0000500 assert(!String->isWide() && "Cannot codegen wide strings yet");
Anders Carlssonde598292008-01-26 04:30:23 +0000501 const char *StrData = String->getStrData();
502 unsigned Len = String->getByteLength();
Anders Carlsson00b837c2008-01-26 02:08:50 +0000503
Anders Carlssonde598292008-01-26 04:30:23 +0000504 return CGM.GetAddrOfConstantString(std::string(StrData, StrData + Len));
505 }
506 case Expr::UnaryOperatorClass: {
507 UnaryOperator *Exp = cast<UnaryOperator>(E);
508 switch (Exp->getOpcode()) {
509 default: assert(0 && "Unsupported unary operator.");
510 case UnaryOperator::Extension:
511 // Extension is just a wrapper for expressions
512 return EmitLValue(Exp->getSubExpr());
513 case UnaryOperator::Real:
514 case UnaryOperator::Imag: {
515 // The address of __real or __imag is just a GEP off the address
516 // of the internal expression
517 llvm::Constant* C = EmitLValue(Exp->getSubExpr());
518 llvm::Constant *Zero = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0);
519 llvm::Constant *Idx = llvm::ConstantInt::get(llvm::Type::Int32Ty,
Anders Carlsson00b837c2008-01-26 02:08:50 +0000520 Exp->getOpcode() == UnaryOperator::Imag);
Anders Carlssonde598292008-01-26 04:30:23 +0000521 llvm::Value *Ops[] = {Zero, Idx};
522 return llvm::ConstantExpr::getGetElementPtr(C, Ops, 2);
523 }
524 case UnaryOperator::Deref:
525 // The address of a deref is just the value of the expression
526 return Visit(Exp->getSubExpr());
527 }
Anders Carlsson00b837c2008-01-26 02:08:50 +0000528 }
Anders Carlssonde598292008-01-26 04:30:23 +0000529 }
Anders Carlsson00b837c2008-01-26 02:08:50 +0000530 }
Anders Carlsson00b837c2008-01-26 02:08:50 +0000531
532};
533
Anders Carlssond76cead2008-01-26 01:36:00 +0000534} // end anonymous namespace.
535
536
537llvm::Constant *CodeGenModule::EmitConstantExpr(const Expr *E)
538{
539 QualType type = E->getType().getCanonicalType();
540
541 if (type->isIntegerType()) {
542 llvm::APSInt
543 Value(static_cast<uint32_t>(Context.getTypeSize(type, SourceLocation())));
544 if (E->isIntegerConstantExpr(Value, Context)) {
545 return llvm::ConstantInt::get(Value);
546 }
547 }
548
549 return ConstExprEmitter(*this).Visit(const_cast<Expr*>(E));
550}