155 uint16_t a16, b16;  variable
164   a16 = U16(value);  in set_a_values()
212     if (__atomic_load_2(&a16, model) != U16(V + m))  in test_loads()
254     __atomic_store_2(&a16, U16(V + m), model);  in test_stores()
255     if (a16 != U16(V + m))  in test_stores()
313     if (__atomic_exchange_2(&a16, U16(V + m + 1), model) != U16(V + m))  in test_exchanges()
385       if (__atomic_compare_exchange_2(&a16, &b16, U16(V + m1), m_succ, m_fail))  in test_compare_exchanges()
387       if (a16 != U16(ONES) || b16 != U16(ONES))  in test_compare_exchanges()
389       if (!__atomic_compare_exchange_2(&a16, &b16, U16(V + m1), m_succ, m_fail))  in test_compare_exchanges()
391       if (a16 != U16(V + m1) || b16 != U16(ONES))  in test_compare_exchanges()
446     b16 = __atomic_fetch_add_2(&a16, U16(ONES), model);  in test_fetch_op()
447     if (b16 != U16(V + m) || a16 != U16(V + m + ONES))  in test_fetch_op()
468     b16 = __atomic_fetch_sub_2(&a16, U16(ONES), model);  in test_fetch_op()
469     if (b16 != U16(V + m) || a16 != U16(V + m - ONES))  in test_fetch_op()
490     b16 = __atomic_fetch_and_2(&a16, U16(V + m), model);  in test_fetch_op()
491     if (b16 != U16(V + m) || a16 != U16(V + m))  in test_fetch_op()
512     b16 = __atomic_fetch_or_2(&a16, U16(ONES), model);  in test_fetch_op()
513     if (b16 != U16(V + m) || a16 != U16((V + m) | ONES))  in test_fetch_op()
534     b16 = __atomic_fetch_xor_2(&a16, U16(ONES), model);  in test_fetch_op()
535     if (b16 != U16(V + m) || a16 != U16((V + m) ^ ONES))  in test_fetch_op()
556     b16 = __atomic_fetch_nand_2(&a16, U16(ONES), model);  in test_fetch_op()
557     if (b16 != U16(V + m) || a16 != U16(~((V + m) & ONES)))  in test_fetch_op()
580     __atomic_fetch_add_2(&a16, U16(V), model);  in test_fetch_op()
581     if (a16 != U16(V * 2 + m))  in test_fetch_op()
583     __atomic_fetch_sub_2(&a16, U16(V), model);  in test_fetch_op()
584     if (a16 != U16(V + m))  in test_fetch_op()