blob: 3e91bc2337cc22800a6d7eb1d5e8e1f30946a88f [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 {
25class VISIBILITY_HIDDEN ConstExprEmitter : public StmtVisitor<ConstExprEmitter, llvm::Constant*> {
26 CodeGenModule &CGM;
27public:
28 ConstExprEmitter(CodeGenModule &cgm)
29 : CGM(cgm) {
30 }
31
32 //===--------------------------------------------------------------------===//
33 // Visitor Methods
34 //===--------------------------------------------------------------------===//
35
36 llvm::Constant *VisitStmt(Stmt *S) {
37 CGM.WarnUnsupported(S, "constant expression");
38 return 0;
39 }
40
41 llvm::Constant *VisitParenExpr(ParenExpr *PE) {
42 return Visit(PE->getSubExpr());
43 }
44
45 // Leaves
46 llvm::Constant *VisitIntegerLiteral(const IntegerLiteral *E) {
47 return llvm::ConstantInt::get(E->getValue());
48 }
49 llvm::Constant *VisitFloatingLiteral(const FloatingLiteral *E) {
50 return llvm::ConstantFP::get(ConvertType(E->getType()), E->getValue());
51 }
52 llvm::Constant *VisitCharacterLiteral(const CharacterLiteral *E) {
53 return llvm::ConstantInt::get(ConvertType(E->getType()), E->getValue());
54 }
55 llvm::Constant *VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *E) {
56 return llvm::ConstantInt::get(ConvertType(E->getType()), E->getValue());
57 }
58
59 llvm::Constant *VisitCompoundLiteralExpr(CompoundLiteralExpr *E) {
60 return Visit(E->getInitializer());
61 }
62
63 llvm::Constant *VisitCastExpr(const CastExpr* E) {
64 llvm::Constant *C = Visit(E->getSubExpr());
65
66 return EmitConversion(C, E->getSubExpr()->getType(), E->getType());
67 }
68
69 llvm::Constant *VisitInitListExpr(InitListExpr *ILE) {
70 if (ILE->getType()->isVoidType()) {
71 // FIXME: Remove this when sema of initializers is finished (and the code
72 // below).
73 CGM.WarnUnsupported(ILE, "initializer");
74 return 0;
75 }
76
77 assert((ILE->getType()->isArrayType() || ILE->getType()->isStructureType() ||
78 ILE->getType()->isVectorType()) &&
79 "Bad type for init list!");
80 CodeGenTypes& Types = CGM.getTypes();
81
82 unsigned NumInitElements = ILE->getNumInits();
83 unsigned NumInitableElts = NumInitElements;
84
85 const llvm::CompositeType *CType =
86 cast<llvm::CompositeType>(Types.ConvertType(ILE->getType()));
87 assert(CType);
88 std::vector<llvm::Constant*> Elts;
89
90 // Initialising an array requires us to automatically initialise any
91 // elements that have not been initialised explicitly
92 const llvm::ArrayType *AType = 0;
93 const llvm::Type *AElemTy = 0;
94 unsigned NumArrayElements = 0;
95
96 // If this is an array, we may have to truncate the initializer
97 if ((AType = dyn_cast<llvm::ArrayType>(CType))) {
98 NumArrayElements = AType->getNumElements();
99 AElemTy = AType->getElementType();
100 NumInitableElts = std::min(NumInitableElts, NumArrayElements);
101 }
102
103 // 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
117 if (ILE->getType()->isStructureType())
118 return llvm::ConstantStruct::get(cast<llvm::StructType>(CType), Elts);
119
120 if (ILE->getType()->isVectorType())
121 return llvm::ConstantVector::get(cast<llvm::VectorType>(CType), Elts);
122
123 // Make sure we have an array at this point
124 assert(AType);
125
126 // Initialize remaining array elements.
127 for (; i < NumArrayElements; ++i)
128 Elts.push_back(llvm::Constant::getNullValue(AElemTy));
129
130 return llvm::ConstantArray::get(AType, Elts);
131 }
132
133 llvm::Constant *VisitImplicitCastExpr(ImplicitCastExpr *ICExpr) {
134 // If this is due to array->pointer conversion, emit the array expression as
135 // an l-value.
136 if (ICExpr->getSubExpr()->getType()->isArrayType()) {
137 // Note that VLAs can't exist for global variables.
138 // The only thing that can have array type like this is a
139 // DeclRefExpr(FileVarDecl)?
140 const DeclRefExpr *DRE = cast<DeclRefExpr>(ICExpr->getSubExpr());
141 const VarDecl *VD = cast<VarDecl>(DRE->getDecl());
142 llvm::Constant *C = CGM.GetAddrOfGlobalVar(VD, false);
143 assert(isa<llvm::PointerType>(C->getType()) &&
144 isa<llvm::ArrayType>(cast<llvm::PointerType>(C->getType())
145 ->getElementType()));
146 llvm::Constant *Idx0 = llvm::ConstantInt::get(llvm::Type::Int32Ty, 0);
147
148 llvm::Constant *Ops[] = {Idx0, Idx0};
149 C = llvm::ConstantExpr::getGetElementPtr(C, Ops, 2);
150
151 // The resultant pointer type can be implicitly cast to other pointer
152 // types as well, for example void*.
153 const llvm::Type *DestPTy = ConvertType(ICExpr->getType());
154 assert(isa<llvm::PointerType>(DestPTy) &&
155 "Only expect implicit cast to pointer");
156 return llvm::ConstantExpr::getBitCast(C, DestPTy);
157 }
158
159 llvm::Constant *C = Visit(ICExpr->getSubExpr());
160
161 return EmitConversion(C, ICExpr->getSubExpr()->getType(),ICExpr->getType());
162 }
163
164 llvm::Constant *VisitStringLiteral(StringLiteral *E) {
165 const char *StrData = E->getStrData();
166 unsigned Len = E->getByteLength();
167
168 // If the string has a pointer type, emit it as a global and use the pointer
169 // to the global as its value.
170 if (E->getType()->isPointerType())
171 return CGM.GetAddrOfConstantString(std::string(StrData, StrData + Len));
172
173 // Otherwise this must be a string initializing an array in a static
174 // initializer. Don't emit it as the address of the string, emit the string
175 // data itself as an inline array.
176 const ConstantArrayType *CAT = E->getType()->getAsConstantArrayType();
177 assert(CAT && "String isn't pointer or array!");
178
179 std::string Str(StrData, StrData + Len);
180 // Null terminate the string before potentially truncating it.
181 // FIXME: What about wchar_t strings?
182 Str.push_back(0);
183
184 uint64_t RealLen = CAT->getSize().getZExtValue();
185 // String or grow the initializer to the required size.
186 if (RealLen != Str.size())
187 Str.resize(RealLen);
188
189 return llvm::ConstantArray::get(Str, false);
190 }
191
192 llvm::Constant *VisitDeclRefExpr(DeclRefExpr *E) {
193 const ValueDecl *Decl = E->getDecl();
194 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(Decl))
195 return CGM.GetAddrOfFunctionDecl(FD, false);
196 assert(0 && "Unsupported decl ref type!");
197 return 0;
198 }
199
200 llvm::Constant *VisitSizeOfAlignOfTypeExpr(const SizeOfAlignOfTypeExpr *E) {
201 return EmitSizeAlignOf(E->getArgumentType(), E->getType(), E->isSizeOf());
202 }
203
204 // Unary operators
205 llvm::Constant *VisitUnaryPlus(const UnaryOperator *E) {
206 return Visit(E->getSubExpr());
207 }
208 llvm::Constant *VisitUnaryMinus(const UnaryOperator *E) {
209 return llvm::ConstantExpr::getNeg(Visit(E->getSubExpr()));
210 }
211 llvm::Constant *VisitUnaryNot(const UnaryOperator *E) {
212 return llvm::ConstantExpr::getNot(Visit(E->getSubExpr()));
213 }
214 llvm::Constant *VisitUnaryLNot(const UnaryOperator *E) {
215 llvm::Constant *SubExpr = Visit(E->getSubExpr());
216
217 if (E->getSubExpr()->getType()->isRealFloatingType()) {
218 // Compare against 0.0 for fp scalars.
219 llvm::Constant *Zero = llvm::Constant::getNullValue(SubExpr->getType());
220 SubExpr = llvm::ConstantExpr::getFCmp(llvm::FCmpInst::FCMP_UEQ, SubExpr,
221 Zero);
222 } else {
223 assert((E->getSubExpr()->getType()->isIntegerType() ||
224 E->getSubExpr()->getType()->isPointerType()) &&
225 "Unknown scalar type to convert");
226 // Compare against an integer or pointer null.
227 llvm::Constant *Zero = llvm::Constant::getNullValue(SubExpr->getType());
228 SubExpr = llvm::ConstantExpr::getICmp(llvm::ICmpInst::ICMP_EQ, SubExpr,
229 Zero);
230 }
231
232 return llvm::ConstantExpr::getZExt(SubExpr, ConvertType(E->getType()));
233 }
234 llvm::Constant *VisitUnarySizeOf(const UnaryOperator *E) {
235 return EmitSizeAlignOf(E->getSubExpr()->getType(), E->getType(), true);
236 }
237 llvm::Constant *VisitUnaryAlignOf(const UnaryOperator *E) {
238 return EmitSizeAlignOf(E->getSubExpr()->getType(), E->getType(), false);
239 }
240
241 // Utility methods
242 const llvm::Type *ConvertType(QualType T) {
243 return CGM.getTypes().ConvertType(T);
244 }
245
246 llvm::Constant *EmitConversionToBool(llvm::Constant *Src, QualType SrcType) {
247 assert(SrcType->isCanonical() && "EmitConversion strips typedefs");
248
249 if (SrcType->isRealFloatingType()) {
250 // Compare against 0.0 for fp scalars.
251 llvm::Constant *Zero = llvm::Constant::getNullValue(Src->getType());
252 return llvm::ConstantExpr::getFCmp(llvm::FCmpInst::FCMP_UNE, Src, Zero);
253 }
254
255 assert((SrcType->isIntegerType() || SrcType->isPointerType()) &&
256 "Unknown scalar type to convert");
257
258 // Compare against an integer or pointer null.
259 llvm::Constant *Zero = llvm::Constant::getNullValue(Src->getType());
260 return llvm::ConstantExpr::getICmp(llvm::ICmpInst::ICMP_NE, Src, Zero);
261 }
262
263 llvm::Constant *EmitConversion(llvm::Constant *Src, QualType SrcType,
264 QualType DstType) {
265 SrcType = SrcType.getCanonicalType();
266 DstType = DstType.getCanonicalType();
267 if (SrcType == DstType) return Src;
268
269 // Handle conversions to bool first, they are special: comparisons against 0.
270 if (DstType->isBooleanType())
271 return EmitConversionToBool(Src, SrcType);
272
273 const llvm::Type *DstTy = ConvertType(DstType);
274
275 // Ignore conversions like int -> uint.
276 if (Src->getType() == DstTy)
277 return Src;
278
279 // Handle pointer conversions next: pointers can only be converted to/from
280 // other pointers and integers.
281 if (isa<PointerType>(DstType)) {
282 // The source value may be an integer, or a pointer.
283 if (isa<llvm::PointerType>(Src->getType()))
284 return llvm::ConstantExpr::getBitCast(Src, DstTy);
285 assert(SrcType->isIntegerType() && "Not ptr->ptr or int->ptr conversion?");
286 return llvm::ConstantExpr::getIntToPtr(Src, DstTy);
287 }
288
289 if (isa<PointerType>(SrcType)) {
290 // Must be an ptr to int cast.
291 assert(isa<llvm::IntegerType>(DstTy) && "not ptr->int?");
292 return llvm::ConstantExpr::getPtrToInt(Src, DstTy);
293 }
294
295 // A scalar source can be splatted to a vector of the same element type
296 if (isa<llvm::VectorType>(DstTy) && !isa<VectorType>(SrcType)) {
297 const llvm::VectorType *VT = cast<llvm::VectorType>(DstTy);
298 assert((VT->getElementType() == Src->getType()) &&
299 "Vector element type must match scalar type to splat.");
300 unsigned NumElements = DstType->getAsVectorType()->getNumElements();
301 llvm::SmallVector<llvm::Constant*, 16> Elements;
302 for (unsigned i = 0; i < NumElements; i++)
303 Elements.push_back(Src);
304
305 return llvm::ConstantVector::get(&Elements[0], NumElements);
306 }
307
308 if (isa<llvm::VectorType>(Src->getType()) ||
309 isa<llvm::VectorType>(DstTy)) {
310 return llvm::ConstantExpr::getBitCast(Src, DstTy);
311 }
312
313 // Finally, we have the arithmetic types: real int/float.
314 if (isa<llvm::IntegerType>(Src->getType())) {
315 bool InputSigned = SrcType->isSignedIntegerType();
316 if (isa<llvm::IntegerType>(DstTy))
317 return llvm::ConstantExpr::getIntegerCast(Src, DstTy, InputSigned);
318 else if (InputSigned)
319 return llvm::ConstantExpr::getSIToFP(Src, DstTy);
320 else
321 return llvm::ConstantExpr::getUIToFP(Src, DstTy);
322 }
323
324 assert(Src->getType()->isFloatingPoint() && "Unknown real conversion");
325 if (isa<llvm::IntegerType>(DstTy)) {
326 if (DstType->isSignedIntegerType())
327 return llvm::ConstantExpr::getFPToSI(Src, DstTy);
328 else
329 return llvm::ConstantExpr::getFPToUI(Src, DstTy);
330 }
331
332 assert(DstTy->isFloatingPoint() && "Unknown real conversion");
333 if (DstTy->getTypeID() < Src->getType()->getTypeID())
334 return llvm::ConstantExpr::getFPTrunc(Src, DstTy);
335 else
336 return llvm::ConstantExpr::getFPExtend(Src, DstTy);
337 }
338
339 llvm::Constant *EmitSizeAlignOf(QualType TypeToSize,
340 QualType RetType, bool isSizeOf) {
341 std::pair<uint64_t, unsigned> Info =
342 CGM.getContext().getTypeInfo(TypeToSize, SourceLocation());
343
344 uint64_t Val = isSizeOf ? Info.first : Info.second;
345 Val /= 8; // Return size in bytes, not bits.
346
347 assert(RetType->isIntegerType() && "Result type must be an integer!");
348
349 uint32_t ResultWidth = static_cast<uint32_t>(
350 CGM.getContext().getTypeSize(RetType, SourceLocation()));
351 return llvm::ConstantInt::get(llvm::APInt(ResultWidth, Val));
352 }
353
354 };
355} // end anonymous namespace.
356
357
358llvm::Constant *CodeGenModule::EmitConstantExpr(const Expr *E)
359{
360 QualType type = E->getType().getCanonicalType();
361
362 if (type->isIntegerType()) {
363 llvm::APSInt
364 Value(static_cast<uint32_t>(Context.getTypeSize(type, SourceLocation())));
365 if (E->isIntegerConstantExpr(Value, Context)) {
366 return llvm::ConstantInt::get(Value);
367 }
368 }
369
370 return ConstExprEmitter(*this).Visit(const_cast<Expr*>(E));
371}