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 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