summaryrefslogtreecommitdiffstats
path: root/regressions/ck_ec/validate/prop_test_slow_wakeup.c
blob: d172676ba46279864f18b497ed367cf6f86bd2c8 (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
98
99
100
101
102
103
104
105
106
107
108
109
110
#include <assert.h>
#include <ck_ec.h>

#include "fuzz_harness.h"

static int gettime(const struct ck_ec_ops *, struct timespec *out);
static void wake32(const struct ck_ec_ops *, const uint32_t *);
static void wait32(const struct ck_ec_wait_state *, const uint32_t *,
		   uint32_t, const struct timespec *);
static void wake64(const struct ck_ec_ops *, const uint64_t *);
static void wait64(const struct ck_ec_wait_state *, const uint64_t *,
		   uint64_t, const struct timespec *);

static const struct ck_ec_ops test_ops = {
	.gettime = gettime,
	.wait32 = wait32,
	.wait64 = wait64,
	.wake32 = wake32,
	.wake64 = wake64
};

static int gettime(const struct ck_ec_ops *ops, struct timespec *out)
{
	(void)out;

	assert(ops == &test_ops);
	return -1;
}

static void wait32(const struct ck_ec_wait_state *wait_state,
		   const uint32_t *addr, uint32_t expected,
		   const struct timespec *deadline)
{
	(void)addr;
	(void)expected;
	(void)deadline;

	assert(wait_state->ops == &test_ops);
	return;
}

static void wait64(const struct ck_ec_wait_state *wait_state,
		   const uint64_t *addr, uint64_t expected,
		   const struct timespec *deadline)
{
	(void)addr;
	(void)expected;
	(void)deadline;

	assert(wait_state->ops == &test_ops);
	return;
}

static void wake32(const struct ck_ec_ops *ops, const uint32_t *addr)
{
	(void)addr;

	assert(ops == &test_ops);
	return;
}

static void wake64(const struct ck_ec_ops *ops, const uint64_t *addr)
{
	(void)addr;

	assert(ops == &test_ops);
	return;
}

/*
 * Check that calling ck_ec{32,64}_wake always clears the waiting bit.
 */

struct example {
	uint64_t value;
};

const struct example examples[] = {
	{ 0 },
	{ 1 },
	{ 1UL << 30 },
	{ 1UL << 31 },
	{ INT32_MAX },
	{ INT64_MAX },
	{ 1ULL << 62 },
	{ 1ULL << 63 },
};

static inline int test_slow_wakeup(const struct example *example)
{
	{
		struct ck_ec32 ec = { .counter = example->value };

		ck_ec32_wake(&ec, &test_ops);
		assert(!ck_ec32_has_waiters(&ec));
	}

#ifdef CK_F_EC64
	{
		struct ck_ec64 ec = { .counter = example->value };

		ck_ec64_wake(&ec, &test_ops);
		assert(!ck_ec64_has_waiters(&ec));
	}
#endif /* CK_F_EC64 */

	return 0;
}

TEST(test_slow_wakeup, examples)