18#include "llvm/ADT/ScopeExit.h"
24using llvm::BasicBlock;
27enum class AwaitKind {
Init,
Normal, Yield, Final };
28static constexpr llvm::StringLiteral AwaitKindStr[] = {
"init",
"await",
"yield",
94 llvm::CallInst *CoroId,
95 CallExpr const *CoroIdExpr =
nullptr) {
98 CGF.
CGM.
Error(CoroIdExpr->getBeginLoc(),
99 "only one __builtin_coro_id can be used in a function");
101 CGF.
CGM.
Error(CoroIdExpr->getBeginLoc(),
102 "__builtin_coro_id shall not be used in a C++ coroutine");
104 llvm_unreachable(
"EmitCoroutineBodyStatement called twice?");
118 case AwaitKind::Init:
119 case AwaitKind::Final:
121 case AwaitKind::Normal:
124 case AwaitKind::Yield:
130 Twine(
No).toVector(Prefix);
148 if (
const auto *CE = dyn_cast<CallExpr>(S)) {
149 const auto *Callee = CE->getDirectCallee();
160 if (
const auto *TE = dyn_cast<CXXBindTemporaryExpr>(S)) {
165 const auto *Dtor = TE->getTemporary()->getDestructor();
172 for (
const auto *child : S->
children())
220 struct LValueOrRValue {
228 bool ignoreResult,
bool forLValue) {
233 llvm::scope_exit UnbindCommonOnExit([&] { CommonBinder.unbind(CGF); });
237 BasicBlock *SuspendBlock = CGF.
createBasicBlock(Prefix + Twine(
".suspend"));
238 BasicBlock *CleanupBlock = CGF.
createBasicBlock(Prefix + Twine(
".cleanup"));
247 llvm::Function *CoroSave = CGF.
CGM.
getIntrinsic(llvm::Intrinsic::coro_save);
248 auto *NullPtr = llvm::ConstantPointerNull::get(CGF.
CGM.
Int8PtrTy);
249 auto *SaveCall = Builder.CreateCall(CoroSave, {NullPtr});
252 CGF.
CurFn->getName(), Prefix, S);
257 "expected to be called in coroutine context");
260 SuspendIntrinsicCallArgs.push_back(
263 SuspendIntrinsicCallArgs.push_back(CGF.
CurCoro.
Data->CoroBegin);
264 SuspendIntrinsicCallArgs.push_back(SuspendWrapper);
267 llvm::Intrinsic::ID AwaitSuspendIID;
269 switch (SuspendReturnType) {
271 AwaitSuspendIID = llvm::Intrinsic::coro_await_suspend_void;
274 AwaitSuspendIID = llvm::Intrinsic::coro_await_suspend_bool;
277 AwaitSuspendIID = llvm::Intrinsic::coro_await_suspend_handle;
281 llvm::Function *AwaitSuspendIntrinsic = CGF.
CGM.
getIntrinsic(AwaitSuspendIID);
284 const bool AwaitSuspendCanThrow =
289 llvm::CallBase *SuspendRet =
nullptr;
291 if (AwaitSuspendCanThrow)
296 SuspendIntrinsicCallArgs);
301 switch (SuspendReturnType) {
303 assert(SuspendRet->getType()->isVoidTy());
306 assert(SuspendRet->getType()->isIntegerTy());
309 BasicBlock *RealSuspendBlock =
311 CGF.
Builder.CreateCondBr(SuspendRet, RealSuspendBlock, ReadyBlock);
316 assert(SuspendRet->getType()->isVoidTy());
322 const bool IsFinalSuspend = (Kind == AwaitKind::Final);
323 llvm::Function *CoroSuspend =
325 auto *SuspendResult = Builder.CreateCall(
326 CoroSuspend, {SaveCall, Builder.getInt1(IsFinalSuspend)});
330 Switch->addCase(Builder.getInt8(0), ReadyBlock);
331 Switch->addCase(Builder.getInt8(1), CleanupBlock);
337 Coro.
FinalExit = CleanupBlock->getSingleSuccessor();
382 CurCoro.Data->CurrentAwaitKind, aggSlot,
383 ignoreResult,
false).RV;
389 aggSlot, ignoreResult,
false).RV;
412 assert(
isa<CallExpr>(RE) &&
"unexpected suspend expression type");
419 Twine
const &SuspendPointName,
421 std::string FuncName =
422 (CoroName +
".__await_suspend_wrapper__" + SuspendPointName).str();
432 args.push_back(&AwaiterDecl);
433 args.push_back(&FrameDecl);
436 CGM.getTypes().arrangeBuiltinFunctionDeclaration(ReturnTy, args);
438 llvm::FunctionType *LTy =
CGM.getTypes().GetFunctionType(FI);
440 llvm::Function *Fn = llvm::Function::Create(
441 LTy, llvm::GlobalValue::InternalLinkage, FuncName, &
CGM.getModule());
443 Fn->addParamAttr(0, llvm::Attribute::AttrKind::NonNull);
444 Fn->addParamAttr(0, llvm::Attribute::AttrKind::NoUndef);
446 Fn->addParamAttr(1, llvm::Attribute::AttrKind::NoUndef);
448 Fn->setMustProgress();
449 Fn->addFnAttr(llvm::Attribute::AttrKind::AlwaysInline);
450 Fn->addFnAttr(
"sample-profile-suffix-elision-policy",
"selected");
467 llvm::scope_exit UnbindCommonOnExit([&] { AwaiterBinder.unbind(*
this); });
468 if (SuspendRet !=
nullptr) {
469 Fn->addRetAttr(llvm::Attribute::AttrKind::NoUndef);
481 "Can't have a scalar return unless the return type is a "
491 "Can't have a scalar return unless the return type is a "
500struct GetParamRef :
public StmtVisitor<GetParamRef> {
505 assert(
Expr ==
nullptr &&
"multilple declref in param move");
508 void VisitStmt(
Stmt *S) {
522 struct ParamReferenceReplacerRAII {
527 : LocalDeclMap(LocalDeclMap) {}
529 void addCopy(DeclStmt
const *PM) {
533 VarDecl
const*VD =
static_cast<VarDecl const*
>(PM->
getSingleDecl());
534 Expr
const *InitExpr = VD->
getInit();
536 Visitor.Visit(
const_cast<Expr*
>(InitExpr));
537 assert(Visitor.Expr);
538 DeclRefExpr *DREOrig = Visitor.Expr;
541 auto it = LocalDeclMap.find(PD);
542 assert(it != LocalDeclMap.end() &&
"parameter is not found");
543 SavedLocals.insert({ PD, it->second });
545 auto copyIt = LocalDeclMap.find(VD);
546 assert(copyIt != LocalDeclMap.end() &&
"parameter copy is not found");
547 it->second = copyIt->getSecond();
550 ~ParamReferenceReplacerRAII() {
551 for (
auto&& SavedLocal : SavedLocals) {
552 LocalDeclMap.insert({SavedLocal.first, SavedLocal.second});
560static SmallVector<llvm::OperandBundleDef, 1>
565 BundleList.emplace_back(
"funclet", EHPad);
574struct CallCoroEnd final :
public EHScopeStack::Cleanup {
575 void Emit(CodeGenFunction &CGF, Flags flags)
override {
577 auto *NullPtr = llvm::ConstantPointerNull::get(CGF.
Int8PtrTy);
578 llvm::Function *CoroEndFn = CGM.getIntrinsic(llvm::Intrinsic::coro_end);
583 {NullPtr, CGF.
Builder.getTrue(),
584 llvm::ConstantTokenNone::get(CoroEndFn->getContext())},
586 if (Bundles.empty()) {
591 auto *CoroIsInRampFn = CGM.getIntrinsic(llvm::Intrinsic::coro_is_in_ramp);
592 auto *CoroIsInRamp = CGF.
Builder.CreateCall(CoroIsInRampFn);
593 CGF.
Builder.CreateCondBr(CoroIsInRamp, CleanupContBB, ResumeBB);
602struct CallCoroDelete final :
public EHScopeStack::Cleanup {
612 void Emit(CodeGenFunction &CGF, Flags)
override {
616 BasicBlock *SaveInsertBlock = CGF.
Builder.GetInsertBlock();
628 CGF.
CGM.
Error(Deallocate->getBeginLoc(),
629 "Deallocation expressoin does not refer to coro.free");
634 auto *InsertPt = SaveInsertBlock->getTerminator();
635 CoroFree->moveBefore(InsertPt->getIterator());
636 CGF.
Builder.SetInsertPoint(InsertPt);
639 auto *NullPtr = llvm::ConstantPointerNull::get(CGF.
Int8PtrTy);
640 auto *
Cond = CGF.
Builder.CreateICmpNE(CoroFree, NullPtr);
641 CGF.
Builder.CreateCondBr(
Cond, FreeBB, AfterFreeBB);
644 InsertPt->eraseFromParent();
645 CGF.
Builder.SetInsertPoint(AfterFreeBB);
647 explicit CallCoroDelete(Stmt *DeallocStmt) : Deallocate(DeallocStmt) {}
652struct GetReturnObjectManager {
653 CodeGenFunction &CGF;
654 CGBuilderTy &Builder;
655 const CoroutineBodyStmt &S;
657 bool DirectEmit =
false;
659 Address GroActiveFlag;
660 CodeGenFunction::AutoVarEmission GroEmission;
662 GetReturnObjectManager(CodeGenFunction &CGF,
const CoroutineBodyStmt &S)
663 : CGF(CGF), Builder(CGF.Builder), S(S), GroActiveFlag(Address::invalid()),
664 GroEmission(CodeGenFunction::AutoVarEmission::invalid()) {
686 assert(RVI &&
"expected RVI");
687 auto GroType = RVI->getType();
697 void EmitGroActive() {
701 auto *GroDeclStmt = dyn_cast_or_null<DeclStmt>(S.
getResultDecl());
710 Builder.CreateStore(Builder.getFalse(), GroActiveFlag);
713 void EmitGroAlloca() {
717 auto *GroDeclStmt = dyn_cast_or_null<DeclStmt>(S.
getResultDecl());
723 auto *GroVarDecl =
cast<VarDecl>(GroDeclStmt->getSingleDecl());
727 if (!GroVarDecl->isNRVOVariable()) {
729 auto *GroAlloca = dyn_cast_or_null<llvm::AllocaInst>(
731 assert(GroAlloca &&
"expected alloca to be emitted");
732 GroAlloca->setMetadata(llvm::LLVMContext::MD_coro_outside_frame,
744 if (
auto *Cleanup = dyn_cast<EHCleanupScope>(&*
b)) {
745 assert(!Cleanup->hasActiveFlag() &&
"cleanup already has active flag?");
746 Cleanup->setActiveFlag(GroActiveFlag);
747 Cleanup->setTestFlagInEHCleanup();
748 Cleanup->setTestFlagInNormalCleanup();
775 if (!GroActiveFlag.
isValid()) {
783 Builder.CreateStore(Builder.getTrue(), GroActiveFlag);
815 void EmitGroConv(BasicBlock *RetBB) {
816 auto *AfterReadyBB = Builder.GetInsertBlock();
817 Builder.ClearInsertionPoint();
822 llvm::PHINode *IsFinalExit =
nullptr;
823 if (BasicBlock *FinalExit = CGF.
CurCoro.
Data->FinalExit) {
824 assert(AfterReadyBB &&
825 AfterReadyBB->getSinglePredecessor() == FinalExit &&
826 "Expect fallthrough from final.exit block");
827 AfterReadyBB->replaceAllUsesWith(PreConvBB);
828 PreConvBB->moveBefore(AfterReadyBB);
832 Builder.CreatePHI(Builder.getInt1Ty(), llvm::pred_size(PreConvBB));
833 for (
auto *Pred : llvm::predecessors(PreConvBB)) {
834 auto *
V = (Pred == FinalExit) ? Builder.getTrue() : Builder.getFalse();
835 IsFinalExit->addIncoming(
V, Pred);
838 auto *InRampFn = CGF.
CGM.
getIntrinsic(llvm::Intrinsic::coro_is_in_ramp);
839 auto *InRamp = Builder.CreateCall(InRampFn, {},
"InRamp");
842 Builder.CreateCondBr(InRamp, ConvBB, AfterConvBB);
848 Builder.CreateBr(AfterConvBB);
852 Builder.CreateCondBr(IsFinalExit, AfterReadyBB, RetBB);
854 Builder.CreateBr(RetBB);
855 Builder.SetInsertPoint(AfterReadyBB);
863 const bool CanFallthrough = CGF.
Builder.GetInsertBlock();
870 auto *NullPtr = llvm::ConstantPointerNull::get(
Builder.getPtrTy());
871 auto &TI =
CGM.getContext().getTargetInfo();
872 unsigned NewAlign = TI.getNewAlign() / TI.getCharWidth();
874 auto *EntryBB =
Builder.GetInsertBlock();
880 auto *CoroId =
Builder.CreateCall(
881 CGM.getIntrinsic(llvm::Intrinsic::coro_id),
882 {Builder.getInt32(NewAlign), NullPtr, NullPtr, NullPtr});
885 GetReturnObjectManager GroManager(*
this, S);
888 assert(ShouldEmitLifetimeMarkers &&
889 "Must emit lifetime intrinsics for coroutines");
893 auto *CoroAlloc =
Builder.CreateCall(
894 CGM.getIntrinsic(llvm::Intrinsic::coro_alloc), {CoroId});
896 Builder.CreateCondBr(CoroAlloc, AllocBB, InitBB);
900 auto *AllocOrInvokeContBB =
Builder.GetInsertBlock();
907 auto *NullPtr = llvm::ConstantPointerNull::get(
Int8PtrTy);
908 auto *
Cond =
Builder.CreateICmpNE(AllocateCall, NullPtr);
911 Builder.CreateCondBr(
Cond, InitBB, RetOnFailureBB);
925 Phi->addIncoming(NullPtr, EntryBB);
926 Phi->addIncoming(AllocateCall, AllocOrInvokeContBB);
927 auto *CoroBegin =
Builder.CreateCall(
928 CGM.getIntrinsic(llvm::Intrinsic::coro_begin), {CoroId, Phi});
929 CurCoro.Data->CoroBegin = CoroBegin;
934 ParamReferenceReplacerRAII ParamReplacer(LocalDeclMap);
941 (ParamMoves.size() == 0 || (ParamMoves.size() ==
FnArgs.size())) &&
942 "ParamMoves and FnArgs should be the same size for coroutine function");
943 if (ParamMoves.size() ==
FnArgs.size() && DI)
944 for (
const auto Pair : llvm::zip(
FnArgs, ParamMoves))
946 {std::get<0>(Pair), std::get<1>(Pair)});
959 if (
auto *ParmAlloca =
961 ParmAlloca->setMetadata(llvm::LLVMContext::MD_coro_outside_frame,
962 llvm::MDNode::get(
CGM.getLLVMContext(), {}));
973 GroManager.EmitGroActive();
982 GroManager.EmitGroAlloca();
983 GroManager.EmitGroInit();
987 CurCoro.Data->CurrentAwaitKind = AwaitKind::Init;
992 CurCoro.Data->CurrentAwaitKind = AwaitKind::Normal;
994 if (
CurCoro.Data->ExceptionHandler) {
1000 BasicBlock *ContBB =
nullptr;
1001 if (
CurCoro.Data->ResumeEHVar) {
1006 Builder.CreateCondBr(SkipBody, ContBB, BodyBB);
1012 CurCoro.Data->ExceptionHandler);
1028 const bool CanFallthrough =
Builder.GetInsertBlock();
1029 const bool HasCoreturns =
CurCoro.Data->CoreturnCount > 0;
1030 if (CanFallthrough || HasCoreturns) {
1032 CurCoro.Data->CurrentAwaitKind = AwaitKind::Final;
1041 if (!GroManager.DirectEmit)
1042 GroManager.EmitGroConv(RetBB);
1048 llvm::Function *CoroEnd =
CGM.getIntrinsic(llvm::Intrinsic::coro_end);
1051 llvm::ConstantTokenNone::get(CoroEnd->getContext())});
1053 if (
auto *Ret = cast_or_null<ReturnStmt>(S.
getReturnStmt())) {
1056 Expr *PreviousRetValue = Ret->getRetValue();
1057 Ret->setRetValue(
nullptr);
1061 Ret->setRetValue(PreviousRetValue);
1064 CurFn->setPresplitCoroutine();
1067 RD && RD->hasAttr<CoroOnlyDestroyWhenCompleteAttr>())
1068 CurFn->setCoroDestroyOnlyWhenComplete();
1080 case llvm::Intrinsic::coro_frame: {
1089 CGM.Error(E->
getBeginLoc(),
"this builtin expect that __builtin_coro_begin "
1090 "has been used earlier in this function");
1091 auto *NullPtr = llvm::ConstantPointerNull::get(
Builder.getPtrTy());
1094 case llvm::Intrinsic::coro_size: {
1096 llvm::IntegerType *
T =
1097 Builder.getIntNTy(Context.getTypeSize(Context.getSizeType()));
1098 llvm::Function *F =
CGM.getIntrinsic(llvm::Intrinsic::coro_size,
T);
1101 case llvm::Intrinsic::coro_align: {
1103 llvm::IntegerType *
T =
1104 Builder.getIntNTy(Context.getTypeSize(Context.getSizeType()));
1105 llvm::Function *F =
CGM.getIntrinsic(llvm::Intrinsic::coro_align,
T);
1111 case llvm::Intrinsic::coro_alloc:
1112 case llvm::Intrinsic::coro_begin:
1113 case llvm::Intrinsic::coro_free: {
1115 Args.push_back(
CurCoro.Data->CoroId);
1118 CGM.Error(E->
getBeginLoc(),
"this builtin expect that __builtin_coro_id has"
1119 " been used earlier in this function");
1125 case llvm::Intrinsic::coro_suspend:
1133 if (IID == llvm::Intrinsic::coro_end)
1136 llvm::Function *F =
CGM.getIntrinsic(IID);
1137 llvm::CallInst *
Call =
Builder.CreateCall(F, Args);
1143 if (IID == llvm::Intrinsic::coro_id) {
1146 else if (IID == llvm::Intrinsic::coro_begin) {
1150 else if (IID == llvm::Intrinsic::coro_free) {
static SmallString< 32 > buildSuspendPrefixStr(CGCoroData &Coro, AwaitKind Kind)
static QualType getCoroutineSuspendExprReturnType(const ASTContext &Ctx, const CoroutineSuspendExpr *E)
static bool StmtCanThrow(const Stmt *S)
static bool FunctionCanThrow(const FunctionDecl *D)
static SmallVector< llvm::OperandBundleDef, 1 > getBundlesForCoroEnd(CodeGenFunction &CGF)
static LValueOrRValue emitSuspendExpression(CIRGenFunction &cgf, CGCoroData &coro, CoroutineSuspendExpr const &s, cir::AwaitKind kind, AggValueSlot aggSlot, bool ignoreResult, mlir::Block *scopeParentBlock, mlir::Value &tmpResumeRValAddr, bool forLValue)
static mlir::LogicalResult emitBodyAndFallthrough(CIRGenFunction &cgf, const CoroutineBodyStmt &s, Stmt *body, const CIRGenFunction::LexicalScope *currLexScope)
static void createCoroData(CIRGenFunction &cgf, CIRGenFunction::CGCoroInfo &curCoro, cir::CallOp coroId)
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
static bool hasSameType(QualType T1, QualType T2)
Determine whether the given types T1 and T2 are equivalent.
CXXCatchStmt - This represents a C++ catch block.
Represents a C++ struct/union/class.
CXXTryStmt - A C++ try block, including all handlers.
static CXXTryStmt * Create(const ASTContext &C, SourceLocation tryLoc, CompoundStmt *tryBlock, ArrayRef< Stmt * > handlers)
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
SourceLocation getBeginLoc() const
static CharUnits One()
One - Construct a CharUnits quantity of one.
Represents a 'co_await' expression.
Like RawAddress, an abstract representation of an aligned address, but the pointer contained in this ...
llvm::Value * getBasePointer() const
llvm::Value * emitRawPointer(CodeGenFunction &CGF) const
Return the pointer contained in this class after authenticating it and adding offset to it if necessa...
static AggValueSlot ignored()
ignored - Returns an aggregate value slot indicating that the aggregate value is being ignored.
This class gathers all debug information during compilation and is responsible for emitting to llvm g...
ParamDecl2StmtTy & getCoroutineParameterMappings()
CGFunctionInfo - Class to encapsulate the information about a function definition.
RawAddress getOriginalAllocatedAddress() const
Returns the address for the original alloca instruction.
static OpaqueValueMappingData bind(CodeGenFunction &CGF, const OpaqueValueExpr *ov, const Expr *e)
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...
LValue EmitCoawaitLValue(const CoawaitExpr *E)
void EmitBranchOnBoolExpr(const Expr *Cond, llvm::BasicBlock *TrueBlock, llvm::BasicBlock *FalseBlock, uint64_t TrueCount, Stmt::Likelihood LH=Stmt::LH_None, const Expr *ConditionalOp=nullptr, const VarDecl *ConditionalDecl=nullptr)
EmitBranchOnBoolExpr - Emit a branch on a boolean condition (e.g.
RValue EmitCoroutineIntrinsic(const CallExpr *E, unsigned int IID)
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...
AwaitSuspendWrapperInfo CurAwaitSuspendWrapper
llvm::CallBase * EmitCallOrInvoke(llvm::FunctionCallee Callee, ArrayRef< llvm::Value * > Args, const Twine &Name="")
Emits a call or invoke instruction to the given function, depending on the current state of the EH st...
void EmitCoreturnStmt(const CoreturnStmt &S)
void EmitAutoVarInit(const AutoVarEmission &emission)
llvm::BasicBlock * createBasicBlock(const Twine &name="", llvm::Function *parent=nullptr, llvm::BasicBlock *before=nullptr)
createBasicBlock - Create an LLVM basic block.
LValue MakeNaturalAlignAddrLValue(llvm::Value *V, QualType T, KnownNonNull_t IsKnownNonNull=NotKnownNonNull)
AutoVarEmission EmitAutoVarAlloca(const VarDecl &var)
EmitAutoVarAlloca - Emit the alloca and debug information for a local variable.
void EmitBranchThroughCleanup(JumpDest Dest)
EmitBranchThroughCleanup - Emit a branch from the current insert block through the normal cleanup han...
llvm::BasicBlock * getEHResumeBlock(bool isCleanup)
llvm::DenseMap< const Decl *, Address > DeclMapTy
void EmitIgnoredExpr(const Expr *E)
EmitIgnoredExpr - Emit an expression in a context which ignores the result.
void StartFunction(GlobalDecl GD, QualType RetTy, llvm::Function *Fn, const CGFunctionInfo &FnInfo, const FunctionArgList &Args, SourceLocation Loc=SourceLocation(), SourceLocation StartLoc=SourceLocation())
Emit code for the start of a function.
RValue EmitCoyieldExpr(const CoyieldExpr &E, AggValueSlot aggSlot=AggValueSlot::ignored(), bool ignoreResult=false)
CGDebugInfo * getDebugInfo()
llvm::AllocaInst * CreateTempAlloca(llvm::Type *Ty, const Twine &Name="tmp", llvm::Value *ArraySize=nullptr)
CreateTempAlloca - This creates an alloca and inserts it into the entry block if ArraySize is nullptr...
LValue getOrCreateOpaqueLValueMapping(const OpaqueValueExpr *e)
Given an opaque value expression, return its LValue mapping if it exists, otherwise create one.
llvm::Function * generateAwaitSuspendWrapper(Twine const &CoroName, Twine const &SuspendPointName, CoroutineSuspendExpr const &S)
void EmitCoroutineBody(const CoroutineBodyStmt &S)
llvm::CallInst * EmitNounwindRuntimeCall(llvm::FunctionCallee callee, const Twine &name="")
ASTContext & getContext() const
void EmitAutoVarCleanups(const AutoVarEmission &emission)
void EmitAnyExprToMem(const Expr *E, Address Location, Qualifiers Quals, bool IsInitializer)
EmitAnyExprToMem - Emits the code necessary to evaluate an arbitrary expression into the given memory...
RValue EmitAnyExpr(const Expr *E, AggValueSlot aggSlot=AggValueSlot::ignored(), bool ignoreResult=false)
EmitAnyExpr - Emit code to compute the specified expression which can have any type.
void EmitStmt(const Stmt *S, ArrayRef< const Attr * > Attrs={})
EmitStmt - Emit the code for the statement.
void ExitCXXTryStmt(const CXXTryStmt &S, bool IsFnTryBlock=false)
LValue EmitCoyieldLValue(const CoyieldExpr *E)
RValue EmitCoawaitExpr(const CoawaitExpr &E, AggValueSlot aggSlot=AggValueSlot::ignored(), bool ignoreResult=false)
llvm::SmallVector< const ParmVarDecl *, 4 > FnArgs
Save Parameter Decl for coroutine.
llvm::Value * EmitScalarExpr(const Expr *E, bool IgnoreResultAssign=false)
EmitScalarExpr - Emit the computation of the specified expression of LLVM scalar type,...
void FinishFunction(SourceLocation EndLoc=SourceLocation())
FinishFunction - Complete IR generation of the current function.
void EnterCXXTryStmt(const CXXTryStmt &S, bool IsFnTryBlock=false)
Address GetAddrOfLocalVar(const VarDecl *VD)
GetAddrOfLocalVar - Return the address of a local variable.
Address ReturnValue
ReturnValue - The temporary alloca to hold the return value.
LValue EmitLValue(const Expr *E, KnownNonNull_t IsKnownNonNull=NotKnownNonNull)
EmitLValue - Emit code to compute a designator that specifies the location of the expression.
llvm::Instruction * CurrentFuncletPad
llvm::LLVMContext & getLLVMContext()
void EmitBlock(llvm::BasicBlock *BB, bool IsFinished=false)
EmitBlock - Emit the given block.
void Error(SourceLocation loc, StringRef error)
Emit a general error that something can't be done.
llvm::LLVMContext & getLLVMContext()
llvm::Function * getIntrinsic(unsigned IID, ArrayRef< llvm::Type * > Tys={})
stable_iterator stable_begin() const
Create a stable reference to the top of the EH stack.
iterator find(stable_iterator save) const
Turn a stable reference to a scope depth into a unstable pointer to the EH stack.
FunctionArgList - Type for representing both the decl and type of parameters to a function.
LValue - This represents an lvalue references.
llvm::Value * getPointer(CodeGenFunction &CGF) const
RValue - This trivial value class is used to represent the result of an expression that is evaluated.
static RValue getIgnored()
static RValue get(llvm::Value *V)
llvm::Value * getPointer() const
static CompoundStmt * Create(const ASTContext &C, ArrayRef< Stmt * > Stmts, FPOptionsOverride FPFeatures, SourceLocation LB, SourceLocation RB)
Represents a 'co_return' statement in the C++ Coroutines TS.
Expr * getOperand() const
Retrieve the operand of the 'co_return' statement.
Expr * getPromiseCall() const
Retrieve the promise call that results from this 'co_return' statement.
Represents the body of a coroutine.
CompoundStmt * getBody() const
Retrieve the body of the coroutine as written.
Stmt * getReturnStmtOnAllocFailure() const
Expr * getReturnValueInit() const
Stmt * getReturnStmt() const
Stmt * getResultDecl() const
Stmt * getInitSuspendStmt() const
Expr * getAllocate() const
Stmt * getPromiseDeclStmt() const
VarDecl * getPromiseDecl() const
Expr * getDeallocate() const
Stmt * getFallthroughHandler() const
Stmt * getExceptionHandler() const
SourceLocation getBeginLoc() const LLVM_READONLY
Expr * getReturnValue() const
Stmt * getFinalSuspendStmt() const
ArrayRef< Stmt const * > getParamMoves() const
Represents an expression that might suspend coroutine execution; either a co_await or co_yield expres...
SuspendReturnType getSuspendReturnType() const
Expr * getReadyExpr() const
Expr * getResumeExpr() const
Expr * getSuspendExpr() const
OpaqueValueExpr * getOpaqueValue() const
getOpaqueValue - Return the opaque value placeholder.
Expr * getCommonExpr() const
Represents a 'co_yield' expression.
A reference to a declared variable, function, enum, etc.
bool isSingleDecl() const
isSingleDecl - This method returns true if this DeclStmt refers to a single Decl.
const Decl * getSingleDecl() const
This represents one expression.
SourceLocation getExprLoc() const LLVM_READONLY
getExprLoc - Return the preferred location for the arrow when diagnosing a problem with a generic exp...
Represents difference between two FPOptions values.
Represents a function declaration or definition.
Represents a prototype with parameter type info, e.g.
GlobalDecl - represents a global declaration.
Represents a parameter to a function.
A (possibly-)qualified type.
Qualifiers getQualifiers() const
Retrieve the set of qualifiers applied to this type.
StmtVisitor - This class implements a simple visitor for Stmt subclasses.
Stmt - This represents one statement.
@ LH_Likely
Branch has the [[likely]] attribute.
const T * getAs() const
Member-template getAs<specific type>'.
const Expr * getInit() const
@ EHCleanup
Denotes a cleanup that should run when a scope is exited using exceptional control flow (a throw stat...
The JSON file list parser is used to communicate input to InstallAPI.
bool isa(CodeGen::Address addr)
const FunctionProtoType * T
bool isNoexceptExceptionSpec(ExceptionSpecificationType ESpecType)
U cast(CodeGen::Address addr)
@ Other
Other implicit parameter.
llvm::Value * ResumeEHVar
CodeGenFunction::JumpDest FinalJD
CallExpr const * CoroIdExpr
llvm::BasicBlock * FinalExit
CodeGenFunction::JumpDest CleanupJD
llvm::BasicBlock * SuspendBB
AwaitKind CurrentAwaitKind
llvm::CallInst * CoroBegin
llvm::CallInst * LastCoroFree
std::unique_ptr< CGCoroData > Data
A jump destination is an abstract label, branching to which may require a jump out through normal cle...
llvm::PointerType * VoidPtrTy
llvm::PointerType * Int8PtrTy