25#include "llvm/IR/Instruction.h"
26#include "llvm/Support/SaveAndRestore.h"
29using namespace CodeGen;
56 llvm::Value *BaseValue,
58 unsigned CVRQualifiers,
59 llvm::Value *Offset) {
66 llvm::Value *
V = BaseValue;
88 uint64_t FieldBitOffset =
94 llvm::alignTo(BitOffset + BitFieldSize, AlignmentBits));
118 struct CatchHandler {
121 llvm::BasicBlock *
Block;
128 CallObjCEndCatch(
bool MightThrow, llvm::FunctionCallee Fn)
129 : MightThrow(MightThrow), Fn(Fn) {}
131 llvm::FunctionCallee Fn;
144 llvm::FunctionCallee beginCatchFn,
145 llvm::FunctionCallee endCatchFn,
146 llvm::FunctionCallee exceptionRethrowFn) {
149 if (S.getNumCatchStmts())
157 FinallyInfo.
enter(CGF, Finally->getFinallyBody(),
158 beginCatchFn, endCatchFn, exceptionRethrowFn);
164 if (S.getNumCatchStmts()) {
166 const VarDecl *CatchDecl = CatchStmt->getCatchParamDecl();
168 Handlers.push_back(CatchHandler());
169 CatchHandler &Handler = Handlers.back();
170 Handler.Variable = CatchDecl;
171 Handler.Body = CatchStmt->getCatchBody();
178 Handler.TypeInfo = catchAll.RTTI;
179 Handler.Flags = catchAll.Flags;
188 for (
unsigned I = 0,
E = Handlers.size(); I !=
E; ++I)
189 Catch->
setHandler(I, { Handlers[I].TypeInfo, Handlers[I].Flags }, Handlers[I].Block);
198 const Stmt *FinallyBlock = Finally->getFinallyBody();
206 llvm::Function *FinallyFunc = HelperCGF.
CurFn;
218 if (S.getNumCatchStmts())
222 CGBuilderTy::InsertPoint SavedIP = CGF.
Builder.saveAndClearIP();
225 for (
unsigned I = 0,
E = Handlers.size(); I !=
E; ++I) {
226 CatchHandler &Handler = Handlers[I];
233 llvm::Instruction *CPICandidate = Handler.Block->getFirstNonPHI();
234 if (
auto *CPI = dyn_cast_or_null<llvm::CatchPadInst>(CPICandidate)) {
244 llvm::Value *Exn = RawExn;
250 bool EndCatchMightThrow = (Handler.Variable ==
nullptr);
258 if (
const VarDecl *CatchParam = Handler.Variable) {
259 llvm::Type *CatchType = CGF.
ConvertType(CatchParam->getType());
260 llvm::Value *CastExn = CGF.
Builder.CreateBitCast(Exn, CatchType);
277 CGF.
Builder.restoreIP(SavedIP);
280 if (!useFunclets && S.getFinallyStmt())
281 FinallyInfo.
exit(CGF);
308 llvm_unreachable(
"invalid ownership qualifier");
313 llvm::FunctionCallee SyncExitFn;
314 llvm::Value *SyncArg;
315 CallSyncExit(llvm::FunctionCallee SyncExitFn, llvm::Value *SyncArg)
316 : SyncExitFn(SyncExitFn), SyncArg(SyncArg) {}
326 llvm::FunctionCallee syncEnterFn,
327 llvm::FunctionCallee syncExitFn) {
332 const Expr *lockExpr = S.getSynchExpr();
343 CGF.
Builder.CreateCall(syncEnterFn, lock)->setDoesNotThrow();
365 llvm::PointerType *signatureType =
390 llvm::Value *receiver) {
404 dyn_cast_or_null<ObjCMethodDecl>(CGF.
CurCodeDecl)) {
405 auto self = curMethod->getSelfDecl();
406 if (self->getType().isConstQualified()) {
407 if (
auto LI = dyn_cast<llvm::LoadInst>(receiver->stripPointerCasts())) {
409 if (selfAddr == LI->getPointerOperand()) {
422 if (ID->isWeakImported())
424 }
while ((ID = ID->getSuperClass()));
432 CallArgList::const_iterator I = callArgs.begin();
436 if (param->
hasAttr<NSConsumedAttr>()) {
437 RValue RV = I->getRValue(CGF);
439 "NullReturnState::complete - arg not on object");
444 if (RT && RT->getDecl()->isParamDestroyedInCallee()) {
445 RValue RV = I->getRValue(CGF);
455 llvm_unreachable(
"unexpected dtor kind");
470 bool includeCategoryName) {
472 llvm::raw_string_ostream out(buffer);
475 includeCategoryName);
Defines the Objective-C statement AST node classes.
QualType getObjCObjectPointerType(QualType OIT) const
Return a ObjCObjectPointerType type for the given ObjCObjectType.
int64_t toBits(CharUnits CharSize) const
Convert a size in characters to a size in bits.
uint64_t lookupFieldBitOffset(const ObjCInterfaceDecl *OID, const ObjCImplementationDecl *ID, const ObjCIvarDecl *Ivar) const
Get the offset of an ObjCIvarDecl in bits.
CharUnits toCharUnitsFromBits(int64_t BitSize) const
Convert a size in bits to a size in characters.
uint64_t getCharWidth() const
Return the size of the character type, in bits.
CharUnits - This is an opaque type for sizes expressed in character units.
static CharUnits fromQuantity(QuantityType Quantity)
fromQuantity - Construct a CharUnits quantity from a raw integer type.
Like RawAddress, an abstract representation of an aligned address, but the pointer contained in this ...
llvm::Value * emitRawPointer(CodeGenFunction &CGF) const
Return the pointer contained in this class after authenticating it and adding offset to it if necessa...
llvm::StoreInst * CreateStore(llvm::Value *Val, Address Addr, bool IsVolatile=false)
Address CreateInBoundsGEP(Address Addr, ArrayRef< llvm::Value * > IdxList, llvm::Type *ElementType, CharUnits Align, const Twine &Name="")
MangleContext & getMangleContext()
Gets the mangle context.
CGFunctionInfo - Class to encapsulate the information about a function definition.
virtual llvm::Constant * GetEHType(QualType T)=0
Get the type constant to catch for the given ObjC pointer type.
virtual CatchTypeInfo getCatchAllTypeInfo()
void EmitInitOfCatchParam(CodeGenFunction &CGF, llvm::Value *exn, const VarDecl *paramDecl)
bool canMessageReceiverBeNull(CodeGenFunction &CGF, const ObjCMethodDecl *method, bool isSuper, const ObjCInterfaceDecl *classReceiver, llvm::Value *receiver)
std::string getSymbolNameForMethod(const ObjCMethodDecl *method, bool includeCategoryName=true)
static void destroyCalleeDestroyedArguments(CodeGenFunction &CGF, const ObjCMethodDecl *method, const CallArgList &callArgs)
Destroy the callee-destroyed arguments of the given method, if it has any.
LValue EmitValueForIvarAtOffset(CodeGen::CodeGenFunction &CGF, const ObjCInterfaceDecl *OID, llvm::Value *BaseValue, const ObjCIvarDecl *Ivar, unsigned CVRQualifiers, llvm::Value *Offset)
uint64_t ComputeIvarBaseOffset(CodeGen::CodeGenModule &CGM, const ObjCInterfaceDecl *OID, const ObjCIvarDecl *Ivar)
Compute an offset to the given ivar, suitable for passing to EmitValueForIvarAtOffset.
static bool isWeakLinkedClass(const ObjCInterfaceDecl *cls)
virtual llvm::Constant * GetOrEmitProtocol(const ObjCProtocolDecl *PD)=0
GetOrEmitProtocol - Get the protocol object for the given declaration, emitting it if necessary.
void EmitTryCatchStmt(CodeGenFunction &CGF, const ObjCAtTryStmt &S, llvm::FunctionCallee beginCatchFn, llvm::FunctionCallee endCatchFn, llvm::FunctionCallee exceptionRethrowFn)
Emits a try / catch statement.
CodeGen::CodeGenModule & CGM
MessageSendInfo getMessageSendInfo(const ObjCMethodDecl *method, QualType resultType, CallArgList &callArgs)
Compute the pointer-to-function type to which a message send should be casted in order to correctly c...
void EmitAtSynchronizedStmt(CodeGenFunction &CGF, const ObjCAtSynchronizedStmt &S, llvm::FunctionCallee syncEnterFn, llvm::FunctionCallee syncExitFn)
Emits an @synchronize() statement, using the syncEnterFn and syncExitFn arguments as the functions ca...
unsigned ComputeBitfieldBitOffset(CodeGen::CodeGenModule &CGM, const ObjCInterfaceDecl *ID, const ObjCIvarDecl *Ivar)
CallArgList - Type for representing both the value and type of arguments in a call.
A class controlling the emission of a finally block.
void exit(CodeGenFunction &CGF)
void enter(CodeGenFunction &CGF, const Stmt *Finally, llvm::FunctionCallee beginCatchFn, llvm::FunctionCallee endCatchFn, llvm::FunctionCallee rethrowFn)
Enters a finally block for an implementation using zero-cost exceptions.
void ForceCleanup()
Force the emission of cleanups now, instead of waiting until this object is destroyed.
Enters a new scope for capturing cleanups, all of which will be executed once the scope is exited.
CodeGenFunction - This class organizes the per-function state that is used while generating LLVM code...
void FinishFunction(SourceLocation EndLoc=SourceLocation())
FinishFunction - Complete IR generation of the current function.
Address getExceptionSlot()
Returns a pointer to the function's exception object and selector slot, which is assigned in every la...
static Destroyer destroyNonTrivialCStruct
JumpDest getJumpDestInCurrentScope(llvm::BasicBlock *Target)
The given basic block lies in the current EH scope, but may be a target of a potentially scope-crossi...
void startOutlinedSEHHelper(CodeGenFunction &ParentCGF, bool IsFilter, const Stmt *OutlinedStmt)
void EmitAutoVarDecl(const VarDecl &D)
EmitAutoVarDecl - Emit an auto variable declaration.
void popCatchScope()
popCatchScope - Pops the catch scope at the top of the EHScope stack, emitting any required code (oth...
llvm::BasicBlock * createBasicBlock(const Twine &name="", llvm::Function *parent=nullptr, llvm::BasicBlock *before=nullptr)
createBasicBlock - Create an LLVM basic block.
const LangOptions & getLangOpts() const
void EmitBlock(llvm::BasicBlock *BB, bool IsFinished=false)
EmitBlock - Emit the given block.
SmallVector< llvm::Value *, 8 > ObjCEHValueStack
ObjCEHValueStack - Stack of Objective-C exception values, used for rethrows.
const Decl * CurCodeDecl
CurCodeDecl - This is the inner-most code context, which includes blocks.
static Destroyer destroyCXXObject
llvm::Value * EmitObjCConsumeObject(QualType T, llvm::Value *Ptr)
void EmitARCRelease(llvm::Value *value, ARCPreciseLifetime_t precise)
void pushSEHCleanup(CleanupKind kind, llvm::Function *FinallyFunc)
LValue MakeNaturalAlignRawAddrLValue(llvm::Value *V, QualType T)
llvm::CallInst * EmitNounwindRuntimeCall(llvm::FunctionCallee callee, const Twine &name="")
ASTContext & getContext() const
const Decl * CurFuncDecl
CurFuncDecl - Holds the Decl for the current outermost non-closure context.
void EmitBranchThroughCleanup(JumpDest Dest)
EmitBranchThroughCleanup - Emit a branch from the current insert block through the normal cleanup han...
void EmitStmt(const Stmt *S, ArrayRef< const Attr * > Attrs={})
EmitStmt - Emit the code for the statement.
llvm::Type * ConvertType(QualType T)
void EmitARCInitWeak(Address addr, llvm::Value *value)
llvm::CallBase * EmitRuntimeCallOrInvoke(llvm::FunctionCallee callee, ArrayRef< llvm::Value * > args, const Twine &name="")
llvm::Value * EmitARCRetainNonBlock(llvm::Value *value)
Address GetAddrOfLocalVar(const VarDecl *VD)
GetAddrOfLocalVar - Return the address of a local variable.
llvm::Instruction * CurrentFuncletPad
llvm::LLVMContext & getLLVMContext()
llvm::Value * EmitScalarExpr(const Expr *E, bool IgnoreResultAssign=false)
EmitScalarExpr - Emit the computation of the specified expression of LLVM scalar type,...
llvm::Value * EmitARCRetainScalarExpr(const Expr *expr)
llvm::Value * getExceptionFromSlot()
Returns the contents of the function's exception object and selector slots.
This class organizes the cross-function state that is used while generating LLVM code.
CodeGenTypes & getTypes()
const TargetInfo & getTarget() const
const llvm::DataLayout & getDataLayout() const
CGCXXABI & getCXXABI() const
ASTContext & getContext() const
llvm::LLVMContext & getLLVMContext()
CGObjCRuntime & getObjCRuntime()
Return a reference to the configured Objective-C runtime.
const CGFunctionInfo & arrangeUnprototypedObjCMessageSend(QualType returnType, const CallArgList &args)
const CGFunctionInfo & arrangeObjCMessageSendSignature(const ObjCMethodDecl *MD, QualType receiverType)
Arrange the argument and result information for the function type through which to perform a send to ...
const CGFunctionInfo & arrangeCall(const CGFunctionInfo &declFI, const CallArgList &args)
Given a function info for a declaration, return the function info for a call with the given arguments...
A scope which attempts to handle some, possibly all, types of exceptions.
void setHandler(unsigned I, llvm::Constant *Type, llvm::BasicBlock *Block)
Information for lazily generating a cleanup.
class EHCatchScope * pushCatch(unsigned NumHandlers)
Push a set of catch handlers on the stack.
LValue - This represents an lvalue references.
static LValue MakeBitfield(Address Addr, const CGBitFieldInfo &Info, QualType type, LValueBaseInfo BaseInfo, TBAAAccessInfo TBAAInfo)
Create a new object to represent a bit-field access.
RValue - This trivial value class is used to represent the result of an expression that is evaluated.
Address getAggregateAddress() const
getAggregateAddr() - Return the Value* of the address of the aggregate.
llvm::Value * getScalarVal() const
getScalarVal() - Return the Value* of this scalar value.
This represents one expression.
bool isBitField() const
Determines whether this field is a bitfield.
unsigned getBitWidthValue(const ASTContext &Ctx) const
Computes the bit width of this field, if this is a bit field.
void mangleObjCMethodName(const ObjCMethodDecl *MD, raw_ostream &OS, bool includePrefixByte=true, bool includeCategoryNamespace=true)
Represents Objective-C's @catch statement.
Represents Objective-C's @finally statement.
Represents Objective-C's @synchronized statement.
Represents Objective-C's @try ... @catch ... @finally statement.
const ObjCInterfaceDecl * getClassInterface() const
ObjCImplementationDecl - Represents a class definition - this is where method definitions are specifi...
Represents an ObjC class declaration.
const Type * getTypeForDecl() const
ObjCIvarDecl - Represents an ObjC instance variable.
QualType getUsageType(QualType objectType) const
Retrieve the type of this instance variable when viewed as a member of a specific object type.
ObjCMethodDecl - Represents an instance or class method declaration.
param_const_iterator param_end() const
param_const_iterator param_begin() const
bool isClassMethod() const
Represents an Objective-C protocol declaration.
Represents a parameter to a function.
A (possibly-)qualified type.
Qualifiers getQualifiers() const
Retrieve the set of qualifiers applied to this type.
QualType withCVRQualifiers(unsigned CVR) const
DestructionKind isDestructedType() const
Returns a nonzero value if objects of this type require non-trivial work to clean up after.
@ OCL_Strong
Assigning into this object requires the old value to be released and the new value to be retained.
@ OCL_ExplicitNone
This object can be modified without requiring retains or releases.
@ OCL_None
There is no lifetime qualification on this type.
@ OCL_Weak
Reading or writing from this object requires a barrier call.
@ OCL_Autoreleasing
Assigning into this object requires a lifetime extension.
ObjCLifetime getObjCLifetime() const
A helper class that allows the use of isa/cast/dyncast to detect TagType objects of structs/unions/cl...
Stmt - This represents one statement.
SourceLocation getEndLoc() const LLVM_READONLY
unsigned getCharAlign() const
const T * getAs() const
Member-template getAs<specific type>'.
Represents a variable declaration or definition.
@ Decl
The l-value was an access to a declared entity or something equivalently strong, like the address of ...
@ NormalCleanup
Denotes a cleanup that should run when a scope is exited using normal control flow (falling off the e...
llvm::Constant * emitObjCProtocolObject(CodeGenModule &CGM, const ObjCProtocolDecl *p)
Get a pointer to a protocol object for the given declaration, emitting it if it hasn't already been e...
The JSON file list parser is used to communicate input to InstallAPI.
Structure with information about how a bitfield should be accessed.
unsigned StorageSize
The storage size in bits which should be used when accessing this bitfield.
static CGBitFieldInfo MakeInfo(class CodeGenTypes &Types, const FieldDecl *FD, uint64_t Offset, uint64_t Size, uint64_t StorageSize, CharUnits StorageOffset)
Given a bit-field decl, build an appropriate helper object for accessing that field (which is expecte...
A jump destination is an abstract label, branching to which may require a jump out through normal cle...
llvm::BasicBlock * getBlock() const
llvm::PointerType * VoidPtrTy
llvm::IntegerType * Int8Ty
i8, i16, i32, and i64
static const EHPersonality & get(CodeGenModule &CGM, const FunctionDecl *FD)
bool usesFuncletPads() const
Does this personality use landingpads or the family of pad instructions designed to form funclets?