Lines Matching defs:b64

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