annotate gcc/testsuite/g++.dg/coroutines/torture/co-await-19-while-cond.C @ 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 // { dg-do run }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
2
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
3 // Test co-await in while condition.
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
4
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
5 #include "../coro.h"
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
6
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
7 // boiler-plate for tests of codegen
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
8 #include "../coro1-ret-int-yield-int.h"
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
9
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
10 /* An awaiter that suspends always and returns a boolean as the
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
11 await_resume output. */
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
12 struct BoolAwaiter {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
13 bool v;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
14 BoolAwaiter (bool _v) : v(_v) {}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
15 bool await_ready () { return false; }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
16 void await_suspend (coro::coroutine_handle<>) {}
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
17 bool await_resume () { return v; }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
18 };
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
19
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
20 //extern bool tt(void);
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
21 int three = 3;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
22 struct coro1
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
23 my_coro (bool t)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
24 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
25 //int three = 3;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
26 while (co_await BoolAwaiter (t) && t)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
27 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
28 int five = three + 2;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
29 co_yield 6169 + five;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
30 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
31
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
32 co_return 42;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
33 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
34
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
35 int main ()
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
36 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
37 PRINT ("main: create coro");
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
38 struct coro1 x = my_coro (false);
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
39
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
40 if (x.handle.done())
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
41 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
42 PRINT ("main: apparently done when we shouldn't be...");
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
43 abort ();
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
44 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
45
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
46 PRINT ("main: resume initial suspend");
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
47 x.handle.resume();
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
48
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
49 // will be false - so no yield expected.
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
50 PRINT ("main: while condition");
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
51 x.handle.resume();
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
52
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
53 int y = x.handle.promise().get_value();
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
54 if ( y != 42 )
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
55 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
56 PRINTF ("main: apparently wrong value : %d\n", y);
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
57 abort ();
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
58 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
59
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
60 if (!x.handle.done())
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
61 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
62 PRINT ("main: apparently not done...");
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
63 abort ();
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
64 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
65
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
66 PRINT ("main: returning");
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
67 return 0;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
68 }