blob: f7388065bf25d9c12ee2f3f0092365942af5aa17 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
/* { dg-additional-options "-std=c++23" } */
/* expected/optional */
#include <optional>
#include <expected>
#include "target-flex-common.h"
std::optional<unsigned> make_optional(bool b, unsigned arg = 0u) noexcept
{
if (!b)
return std::nullopt;
return {arg};
}
bool test_optional(unsigned arg)
{
bool ok;
#pragma omp target map(from: ok) map(to: arg)
{
bool inner_ok = true;
{
auto null_opt = make_optional(false);
VERIFY (!null_opt);
VERIFY (!null_opt.has_value());
VERIFY (null_opt.value_or(arg * 2u) == arg * 2u);
VERIFY (null_opt.or_else([&](){ return std::optional<unsigned>{arg}; })
.transform([](int a){ return a * 2u; })
.value_or(0) == arg * 2u);
auto opt = make_optional(true, arg);
VERIFY (opt);
VERIFY (opt.has_value());
VERIFY (opt.value() == arg);
VERIFY (*opt == arg);
VERIFY (opt.value_or(arg + 42) == arg);
VERIFY (opt.or_else([&](){ return std::optional<unsigned>{arg + 42}; })
.transform([](int a){ return a * 2u; })
.value_or(0) == arg * 2u);
}
end:
ok = inner_ok;
}
return ok;
}
struct my_error
{
int _e;
};
std::expected<unsigned, my_error> make_expected(bool b, unsigned arg = 0u) noexcept
{
if (!b)
return std::unexpected{my_error{-1}};
return {arg};
}
bool test_expected(unsigned arg)
{
bool ok;
#pragma omp target map(from: ok) map(to: arg)
{
bool inner_ok = true;
{
auto unexpected = make_expected(false);
VERIFY (!unexpected);
VERIFY (!unexpected.has_value());
VERIFY (unexpected.error()._e == -1);
VERIFY (unexpected.value_or(arg * 2u) == arg * 2u);
VERIFY (unexpected.or_else([&](my_error e){ return std::expected<unsigned, my_error>{arg}; })
.transform([](int a){ return a * 2u; })
.value_or(0) == arg * 2u);
auto expected = make_expected(true, arg);
VERIFY (expected);
VERIFY (expected.has_value());
VERIFY (expected.value() == arg);
VERIFY (*expected == arg);
VERIFY (expected.value_or(arg + 42) == arg);
VERIFY (expected.or_else([&](my_error e){ return std::expected<unsigned, my_error>{std::unexpected{e}}; })
.transform([](int a){ return a * 2u; })
.value_or(0) == arg * 2u);
}
end:
ok = inner_ok;
}
return ok;
}
int main()
{
volatile unsigned arg = 42;
return test_optional(arg)
&& test_expected(arg) ? 0 : 1;
}
|
