157 uint64_t a64, b64;  variable
176   b64 = U64(value);  in set_b_values()
403       if (__atomic_compare_exchange_8(&a64, &b64, U64(V + m1), m_succ, m_fail))  in test_compare_exchanges()
405       if (a64 != U64(ONES) || b64 != U64(ONES))  in test_compare_exchanges()
407       if (!__atomic_compare_exchange_8(&a64, &b64, U64(V + m1), m_succ, m_fail))  in test_compare_exchanges()
409       if (a64 != U64(V + m1) || b64 != U64(ONES))  in test_compare_exchanges()
452     b64 = __atomic_fetch_add_8(&a64, U64(ONES), model);  in test_fetch_op()
453     if (b64 != U64(V + m) || a64 != U64(V + m + ONES))  in test_fetch_op()
474     b64 = __atomic_fetch_sub_8(&a64, U64(ONES), model);  in test_fetch_op()
475     if (b64 != U64(V + m) || a64 != U64(V + m - ONES))  in test_fetch_op()
496     b64 = __atomic_fetch_and_8(&a64, U64(V + m), model);  in test_fetch_op()
497     if (b64 != U64(V + m) || a64 != U64(V + m))  in test_fetch_op()
518     b64 = __atomic_fetch_or_8(&a64, U64(ONES), model);  in test_fetch_op()
519     if (b64 != U64(V + m) || a64 != U64((V + m) | ONES))  in test_fetch_op()
540     b64 = __atomic_fetch_xor_8(&a64, U64(ONES), model);  in test_fetch_op()
541     if (b64 != U64(V + m) || a64 != U64((V + m) ^ ONES))  in test_fetch_op()
562     b64 = __atomic_fetch_nand_8(&a64, U64(ONES), model);  in test_fetch_op()
563     if (b64 != U64(V + m) || a64 != U64(~((V + m) & ONES)))  in test_fetch_op()