159 uint128_t a128, b128;  variable
168   a128 = value;  in set_a_values()
219     if (__atomic_load_16(&a128, model) != V + m)  in test_loads()
264     __atomic_store_16(&a128, V + m, model);  in test_stores()
265     if (a128 != V + m)  in test_stores()
320     if (__atomic_exchange_16(&a128, V + m + 1, model) != V + m)  in test_exchanges()
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()
599     __atomic_fetch_add_16(&a128, V, model);  in test_fetch_op()
600     if (a128 != V * 2 + m)  in test_fetch_op()
602     __atomic_fetch_sub_16(&a128, V, model);  in test_fetch_op()
603     if (a128 != V + m)  in test_fetch_op()