159 uint128_t a128, b128;  variable
178   b128 = value;  in set_b_values()
413       if (__atomic_compare_exchange_16(&a128, &b128, V + m1, m_succ, m_fail))  in test_compare_exchanges()
415       if (a128 != ONES || b128 != ONES)  in test_compare_exchanges()
417       if (!__atomic_compare_exchange_16(&a128, &b128, V + m1, m_succ, m_fail))  in test_compare_exchanges()
419       if (a128 != V + m1 || b128 != ONES)  in test_compare_exchanges()
456     b128 = __atomic_fetch_add_16(&a128, ONES, model);  in test_fetch_op()
457     if (b128 != V + m || a128 != V + m + ONES)  in test_fetch_op()
478     b128 = __atomic_fetch_sub_16(&a128, ONES, model);  in test_fetch_op()
479     if (b128 != V + m || a128 != V + m - ONES)  in test_fetch_op()
500     b128 = __atomic_fetch_and_16(&a128, V + m, model);  in test_fetch_op()
501     if (b128 != V + m || a128 != V + m)  in test_fetch_op()
522     b128 = __atomic_fetch_or_16(&a128, ONES, model);  in test_fetch_op()
523     if (b128 != V + m || a128 != ((V + m) | ONES))  in test_fetch_op()
544     b128 = __atomic_fetch_xor_16(&a128, ONES, model);  in test_fetch_op()
545     if (b128 != (V + m) || a128 != ((V + m) ^ ONES))  in test_fetch_op()
566     b128 = __atomic_fetch_nand_16(&a128, ONES, model);  in test_fetch_op()
567     if (b128 != (V + m) || a128 != ~((V + m) & ONES))  in test_fetch_op()