Lines Matching defs:a128

159 uint128_t a128, b128;
168   a128 = value;
219     if (__atomic_load_16(&a128, model) != V + m)
264     __atomic_store_16(&a128, V + m, model);
265     if (a128 != V + m)
320     if (__atomic_exchange_16(&a128, V + m + 1, model) != V + m)
413       if (__atomic_compare_exchange_16(&a128, &b128, V + m1, m_succ, m_fail))
415       if (a128 != ONES || b128 != ONES)
417       if (!__atomic_compare_exchange_16(&a128, &b128, V + m1, m_succ, m_fail))
419       if (a128 != V + m1 || b128 != ONES)
456     b128 = __atomic_fetch_add_16(&a128, ONES, model);
457     if (b128 != V + m || a128 != V + m + ONES)
478     b128 = __atomic_fetch_sub_16(&a128, ONES, model);
479     if (b128 != V + m || a128 != V + m - ONES)
500     b128 = __atomic_fetch_and_16(&a128, V + m, model);
501     if (b128 != V + m || a128 != V + m)
522     b128 = __atomic_fetch_or_16(&a128, ONES, model);
523     if (b128 != V + m || a128 != ((V + m) | ONES))
544     b128 = __atomic_fetch_xor_16(&a128, ONES, model);
545     if (b128 != (V + m) || a128 != ((V + m) ^ ONES))
566     b128 = __atomic_fetch_nand_16(&a128, ONES, model);
567     if (b128 != (V + m) || a128 != ~((V + m) & ONES))
599     __atomic_fetch_add_16(&a128, V, model);
600     if (a128 != V * 2 + m)
602     __atomic_fetch_sub_16(&a128, V, model);
603     if (a128 != V + m)