annotate gcc/testsuite/g++.dg/coroutines/coro1-refs-and-ctors.h @ 152:2b5abeee2509

update gcc11
author anatofuz
date Mon, 25 May 2020 07:50:57 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
152
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
1 struct coro1 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
2
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
3 struct promise_type {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
4
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
5 promise_type () : vv(-1) { PRINT ("Promise def. CTOR"); }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
6 promise_type (int __x) : vv(__x) { PRINTF ("Created Promise with %d\n",__x); }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
7 promise_type (int __x, int& __y, int&& __z)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
8 : vv(__x), v2(__y), v3(__z)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
9 { PRINTF ("Created Promise with %d, %d, %d\n", __x, __y, __z); }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
10
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
11 ~promise_type() { PRINT ("Destroyed Promise"); }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
12
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
13 auto get_return_object () {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
14 PRINT ("get_return_object: handle from promise");
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
15 return handle_type::from_promise (*this);
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
16 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
17
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
18 auto initial_suspend () {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
19 PRINT ("get initial_suspend (always)");
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
20 return suspend_always_prt{};
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
21 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
22 auto final_suspend () {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
23 PRINT ("get final_suspend (always)");
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
24 return suspend_always_prt{};
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
25 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
26
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
27 #ifdef USE_AWAIT_TRANSFORM
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
28
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
29 auto await_transform (int v) {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
30 PRINTF ("await_transform an int () %d\n",v);
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
31 return suspend_always_intprt (v);
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
32 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
33
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
34 auto await_transform (long v) {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
35 PRINTF ("await_transform a long () %ld\n",v);
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
36 return suspend_always_longprtsq (v);
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
37 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
38
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
39 #endif
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
40
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
41 auto yield_value (int v) {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
42 PRINTF ("yield_value (%d)\n", v);
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
43 vv = v;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
44 return suspend_always_prt{};
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
45 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
46
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
47 void return_value (int v) {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
48 PRINTF ("return_value (%d)\n", v);
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
49 vv = v;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
50
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
51 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
52
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
53 void unhandled_exception() { PRINT ("** unhandled exception"); }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
54
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
55 int get_value () { return vv; }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
56 int get_v2 () { return v2; }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
57 int get_v3 () { return v3; }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
58
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
59 private:
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
60 int vv;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
61 int v2;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
62 int v3;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
63 };
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
64
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
65 using handle_type = coro::coroutine_handle<coro1::promise_type>;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
66 handle_type handle;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
67 coro1 () : handle(0) {}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
68 coro1 (handle_type _handle)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
69 : handle(_handle) {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
70 PRINT("Created coro1 object from handle");
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
71 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
72 coro1 (const coro1 &) = delete; // no copying
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
73 coro1 (coro1 &&s) : handle(s.handle) {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
74 s.handle = nullptr;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
75 PRINT("coro1 mv ctor ");
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
76 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
77 coro1 &operator = (coro1 &&s) {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
78 handle = s.handle;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
79 s.handle = nullptr;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
80 PRINT("coro1 op= ");
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
81 return *this;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
82 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
83 ~coro1() {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
84 PRINT("Destroyed coro1");
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
85 if ( handle )
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
86 handle.destroy();
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
87 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
88
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
89 // Some awaitables to use in tests.
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
90 // With progress printing for debug.
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
91 struct suspend_never_prt {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
92 bool await_ready() const noexcept { return true; }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
93 void await_suspend(handle_type) const noexcept { PRINT ("susp-never-susp");}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
94 void await_resume() const noexcept { PRINT ("susp-never-resume");}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
95 };
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
96
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
97 struct suspend_always_prt {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
98 bool await_ready() const noexcept { return false; }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
99 void await_suspend(handle_type) const noexcept { PRINT ("susp-always-susp");}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
100 void await_resume() const noexcept { PRINT ("susp-always-resume");}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
101 ~suspend_always_prt() { PRINT ("susp-always-dtor"); }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
102 };
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
103
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
104 struct suspend_always_intprt {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
105 int x;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
106 suspend_always_intprt() : x(5) {}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
107 suspend_always_intprt(int __x) : x(__x) {}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
108 ~suspend_always_intprt() {}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
109 bool await_ready() const noexcept { return false; }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
110 void await_suspend(coro::coroutine_handle<>) const noexcept { PRINT ("susp-always-susp-intprt");}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
111 int await_resume() const noexcept { PRINT ("susp-always-resume-intprt"); return x;}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
112 };
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
113
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
114 /* This returns the square of the int that it was constructed with. */
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
115 struct suspend_always_longprtsq {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
116 long x;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
117 suspend_always_longprtsq() : x(12L) { PRINT ("suspend_always_longprtsq def ctor"); }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
118 suspend_always_longprtsq(long _x) : x(_x) { PRINTF ("suspend_always_longprtsq ctor with %ld\n", x); }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
119 ~suspend_always_longprtsq() {}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
120 bool await_ready() const noexcept { return false; }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
121 void await_suspend(coro::coroutine_handle<>) const noexcept { PRINT ("susp-always-susp-longsq");}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
122 long await_resume() const noexcept { PRINT ("susp-always-resume-longsq"); return x * x;}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
123 };
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
124
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
125 struct suspend_always_intrefprt {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
126 int& x;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
127 suspend_always_intrefprt(int& __x) : x(__x) {}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
128 ~suspend_always_intrefprt() {}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
129 bool await_ready() const noexcept { return false; }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
130 void await_suspend(coro::coroutine_handle<>) const noexcept { PRINT ("susp-always-susp-intprt");}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
131 int& await_resume() const noexcept { PRINT ("susp-always-resume-intprt"); return x;}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
132 };
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
133
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
134 template <typename _AwaitType>
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
135 struct suspend_always_tmpl_awaiter {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
136 _AwaitType x;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
137 suspend_always_tmpl_awaiter(_AwaitType __x) : x(__x) {}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
138 ~suspend_always_tmpl_awaiter() {}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
139 bool await_ready() const noexcept { return false; }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
140 void await_suspend(coro::coroutine_handle<>) const noexcept { PRINT ("suspend_always_tmpl_awaiter");}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
141 _AwaitType await_resume() const noexcept { PRINT ("suspend_always_tmpl_awaiter"); return x;}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
142 };
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
143
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
144 };