blob: da2fef66f03912faf41b71206c4422813e1cf03a [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);
189 assert(0 && "Unsupported decl ref type!");
190 return 0;
191 }
192
193 llvm::Constant *VisitSizeOfAlignOfTypeExpr(const SizeOfAlignOfTypeExpr *E) {
194 return EmitSizeAlignOf(E->getArgumentType(), E->getType(), E->isSizeOf());
195 }
196
197 // Unary operators
198 llvm::Constant *VisitUnaryPlus(const UnaryOperator *E) {
199 return Visit(E->getSubExpr());
200 }
201 llvm::Constant *VisitUnaryMinus(const UnaryOperator *E) {
202 return llvm::ConstantExpr::getNeg(Visit(E->getSubExpr()));
203 }
204 llvm::Constant *VisitUnaryNot(const UnaryOperator *E) {
205 return llvm::ConstantExpr::getNot(Visit(E->getSubExpr()));
206 }
207 llvm::Constant *VisitUnaryLNot(const UnaryOperator *E) {
208 llvm::Constant *SubExpr = Visit(E->getSubExpr());
209
210 if (E->getSubExpr()->getType()->isRealFloatingType()) {
211 // Compare against 0.0 for fp scalars.
212 llvm::Constant *Zero = llvm::Constant::getNullValue(SubExpr->getType());
213 SubExpr = llvm::ConstantExpr::getFCmp(llvm::FCmpInst::FCMP_UEQ, SubExpr,
214 Zero);
215 } else {
216 assert((E->getSubExpr()->getType()->isIntegerType() ||
217 E->getSubExpr()->getType()->isPointerType()) &&
218 "Unknown scalar type to convert");
219 // Compare against an integer or pointer null.
220 llvm::Constant *Zero = llvm::Constant::getNullValue(SubExpr->getType());
221 SubExpr = llvm::ConstantExpr::getICmp(llvm::ICmpInst::ICMP_EQ, SubExpr,
222 Zero);
223 }
224
225 return llvm::ConstantExpr::getZExt(SubExpr, ConvertType(E->getType()));
226 }
227 llvm::Constant *VisitUnarySizeOf(const UnaryOperator *E) {
228 return EmitSizeAlignOf(E->getSubExpr()->getType(), E->getType(), true);
229 }
230 llvm::Constant *VisitUnaryAlignOf(const UnaryOperator *E) {
231 return EmitSizeAlignOf(E->getSubExpr()->getType(), E->getType(), false);
232 }
Anders Carlsson00b837c2008-01-26 02:08:50 +0000233 llvm::Constant *VisitUnaryAddrOf(const UnaryOperator *E) {
234 return EmitLValue(E->getSubExpr());
235 }
Anders Carlssond76cead2008-01-26 01:36:00 +0000236
237 // Utility methods
238 const llvm::Type *ConvertType(QualType T) {
239 return CGM.getTypes().ConvertType(T);
240 }
241
242 llvm::Constant *EmitConversionToBool(llvm::Constant *Src, QualType SrcType) {
243 assert(SrcType->isCanonical() && "EmitConversion strips typedefs");
244
245 if (SrcType->isRealFloatingType()) {
246 // Compare against 0.0 for fp scalars.
247 llvm::Constant *Zero = llvm::Constant::getNullValue(Src->getType());
248 return llvm::ConstantExpr::getFCmp(llvm::FCmpInst::FCMP_UNE, Src, Zero);
249 }
250
251 assert((SrcType->isIntegerType() || SrcType->isPointerType()) &&
252 "Unknown scalar type to convert");
253
254 // Compare against an integer or pointer null.
255 llvm::Constant *Zero = llvm::Constant::getNullValue(Src->getType());
256 return llvm::ConstantExpr::getICmp(llvm::ICmpInst::ICMP_NE, Src, Zero);
257 }
258
259 llvm::Constant *EmitConversion(llvm::Constant *Src, QualType SrcType,
260 QualType DstType) {
261 SrcType = SrcType.getCanonicalType();
262 DstType = DstType.getCanonicalType();
263 if (SrcType == DstType) return Src;
264
265 // Handle conversions to bool first, they are special: comparisons against 0.
266 if (DstType->isBooleanType())
267 return EmitConversionToBool(Src, SrcType);
268
269 const llvm::Type *DstTy = ConvertType(DstType);
270
271 // Ignore conversions like int -> uint.
272 if (Src->getType() == DstTy)
273 return Src;
274
275 // Handle pointer conversions next: pointers can only be converted to/from
276 // other pointers and integers.
277 if (isa<PointerType>(DstType)) {
278 // The source value may be an integer, or a pointer.
279 if (isa<llvm::PointerType>(Src->getType()))
280 return llvm::ConstantExpr::getBitCast(Src, DstTy);
Anders Carlssonde598292008-01-26 04:30:23 +0000281 assert(SrcType->isIntegerType() &&"Not ptr->ptr or int->ptr conversion?");
Anders Carlssond76cead2008-01-26 01:36:00 +0000282 return llvm::ConstantExpr::getIntToPtr(Src, DstTy);
283 }
284
285 if (isa<PointerType>(SrcType)) {
286 // Must be an ptr to int cast.
287 assert(isa<llvm::IntegerType>(DstTy) && "not ptr->int?");
288 return llvm::ConstantExpr::getPtrToInt(Src, DstTy);
289 }
290
291 // A scalar source can be splatted to a vector of the same element type
292 if (isa<llvm::VectorType>(DstTy) && !isa<VectorType>(SrcType)) {
293 const llvm::VectorType *VT = cast<llvm::VectorType>(DstTy);
294 assert((VT->getElementType() == Src->getType()) &&
295 "Vector element type must match scalar type to splat.");
296 unsigned NumElements = DstType->getAsVectorType()->getNumElements();
297 llvm::SmallVector<llvm::Constant*, 16> Elements;
298 for (unsigned i = 0; i < NumElements; i++)
299 Elements.push_back(Src);
300
301 return llvm::ConstantVector::get(&Elements[0], NumElements);
302 }
303
304 if (isa<llvm::VectorType>(Src->getType()) ||
305 isa<llvm::VectorType>(DstTy)) {
306 return llvm::ConstantExpr::getBitCast(Src, DstTy);
307 }
308
309 // Finally, we have the arithmetic types: real int/float.
310 if (isa<llvm::IntegerType>(Src->getType())) {
311 bool InputSigned = SrcType->isSignedIntegerType();
312 if (isa<llvm::IntegerType>(DstTy))
313 return llvm::ConstantExpr::getIntegerCast(Src, DstTy, InputSigned);
314 else if (InputSigned)
315 return llvm::ConstantExpr::getSIToFP(Src, DstTy);
316 else
317 return llvm::ConstantExpr::getUIToFP(Src, DstTy);
318 }
319
320 assert(Src->getType()->isFloatingPoint() && "Unknown real conversion");
321 if (isa<llvm::IntegerType>(DstTy)) {
322 if (DstType->isSignedIntegerType())
323 return llvm::ConstantExpr::getFPToSI(Src, DstTy);
324 else
325 return llvm::ConstantExpr::getFPToUI(Src, DstTy);
326 }
327
328 assert(DstTy->isFloatingPoint() && "Unknown real conversion");
329 if (DstTy->getTypeID() < Src->getType()->getTypeID())
330 return llvm::ConstantExpr::getFPTrunc(Src, DstTy);
331 else
332 return llvm::ConstantExpr::getFPExtend(Src, DstTy);
333 }
334
335 llvm::Constant *EmitSizeAlignOf(QualType TypeToSize,
336 QualType RetType, bool isSizeOf) {
337 std::pair<uint64_t, unsigned> Info =
338 CGM.getContext().getTypeInfo(TypeToSize, SourceLocation());
339
340 uint64_t Val = isSizeOf ? Info.first : Info.second;
341 Val /= 8; // Return size in bytes, not bits.
342
343 assert(RetType->isIntegerType() && "Result type must be an integer!");
344
345 uint32_t ResultWidth = static_cast<uint32_t>(
346 CGM.getContext().getTypeSize(RetType, SourceLocation()));
347 return llvm::ConstantInt::get(llvm::APInt(ResultWidth, Val));
348 }
Anders Carlssonde598292008-01-26 04:30:23 +0000349
350 llvm::Constant *EmitLValue(Expr *E) {
Anders Carlsson00b837c2008-01-26 02:08:50 +0000351 switch (E->getStmtClass()) {
352 default: {
353 CGM.WarnUnsupported(E, "constant l-value expression");
354 llvm::Type *Ty = llvm::PointerType::getUnqual(ConvertType(E->getType()));
355 return llvm::UndefValue::get(Ty);
356 }
357 case Expr::ParenExprClass:
358 // Elide parenthesis
359 return EmitLValue(cast<ParenExpr>(E)->getSubExpr());
360 case Expr::CompoundLiteralExprClass: {
361 // Note that due to the nature of compound literals, this is guaranteed
362 // to be the only use of the variable, so we just generate it here.
Anders Carlssonde598292008-01-26 04:30:23 +0000363 CompoundLiteralExpr *CLE = cast<CompoundLiteralExpr>(E);
364 llvm::Constant* C = Visit(CLE->getInitializer());
365 C = new llvm::GlobalVariable(C->getType(), E->getType().isConstQualified(),
Anders Carlsson00b837c2008-01-26 02:08:50 +0000366 llvm::GlobalValue::InternalLinkage,
367 C, ".compoundliteral", &CGM.getModule());
368 return C;
Anders Carlssonde598292008-01-26 04:30:23 +0000369 }
Anders Carlsson00b837c2008-01-26 02:08:50 +0000370 case Expr::DeclRefExprClass: {
Anders Carlssonde598292008-01-26 04:30:23 +0000371 ValueDecl *Decl = cast<DeclRefExpr>(E)->getDecl();
Anders Carlsson00b837c2008-01-26 02:08:50 +0000372 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(Decl))
373 return CGM.GetAddrOfFunctionDecl(FD, false);
374 if (const FileVarDecl* FVD = dyn_cast<FileVarDecl>(Decl))
375 return CGM.GetAddrOfGlobalVar(FVD, false);
376 // We can end up here with static block-scope variables (and others?)
377 // FIXME: How do we implement block-scope variables?!
378 assert(0 && "Unimplemented Decl type");
379 return 0;
380 }
381 case Expr::MemberExprClass: {
Anders Carlssonde598292008-01-26 04:30:23 +0000382 MemberExpr* ME = cast<MemberExpr>(E);
Anders Carlsson00b837c2008-01-26 02:08:50 +0000383 unsigned FieldNumber = CGM.getTypes().getLLVMFieldNo(ME->getMemberDecl());
Anders Carlssonde598292008-01-26 04:30:23 +0000384 llvm::Constant *Base;
385 if (ME->isArrow())
386 Base = Visit(ME->getBase());
387 else
388 Base = EmitLValue(ME->getBase());
Anders Carlsson00b837c2008-01-26 02:08:50 +0000389 llvm::Constant *Zero = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0);
390 llvm::Constant *Idx = llvm::ConstantInt::get(llvm::Type::Int32Ty,
391 FieldNumber);
392 llvm::Value *Ops[] = {Zero, Idx};
393 return llvm::ConstantExpr::getGetElementPtr(Base, Ops, 2);
394 }
395 case Expr::ArraySubscriptExprClass: {
Anders Carlssonde598292008-01-26 04:30:23 +0000396 ArraySubscriptExpr* ASExpr = cast<ArraySubscriptExpr>(E);
397 llvm::Constant *Base = Visit(ASExpr->getBase());
398 llvm::Constant *Index = Visit(ASExpr->getIdx());
Anders Carlsson00b837c2008-01-26 02:08:50 +0000399 assert(!ASExpr->getBase()->getType()->isVectorType() &&
400 "Taking the address of a vector component is illegal!");
401 return llvm::ConstantExpr::getGetElementPtr(Base, &Index, 1);
402 }
403 case Expr::StringLiteralClass: {
Anders Carlssonde598292008-01-26 04:30:23 +0000404 StringLiteral *String = cast<StringLiteral>(E);
Anders Carlsson00b837c2008-01-26 02:08:50 +0000405 assert(!String->isWide() && "Cannot codegen wide strings yet");
Anders Carlssonde598292008-01-26 04:30:23 +0000406 const char *StrData = String->getStrData();
407 unsigned Len = String->getByteLength();
Anders Carlsson00b837c2008-01-26 02:08:50 +0000408
Anders Carlssonde598292008-01-26 04:30:23 +0000409 return CGM.GetAddrOfConstantString(std::string(StrData, StrData + Len));
410 }
411 case Expr::UnaryOperatorClass: {
412 UnaryOperator *Exp = cast<UnaryOperator>(E);
413 switch (Exp->getOpcode()) {
414 default: assert(0 && "Unsupported unary operator.");
415 case UnaryOperator::Extension:
416 // Extension is just a wrapper for expressions
417 return EmitLValue(Exp->getSubExpr());
418 case UnaryOperator::Real:
419 case UnaryOperator::Imag: {
420 // The address of __real or __imag is just a GEP off the address
421 // of the internal expression
422 llvm::Constant* C = EmitLValue(Exp->getSubExpr());
423 llvm::Constant *Zero = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0);
424 llvm::Constant *Idx = llvm::ConstantInt::get(llvm::Type::Int32Ty,
Anders Carlsson00b837c2008-01-26 02:08:50 +0000425 Exp->getOpcode() == UnaryOperator::Imag);
Anders Carlssonde598292008-01-26 04:30:23 +0000426 llvm::Value *Ops[] = {Zero, Idx};
427 return llvm::ConstantExpr::getGetElementPtr(C, Ops, 2);
428 }
429 case UnaryOperator::Deref:
430 // The address of a deref is just the value of the expression
431 return Visit(Exp->getSubExpr());
432 }
Anders Carlsson00b837c2008-01-26 02:08:50 +0000433 }
Anders Carlssonde598292008-01-26 04:30:23 +0000434 }
Anders Carlsson00b837c2008-01-26 02:08:50 +0000435 }
Anders Carlsson00b837c2008-01-26 02:08:50 +0000436
437};
438
Anders Carlssond76cead2008-01-26 01:36:00 +0000439} // end anonymous namespace.
440
441
442llvm::Constant *CodeGenModule::EmitConstantExpr(const Expr *E)
443{
444 QualType type = E->getType().getCanonicalType();
445
446 if (type->isIntegerType()) {
447 llvm::APSInt
448 Value(static_cast<uint32_t>(Context.getTypeSize(type, SourceLocation())));
449 if (E->isIntegerConstantExpr(Value, Context)) {
450 return llvm::ConstantInt::get(Value);
451 }
452 }
453
454 return ConstExprEmitter(*this).Visit(const_cast<Expr*>(E));
455}