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