117 #define U8(value) ((uint8_t)(value))  macro
148   a8 = U8(value);  in set_a_values()
158   b8 = U8(value);  in set_b_values()
195     if (__atomic_load_1(&a8, model) != U8(V + m))  in test_loads()
236     __atomic_store_1(&a8, U8(V + m), model);  in test_stores()
237     if (a8 != U8(V + m))  in test_stores()
296     if (__atomic_exchange_1(&a8, U8(V + m + 1), model) != U8(V + m))  in test_exchanges()
361       if (__atomic_compare_exchange_1(&a8, &b8, U8(V + m1), m_succ, m_fail))  in test_compare_exchanges()
363       if (a8 != U8(ONES) || b8 != U8(ONES))  in test_compare_exchanges()
365       if (!__atomic_compare_exchange_1(&a8, &b8, U8(V + m1), m_succ, m_fail))  in test_compare_exchanges()
367       if (a8 != U8(V + m1) || b8 != U8(ONES))  in test_compare_exchanges()
428     b8 = __atomic_fetch_add_1(&a8, U8(ONES), model);  in test_fetch_op()
429     if (b8 != U8(V + m) || a8 != U8(V + m + ONES))  in test_fetch_op()
450     b8 = __atomic_fetch_sub_1(&a8, U8(ONES), model);  in test_fetch_op()
451     if (b8 != U8(V + m) || a8 != U8(V + m - ONES))  in test_fetch_op()
472     b8 = __atomic_fetch_and_1(&a8, U8(V + m), model);  in test_fetch_op()
473     if (b8 != U8(V + m) || a8 != U8(V + m))  in test_fetch_op()
494     b8 = __atomic_fetch_or_1(&a8, U8(ONES), model);  in test_fetch_op()
495     if (b8 != U8(V + m) || a8 != U8((V + m) | ONES))  in test_fetch_op()
516     b8 = __atomic_fetch_xor_1(&a8, U8(ONES), model);  in test_fetch_op()
517     if (b8 != U8(V + m) || a8 != U8((V + m) ^ ONES))  in test_fetch_op()
537     __atomic_fetch_add_1(&a8, U8(V), model);  in test_fetch_op()
538     if (a8 != U8(V * 2 + m))  in test_fetch_op()
540     __atomic_fetch_sub_1(&a8, U8(V), model);  in test_fetch_op()
541     if (a8 != U8(V + m))  in test_fetch_op()