1 /* $NetBSD: t___sync_compare_and_swap.c,v 1.1 2019/02/26 10:01:41 isaki Exp $ */
2
3 /*
4 * Copyright (C) 2019 Tetsuya Isaki. All rights reserved.
5 *
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions
8 * are met:
9 * 1. Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 * 2. Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
14 *
15 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
16 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
17 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
18 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
19 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
20 * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
21 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
22 * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
23 * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
24 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
25 * SUCH DAMAGE.
26 */
27
28 #include <sys/cdefs.h>
29 __RCSID("$NetBSD: t___sync_compare_and_swap.c,v 1.1 2019/02/26 10:01:41 isaki Exp $");
30
31 #include <atf-c.h>
32 #include <inttypes.h>
33 #include <machine/types.h> // for __HAVE_ATOMIC64_OPS
34
35 /*
36 * These tests don't examine the atomicity.
37 */
38
39 /* XXX
40 * Depending on a combination of arch and compiler, __sync_* is
41 * implemented as compiler's builtin function. In that case, even
42 * if libc exports the function symbol, it is not used. As a result
43 * this tests will examine compiler's builtin functions.
44 * It's better to run only when target is actually in libc.
45 */
46
47 #define OLDVAL (0x1122334455667788UL)
48 #define NEWVAL (0x8090a0b0c0d0e0f0UL)
49
50 #define atf_sync_bool(NAME, TYPE, FMT) \
51 ATF_TC(NAME); \
52 ATF_TC_HEAD(NAME, tc) \
53 { \
54 atf_tc_set_md_var(tc, "descr", #NAME); \
55 } \
56 ATF_TC_BODY(NAME, tc) \
57 { \
58 volatile TYPE val; \
59 TYPE oldval; \
60 TYPE newval; \
61 TYPE expval; \
62 bool expres; \
63 bool res; \
64 /* If successful */ \
65 val = (TYPE)OLDVAL; \
66 oldval = (TYPE)OLDVAL; \
67 newval = (TYPE)NEWVAL; \
68 expval = (TYPE)NEWVAL; \
69 expres = true; \
70 res = NAME(&val, oldval, newval); \
71 ATF_REQUIRE_MSG(val == expval, \
72 "successful case: val expects 0x%" FMT " but 0x%" FMT, expval, val); \
73 ATF_REQUIRE_MSG(res == expres, \
74 "successful case: res expects %d but %d", expres, res); \
75 /* If failure */ \
76 val = (TYPE)OLDVAL; \
77 oldval = (TYPE)(OLDVAL + 1); \
78 newval = (TYPE)NEWVAL; \
79 expval = (TYPE)OLDVAL; \
80 expres = false; \
81 res = NAME(&val, oldval, newval); \
82 ATF_REQUIRE_MSG(val == expval, \
83 "failure case: val expects 0x%" FMT " but 0x%" FMT, expval, val); \
84 ATF_REQUIRE_MSG(res == expres, \
85 "failure case: res expects %d but %d", expres, res); \
86 }
87
88 atf_sync_bool(__sync_bool_compare_and_swap_1, uint8_t, PRIx8);
89 atf_sync_bool(__sync_bool_compare_and_swap_2, uint16_t, PRIx16);
90 atf_sync_bool(__sync_bool_compare_and_swap_4, uint32_t, PRIx32);
91 #ifdef __HAVE_ATOMIC64_OPS
92 atf_sync_bool(__sync_bool_compare_and_swap_8, uint64_t, PRIx64);
93 #endif
94
95 #define atf_sync_val(NAME, TYPE, FMT) \
96 ATF_TC(NAME); \
97 ATF_TC_HEAD(NAME, tc) \
98 { \
99 atf_tc_set_md_var(tc, "descr", #NAME); \
100 } \
101 ATF_TC_BODY(NAME, tc) \
102 { \
103 volatile TYPE val; \
104 TYPE oldval; \
105 TYPE newval; \
106 TYPE expval; \
107 TYPE expres; \
108 TYPE res; \
109 /* If successful */ \
110 val = (TYPE)OLDVAL; \
111 oldval = (TYPE)OLDVAL; \
112 newval = (TYPE)NEWVAL; \
113 expval = (TYPE)NEWVAL; \
114 expres = (TYPE)OLDVAL; \
115 res = NAME(&val, oldval, newval); \
116 ATF_REQUIRE_MSG(val == expval, \
117 "successful case: val expects 0x%" FMT " but 0x%" FMT, expval, val); \
118 ATF_REQUIRE_MSG(res == expres, \
119 "successful case: res expects 0x%" FMT " but 0x%" FMT, expres, res); \
120 /* If failure */ \
121 val = (TYPE)OLDVAL; \
122 oldval = (TYPE)(OLDVAL + 1); \
123 newval = (TYPE)NEWVAL; \
124 expval = (TYPE)OLDVAL; \
125 expres = (TYPE)OLDVAL; \
126 res = NAME(&val, oldval, newval); \
127 ATF_REQUIRE_MSG(val == expval, \
128 "failure case: val expects 0x%" FMT " but 0x%" FMT, expval, val); \
129 ATF_REQUIRE_MSG(res == expres, \
130 "failure case: res expects 0x%" FMT " but 0x%" FMT, expres, res); \
131 }
132
133 atf_sync_val(__sync_val_compare_and_swap_1, uint8_t, PRIx8);
134 atf_sync_val(__sync_val_compare_and_swap_2, uint16_t, PRIx16);
135 atf_sync_val(__sync_val_compare_and_swap_4, uint32_t, PRIx32);
136 #ifdef __HAVE_ATOMIC64_OPS
137 atf_sync_val(__sync_val_compare_and_swap_8, uint64_t, PRIx64);
138 #endif
139
ATF_TP_ADD_TCS(tp)140 ATF_TP_ADD_TCS(tp)
141 {
142 ATF_TP_ADD_TC(tp, __sync_bool_compare_and_swap_1);
143 ATF_TP_ADD_TC(tp, __sync_bool_compare_and_swap_2);
144 ATF_TP_ADD_TC(tp, __sync_bool_compare_and_swap_4);
145 #ifdef __HAVE_ATOMIC64_OPS
146 ATF_TP_ADD_TC(tp, __sync_bool_compare_and_swap_8);
147 #endif
148
149 ATF_TP_ADD_TC(tp, __sync_val_compare_and_swap_1);
150 ATF_TP_ADD_TC(tp, __sync_val_compare_and_swap_2);
151 ATF_TP_ADD_TC(tp, __sync_val_compare_and_swap_4);
152 #ifdef __HAVE_ATOMIC64_OPS
153 ATF_TP_ADD_TC(tp, __sync_val_compare_and_swap_8);
154 #endif
155
156 return atf_no_error();
157 }
158