blob: 070ce1d734c43e97b8458a41241385fb869a8c93 [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 }
69
70 llvm::Constant *VisitInitListExpr(InitListExpr *ILE) {
Anders Carlssonf6884ac2008-01-29 01:15:48 +000071 const llvm::CompositeType *CType =
72 dyn_cast<llvm::CompositeType>(ConvertType(ILE->getType()));
73
74 if (!CType) {
75 // We have a scalar in braces. Just use the first element.
76 return Visit(ILE->getInit(0));
Anders Carlsson3b1d57b2008-01-26 01:36:00 +000077 }
Anders Carlssonf6884ac2008-01-29 01:15:48 +000078
Anders Carlsson3b1d57b2008-01-26 01:36:00 +000079 unsigned NumInitElements = ILE->getNumInits();
80 unsigned NumInitableElts = NumInitElements;
Anders Carlsson3b1d57b2008-01-26 01:36:00 +000081 std::vector<llvm::Constant*> Elts;
Anders Carlssonf6884ac2008-01-29 01:15:48 +000082
Devang Patel47fb6972008-01-29 23:23:18 +000083 // Initialising an array or structure requires us to automatically
84 // initialise any elements that have not been initialised explicitly
Anders Carlsson3b1d57b2008-01-26 01:36:00 +000085 const llvm::ArrayType *AType = 0;
Devang Patel47fb6972008-01-29 23:23:18 +000086 const llvm::StructType *SType = 0;
87 const llvm::Type *ElemTy = 0;
88 unsigned NumElements = 0;
Anders Carlsson3b1d57b2008-01-26 01:36:00 +000089
90 // If this is an array, we may have to truncate the initializer
91 if ((AType = dyn_cast<llvm::ArrayType>(CType))) {
Devang Patel47fb6972008-01-29 23:23:18 +000092 NumElements = AType->getNumElements();
93 ElemTy = AType->getElementType();
94 NumInitableElts = std::min(NumInitableElts, NumElements);
Anders Carlsson3b1d57b2008-01-26 01:36:00 +000095 }
Devang Patel47fb6972008-01-29 23:23:18 +000096
97 // If this is a structure, we may have to truncate the initializer
98 if ((SType = dyn_cast<llvm::StructType>(CType))) {
99 NumElements = SType->getNumElements();
100 NumInitableElts = std::min(NumInitableElts, NumElements);
101 }
102
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000103 // Copy initializer elements.
104 unsigned i = 0;
105 for (i = 0; i < NumInitableElts; ++i) {
106 llvm::Constant *C = Visit(ILE->getInit(i));
107 // FIXME: Remove this when sema of initializers is finished (and the code
108 // above).
109 if (C == 0 && ILE->getInit(i)->getType()->isVoidType()) {
110 if (ILE->getType()->isVoidType()) return 0;
111 return llvm::UndefValue::get(CType);
112 }
113 assert (C && "Failed to create initializer expression");
114 Elts.push_back(C);
115 }
116
Devang Patel47fb6972008-01-29 23:23:18 +0000117 if (SType) {
118 // Initialize remaining structure elements.
119 for (; i < NumElements; ++i) {
120 ElemTy = SType->getElementType(i);
121 Elts.push_back(llvm::Constant::getNullValue(ElemTy));
122 }
123 return llvm::ConstantStruct::get(SType, Elts);
124 }
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000125
126 if (ILE->getType()->isVectorType())
127 return llvm::ConstantVector::get(cast<llvm::VectorType>(CType), Elts);
128
129 // Make sure we have an array at this point
130 assert(AType);
Devang Patel47fb6972008-01-29 23:23:18 +0000131
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000132 // Initialize remaining array elements.
Devang Patel47fb6972008-01-29 23:23:18 +0000133 for (; i < NumElements; ++i)
134 Elts.push_back(llvm::Constant::getNullValue(ElemTy));
135
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000136 return llvm::ConstantArray::get(AType, Elts);
137 }
138
139 llvm::Constant *VisitImplicitCastExpr(ImplicitCastExpr *ICExpr) {
140 // If this is due to array->pointer conversion, emit the array expression as
141 // an l-value.
142 if (ICExpr->getSubExpr()->getType()->isArrayType()) {
143 // Note that VLAs can't exist for global variables.
144 // The only thing that can have array type like this is a
145 // DeclRefExpr(FileVarDecl)?
146 const DeclRefExpr *DRE = cast<DeclRefExpr>(ICExpr->getSubExpr());
147 const VarDecl *VD = cast<VarDecl>(DRE->getDecl());
148 llvm::Constant *C = CGM.GetAddrOfGlobalVar(VD, false);
149 assert(isa<llvm::PointerType>(C->getType()) &&
150 isa<llvm::ArrayType>(cast<llvm::PointerType>(C->getType())
151 ->getElementType()));
152 llvm::Constant *Idx0 = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0);
153
154 llvm::Constant *Ops[] = {Idx0, Idx0};
155 C = llvm::ConstantExpr::getGetElementPtr(C, Ops, 2);
156
157 // The resultant pointer type can be implicitly cast to other pointer
158 // types as well, for example void*.
159 const llvm::Type *DestPTy = ConvertType(ICExpr->getType());
160 assert(isa<llvm::PointerType>(DestPTy) &&
161 "Only expect implicit cast to pointer");
162 return llvm::ConstantExpr::getBitCast(C, DestPTy);
163 }
164
165 llvm::Constant *C = Visit(ICExpr->getSubExpr());
166
167 return EmitConversion(C, ICExpr->getSubExpr()->getType(),ICExpr->getType());
168 }
169
170 llvm::Constant *VisitStringLiteral(StringLiteral *E) {
171 const char *StrData = E->getStrData();
172 unsigned Len = E->getByteLength();
173
174 // If the string has a pointer type, emit it as a global and use the pointer
175 // to the global as its value.
176 if (E->getType()->isPointerType())
177 return CGM.GetAddrOfConstantString(std::string(StrData, StrData + Len));
178
179 // Otherwise this must be a string initializing an array in a static
180 // initializer. Don't emit it as the address of the string, emit the string
181 // data itself as an inline array.
182 const ConstantArrayType *CAT = E->getType()->getAsConstantArrayType();
183 assert(CAT && "String isn't pointer or array!");
184
185 std::string Str(StrData, StrData + Len);
186 // Null terminate the string before potentially truncating it.
187 // FIXME: What about wchar_t strings?
188 Str.push_back(0);
189
190 uint64_t RealLen = CAT->getSize().getZExtValue();
191 // String or grow the initializer to the required size.
192 if (RealLen != Str.size())
193 Str.resize(RealLen);
194
195 return llvm::ConstantArray::get(Str, false);
196 }
197
198 llvm::Constant *VisitDeclRefExpr(DeclRefExpr *E) {
199 const ValueDecl *Decl = E->getDecl();
200 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(Decl))
201 return CGM.GetAddrOfFunctionDecl(FD, false);
Anders Carlssona3881fc2008-01-29 01:28:48 +0000202 if (const EnumConstantDecl *EC = dyn_cast<EnumConstantDecl>(Decl))
203 return llvm::ConstantInt::get(EC->getInitVal());
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000204 assert(0 && "Unsupported decl ref type!");
205 return 0;
206 }
207
208 llvm::Constant *VisitSizeOfAlignOfTypeExpr(const SizeOfAlignOfTypeExpr *E) {
209 return EmitSizeAlignOf(E->getArgumentType(), E->getType(), E->isSizeOf());
210 }
211
212 // Unary operators
213 llvm::Constant *VisitUnaryPlus(const UnaryOperator *E) {
214 return Visit(E->getSubExpr());
215 }
216 llvm::Constant *VisitUnaryMinus(const UnaryOperator *E) {
217 return llvm::ConstantExpr::getNeg(Visit(E->getSubExpr()));
218 }
219 llvm::Constant *VisitUnaryNot(const UnaryOperator *E) {
220 return llvm::ConstantExpr::getNot(Visit(E->getSubExpr()));
221 }
222 llvm::Constant *VisitUnaryLNot(const UnaryOperator *E) {
223 llvm::Constant *SubExpr = Visit(E->getSubExpr());
224
225 if (E->getSubExpr()->getType()->isRealFloatingType()) {
226 // Compare against 0.0 for fp scalars.
227 llvm::Constant *Zero = llvm::Constant::getNullValue(SubExpr->getType());
228 SubExpr = llvm::ConstantExpr::getFCmp(llvm::FCmpInst::FCMP_UEQ, SubExpr,
229 Zero);
230 } else {
231 assert((E->getSubExpr()->getType()->isIntegerType() ||
232 E->getSubExpr()->getType()->isPointerType()) &&
233 "Unknown scalar type to convert");
234 // Compare against an integer or pointer null.
235 llvm::Constant *Zero = llvm::Constant::getNullValue(SubExpr->getType());
236 SubExpr = llvm::ConstantExpr::getICmp(llvm::ICmpInst::ICMP_EQ, SubExpr,
237 Zero);
238 }
239
240 return llvm::ConstantExpr::getZExt(SubExpr, ConvertType(E->getType()));
241 }
242 llvm::Constant *VisitUnarySizeOf(const UnaryOperator *E) {
243 return EmitSizeAlignOf(E->getSubExpr()->getType(), E->getType(), true);
244 }
245 llvm::Constant *VisitUnaryAlignOf(const UnaryOperator *E) {
246 return EmitSizeAlignOf(E->getSubExpr()->getType(), E->getType(), false);
247 }
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000248 llvm::Constant *VisitUnaryAddrOf(const UnaryOperator *E) {
249 return EmitLValue(E->getSubExpr());
250 }
Anders Carlsson5a1deb82008-01-29 15:56:48 +0000251 llvm::Constant *VisitUnaryOffsetOf(const UnaryOperator *E) {
252 int64_t Val = E->evaluateOffsetOf(CGM.getContext());
253
254 assert(E->getType()->isIntegerType() && "Result type must be an integer!");
255
256 uint32_t ResultWidth = static_cast<uint32_t>(
257 CGM.getContext().getTypeSize(E->getType(), SourceLocation()));
258 return llvm::ConstantInt::get(llvm::APInt(ResultWidth, Val));
259 }
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000260
Anders Carlssonce6237e2008-01-29 01:33:32 +0000261 // Binary operators
262 llvm::Constant *VisitBinOr(const BinaryOperator *E) {
263 llvm::Constant *LHS = Visit(E->getLHS());
264 llvm::Constant *RHS = Visit(E->getRHS());
265
266 return llvm::ConstantExpr::getOr(LHS, RHS);
267 }
268
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000269 // Utility methods
270 const llvm::Type *ConvertType(QualType T) {
271 return CGM.getTypes().ConvertType(T);
272 }
273
274 llvm::Constant *EmitConversionToBool(llvm::Constant *Src, QualType SrcType) {
275 assert(SrcType->isCanonical() && "EmitConversion strips typedefs");
276
277 if (SrcType->isRealFloatingType()) {
278 // Compare against 0.0 for fp scalars.
279 llvm::Constant *Zero = llvm::Constant::getNullValue(Src->getType());
280 return llvm::ConstantExpr::getFCmp(llvm::FCmpInst::FCMP_UNE, Src, Zero);
281 }
282
283 assert((SrcType->isIntegerType() || SrcType->isPointerType()) &&
284 "Unknown scalar type to convert");
285
286 // Compare against an integer or pointer null.
287 llvm::Constant *Zero = llvm::Constant::getNullValue(Src->getType());
288 return llvm::ConstantExpr::getICmp(llvm::ICmpInst::ICMP_NE, Src, Zero);
289 }
290
291 llvm::Constant *EmitConversion(llvm::Constant *Src, QualType SrcType,
292 QualType DstType) {
293 SrcType = SrcType.getCanonicalType();
294 DstType = DstType.getCanonicalType();
295 if (SrcType == DstType) return Src;
296
297 // Handle conversions to bool first, they are special: comparisons against 0.
298 if (DstType->isBooleanType())
299 return EmitConversionToBool(Src, SrcType);
300
301 const llvm::Type *DstTy = ConvertType(DstType);
302
303 // Ignore conversions like int -> uint.
304 if (Src->getType() == DstTy)
305 return Src;
306
307 // Handle pointer conversions next: pointers can only be converted to/from
308 // other pointers and integers.
309 if (isa<PointerType>(DstType)) {
310 // The source value may be an integer, or a pointer.
311 if (isa<llvm::PointerType>(Src->getType()))
312 return llvm::ConstantExpr::getBitCast(Src, DstTy);
Anders Carlsson84005b42008-01-26 04:30:23 +0000313 assert(SrcType->isIntegerType() &&"Not ptr->ptr or int->ptr conversion?");
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000314 return llvm::ConstantExpr::getIntToPtr(Src, DstTy);
315 }
316
317 if (isa<PointerType>(SrcType)) {
318 // Must be an ptr to int cast.
319 assert(isa<llvm::IntegerType>(DstTy) && "not ptr->int?");
320 return llvm::ConstantExpr::getPtrToInt(Src, DstTy);
321 }
322
323 // A scalar source can be splatted to a vector of the same element type
324 if (isa<llvm::VectorType>(DstTy) && !isa<VectorType>(SrcType)) {
325 const llvm::VectorType *VT = cast<llvm::VectorType>(DstTy);
326 assert((VT->getElementType() == Src->getType()) &&
327 "Vector element type must match scalar type to splat.");
328 unsigned NumElements = DstType->getAsVectorType()->getNumElements();
329 llvm::SmallVector<llvm::Constant*, 16> Elements;
330 for (unsigned i = 0; i < NumElements; i++)
331 Elements.push_back(Src);
332
333 return llvm::ConstantVector::get(&Elements[0], NumElements);
334 }
335
336 if (isa<llvm::VectorType>(Src->getType()) ||
337 isa<llvm::VectorType>(DstTy)) {
338 return llvm::ConstantExpr::getBitCast(Src, DstTy);
339 }
340
341 // Finally, we have the arithmetic types: real int/float.
342 if (isa<llvm::IntegerType>(Src->getType())) {
343 bool InputSigned = SrcType->isSignedIntegerType();
344 if (isa<llvm::IntegerType>(DstTy))
345 return llvm::ConstantExpr::getIntegerCast(Src, DstTy, InputSigned);
346 else if (InputSigned)
347 return llvm::ConstantExpr::getSIToFP(Src, DstTy);
348 else
349 return llvm::ConstantExpr::getUIToFP(Src, DstTy);
350 }
351
352 assert(Src->getType()->isFloatingPoint() && "Unknown real conversion");
353 if (isa<llvm::IntegerType>(DstTy)) {
354 if (DstType->isSignedIntegerType())
355 return llvm::ConstantExpr::getFPToSI(Src, DstTy);
356 else
357 return llvm::ConstantExpr::getFPToUI(Src, DstTy);
358 }
359
360 assert(DstTy->isFloatingPoint() && "Unknown real conversion");
361 if (DstTy->getTypeID() < Src->getType()->getTypeID())
362 return llvm::ConstantExpr::getFPTrunc(Src, DstTy);
363 else
364 return llvm::ConstantExpr::getFPExtend(Src, DstTy);
365 }
366
367 llvm::Constant *EmitSizeAlignOf(QualType TypeToSize,
368 QualType RetType, bool isSizeOf) {
369 std::pair<uint64_t, unsigned> Info =
370 CGM.getContext().getTypeInfo(TypeToSize, SourceLocation());
371
372 uint64_t Val = isSizeOf ? Info.first : Info.second;
373 Val /= 8; // Return size in bytes, not bits.
374
375 assert(RetType->isIntegerType() && "Result type must be an integer!");
376
377 uint32_t ResultWidth = static_cast<uint32_t>(
378 CGM.getContext().getTypeSize(RetType, SourceLocation()));
379 return llvm::ConstantInt::get(llvm::APInt(ResultWidth, Val));
380 }
Anders Carlsson84005b42008-01-26 04:30:23 +0000381
382 llvm::Constant *EmitLValue(Expr *E) {
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000383 switch (E->getStmtClass()) {
384 default: {
385 CGM.WarnUnsupported(E, "constant l-value expression");
386 llvm::Type *Ty = llvm::PointerType::getUnqual(ConvertType(E->getType()));
387 return llvm::UndefValue::get(Ty);
388 }
389 case Expr::ParenExprClass:
390 // Elide parenthesis
391 return EmitLValue(cast<ParenExpr>(E)->getSubExpr());
392 case Expr::CompoundLiteralExprClass: {
393 // Note that due to the nature of compound literals, this is guaranteed
394 // to be the only use of the variable, so we just generate it here.
Anders Carlsson84005b42008-01-26 04:30:23 +0000395 CompoundLiteralExpr *CLE = cast<CompoundLiteralExpr>(E);
396 llvm::Constant* C = Visit(CLE->getInitializer());
397 C = new llvm::GlobalVariable(C->getType(), E->getType().isConstQualified(),
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000398 llvm::GlobalValue::InternalLinkage,
399 C, ".compoundliteral", &CGM.getModule());
400 return C;
Anders Carlsson84005b42008-01-26 04:30:23 +0000401 }
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000402 case Expr::DeclRefExprClass: {
Anders Carlsson84005b42008-01-26 04:30:23 +0000403 ValueDecl *Decl = cast<DeclRefExpr>(E)->getDecl();
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000404 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(Decl))
405 return CGM.GetAddrOfFunctionDecl(FD, false);
406 if (const FileVarDecl* FVD = dyn_cast<FileVarDecl>(Decl))
407 return CGM.GetAddrOfGlobalVar(FVD, false);
408 // We can end up here with static block-scope variables (and others?)
409 // FIXME: How do we implement block-scope variables?!
410 assert(0 && "Unimplemented Decl type");
411 return 0;
412 }
413 case Expr::MemberExprClass: {
Anders Carlsson84005b42008-01-26 04:30:23 +0000414 MemberExpr* ME = cast<MemberExpr>(E);
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000415 unsigned FieldNumber = CGM.getTypes().getLLVMFieldNo(ME->getMemberDecl());
Anders Carlsson84005b42008-01-26 04:30:23 +0000416 llvm::Constant *Base;
417 if (ME->isArrow())
418 Base = Visit(ME->getBase());
419 else
420 Base = EmitLValue(ME->getBase());
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000421 llvm::Constant *Zero = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0);
422 llvm::Constant *Idx = llvm::ConstantInt::get(llvm::Type::Int32Ty,
423 FieldNumber);
424 llvm::Value *Ops[] = {Zero, Idx};
425 return llvm::ConstantExpr::getGetElementPtr(Base, Ops, 2);
426 }
427 case Expr::ArraySubscriptExprClass: {
Anders Carlsson84005b42008-01-26 04:30:23 +0000428 ArraySubscriptExpr* ASExpr = cast<ArraySubscriptExpr>(E);
429 llvm::Constant *Base = Visit(ASExpr->getBase());
430 llvm::Constant *Index = Visit(ASExpr->getIdx());
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000431 assert(!ASExpr->getBase()->getType()->isVectorType() &&
432 "Taking the address of a vector component is illegal!");
433 return llvm::ConstantExpr::getGetElementPtr(Base, &Index, 1);
434 }
435 case Expr::StringLiteralClass: {
Anders Carlsson84005b42008-01-26 04:30:23 +0000436 StringLiteral *String = cast<StringLiteral>(E);
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000437 assert(!String->isWide() && "Cannot codegen wide strings yet");
Anders Carlsson84005b42008-01-26 04:30:23 +0000438 const char *StrData = String->getStrData();
439 unsigned Len = String->getByteLength();
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000440
Anders Carlsson84005b42008-01-26 04:30:23 +0000441 return CGM.GetAddrOfConstantString(std::string(StrData, StrData + Len));
442 }
443 case Expr::UnaryOperatorClass: {
444 UnaryOperator *Exp = cast<UnaryOperator>(E);
445 switch (Exp->getOpcode()) {
446 default: assert(0 && "Unsupported unary operator.");
447 case UnaryOperator::Extension:
448 // Extension is just a wrapper for expressions
449 return EmitLValue(Exp->getSubExpr());
450 case UnaryOperator::Real:
451 case UnaryOperator::Imag: {
452 // The address of __real or __imag is just a GEP off the address
453 // of the internal expression
454 llvm::Constant* C = EmitLValue(Exp->getSubExpr());
455 llvm::Constant *Zero = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0);
456 llvm::Constant *Idx = llvm::ConstantInt::get(llvm::Type::Int32Ty,
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000457 Exp->getOpcode() == UnaryOperator::Imag);
Anders Carlsson84005b42008-01-26 04:30:23 +0000458 llvm::Value *Ops[] = {Zero, Idx};
459 return llvm::ConstantExpr::getGetElementPtr(C, Ops, 2);
460 }
461 case UnaryOperator::Deref:
462 // The address of a deref is just the value of the expression
463 return Visit(Exp->getSubExpr());
464 }
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000465 }
Anders Carlsson84005b42008-01-26 04:30:23 +0000466 }
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000467 }
Anders Carlssone3d3b7d2008-01-26 02:08:50 +0000468
469};
470
Anders Carlsson3b1d57b2008-01-26 01:36:00 +0000471} // end anonymous namespace.
472
473
474llvm::Constant *CodeGenModule::EmitConstantExpr(const Expr *E)
475{
476 QualType type = E->getType().getCanonicalType();
477
478 if (type->isIntegerType()) {
479 llvm::APSInt
480 Value(static_cast<uint32_t>(Context.getTypeSize(type, SourceLocation())));
481 if (E->isIntegerConstantExpr(Value, Context)) {
482 return llvm::ConstantInt::get(Value);
483 }
484 }
485
486 return ConstExprEmitter(*this).Visit(const_cast<Expr*>(E));
487}