blob: fbf65aa59b9c6731776f341d3f441e1ef8957ad6 [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"
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 Carlsson84005b42008-01-26 04:30:23 +000025class VISIBILITY_HIDDEN ConstExprEmitter :
26 public StmtVisitor<ConstExprEmitter, llvm::Constant*> {
Anders Carlsson3b1d57b2008-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 Pateleae15602008-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
107 std::vector<llvm::Constant*> Elts;
108 const CGRecordLayout *CGR = CGM.getTypes().getCGRecordLayout(SType);
109 unsigned NumInitElements = ILE->getNumInits();
110 unsigned NumElements = SType->getNumElements();
111
112 // Initialising an structure requires us to automatically
113 // initialise any elements that have not been initialised explicitly
114 unsigned NumInitableElts = std::min(NumInitElements, NumElements);
115
116 // Copy initializer elements. Skip padding fields.
117 unsigned EltNo = 0; // Element no in ILE
118 unsigned FieldNo = 0; // Field no in SType
119 while (EltNo < NumInitableElts) {
120
121 // Zero initialize padding field.
122 if (CGR->isPaddingField(FieldNo)) {
123 const llvm::Type *FieldTy = SType->getElementType(FieldNo);
124 Elts.push_back(llvm::Constant::getNullValue(FieldTy));
125 FieldNo++;
126 continue;
127 }
128
129 llvm::Constant *C = Visit(ILE->getInit(EltNo));
130 // FIXME: Remove this when sema of initializers is finished (and the code
131 // above).
132 if (C == 0 && ILE->getInit(EltNo)->getType()->isVoidType()) {
133 if (ILE->getType()->isVoidType()) return 0;
134 return llvm::UndefValue::get(SType);
135 }
136 assert (C && "Failed to create initializer expression");
137 Elts.push_back(C);
138 EltNo++;
139 FieldNo++;
140 }
141
142 // Initialize remaining structure elements.
143 for (unsigned i = Elts.size(); i < NumElements; ++i) {
144 const llvm::Type *FieldTy = SType->getElementType(i);
145 Elts.push_back(llvm::Constant::getNullValue(FieldTy));
146 }
147
148 return llvm::ConstantStruct::get(SType, Elts);
149 }
150
151 llvm::Constant *EmitVectorInitialization(InitListExpr *ILE,
152 const llvm::VectorType *VType) {
153
154 std::vector<llvm::Constant*> Elts;
155 unsigned NumInitElements = ILE->getNumInits();
156 unsigned NumElements = VType->getNumElements();
157
158 assert (NumInitElements == NumElements
159 && "Unsufficient vector init elelments");
160 // Copy initializer elements.
161 unsigned i = 0;
162 for (; i < NumElements; ++i) {
163
164 llvm::Constant *C = Visit(ILE->getInit(i));
165 // FIXME: Remove this when sema of initializers is finished (and the code
166 // above).
167 if (C == 0 && ILE->getInit(i)->getType()->isVoidType()) {
168 if (ILE->getType()->isVoidType()) return 0;
169 return llvm::UndefValue::get(VType);
170 }
171 assert (C && "Failed to create initializer expression");
172 Elts.push_back(C);
173 }
174
175 return llvm::ConstantVector::get(VType, Elts);
176 }
177
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000178 llvm::Constant *VisitInitListExpr(InitListExpr *ILE) {
Anders Carlssonf6884ac2008-01-29 01:15:48 +0000179 const llvm::CompositeType *CType =
180 dyn_cast<llvm::CompositeType>(ConvertType(ILE->getType()));
181
182 if (!CType) {
183 // We have a scalar in braces. Just use the first element.
184 return Visit(ILE->getInit(0));
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000185 }
Anders Carlssonf6884ac2008-01-29 01:15:48 +0000186
Devang Pateleae15602008-02-05 02:39:50 +0000187 if (const llvm::ArrayType *AType = dyn_cast<llvm::ArrayType>(CType))
188 return EmitArrayInitialization(ILE, AType);
Devang Patel47fb6972008-01-29 23:23:18 +0000189
Devang Pateleae15602008-02-05 02:39:50 +0000190 if (const llvm::StructType *SType = dyn_cast<llvm::StructType>(CType))
191 return EmitStructInitialization(ILE, SType);
Devang Patel47fb6972008-01-29 23:23:18 +0000192
Devang Pateleae15602008-02-05 02:39:50 +0000193 if (const llvm::VectorType *VType = dyn_cast<llvm::VectorType>(CType))
194 return EmitVectorInitialization(ILE, VType);
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000195
196 // Make sure we have an array at this point
Devang Pateleae15602008-02-05 02:39:50 +0000197 assert(0 && "Unable to handle InitListExpr");
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000198 }
199
200 llvm::Constant *VisitImplicitCastExpr(ImplicitCastExpr *ICExpr) {
201 // If this is due to array->pointer conversion, emit the array expression as
202 // an l-value.
203 if (ICExpr->getSubExpr()->getType()->isArrayType()) {
204 // Note that VLAs can't exist for global variables.
205 // The only thing that can have array type like this is a
206 // DeclRefExpr(FileVarDecl)?
207 const DeclRefExpr *DRE = cast<DeclRefExpr>(ICExpr->getSubExpr());
208 const VarDecl *VD = cast<VarDecl>(DRE->getDecl());
209 llvm::Constant *C = CGM.GetAddrOfGlobalVar(VD, false);
210 assert(isa<llvm::PointerType>(C->getType()) &&
211 isa<llvm::ArrayType>(cast<llvm::PointerType>(C->getType())
212 ->getElementType()));
213 llvm::Constant *Idx0 = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0);
214
215 llvm::Constant *Ops[] = {Idx0, Idx0};
216 C = llvm::ConstantExpr::getGetElementPtr(C, Ops, 2);
217
218 // The resultant pointer type can be implicitly cast to other pointer
219 // types as well, for example void*.
220 const llvm::Type *DestPTy = ConvertType(ICExpr->getType());
221 assert(isa<llvm::PointerType>(DestPTy) &&
222 "Only expect implicit cast to pointer");
223 return llvm::ConstantExpr::getBitCast(C, DestPTy);
224 }
225
226 llvm::Constant *C = Visit(ICExpr->getSubExpr());
227
228 return EmitConversion(C, ICExpr->getSubExpr()->getType(),ICExpr->getType());
229 }
230
231 llvm::Constant *VisitStringLiteral(StringLiteral *E) {
232 const char *StrData = E->getStrData();
233 unsigned Len = E->getByteLength();
234
235 // If the string has a pointer type, emit it as a global and use the pointer
236 // to the global as its value.
237 if (E->getType()->isPointerType())
238 return CGM.GetAddrOfConstantString(std::string(StrData, StrData + Len));
239
240 // Otherwise this must be a string initializing an array in a static
241 // initializer. Don't emit it as the address of the string, emit the string
242 // data itself as an inline array.
243 const ConstantArrayType *CAT = E->getType()->getAsConstantArrayType();
244 assert(CAT && "String isn't pointer or array!");
245
246 std::string Str(StrData, StrData + Len);
247 // Null terminate the string before potentially truncating it.
248 // FIXME: What about wchar_t strings?
249 Str.push_back(0);
250
251 uint64_t RealLen = CAT->getSize().getZExtValue();
252 // String or grow the initializer to the required size.
253 if (RealLen != Str.size())
254 Str.resize(RealLen);
255
256 return llvm::ConstantArray::get(Str, false);
257 }
258
259 llvm::Constant *VisitDeclRefExpr(DeclRefExpr *E) {
260 const ValueDecl *Decl = E->getDecl();
261 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(Decl))
262 return CGM.GetAddrOfFunctionDecl(FD, false);
Anders Carlssona3881fc2008-01-29 01:28:48 +0000263 if (const EnumConstantDecl *EC = dyn_cast<EnumConstantDecl>(Decl))
264 return llvm::ConstantInt::get(EC->getInitVal());
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000265 assert(0 && "Unsupported decl ref type!");
266 return 0;
267 }
268
269 llvm::Constant *VisitSizeOfAlignOfTypeExpr(const SizeOfAlignOfTypeExpr *E) {
270 return EmitSizeAlignOf(E->getArgumentType(), E->getType(), E->isSizeOf());
271 }
272
273 // Unary operators
274 llvm::Constant *VisitUnaryPlus(const UnaryOperator *E) {
275 return Visit(E->getSubExpr());
276 }
277 llvm::Constant *VisitUnaryMinus(const UnaryOperator *E) {
278 return llvm::ConstantExpr::getNeg(Visit(E->getSubExpr()));
279 }
280 llvm::Constant *VisitUnaryNot(const UnaryOperator *E) {
281 return llvm::ConstantExpr::getNot(Visit(E->getSubExpr()));
282 }
283 llvm::Constant *VisitUnaryLNot(const UnaryOperator *E) {
284 llvm::Constant *SubExpr = Visit(E->getSubExpr());
285
286 if (E->getSubExpr()->getType()->isRealFloatingType()) {
287 // Compare against 0.0 for fp scalars.
288 llvm::Constant *Zero = llvm::Constant::getNullValue(SubExpr->getType());
289 SubExpr = llvm::ConstantExpr::getFCmp(llvm::FCmpInst::FCMP_UEQ, SubExpr,
290 Zero);
291 } else {
292 assert((E->getSubExpr()->getType()->isIntegerType() ||
293 E->getSubExpr()->getType()->isPointerType()) &&
294 "Unknown scalar type to convert");
295 // Compare against an integer or pointer null.
296 llvm::Constant *Zero = llvm::Constant::getNullValue(SubExpr->getType());
297 SubExpr = llvm::ConstantExpr::getICmp(llvm::ICmpInst::ICMP_EQ, SubExpr,
298 Zero);
299 }
300
301 return llvm::ConstantExpr::getZExt(SubExpr, ConvertType(E->getType()));
302 }
303 llvm::Constant *VisitUnarySizeOf(const UnaryOperator *E) {
304 return EmitSizeAlignOf(E->getSubExpr()->getType(), E->getType(), true);
305 }
306 llvm::Constant *VisitUnaryAlignOf(const UnaryOperator *E) {
307 return EmitSizeAlignOf(E->getSubExpr()->getType(), E->getType(), false);
308 }
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000309 llvm::Constant *VisitUnaryAddrOf(const UnaryOperator *E) {
310 return EmitLValue(E->getSubExpr());
311 }
Anders Carlsson5a1deb82008-01-29 15:56:48 +0000312 llvm::Constant *VisitUnaryOffsetOf(const UnaryOperator *E) {
313 int64_t Val = E->evaluateOffsetOf(CGM.getContext());
314
315 assert(E->getType()->isIntegerType() && "Result type must be an integer!");
316
317 uint32_t ResultWidth = static_cast<uint32_t>(
318 CGM.getContext().getTypeSize(E->getType(), SourceLocation()));
319 return llvm::ConstantInt::get(llvm::APInt(ResultWidth, Val));
320 }
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000321
Anders Carlssonce6237e2008-01-29 01:33:32 +0000322 // Binary operators
323 llvm::Constant *VisitBinOr(const BinaryOperator *E) {
324 llvm::Constant *LHS = Visit(E->getLHS());
325 llvm::Constant *RHS = Visit(E->getRHS());
326
327 return llvm::ConstantExpr::getOr(LHS, RHS);
328 }
329
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000330 // Utility methods
331 const llvm::Type *ConvertType(QualType T) {
332 return CGM.getTypes().ConvertType(T);
333 }
334
335 llvm::Constant *EmitConversionToBool(llvm::Constant *Src, QualType SrcType) {
336 assert(SrcType->isCanonical() && "EmitConversion strips typedefs");
337
338 if (SrcType->isRealFloatingType()) {
339 // Compare against 0.0 for fp scalars.
340 llvm::Constant *Zero = llvm::Constant::getNullValue(Src->getType());
341 return llvm::ConstantExpr::getFCmp(llvm::FCmpInst::FCMP_UNE, Src, Zero);
342 }
343
344 assert((SrcType->isIntegerType() || SrcType->isPointerType()) &&
345 "Unknown scalar type to convert");
346
347 // Compare against an integer or pointer null.
348 llvm::Constant *Zero = llvm::Constant::getNullValue(Src->getType());
349 return llvm::ConstantExpr::getICmp(llvm::ICmpInst::ICMP_NE, Src, Zero);
350 }
351
352 llvm::Constant *EmitConversion(llvm::Constant *Src, QualType SrcType,
353 QualType DstType) {
354 SrcType = SrcType.getCanonicalType();
355 DstType = DstType.getCanonicalType();
356 if (SrcType == DstType) return Src;
357
358 // Handle conversions to bool first, they are special: comparisons against 0.
359 if (DstType->isBooleanType())
360 return EmitConversionToBool(Src, SrcType);
361
362 const llvm::Type *DstTy = ConvertType(DstType);
363
364 // Ignore conversions like int -> uint.
365 if (Src->getType() == DstTy)
366 return Src;
367
368 // Handle pointer conversions next: pointers can only be converted to/from
369 // other pointers and integers.
370 if (isa<PointerType>(DstType)) {
371 // The source value may be an integer, or a pointer.
372 if (isa<llvm::PointerType>(Src->getType()))
373 return llvm::ConstantExpr::getBitCast(Src, DstTy);
Anders Carlsson84005b42008-01-26 04:30:23 +0000374 assert(SrcType->isIntegerType() &&"Not ptr->ptr or int->ptr conversion?");
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000375 return llvm::ConstantExpr::getIntToPtr(Src, DstTy);
376 }
377
378 if (isa<PointerType>(SrcType)) {
379 // Must be an ptr to int cast.
380 assert(isa<llvm::IntegerType>(DstTy) && "not ptr->int?");
381 return llvm::ConstantExpr::getPtrToInt(Src, DstTy);
382 }
383
384 // A scalar source can be splatted to a vector of the same element type
385 if (isa<llvm::VectorType>(DstTy) && !isa<VectorType>(SrcType)) {
386 const llvm::VectorType *VT = cast<llvm::VectorType>(DstTy);
387 assert((VT->getElementType() == Src->getType()) &&
388 "Vector element type must match scalar type to splat.");
389 unsigned NumElements = DstType->getAsVectorType()->getNumElements();
390 llvm::SmallVector<llvm::Constant*, 16> Elements;
391 for (unsigned i = 0; i < NumElements; i++)
392 Elements.push_back(Src);
393
394 return llvm::ConstantVector::get(&Elements[0], NumElements);
395 }
396
397 if (isa<llvm::VectorType>(Src->getType()) ||
398 isa<llvm::VectorType>(DstTy)) {
399 return llvm::ConstantExpr::getBitCast(Src, DstTy);
400 }
401
402 // Finally, we have the arithmetic types: real int/float.
403 if (isa<llvm::IntegerType>(Src->getType())) {
404 bool InputSigned = SrcType->isSignedIntegerType();
405 if (isa<llvm::IntegerType>(DstTy))
406 return llvm::ConstantExpr::getIntegerCast(Src, DstTy, InputSigned);
407 else if (InputSigned)
408 return llvm::ConstantExpr::getSIToFP(Src, DstTy);
409 else
410 return llvm::ConstantExpr::getUIToFP(Src, DstTy);
411 }
412
413 assert(Src->getType()->isFloatingPoint() && "Unknown real conversion");
414 if (isa<llvm::IntegerType>(DstTy)) {
415 if (DstType->isSignedIntegerType())
416 return llvm::ConstantExpr::getFPToSI(Src, DstTy);
417 else
418 return llvm::ConstantExpr::getFPToUI(Src, DstTy);
419 }
420
421 assert(DstTy->isFloatingPoint() && "Unknown real conversion");
422 if (DstTy->getTypeID() < Src->getType()->getTypeID())
423 return llvm::ConstantExpr::getFPTrunc(Src, DstTy);
424 else
425 return llvm::ConstantExpr::getFPExtend(Src, DstTy);
426 }
427
428 llvm::Constant *EmitSizeAlignOf(QualType TypeToSize,
429 QualType RetType, bool isSizeOf) {
430 std::pair<uint64_t, unsigned> Info =
431 CGM.getContext().getTypeInfo(TypeToSize, SourceLocation());
432
433 uint64_t Val = isSizeOf ? Info.first : Info.second;
434 Val /= 8; // Return size in bytes, not bits.
435
436 assert(RetType->isIntegerType() && "Result type must be an integer!");
437
438 uint32_t ResultWidth = static_cast<uint32_t>(
439 CGM.getContext().getTypeSize(RetType, SourceLocation()));
440 return llvm::ConstantInt::get(llvm::APInt(ResultWidth, Val));
441 }
Anders Carlsson84005b42008-01-26 04:30:23 +0000442
443 llvm::Constant *EmitLValue(Expr *E) {
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000444 switch (E->getStmtClass()) {
445 default: {
446 CGM.WarnUnsupported(E, "constant l-value expression");
447 llvm::Type *Ty = llvm::PointerType::getUnqual(ConvertType(E->getType()));
448 return llvm::UndefValue::get(Ty);
449 }
450 case Expr::ParenExprClass:
451 // Elide parenthesis
452 return EmitLValue(cast<ParenExpr>(E)->getSubExpr());
453 case Expr::CompoundLiteralExprClass: {
454 // Note that due to the nature of compound literals, this is guaranteed
455 // to be the only use of the variable, so we just generate it here.
Anders Carlsson84005b42008-01-26 04:30:23 +0000456 CompoundLiteralExpr *CLE = cast<CompoundLiteralExpr>(E);
457 llvm::Constant* C = Visit(CLE->getInitializer());
458 C = new llvm::GlobalVariable(C->getType(), E->getType().isConstQualified(),
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000459 llvm::GlobalValue::InternalLinkage,
460 C, ".compoundliteral", &CGM.getModule());
461 return C;
Anders Carlsson84005b42008-01-26 04:30:23 +0000462 }
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000463 case Expr::DeclRefExprClass: {
Anders Carlsson84005b42008-01-26 04:30:23 +0000464 ValueDecl *Decl = cast<DeclRefExpr>(E)->getDecl();
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000465 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(Decl))
466 return CGM.GetAddrOfFunctionDecl(FD, false);
467 if (const FileVarDecl* FVD = dyn_cast<FileVarDecl>(Decl))
468 return CGM.GetAddrOfGlobalVar(FVD, false);
469 // We can end up here with static block-scope variables (and others?)
470 // FIXME: How do we implement block-scope variables?!
471 assert(0 && "Unimplemented Decl type");
472 return 0;
473 }
474 case Expr::MemberExprClass: {
Anders Carlsson84005b42008-01-26 04:30:23 +0000475 MemberExpr* ME = cast<MemberExpr>(E);
Anders Carlsson84005b42008-01-26 04:30:23 +0000476 llvm::Constant *Base;
477 if (ME->isArrow())
478 Base = Visit(ME->getBase());
479 else
480 Base = EmitLValue(ME->getBase());
Lauro Ramos Venancio5bfe18c2008-01-30 21:23:20 +0000481
482 unsigned FieldNumber = CGM.getTypes().getLLVMFieldNo(ME->getMemberDecl());
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000483 llvm::Constant *Zero = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0);
484 llvm::Constant *Idx = llvm::ConstantInt::get(llvm::Type::Int32Ty,
485 FieldNumber);
486 llvm::Value *Ops[] = {Zero, Idx};
487 return llvm::ConstantExpr::getGetElementPtr(Base, Ops, 2);
488 }
489 case Expr::ArraySubscriptExprClass: {
Anders Carlsson84005b42008-01-26 04:30:23 +0000490 ArraySubscriptExpr* ASExpr = cast<ArraySubscriptExpr>(E);
491 llvm::Constant *Base = Visit(ASExpr->getBase());
492 llvm::Constant *Index = Visit(ASExpr->getIdx());
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000493 assert(!ASExpr->getBase()->getType()->isVectorType() &&
494 "Taking the address of a vector component is illegal!");
495 return llvm::ConstantExpr::getGetElementPtr(Base, &Index, 1);
496 }
497 case Expr::StringLiteralClass: {
Anders Carlsson84005b42008-01-26 04:30:23 +0000498 StringLiteral *String = cast<StringLiteral>(E);
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000499 assert(!String->isWide() && "Cannot codegen wide strings yet");
Anders Carlsson84005b42008-01-26 04:30:23 +0000500 const char *StrData = String->getStrData();
501 unsigned Len = String->getByteLength();
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000502
Anders Carlsson84005b42008-01-26 04:30:23 +0000503 return CGM.GetAddrOfConstantString(std::string(StrData, StrData + Len));
504 }
505 case Expr::UnaryOperatorClass: {
506 UnaryOperator *Exp = cast<UnaryOperator>(E);
507 switch (Exp->getOpcode()) {
508 default: assert(0 && "Unsupported unary operator.");
509 case UnaryOperator::Extension:
510 // Extension is just a wrapper for expressions
511 return EmitLValue(Exp->getSubExpr());
512 case UnaryOperator::Real:
513 case UnaryOperator::Imag: {
514 // The address of __real or __imag is just a GEP off the address
515 // of the internal expression
516 llvm::Constant* C = EmitLValue(Exp->getSubExpr());
517 llvm::Constant *Zero = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0);
518 llvm::Constant *Idx = llvm::ConstantInt::get(llvm::Type::Int32Ty,
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000519 Exp->getOpcode() == UnaryOperator::Imag);
Anders Carlsson84005b42008-01-26 04:30:23 +0000520 llvm::Value *Ops[] = {Zero, Idx};
521 return llvm::ConstantExpr::getGetElementPtr(C, Ops, 2);
522 }
523 case UnaryOperator::Deref:
524 // The address of a deref is just the value of the expression
525 return Visit(Exp->getSubExpr());
526 }
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000527 }
Anders Carlsson84005b42008-01-26 04:30:23 +0000528 }
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000529 }
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000530
531};
532
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000533} // end anonymous namespace.
534
535
536llvm::Constant *CodeGenModule::EmitConstantExpr(const Expr *E)
537{
538 QualType type = E->getType().getCanonicalType();
539
540 if (type->isIntegerType()) {
541 llvm::APSInt
542 Value(static_cast<uint32_t>(Context.getTypeSize(type, SourceLocation())));
543 if (E->isIntegerConstantExpr(Value, Context)) {
544 return llvm::ConstantInt::get(Value);
545 }
546 }
547
548 return ConstExprEmitter(*this).Visit(const_cast<Expr*>(E));
549}