1 //===- CoroutineStmtBuilder.h - Implicit coroutine stmt builder -*- C++ -*-===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //===----------------------------------------------------------------------===//
9 // This file defines CoroutineStmtBuilder, a class for building the implicit
10 // statements required for building a coroutine body.
12 //===----------------------------------------------------------------------===//
14 #ifndef LLVM_CLANG_LIB_SEMA_COROUTINESTMTBUILDER_H
15 #define LLVM_CLANG_LIB_SEMA_COROUTINESTMTBUILDER_H
17 #include "clang/AST/Decl.h"
18 #include "clang/AST/ExprCXX.h"
19 #include "clang/AST/StmtCXX.h"
20 #include "clang/Lex/Preprocessor.h"
21 #include "clang/Sema/SemaInternal.h"
25 class CoroutineStmtBuilder : public CoroutineBodyStmt::CtorArgs {
28 sema::FunctionScopeInfo &Fn;
31 SmallVector<Stmt *, 4> ParamMovesVector;
32 const bool IsPromiseDependentType;
33 CXXRecordDecl *PromiseRecordDecl = nullptr;
36 /// \brief Construct a CoroutineStmtBuilder and initialize the promise
37 /// statement and initial/final suspends from the FunctionScopeInfo.
38 CoroutineStmtBuilder(Sema &S, FunctionDecl &FD, sema::FunctionScopeInfo &Fn,
41 /// \brief Build the coroutine body statements, including the
42 /// "promise dependent" statements when the promise type is not dependent.
43 bool buildStatements();
45 /// \brief Build the coroutine body statements that require a non-dependent
46 /// promise type in order to construct.
48 /// For example different new/delete overloads are selected depending on
49 /// if the promise type provides `unhandled_exception()`, and therefore they
50 /// cannot be built until the promise type is complete so that we can perform
52 bool buildDependentStatements();
54 /// \brief Build just parameter moves. To use for rebuilding in TreeTransform.
55 bool buildParameterMoves();
57 bool isInvalid() const { return !this->IsValid; }
60 bool makePromiseStmt();
61 bool makeInitialAndFinalSuspend();
62 bool makeNewAndDeleteExpr();
63 bool makeOnFallthrough();
64 bool makeOnException();
65 bool makeReturnObject();
66 bool makeGroDeclAndReturnStmt();
67 bool makeReturnOnAllocFailure();
68 bool makeParamMoves();
71 } // end namespace clang
73 #endif // LLVM_CLANG_LIB_SEMA_COROUTINESTMTBUILDER_H