clang 18.0.0git
|
#include "CoroutineStmtBuilder.h"
#include "clang/AST/ASTLambda.h"
#include "clang/AST/Decl.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/StmtCXX.h"
#include "clang/Basic/Builtins.h"
#include "clang/Lex/Preprocessor.h"
#include "clang/Sema/Initialization.h"
#include "clang/Sema/Overload.h"
#include "clang/Sema/ScopeInfo.h"
#include "clang/Sema/SemaInternal.h"
#include "llvm/ADT/SmallSet.h"
Go to the source code of this file.
Classes | |
struct | ReadySuspendResumeResult |
Functions | |
static LookupResult | lookupMember (Sema &S, const char *Name, CXXRecordDecl *RD, SourceLocation Loc, bool &Res) |
static bool | lookupMember (Sema &S, const char *Name, CXXRecordDecl *RD, SourceLocation Loc) |
static QualType | lookupPromiseType (Sema &S, const FunctionDecl *FD, SourceLocation KwLoc) |
Look up the std::coroutine_traits<...>::promise_type for the given function type. | |
static QualType | lookupCoroutineHandleType (Sema &S, QualType PromiseType, SourceLocation Loc) |
Look up the std::coroutine_handle<PromiseType>. | |
static bool | isValidCoroutineContext (Sema &S, SourceLocation Loc, StringRef Keyword) |
static ExprResult | buildOperatorCoawaitCall (Sema &SemaRef, Scope *S, SourceLocation Loc, Expr *E) |
static ExprResult | buildCoroutineHandle (Sema &S, QualType PromiseType, SourceLocation Loc) |
static ExprResult | buildMemberCall (Sema &S, Expr *Base, SourceLocation Loc, StringRef Name, MultiExprArg Args) |
static Expr * | maybeTailCall (Sema &S, QualType RetType, Expr *E, SourceLocation Loc) |
static void | tryMarkAwaitSuspendNoInline (Sema &S, OpaqueValueExpr *Awaiter, CallExpr *AwaitSuspend) |
The await_suspend call performed by co_await is essentially asynchronous to the execution of the coroutine. | |
static ReadySuspendResumeResult | buildCoawaitCalls (Sema &S, VarDecl *CoroPromise, SourceLocation Loc, Expr *E) |
Build calls to await_ready, await_suspend, and await_resume for a co_await expression. | |
static ExprResult | buildPromiseCall (Sema &S, VarDecl *Promise, SourceLocation Loc, StringRef Name, MultiExprArg Args) |
static FunctionScopeInfo * | checkCoroutineContext (Sema &S, SourceLocation Loc, StringRef Keyword, bool IsImplicit=false) |
Check that this is a context in which a coroutine suspension can appear. | |
static void | checkNoThrow (Sema &S, const Stmt *E, llvm::SmallPtrSetImpl< const Decl * > &ThrowingDecls) |
Recursively check E and all its children to see if any call target (including constructor call) is declared noexcept. | |
static bool | isWithinCatchScope (Scope *S) |
static bool | checkSuspensionContext (Sema &S, SourceLocation Loc, StringRef Keyword) |
static Expr * | buildStdNoThrowDeclRef (Sema &S, SourceLocation Loc) |
Look up the std::nothrow object. | |
static TypeSourceInfo * | getTypeSourceInfoForStdAlignValT (Sema &S, SourceLocation Loc) |
static bool | findDeleteForPromise (Sema &S, SourceLocation Loc, QualType PromiseType, FunctionDecl *&OperatorDelete) |
static CompoundStmt * | buildCoroutineBody (Stmt *Body, ASTContext &Context) |
static bool | diagReturnOnAllocFailure (Sema &S, Expr *E, CXXRecordDecl *PromiseRecordDecl, FunctionScopeInfo &Fn) |
static bool | collectPlacementArgs (Sema &S, FunctionDecl &FD, SourceLocation Loc, SmallVectorImpl< Expr * > &PlacementArgs) |
static void | noteMemberDeclaredHere (Sema &S, Expr *E, FunctionScopeInfo &Fn) |
static Expr * | castForMoving (Sema &S, Expr *E, QualType T=QualType()) |
static VarDecl * | buildVarDecl (Sema &S, SourceLocation Loc, QualType Type, IdentifierInfo *II) |
Build a variable declaration for move parameter. | |
|
static |
Build calls to await_ready, await_suspend, and await_resume for a co_await expression.
The generated AST tries to clean up temporary objects as early as possible so that they don't live across suspension points if possible. Having temporary objects living across suspension points unnecessarily can lead to large frame size, and also lead to memory corruptions if the coroutine frame is destroyed after coming back from suspension. This is done by wrapping both the await_ready call and the await_suspend call with ExprWithCleanups. In the end of this function, we also need to explicitly set cleanup state so that the CoawaitExpr is also wrapped with an ExprWithCleanups to clean up the awaiter associated with the co_await expression.
Definition at line 454 of file SemaCoroutine.cpp.
References buildCoroutineHandle(), buildMemberCall(), clang::Sema::Cleanup, clang::Sema::Context, clang::Sema::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::DeclaratorDecl::getBeginLoc(), clang::CallExpr::getCalleeDecl(), clang::CallExpr::getCallReturnType(), clang::CallExpr::getDirectCallee(), clang::Decl::getLocation(), clang::Expr::getObjectKind(), clang::Stmt::getSourceRange(), clang::ValueDecl::getType(), clang::Expr::getType(), clang::Type::isBooleanType(), clang::Type::isDependentType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), ReadySuspendResumeResult::IsInvalid, clang::Type::isReferenceType(), clang::Type::isVoidType(), clang::Sema::MaybeCreateExprWithCleanups(), maybeTailCall(), clang::Sema::PerformContextuallyConvertToBool(), clang::Result, ReadySuspendResumeResult::Results, clang::CleanupInfo::setExprNeedsCleanups(), tryMarkAwaitSuspendNoInline(), and clang::VK_LValue.
Referenced by clang::Sema::BuildCoyieldExpr(), and clang::Sema::BuildResolvedCoawaitExpr().
|
static |
Definition at line 1224 of file SemaCoroutine.cpp.
References clang::CompoundStmt::Create().
Referenced by clang::CoroutineStmtBuilder::CoroutineStmtBuilder().
|
static |
Definition at line 265 of file SemaCoroutine.cpp.
References clang::Sema::BuildBuiltinCallExpr(), clang::Sema::BuildCallExpr(), clang::Sema::BuildDeclarationNameExpr(), clang::Sema::computeDeclContext(), clang::Sema::Diag(), clang::ExprError(), clang::ActionResult< PtrTy, Compress >::get(), clang::IdentifierTable::get(), clang::Preprocessor::getIdentifierTable(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::QualType::isNull(), lookupCoroutineHandleType(), clang::Sema::LookupOrdinaryName, clang::Sema::LookupQualifiedName(), and clang::Sema::PP.
Referenced by buildCoawaitCalls().
|
static |
Definition at line 299 of file SemaCoroutine.cpp.
References clang::Sema::BuildCallExpr(), clang::Sema::BuildMemberReferenceExpr(), clang::Sema::clearDelayedTypo(), clang::Sema::Diag(), clang::ExprError(), clang::IdentifierTable::get(), clang::Preprocessor::getIdentifierTable(), clang::DeclarationNameInfo::getName(), clang::Sema::PP, and clang::Result.
Referenced by buildCoawaitCalls(), buildPromiseCall(), and maybeTailCall().
|
static |
Definition at line 256 of file SemaCoroutine.cpp.
References clang::Sema::BuildOperatorCoawaitCall(), clang::Sema::BuildOperatorCoawaitLookupExpr(), clang::ExprError(), clang::ActionResult< PtrTy, Compress >::get(), and clang::ActionResult< PtrTy, Compress >::isInvalid().
Referenced by clang::Sema::ActOnCoroutineBodyStart(), and clang::Sema::ActOnCoyieldExpr().
|
static |
Definition at line 550 of file SemaCoroutine.cpp.
References clang::Sema::BuildDeclRefExpr(), buildMemberCall(), clang::ExprError(), clang::ActionResult< PtrTy, Compress >::get(), clang::QualType::getNonReferenceType(), clang::ValueDecl::getType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), and clang::VK_LValue.
Referenced by clang::Sema::ActOnCoroutineBodyStart(), clang::Sema::ActOnCoyieldExpr(), clang::Sema::BuildCoreturnStmt(), and clang::Sema::BuildUnresolvedCoawaitExpr().
|
static |
Look up the std::nothrow object.
Definition at line 1094 of file SemaCoroutine.cpp.
References clang::Sema::BuildDeclRefExpr(), clang::Sema::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::IdentifierTable::get(), clang::Preprocessor::getIdentifierTable(), clang::Decl::getLocation(), clang::Sema::getStdNamespace(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Sema::LookupOrdinaryName, clang::Sema::LookupQualifiedName(), clang::Sema::PP, clang::Result, Std, and clang::VK_LValue.
|
static |
Build a variable declaration for move parameter.
Definition at line 1933 of file SemaCoroutine.cpp.
References clang::Sema::Context, clang::VarDecl::Create(), clang::Sema::CurContext, clang::ASTContext::getTrivialTypeSourceInfo(), clang::SC_None, and clang::Decl::setImplicit().
Referenced by actOnOMPReductionKindClause(), clang::Sema::ActOnOpenMPCopyinClause(), clang::Sema::ActOnOpenMPCopyprivateClause(), clang::Sema::ActOnOpenMPDeclareReductionCombinerStart(), clang::Sema::ActOnOpenMPDeclareReductionInitializerStart(), clang::Sema::ActOnOpenMPFirstprivateClause(), clang::Sema::ActOnOpenMPLastprivateClause(), clang::Sema::ActOnOpenMPLinearClause(), clang::Sema::ActOnOpenMPPrivateClause(), clang::Sema::ActOnOpenMPTileDirective(), clang::Sema::ActOnOpenMPUnrollDirective(), clang::Sema::ActOnOpenMPUseDevicePtrClause(), clang::Sema::buildCoroutineParameterMoves(), checkOpenMPLoop(), clang::Sema::EndOpenMPDSABlock(), and precomputeExpr().
Definition at line 1917 of file SemaCoroutine.cpp.
References clang::Sema::BuildCXXNamedCast(), clang::Sema::BuildReferenceType(), clang::Sema::Context, clang::ActionResult< PtrTy, Compress >::get(), clang::Stmt::getBeginLoc(), clang::Stmt::getSourceRange(), clang::ASTContext::getTrivialTypeSourceInfo(), and clang::Expr::getType().
Referenced by clang::Sema::buildCoroutineParameterMoves().
|
static |
Check that this is a context in which a coroutine suspension can appear.
Definition at line 667 of file SemaCoroutine.cpp.
References clang::Sema::buildCoroutineParameterMoves(), clang::Sema::buildCoroutinePromise(), clang::Sema::CurContext, clang::Sema::getCurFunction(), and isValidCoroutineContext().
Referenced by clang::Sema::ActOnCoroutineBodyStart(), clang::Sema::BuildCoreturnStmt(), clang::Sema::BuildCoyieldExpr(), clang::Sema::BuildResolvedCoawaitExpr(), and clang::Sema::BuildUnresolvedCoawaitExpr().
|
static |
Recursively check E
and all its children to see if any call target (including constructor call) is declared noexcept.
Also any value returned from the call has a noexcept destructor.
Definition at line 697 of file SemaCoroutine.cpp.
References clang::Sema::canCalleeThrow(), checkNoThrow(), clang::Stmt::children(), clang::Sema::CurContext, clang::Sema::Diag(), clang::QualType::DK_cxx_destructor, clang::Sema::getASTContext(), clang::QualType::getCanonicalType(), clang::CXXRecordDecl::getDestructor(), clang::CXXMethodDecl::getParent(), clang::QualType::getTypePtr(), and clang::QualType::isDestructedType().
Referenced by clang::Sema::checkFinalSuspendNoThrow(), and checkNoThrow().
|
static |
Definition at line 853 of file SemaCoroutine.cpp.
References clang::Sema::Diag(), clang::Sema::getCurScope(), clang::Sema::isUnevaluatedContext(), and isWithinCatchScope().
Referenced by clang::Sema::ActOnCoawaitExpr(), and clang::Sema::ActOnCoyieldExpr().
|
static |
Definition at line 1367 of file SemaCoroutine.cpp.
References clang::Sema::ActOnCXXThis(), clang::Sema::BuildDeclRefExpr(), clang::Sema::CreateBuiltinUnaryOp(), clang::ActionResult< PtrTy, Compress >::get(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::isLambdaCallOperator(), clang::FunctionDecl::parameters(), and clang::VK_LValue.
|
static |
Definition at line 1294 of file SemaCoroutine.cpp.
References clang::Sema::Diag(), clang::sema::FunctionScopeInfo::FirstCoroutineStmtLoc, clang::Expr::getExprLoc(), clang::sema::FunctionScopeInfo::getFirstCoroutineStmtKeyword(), and clang::Decl::getLocation().
|
static |
Definition at line 1131 of file SemaCoroutine.cpp.
References clang::Sema::Context, clang::ASTContext::DeclarationNames, clang::Sema::FindDeallocationFunction(), clang::Sema::FindUsualDeallocationFunction(), clang::Type::getAsCXXRecordDecl(), clang::DeclarationNameTable::getCXXOperatorName(), clang::Sema::getLangOpts(), and clang::Sema::MarkFunctionReferenced().
|
static |
Definition at line 1123 of file SemaCoroutine.cpp.
References clang::Sema::Context, clang::Sema::getStdAlignValT(), clang::ASTContext::getTrivialTypeSourceInfo(), and clang::ASTContext::getTypeDeclType().
|
static |
Definition at line 181 of file SemaCoroutine.cpp.
References clang::Sema::CurContext, and clang::Sema::Diag().
Referenced by checkCoroutineContext().
Definition at line 825 of file SemaCoroutine.cpp.
Referenced by checkSuspensionContext().
|
static |
Look up the std::coroutine_handle<PromiseType>.
Definition at line 138 of file SemaCoroutine.cpp.
References clang::TemplateArgumentListInfo::addArgument(), clang::Sema::CheckTemplateIdType(), clang::Sema::Context, clang::Sema::Diag(), clang::IdentifierTable::get(), clang::Preprocessor::getIdentifierTable(), clang::Decl::getLocation(), clang::Sema::getStdNamespace(), clang::ASTContext::getTrivialTypeSourceInfo(), clang::QualType::isNull(), clang::Sema::LookupOrdinaryName, clang::Sema::LookupQualifiedName(), clang::Sema::PP, and clang::Sema::RequireCompleteType().
Referenced by buildCoroutineHandle().
|
static |
Definition at line 43 of file SemaCoroutine.cpp.
References lookupMember().
|
static |
Definition at line 32 of file SemaCoroutine.cpp.
References clang::Preprocessor::getIdentifierInfo(), clang::Sema::LookupMemberName, clang::Sema::LookupQualifiedName(), clang::Sema::PP, and clang::LookupResult::suppressDiagnostics().
Referenced by clang::Sema::BuildUnresolvedCoawaitExpr(), and lookupMember().
|
static |
Look up the std::coroutine_traits<...>::promise_type for the given function type.
Definition at line 52 of file SemaCoroutine.cpp.
References clang::TemplateArgumentListInfo::addArgument(), clang::Type::castAs(), clang::Sema::CheckTemplateIdType(), clang::Sema::Context, clang::NestedNameSpecifier::Create(), clang::Sema::Diag(), clang::ETK_None, clang::IdentifierTable::get(), clang::Type::getAsCXXRecordDecl(), clang::LookupResult::getAsSingle(), clang::ASTContext::getElaboratedType(), clang::Preprocessor::getIdentifierTable(), clang::Decl::getLocation(), clang::ASTContext::getLValueReferenceType(), clang::FunctionProtoType::getParamTypes(), clang::FunctionProtoType::getRefQualifier(), clang::FunctionType::getReturnType(), clang::ASTContext::getRValueReferenceType(), clang::Sema::getStdNamespace(), clang::ASTContext::getTrivialTypeSourceInfo(), clang::ValueDecl::getType(), clang::ASTContext::getTypeDeclType(), clang::QualType::getTypePtr(), clang::QualType::isNull(), clang::Sema::lookupCoroutineTraits(), clang::Sema::LookupOrdinaryName, clang::Sema::LookupQualifiedName(), clang::Sema::PP, clang::Sema::RequireCompleteType(), and clang::RQ_RValue.
Referenced by clang::Sema::buildCoroutinePromise().
|
static |
Definition at line 329 of file SemaCoroutine.cpp.
References clang::Sema::BuildBuiltinCallExpr(), buildMemberCall(), clang::Sema::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::Sema::getASTContext(), clang::Expr::getType(), clang::QualType::getTypePtr(), clang::Type::isClassType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Type::isReferenceType(), clang::Type::isStructureType(), clang::Type::isVoidPointerType(), and clang::Sema::MaybeCreateExprWithCleanups().
Referenced by buildCoawaitCalls().
|
static |
Definition at line 1806 of file SemaCoroutine.cpp.
References clang::Sema::Diag(), clang::sema::FunctionScopeInfo::FirstCoroutineStmtLoc, and clang::sema::FunctionScopeInfo::getFirstCoroutineStmtKeyword().
|
static |
The await_suspend call performed by co_await is essentially asynchronous to the execution of the coroutine.
Inlining it normally into an unsplit coroutine can cause miscompilation because the coroutine CFG misrepresents the true control flow of the program: things that happen in the await_suspend are not guaranteed to happen prior to the resumption of the coroutine, and things that happen after the resumption of the coroutine (including its exit and the potential deallocation of the coroutine frame) are not guaranteed to happen only after the end of await_suspend.
See https://github.com/llvm/llvm-project/issues/56301 and https://reviews.llvm.org/D157070 for the example and the full discussion.
The short-term solution to this problem is to mark the call as uninlinable. But we don't want to do this if the call is known to be trivial, which is very common.
The long-term solution may introduce patterns like:
call @llvm.coro.await_suspend(ptr awaiter, ptr handle, ptr @awaitSuspendFn)
Then it is much easier to perform the safety analysis in the middle end. If it is safe to inline the call to awaitSuspend, we can replace it in the CoroEarly pass. Otherwise we could replace it in the CoroSplit pass.
Definition at line 409 of file SemaCoroutine.cpp.
References clang::Decl::addAttr(), clang::RecordDecl::field_empty(), clang::Type::getAsCXXRecordDecl(), clang::Sema::getASTContext(), clang::CallExpr::getDirectCallee(), clang::Decl::getLocation(), clang::QualType::getNonReferenceType(), clang::Expr::getType(), and clang::Decl::hasAttr().
Referenced by buildCoawaitCalls().