blob: 1b573700da1a92a3c4f7c22b43eea76a0e1aa902 [file] [log] [blame]
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +00001//===-- CodeGenFunction.h - Per-Function state for LLVM CodeGen -*- C++ -*-===//
Chris Lattner4b009652007-07-25 00:24:17 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner959e5be2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattner4b009652007-07-25 00:24:17 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This is the internal per-function state used for llvm translation.
11//
12//===----------------------------------------------------------------------===//
13
Chris Lattner2629b882008-02-29 17:10:38 +000014#ifndef CLANG_CODEGEN_CODEGENFUNCTION_H
15#define CLANG_CODEGEN_CODEGENFUNCTION_H
Chris Lattner4b009652007-07-25 00:24:17 +000016
Chris Lattnerb326b172008-03-30 23:03:07 +000017#include "clang/AST/Type.h"
Chris Lattner4b009652007-07-25 00:24:17 +000018#include "llvm/ADT/DenseMap.h"
19#include "llvm/ADT/SmallVector.h"
Ted Kremenek2719e982008-06-17 02:43:46 +000020#include "clang/AST/Expr.h"
Argiris Kirtzidisbf615b02008-09-10 02:36:38 +000021#include "clang/AST/ExprCXX.h"
Ted Kremenek2719e982008-06-17 02:43:46 +000022#include "clang/AST/ExprObjC.h"
23
Chris Lattner4b009652007-07-25 00:24:17 +000024#include <vector>
Daniel Dunbar879788d2008-08-04 16:51:22 +000025#include <map>
Chris Lattner4b009652007-07-25 00:24:17 +000026
Daniel Dunbard916e6e2008-11-01 01:53:16 +000027#include "CGBuilder.h"
Daniel Dunbara8f02052008-09-08 21:33:45 +000028#include "CGCall.h"
Daniel Dunbara04840b2008-08-23 03:46:30 +000029#include "CGValue.h"
30
Chris Lattner4b009652007-07-25 00:24:17 +000031namespace llvm {
Daniel Dunbar64789f82008-08-11 05:35:13 +000032 class BasicBlock;
Chris Lattner4b009652007-07-25 00:24:17 +000033 class Module;
Daniel Dunbare9900eb2008-09-30 01:06:03 +000034 class SwitchInst;
Chris Lattner4b009652007-07-25 00:24:17 +000035}
36
37namespace clang {
38 class ASTContext;
39 class Decl;
Daniel Dunbar64789f82008-08-11 05:35:13 +000040 class EnumConstantDecl;
Chris Lattner4b009652007-07-25 00:24:17 +000041 class FunctionDecl;
Daniel Dunbar64789f82008-08-11 05:35:13 +000042 class FunctionTypeProto;
43 class LabelStmt;
Daniel Dunbare856ac22008-09-24 04:00:38 +000044 class ObjCInterfaceDecl;
45 class ObjCIvarDecl;
Chris Lattnerb326b172008-03-30 23:03:07 +000046 class ObjCMethodDecl;
Daniel Dunbar6b57d432008-08-26 08:29:31 +000047 class ObjCPropertyImplDecl;
Chris Lattner4b009652007-07-25 00:24:17 +000048 class TargetInfo;
Daniel Dunbar64789f82008-08-11 05:35:13 +000049 class VarDecl;
Devang Patelaebd83f2007-10-23 02:10:49 +000050
Chris Lattner4b009652007-07-25 00:24:17 +000051namespace CodeGen {
52 class CodeGenModule;
Devang Patelaebd83f2007-10-23 02:10:49 +000053 class CodeGenTypes;
Devang Patel7a78e432007-11-01 19:11:01 +000054 class CGRecordLayout;
Daniel Dunbard916e6e2008-11-01 01:53:16 +000055
Chris Lattner4b009652007-07-25 00:24:17 +000056/// CodeGenFunction - This class organizes the per-function state that is used
57/// while generating LLVM code.
58class CodeGenFunction {
Chris Lattner41b1fca2007-08-26 23:13:56 +000059public:
Chris Lattner4b009652007-07-25 00:24:17 +000060 CodeGenModule &CGM; // Per-module state.
61 TargetInfo &Target;
Chris Lattner41b1fca2007-08-26 23:13:56 +000062
Chris Lattner5280c5f2007-08-21 16:57:55 +000063 typedef std::pair<llvm::Value *, llvm::Value *> ComplexPairTy;
Daniel Dunbard916e6e2008-11-01 01:53:16 +000064 CGBuilderTy Builder;
Chris Lattner4b009652007-07-25 00:24:17 +000065
Chris Lattner6e6a5972008-04-04 04:07:35 +000066 // Holds the Decl for the current function or method
Chris Lattner8c7c6a12008-06-17 18:05:57 +000067 const Decl *CurFuncDecl;
Chris Lattnerb326b172008-03-30 23:03:07 +000068 QualType FnRetTy;
Chris Lattner4b009652007-07-25 00:24:17 +000069 llvm::Function *CurFn;
70
Daniel Dunbar9fb751f2008-09-09 21:00:17 +000071 /// ReturnBlock - Unified return block.
72 llvm::BasicBlock *ReturnBlock;
73 /// ReturnValue - The temporary alloca to hold the return value. This
74 /// is null iff the function has no return value.
75 llvm::Instruction *ReturnValue;
76
Chris Lattner4b009652007-07-25 00:24:17 +000077 /// AllocaInsertPoint - This is an instruction in the entry block before which
78 /// we prefer to insert allocas.
79 llvm::Instruction *AllocaInsertPt;
Daniel Dunbar879788d2008-08-04 16:51:22 +000080
Chris Lattner4b009652007-07-25 00:24:17 +000081 const llvm::Type *LLVMIntTy;
Hartmut Kaiserff08d2c2007-10-17 15:00:17 +000082 uint32_t LLVMPointerWidth;
Daniel Dunbar83544842008-09-28 01:03:14 +000083
84public:
85 // FIXME: The following should be private once EH code is moved out
86 // of NeXT runtime.
87
88 // ObjCEHStack - This keeps track of which object to rethrow from
89 // inside @catch blocks and which @finally block exits from an EH
90 // scope should be chained through.
91 struct ObjCEHEntry {
Daniel Dunbare9900eb2008-09-30 01:06:03 +000092 ObjCEHEntry(llvm::BasicBlock *fb, llvm::BasicBlock *fne,
93 llvm::SwitchInst *fs, llvm::Value *dc)
94 : FinallyBlock(fb), FinallyNoExit(fne), FinallySwitch(fs),
95 DestCode(dc), Exception(0) {}
Daniel Dunbar83544842008-09-28 01:03:14 +000096
Daniel Dunbare9900eb2008-09-30 01:06:03 +000097 /// Entry point to the finally block.
98 llvm::BasicBlock *FinallyBlock;
99
100 /// Entry point to the finally block which skips execution of the
101 /// try_exit runtime function.
102 llvm::BasicBlock *FinallyNoExit;
103
104 /// Switch instruction which runs at the end of the finally block
105 /// to forward jumps through the finally block.
106 llvm::SwitchInst *FinallySwitch;
107
108 /// Variable holding the code for the destination of a jump
109 /// through the @finally block.
110 llvm::Value *DestCode;
111
112 /// The exception object being handled, during IR generation for a
113 /// @catch block.
114 llvm::Value *Exception;
Daniel Dunbar83544842008-09-28 01:03:14 +0000115 };
Daniel Dunbare9900eb2008-09-30 01:06:03 +0000116
117 typedef llvm::SmallVector<ObjCEHEntry*, 8> ObjCEHStackType;
118 ObjCEHStackType ObjCEHStack;
119
120 /// EmitJumpThroughFinally - Emit a branch from the current insert
121 /// point through the finally handling code for \arg Entry and then
Daniel Dunbar5aa22bc2008-11-11 23:11:34 +0000122 /// on to \arg Dest. It is legal to call this function even if there
123 /// is no current insertion point.
Daniel Dunbare9900eb2008-09-30 01:06:03 +0000124 ///
125 /// \param ExecuteTryExit - When true, the try_exit runtime function
126 /// should be called prior to executing the finally code.
127 void EmitJumpThroughFinally(ObjCEHEntry *Entry, llvm::BasicBlock *Dest,
128 bool ExecuteTryExit=true);
Chris Lattner4b009652007-07-25 00:24:17 +0000129
Chris Lattner9fba49a2007-08-24 05:35:26 +0000130private:
Daniel Dunbar879788d2008-08-04 16:51:22 +0000131 /// LabelIDs - Track arbitrary ids assigned to labels for use in
132 /// implementing the GCC address-of-label extension and indirect
133 /// goto. IDs are assigned to labels inside getIDForAddrOfLabel().
134 std::map<const LabelStmt*, unsigned> LabelIDs;
135
136 /// IndirectSwitches - Record the list of switches for indirect
137 /// gotos. Emission of the actual switching code needs to be delayed
138 /// until all AddrLabelExprs have been seen.
139 std::vector<llvm::SwitchInst*> IndirectSwitches;
140
Chris Lattner4b009652007-07-25 00:24:17 +0000141 /// LocalDeclMap - This keeps track of the LLVM allocas or globals for local C
142 /// decls.
143 llvm::DenseMap<const Decl*, llvm::Value*> LocalDeclMap;
144
145 /// LabelMap - This keeps track of the LLVM basic block for each C label.
146 llvm::DenseMap<const LabelStmt*, llvm::BasicBlock*> LabelMap;
147
148 // BreakContinueStack - This keeps track of where break and continue
149 // statements should jump to.
150 struct BreakContinue {
151 BreakContinue(llvm::BasicBlock *bb, llvm::BasicBlock *cb)
152 : BreakBlock(bb), ContinueBlock(cb) {}
153
154 llvm::BasicBlock *BreakBlock;
155 llvm::BasicBlock *ContinueBlock;
156 };
157 llvm::SmallVector<BreakContinue, 8> BreakContinueStack;
Daniel Dunbar83544842008-09-28 01:03:14 +0000158
Devang Patelbc372382007-10-09 17:08:50 +0000159 /// SwitchInsn - This is nearest current switch instruction. It is null if
160 /// if current context is not in a switch.
Devang Patele58e0802007-10-04 23:45:31 +0000161 llvm::SwitchInst *SwitchInsn;
162
Devang Patelbc372382007-10-09 17:08:50 +0000163 /// CaseRangeBlock - This block holds if condition check for last case
164 /// statement range in current switch instruction.
Devang Patel347ca322007-10-08 20:57:48 +0000165 llvm::BasicBlock *CaseRangeBlock;
166
Chris Lattner4b009652007-07-25 00:24:17 +0000167public:
168 CodeGenFunction(CodeGenModule &cgm);
169
170 ASTContext &getContext() const;
171
Chris Lattnerb326b172008-03-30 23:03:07 +0000172 void GenerateObjCMethod(const ObjCMethodDecl *OMD);
Daniel Dunbar6b57d432008-08-26 08:29:31 +0000173
174 void StartObjCMethod(const ObjCMethodDecl *MD);
175
176 /// GenerateObjCGetter - Synthesize an Objective-C property getter
177 /// function.
178 void GenerateObjCGetter(const ObjCPropertyImplDecl *PID);
179
180 /// GenerateObjCSetter - Synthesize an Objective-C property setter
181 /// function for the given property.
182 void GenerateObjCSetter(const ObjCPropertyImplDecl *PID);
183
Daniel Dunbar7bf5b3d2008-07-29 23:18:29 +0000184 void GenerateCode(const FunctionDecl *FD,
185 llvm::Function *Fn);
Daniel Dunbar96816832008-09-09 23:14:03 +0000186 void StartFunction(const Decl *D, QualType RetTy,
187 llvm::Function *Fn,
Daniel Dunbar54968bf2008-10-18 18:22:23 +0000188 const FunctionArgList &Args,
189 SourceLocation StartLoc);
Daniel Dunbar5aa22bc2008-11-11 23:11:34 +0000190
191 /// FinishFunction - Complete IR generation of the current
192 /// function. It is legal to call this function even if there is no
193 /// current insertion point.
Daniel Dunbar6b57d432008-08-26 08:29:31 +0000194 void FinishFunction(SourceLocation EndLoc=SourceLocation());
Daniel Dunbarfc1a9c42008-09-09 23:27:19 +0000195
196 /// EmitFunctionProlog - Emit the target specific LLVM code to load
197 /// the arguments for the given function. This is also responsible
198 /// for naming the LLVM function arguments.
199 void EmitFunctionProlog(llvm::Function *Fn, QualType RetTy,
200 const FunctionArgList &Args);
201
202 /// EmitFunctionEpilog - Emit the target specific LLVM code to
203 /// return the given temporary.
204 void EmitFunctionEpilog(QualType RetTy,
205 llvm::Value *ReturnValue);
206
Chris Lattner4b009652007-07-25 00:24:17 +0000207 const llvm::Type *ConvertType(QualType T);
Chris Lattner6e6a5972008-04-04 04:07:35 +0000208
Daniel Dunbarace33292008-08-16 03:19:19 +0000209 /// LoadObjCSelf - Load the value of self. This function is only
210 /// valid while generating code for an Objective-C method.
Chris Lattner6e6a5972008-04-04 04:07:35 +0000211 llvm::Value *LoadObjCSelf();
Chris Lattner8c7c6a12008-06-17 18:05:57 +0000212
213 /// isObjCPointerType - Return true if the specificed AST type will map onto
214 /// some Objective-C pointer type.
215 static bool isObjCPointerType(QualType T);
216
Chris Lattner4b009652007-07-25 00:24:17 +0000217 /// hasAggregateLLVMType - Return true if the specified AST type will map into
218 /// an aggregate LLVM type or is void.
219 static bool hasAggregateLLVMType(QualType T);
Daniel Dunbar72f96552008-11-11 02:29:29 +0000220
221 /// createBasicBlock - Create an LLVM basic block.
222 llvm::BasicBlock *createBasicBlock(const char *Name="",
223 llvm::Function *Parent=0,
224 llvm::BasicBlock *InsertBefore=0) {
225 return llvm::BasicBlock::Create(Name, Parent, InsertBefore);
226 }
227
Chris Lattner4b009652007-07-25 00:24:17 +0000228 /// getBasicBlockForLabel - Return the LLVM basicblock that the specified
229 /// label maps to.
230 llvm::BasicBlock *getBasicBlockForLabel(const LabelStmt *S);
231
Daniel Dunbar5aa22bc2008-11-11 23:11:34 +0000232 /// EmitBlock - Emit the given block \arg BB and set it as the
233 /// insert point, adding a fall-through branch from the current
234 /// insert block if necessary. It is legal to call this function
235 /// even if there is no current insertion point.
Chris Lattner4b009652007-07-25 00:24:17 +0000236 void EmitBlock(llvm::BasicBlock *BB);
Daniel Dunbara2209a62008-11-11 04:34:23 +0000237
Daniel Dunbar5276caa2008-11-11 09:41:28 +0000238 /// EmitBranch - Emit a branch to the specified basic block from the
239 /// current insert block, taking care to avoid creation of branches
Daniel Dunbar5aa22bc2008-11-11 23:11:34 +0000240 /// from dummy blocks. It is legal to call this function even if
241 /// there is no current insertion point.
Daniel Dunbarc55b7c52008-11-11 22:06:59 +0000242 ///
243 /// This function clears the current insertion point. The caller
244 /// should follow calls to this function with calls to Emit*Block
245 /// prior to generation new code.
Daniel Dunbar5276caa2008-11-11 09:41:28 +0000246 void EmitBranch(llvm::BasicBlock *Block);
247
Daniel Dunbar5aa22bc2008-11-11 23:11:34 +0000248 /// HaveInsertPoint - True if an insertion point is defined. If not,
249 /// this indicates that the current code being emitted is
250 /// unreachable.
251 bool HaveInsertPoint() const {
252 return Builder.GetInsertBlock() != 0;
253 }
254
255 /// EnsureInsertPoint - Ensure that an insertion point is defined so
256 /// that emitted IR has a place to go. Note that by definition, if
257 /// this function creates a block then that block is unreachable;
258 /// callers may do better to detect when no insertion point is
259 /// defined and simply skip IR generation.
260 void EnsureInsertPoint() {
261 if (!HaveInsertPoint())
262 EmitBlock(createBasicBlock());
263 }
Chris Lattner9d4e6202007-12-02 01:43:38 +0000264
Daniel Dunbar9503b782008-08-16 00:56:44 +0000265 /// ErrorUnsupported - Print out an error that codegen doesn't support the
Chris Lattner9d4e6202007-12-02 01:43:38 +0000266 /// specified stmt yet.
Daniel Dunbar49bddf72008-09-04 03:43:08 +0000267 void ErrorUnsupported(const Stmt *S, const char *Type,
268 bool OmitOnError=false);
Chris Lattner4b009652007-07-25 00:24:17 +0000269
270 //===--------------------------------------------------------------------===//
271 // Helpers
272 //===--------------------------------------------------------------------===//
273
274 /// CreateTempAlloca - This creates a alloca and inserts it into the entry
275 /// block.
276 llvm::AllocaInst *CreateTempAlloca(const llvm::Type *Ty,
277 const char *Name = "tmp");
278
279 /// EvaluateExprAsBool - Perform the usual unary conversions on the specified
280 /// expression and compare the result against zero, returning an Int1Ty value.
281 llvm::Value *EvaluateExprAsBool(const Expr *E);
282
Chris Lattnere24c4cf2007-08-31 22:49:20 +0000283 /// EmitAnyExpr - Emit code to compute the specified expression which can have
284 /// any type. The result is returned as an RValue struct. If this is an
285 /// aggregate expression, the aggloc/agglocvolatile arguments indicate where
286 /// the result should be returned.
287 RValue EmitAnyExpr(const Expr *E, llvm::Value *AggLoc = 0,
288 bool isAggLocVolatile = false);
Devang Patel97299362007-09-28 21:49:18 +0000289
Daniel Dunbar0a2da0f2008-09-09 01:06:48 +0000290 /// EmitAnyExprToTemp - Similary to EmitAnyExpr(), however, the result
291 /// will always be accessible even if no aggregate location is
292 /// provided.
293 RValue EmitAnyExprToTemp(const Expr *E, llvm::Value *AggLoc = 0,
294 bool isAggLocVolatile = false);
295
Daniel Dunbarbde0c9d2008-09-09 20:49:46 +0000296 void EmitAggregateCopy(llvm::Value *DestPtr, llvm::Value *SrcPtr,
297 QualType EltTy);
298
299 void EmitAggregateClear(llvm::Value *DestPtr, QualType Ty);
300
Devang Patele58e0802007-10-04 23:45:31 +0000301 /// StartBlock - Start new block named N. If insert block is a dummy block
302 /// then reuse it.
303 void StartBlock(const char *N);
304
Devang Patel7a78e432007-11-01 19:11:01 +0000305 /// getCGRecordLayout - Return record layout info.
306 const CGRecordLayout *getCGRecordLayout(CodeGenTypes &CGT, QualType RTy);
Lauro Ramos Venancio934fb022008-02-26 21:41:45 +0000307
308 /// GetAddrOfStaticLocalVar - Return the address of a static local variable.
Steve Naroff72a6ebc2008-04-15 22:42:06 +0000309 llvm::Constant *GetAddrOfStaticLocalVar(const VarDecl *BVD);
Dan Gohman4751a3a2008-05-22 00:50:06 +0000310
Anders Carlsson75d86732008-09-11 09:15:33 +0000311 /// GetAddrOfLocalVar - Return the address of a local variable.
312 llvm::Value *GetAddrOfLocalVar(const VarDecl *VD);
313
Dan Gohman4751a3a2008-05-22 00:50:06 +0000314 /// getAccessedFieldNo - Given an encoded value and a result number, return
315 /// the input field number being accessed.
316 static unsigned getAccessedFieldNo(unsigned Idx, const llvm::Constant *Elts);
317
Daniel Dunbar879788d2008-08-04 16:51:22 +0000318 unsigned GetIDForAddrOfLabel(const LabelStmt *L);
319
Anders Carlsson82b0d0c2008-08-30 19:51:14 +0000320 /// EmitMemSetToZero - Generate code to memset a value of the given type to 0;
321 void EmitMemSetToZero(llvm::Value *DestPtr, QualType Ty);
Anders Carlsson285611e2008-11-04 05:30:00 +0000322
323 // EmitVAArg - Generate code to get an argument from the passed in pointer
324 // and update it accordingly. The return value is a pointer to the argument.
325 // FIXME: We should be able to get rid of this method and use the va_arg
326 // instruction in LLVM instead once it works well enough.
327 llvm::Value *EmitVAArg(llvm::Value *VAListAddr, QualType Ty);
Anders Carlsson82b0d0c2008-08-30 19:51:14 +0000328
Chris Lattner4b009652007-07-25 00:24:17 +0000329 //===--------------------------------------------------------------------===//
Chris Lattner4b009652007-07-25 00:24:17 +0000330 // Declaration Emission
331 //===--------------------------------------------------------------------===//
332
333 void EmitDecl(const Decl &D);
Steve Naroff72a6ebc2008-04-15 22:42:06 +0000334 void EmitBlockVarDecl(const VarDecl &D);
335 void EmitLocalBlockVarDecl(const VarDecl &D);
336 void EmitStaticBlockVarDecl(const VarDecl &D);
Daniel Dunbarace33292008-08-16 03:19:19 +0000337
338 /// EmitParmDecl - Emit a ParmVarDecl or an ImplicitParamDecl.
339 void EmitParmDecl(const VarDecl &D, llvm::Value *Arg);
Chris Lattner4b009652007-07-25 00:24:17 +0000340
341 //===--------------------------------------------------------------------===//
342 // Statement Emission
343 //===--------------------------------------------------------------------===//
344
Daniel Dunbar5aa22bc2008-11-11 23:11:34 +0000345 /// EmitStmt - Emit the code for the statement \arg S. It is legal
346 /// to call this function even if there is no current insertion
347 /// point.
348 ///
349 /// This function may clear the current insertion point; callers
350 /// should use EnsureInsertPoint if they wish to subsequently
351 /// generate code without first calling EmitBlock, EmitBranch, or
352 /// EmitStmt.
Chris Lattner4b009652007-07-25 00:24:17 +0000353 void EmitStmt(const Stmt *S);
Daniel Dunbar5aa22bc2008-11-11 23:11:34 +0000354
Chris Lattnere24c4cf2007-08-31 22:49:20 +0000355 RValue EmitCompoundStmt(const CompoundStmt &S, bool GetLast = false,
356 llvm::Value *AggLoc = 0, bool isAggVol = false);
Daniel Dunbar5aa22bc2008-11-11 23:11:34 +0000357
358 /// EmitLabel - Emit the block for the given label. It is legal
359 /// to call this function even if there is no current insertion
360 /// point.
Chris Lattner09cee852008-07-26 20:23:23 +0000361 void EmitLabel(const LabelStmt &S); // helper for EmitLabelStmt.
Daniel Dunbar5aa22bc2008-11-11 23:11:34 +0000362
Chris Lattner4b009652007-07-25 00:24:17 +0000363 void EmitLabelStmt(const LabelStmt &S);
364 void EmitGotoStmt(const GotoStmt &S);
Daniel Dunbar879788d2008-08-04 16:51:22 +0000365 void EmitIndirectGotoStmt(const IndirectGotoStmt &S);
Chris Lattner4b009652007-07-25 00:24:17 +0000366 void EmitIfStmt(const IfStmt &S);
367 void EmitWhileStmt(const WhileStmt &S);
368 void EmitDoStmt(const DoStmt &S);
369 void EmitForStmt(const ForStmt &S);
370 void EmitReturnStmt(const ReturnStmt &S);
371 void EmitDeclStmt(const DeclStmt &S);
372 void EmitBreakStmt();
373 void EmitContinueStmt();
Devang Patele58e0802007-10-04 23:45:31 +0000374 void EmitSwitchStmt(const SwitchStmt &S);
375 void EmitDefaultStmt(const DefaultStmt &S);
376 void EmitCaseStmt(const CaseStmt &S);
Devang Patel347ca322007-10-08 20:57:48 +0000377 void EmitCaseStmtRange(const CaseStmt &S);
Anders Carlssonaf6a6c22008-02-05 16:35:33 +0000378 void EmitAsmStmt(const AsmStmt &S);
379
Anders Carlsson82b0d0c2008-08-30 19:51:14 +0000380 void EmitObjCForCollectionStmt(const ObjCForCollectionStmt &S);
Anders Carlssonb01a2112008-09-09 10:04:29 +0000381 void EmitObjCAtTryStmt(const ObjCAtTryStmt &S);
382 void EmitObjCAtThrowStmt(const ObjCAtThrowStmt &S);
Anders Carlsson82b0d0c2008-08-30 19:51:14 +0000383
Chris Lattner4b009652007-07-25 00:24:17 +0000384 //===--------------------------------------------------------------------===//
385 // LValue Expression Emission
386 //===--------------------------------------------------------------------===//
387
Daniel Dunbarde1bd942008-08-25 20:45:57 +0000388 /// EmitUnsupportedLValue - Emit a dummy l-value using the type of E
389 /// and issue an ErrorUnsupported style diagnostic (using the
390 /// provided Name).
391 LValue EmitUnsupportedLValue(const Expr *E,
392 const char *Name);
393
Chris Lattner4b009652007-07-25 00:24:17 +0000394 /// EmitLValue - Emit code to compute a designator that specifies the location
395 /// of the expression.
396 ///
397 /// This can return one of two things: a simple address or a bitfield
398 /// reference. In either case, the LLVM Value* in the LValue structure is
399 /// guaranteed to be an LLVM pointer type.
400 ///
401 /// If this returns a bitfield reference, nothing about the pointee type of
402 /// the LLVM value is known: For example, it may not be a pointer to an
403 /// integer.
404 ///
405 /// If this returns a normal address, and if the lvalue's C type is fixed
406 /// size, this method guarantees that the returned pointer type will point to
407 /// an LLVM type of the same size of the lvalue's type. If the lvalue has a
408 /// variable length type, this is not possible.
409 ///
410 LValue EmitLValue(const Expr *E);
411
412 /// EmitLoadOfLValue - Given an expression that represents a value lvalue,
413 /// this method emits the address of the lvalue, then loads the result as an
414 /// rvalue, returning the rvalue.
Chris Lattner4b009652007-07-25 00:24:17 +0000415 RValue EmitLoadOfLValue(LValue V, QualType LVType);
Nate Begemanaf6ed502008-04-18 23:10:10 +0000416 RValue EmitLoadOfExtVectorElementLValue(LValue V, QualType LVType);
Lauro Ramos Venanciob40307c2008-01-22 20:17:04 +0000417 RValue EmitLoadOfBitfieldLValue(LValue LV, QualType ExprType);
Daniel Dunbare6c31752008-08-29 08:11:39 +0000418 RValue EmitLoadOfPropertyRefLValue(LValue LV, QualType ExprType);
Chris Lattner4b009652007-07-25 00:24:17 +0000419
Chris Lattner944f7962007-08-03 16:18:34 +0000420
Chris Lattner4b009652007-07-25 00:24:17 +0000421 /// EmitStoreThroughLValue - Store the specified rvalue into the specified
422 /// lvalue, where both are guaranteed to the have the same type, and that type
423 /// is 'Ty'.
424 void EmitStoreThroughLValue(RValue Src, LValue Dst, QualType Ty);
Nate Begemanaf6ed502008-04-18 23:10:10 +0000425 void EmitStoreThroughExtVectorComponentLValue(RValue Src, LValue Dst,
426 QualType Ty);
Lauro Ramos Venancio2d7a34c2008-01-22 22:36:45 +0000427 void EmitStoreThroughBitfieldLValue(RValue Src, LValue Dst, QualType Ty);
Daniel Dunbare6c31752008-08-29 08:11:39 +0000428 void EmitStoreThroughPropertyRefLValue(RValue Src, LValue Dst, QualType Ty);
Christopher Lambad327ba2007-12-29 05:02:41 +0000429
430 // Note: only availabe for agg return types
Daniel Dunbaref0d4c72008-09-04 03:20:13 +0000431 LValue EmitBinaryOperatorLValue(const BinaryOperator *E);
432 // Note: only availabe for agg return types
Christopher Lambad327ba2007-12-29 05:02:41 +0000433 LValue EmitCallExprLValue(const CallExpr *E);
Chris Lattner4b009652007-07-25 00:24:17 +0000434
435 LValue EmitDeclRefLValue(const DeclRefExpr *E);
436 LValue EmitStringLiteralLValue(const StringLiteral *E);
Daniel Dunbara9f0be22008-10-17 21:58:32 +0000437 LValue EmitPredefinedFunctionName(unsigned Type);
Chris Lattner69909292008-08-10 01:53:14 +0000438 LValue EmitPredefinedLValue(const PredefinedExpr *E);
Chris Lattner4b009652007-07-25 00:24:17 +0000439 LValue EmitUnaryOpLValue(const UnaryOperator *E);
440 LValue EmitArraySubscriptExpr(const ArraySubscriptExpr *E);
Nate Begemanaf6ed502008-04-18 23:10:10 +0000441 LValue EmitExtVectorElementExpr(const ExtVectorElementExpr *E);
Devang Patelaebd83f2007-10-23 02:10:49 +0000442 LValue EmitMemberExpr(const MemberExpr *E);
Eli Friedmanf3c2cb42008-05-13 23:18:27 +0000443 LValue EmitCompoundLiteralLValue(const CompoundLiteralExpr *E);
Eli Friedmand3550112008-02-09 08:50:58 +0000444
Daniel Dunbare856ac22008-09-24 04:00:38 +0000445 llvm::Value *EmitIvarOffset(ObjCInterfaceDecl *Interface,
446 const ObjCIvarDecl *Ivar);
Eli Friedmand3550112008-02-09 08:50:58 +0000447 LValue EmitLValueForField(llvm::Value* Base, FieldDecl* Field,
Eli Friedman2e630542008-06-13 23:01:12 +0000448 bool isUnion, unsigned CVRQualifiers);
Daniel Dunbare856ac22008-09-24 04:00:38 +0000449 LValue EmitLValueForIvar(llvm::Value* Base, const ObjCIvarDecl *Ivar,
450 unsigned CVRQualifiers);
451
Argiris Kirtzidisbf615b02008-09-10 02:36:38 +0000452 LValue EmitCXXConditionDeclLValue(const CXXConditionDeclExpr *E);
453
Daniel Dunbar5e105892008-08-23 10:51:21 +0000454 LValue EmitObjCMessageExprLValue(const ObjCMessageExpr *E);
Chris Lattnerb326b172008-03-30 23:03:07 +0000455 LValue EmitObjCIvarRefLValue(const ObjCIvarRefExpr *E);
Daniel Dunbare6c31752008-08-29 08:11:39 +0000456 LValue EmitObjCPropertyRefLValue(const ObjCPropertyRefExpr *E);
Douglas Gregord8606632008-11-04 14:56:14 +0000457 LValue EmitObjCSuperExpr(const ObjCSuperExpr *E);
Daniel Dunbar5e105892008-08-23 10:51:21 +0000458
Chris Lattner4b009652007-07-25 00:24:17 +0000459 //===--------------------------------------------------------------------===//
Chris Lattnerbdb8ffb2007-08-11 00:04:45 +0000460 // Scalar Expression Emission
Chris Lattner4b009652007-07-25 00:24:17 +0000461 //===--------------------------------------------------------------------===//
462
Daniel Dunbardd851282008-08-30 05:35:15 +0000463 /// EmitCall - Generate a call of the given function, expecting the
464 /// given result type, and using the given argument list which
465 /// specifies both the LLVM arguments and the types they were
466 /// derived from.
Daniel Dunbar0ed60b02008-08-30 03:02:31 +0000467 RValue EmitCall(llvm::Value *Callee,
468 QualType ResultType,
469 const CallArgList &Args);
470
Chris Lattner4b009652007-07-25 00:24:17 +0000471 RValue EmitCallExpr(const CallExpr *E);
Ted Kremenek2719e982008-06-17 02:43:46 +0000472
473 RValue EmitCallExpr(Expr *FnExpr, CallExpr::const_arg_iterator ArgBeg,
474 CallExpr::const_arg_iterator ArgEnd);
475
Eli Friedman261f4ad2008-01-30 01:32:06 +0000476 RValue EmitCallExpr(llvm::Value *Callee, QualType FnType,
Ted Kremenek2719e982008-06-17 02:43:46 +0000477 CallExpr::const_arg_iterator ArgBeg,
478 CallExpr::const_arg_iterator ArgEnd);
479
Chris Lattner35055b82007-08-26 22:58:05 +0000480 RValue EmitBuiltinExpr(unsigned BuiltinID, const CallExpr *E);
Chris Lattner4b009652007-07-25 00:24:17 +0000481
Daniel Dunbar1cdfe142008-10-10 00:24:54 +0000482 /// EmitTargetBuiltinExpr - Emit the given builtin call. Returns 0
483 /// if the call is unhandled by the current target.
484 llvm::Value *EmitTargetBuiltinExpr(unsigned BuiltinID, const CallExpr *E);
485
Anders Carlssone1449c12007-12-09 23:17:02 +0000486 llvm::Value *EmitX86BuiltinExpr(unsigned BuiltinID, const CallExpr *E);
487 llvm::Value *EmitPPCBuiltinExpr(unsigned BuiltinID, const CallExpr *E);
488
Anders Carlssona9234fe2007-12-10 19:35:18 +0000489 llvm::Value *EmitShuffleVector(llvm::Value* V1, llvm::Value *V2, ...);
Nate Begemanec2d1062007-12-30 02:59:45 +0000490 llvm::Value *EmitVector(llvm::Value * const *Vals, unsigned NumVals,
491 bool isSplat = false);
Anders Carlsson68b8be92007-12-15 21:23:30 +0000492
Daniel Dunbarf1f7f192008-08-20 00:28:19 +0000493 llvm::Value *EmitObjCProtocolExpr(const ObjCProtocolExpr *E);
Chris Lattner9fba49a2007-08-24 05:35:26 +0000494 llvm::Value *EmitObjCStringLiteral(const ObjCStringLiteral *E);
Chris Lattner6ee20e32008-06-24 17:04:18 +0000495 llvm::Value *EmitObjCSelectorExpr(const ObjCSelectorExpr *E);
Daniel Dunbara04840b2008-08-23 03:46:30 +0000496 RValue EmitObjCMessageExpr(const ObjCMessageExpr *E);
Daniel Dunbar91cc4022008-08-27 06:57:25 +0000497 RValue EmitObjCPropertyGet(const ObjCPropertyRefExpr *E);
Daniel Dunbare6c31752008-08-29 08:11:39 +0000498 void EmitObjCPropertySet(const ObjCPropertyRefExpr *E, RValue Src);
Chris Lattner6ee20e32008-06-24 17:04:18 +0000499
500
Chris Lattnerbdb8ffb2007-08-11 00:04:45 +0000501 //===--------------------------------------------------------------------===//
Chris Lattner41b1fca2007-08-26 23:13:56 +0000502 // Expression Emission
Chris Lattnerbdb8ffb2007-08-11 00:04:45 +0000503 //===--------------------------------------------------------------------===//
Chris Lattner41b1fca2007-08-26 23:13:56 +0000504
505 // Expressions are broken into three classes: scalar, complex, aggregate.
Chris Lattnerbdb8ffb2007-08-11 00:04:45 +0000506
Chris Lattner9fba49a2007-08-24 05:35:26 +0000507 /// EmitScalarExpr - Emit the computation of the specified expression of
508 /// LLVM scalar type, returning the result.
509 llvm::Value *EmitScalarExpr(const Expr *E);
510
Chris Lattner4e05d1e2007-08-26 06:48:56 +0000511 /// EmitScalarConversion - Emit a conversion from the specified type to the
512 /// specified destination type, both of which are LLVM scalar types.
513 llvm::Value *EmitScalarConversion(llvm::Value *Src, QualType SrcTy,
514 QualType DstTy);
515
Chris Lattnerfb182ee2007-08-26 16:34:22 +0000516 /// EmitComplexToScalarConversion - Emit a conversion from the specified
517 /// complex type to the specified destination type, where the destination
518 /// type is an LLVM scalar type.
519 llvm::Value *EmitComplexToScalarConversion(ComplexPairTy Src, QualType SrcTy,
520 QualType DstTy);
521
Chris Lattner4e05d1e2007-08-26 06:48:56 +0000522
Chris Lattnerbdb8ffb2007-08-11 00:04:45 +0000523 /// EmitAggExpr - Emit the computation of the specified expression of
524 /// aggregate type. The result is computed into DestPtr. Note that if
525 /// DestPtr is null, the value of the aggregate expression is not needed.
526 void EmitAggExpr(const Expr *E, llvm::Value *DestPtr, bool VolatileDest);
Chris Lattner8d0cc2f2007-08-21 05:54:00 +0000527
528 /// EmitComplexExpr - Emit the computation of the specified expression of
Chris Lattner348c8a22007-08-23 23:43:33 +0000529 /// complex type, returning the result.
Chris Lattner5280c5f2007-08-21 16:57:55 +0000530 ComplexPairTy EmitComplexExpr(const Expr *E);
Chris Lattner348c8a22007-08-23 23:43:33 +0000531
532 /// EmitComplexExprIntoAddr - Emit the computation of the specified expression
533 /// of complex type, storing into the specified Value*.
Chris Lattner8e1f6e02007-08-26 16:22:13 +0000534 void EmitComplexExprIntoAddr(const Expr *E, llvm::Value *DestAddr,
535 bool DestIsVolatile);
Daniel Dunbardd851282008-08-30 05:35:15 +0000536
537 /// StoreComplexToAddr - Store a complex number into the specified address.
538 void StoreComplexToAddr(ComplexPairTy V, llvm::Value *DestAddr,
539 bool DestIsVolatile);
Chris Lattnere24c4cf2007-08-31 22:49:20 +0000540 /// LoadComplexFromAddr - Load a complex number from the specified address.
541 ComplexPairTy LoadComplexFromAddr(llvm::Value *SrcAddr, bool SrcIsVolatile);
Chris Lattner85970f32008-05-08 05:58:21 +0000542
543 /// GenerateStaticBlockVarDecl - return the the static
544 /// declaration of local variable.
545 llvm::GlobalValue *GenerateStaticBlockVarDecl(const VarDecl &D,
546 bool NoInit,
547 const char *Separator);
Daniel Dunbar879788d2008-08-04 16:51:22 +0000548
Anders Carlssonc9f8ccd2008-08-22 16:00:37 +0000549 // GenerateStaticBlockVarDecl - return the static declaration of
550 // a local variable. Performs initialization of the variable if necessary.
551 llvm::GlobalValue *GenerateStaticCXXBlockVarDecl(const VarDecl &D);
552
Daniel Dunbar879788d2008-08-04 16:51:22 +0000553 //===--------------------------------------------------------------------===//
554 // Internal Helpers
555 //===--------------------------------------------------------------------===//
556
Chris Lattner3f73d0d2008-11-11 07:41:27 +0000557 /// ContainsLabel - Return true if the statement contains a label in it. If
558 /// this statement is not executed normally, it not containing a label means
559 /// that we can just remove the code.
560 static bool ContainsLabel(const Stmt *S, bool IgnoreCaseStmts = false);
561
Daniel Dunbar879788d2008-08-04 16:51:22 +0000562private:
Chris Lattner3f73d0d2008-11-11 07:41:27 +0000563
Daniel Dunbar879788d2008-08-04 16:51:22 +0000564 /// EmitIndirectSwitches - Emit code for all of the switch
565 /// instructions in IndirectSwitches.
566 void EmitIndirectSwitches();
Daniel Dunbar04d35782008-09-17 00:51:38 +0000567
Daniel Dunbare856ac22008-09-24 04:00:38 +0000568 void EmitReturnOfRValue(RValue RV, QualType Ty);
569
Daniel Dunbar04d35782008-09-17 00:51:38 +0000570 /// ExpandTypeFromArgs - Reconstruct a structure of type \arg Ty
571 /// from function arguments into \arg Dst. See ABIArgInfo::Expand.
572 ///
573 /// \param AI - The first function argument of the expansion.
574 /// \return The argument following the last expanded function
575 /// argument.
576 llvm::Function::arg_iterator
577 ExpandTypeFromArgs(QualType Ty, LValue Dst,
578 llvm::Function::arg_iterator AI);
579
580 /// ExpandTypeToArgs - Expand an RValue \arg Src, with the LLVM type
581 /// for \arg Ty, into individual arguments on the provided vector
582 /// \arg Args. See ABIArgInfo::Expand.
583 void ExpandTypeToArgs(QualType Ty, RValue Src,
584 llvm::SmallVector<llvm::Value*, 16> &Args);
Chris Lattner4b009652007-07-25 00:24:17 +0000585};
586} // end namespace CodeGen
587} // end namespace clang
588
589#endif