154 uint8_t a8, b8;  variable
163   a8 = U8(value);  in set_a_values()
210     if (__atomic_load_1(&a8, model) != U8(V + m))  in test_loads()
251     __atomic_store_1(&a8, U8(V + m), model);  in test_stores()
252     if (a8 != U8(V + m))  in test_stores()
311     if (__atomic_exchange_1(&a8, U8(V + m + 1), model) != U8(V + m))  in test_exchanges()
376       if (__atomic_compare_exchange_1(&a8, &b8, U8(V + m1), m_succ, m_fail))  in test_compare_exchanges()
378       if (a8 != U8(ONES) || b8 != U8(ONES))  in test_compare_exchanges()
380       if (!__atomic_compare_exchange_1(&a8, &b8, U8(V + m1), m_succ, m_fail))  in test_compare_exchanges()
382       if (a8 != U8(V + m1) || b8 != U8(ONES))  in test_compare_exchanges()
443     b8 = __atomic_fetch_add_1(&a8, U8(ONES), model);  in test_fetch_op()
444     if (b8 != U8(V + m) || a8 != U8(V + m + ONES))  in test_fetch_op()
465     b8 = __atomic_fetch_sub_1(&a8, U8(ONES), model);  in test_fetch_op()
466     if (b8 != U8(V + m) || a8 != U8(V + m - ONES))  in test_fetch_op()
487     b8 = __atomic_fetch_and_1(&a8, U8(V + m), model);  in test_fetch_op()
488     if (b8 != U8(V + m) || a8 != U8(V + m))  in test_fetch_op()
509     b8 = __atomic_fetch_or_1(&a8, U8(ONES), model);  in test_fetch_op()
510     if (b8 != U8(V + m) || a8 != U8((V + m) | ONES))  in test_fetch_op()
531     b8 = __atomic_fetch_xor_1(&a8, U8(ONES), model);  in test_fetch_op()
532     if (b8 != U8(V + m) || a8 != U8((V + m) ^ ONES))  in test_fetch_op()
553     b8 = __atomic_fetch_nand_1(&a8, U8(ONES), model);  in test_fetch_op()
554     if (b8 != U8(V + m) || a8 != U8(~((V + m) & ONES)))  in test_fetch_op()
574     __atomic_fetch_add_1(&a8, U8(V), model);  in test_fetch_op()
575     if (a8 != U8(V * 2 + m))  in test_fetch_op()
577     __atomic_fetch_sub_1(&a8, U8(V), model);  in test_fetch_op()
578     if (a8 != U8(V + m))  in test_fetch_op()