156 uint32_t a32, b32;  variable
165   a32 = U32(value);  in set_a_values()
214     if (__atomic_load_4(&a32, model) != U32(V + m))  in test_loads()
257     __atomic_store_4(&a32, U32(V + m), model);  in test_stores()
258     if (a32 != U32(V + m))  in test_stores()
315     if (__atomic_exchange_4(&a32, U32(V + m + 1), model) != U32(V + m))  in test_exchanges()
394       if (__atomic_compare_exchange_4(&a32, &b32, U32(V + m1), m_succ, m_fail))  in test_compare_exchanges()
396       if (a32 != U32(ONES) || b32 != U32(ONES))  in test_compare_exchanges()
398       if (!__atomic_compare_exchange_4(&a32, &b32, U32(V + m1), m_succ, m_fail))  in test_compare_exchanges()
400       if (a32 != U32(V + m1) || b32 != U32(ONES))  in test_compare_exchanges()
449     b32 = __atomic_fetch_add_4(&a32, U32(ONES), model);  in test_fetch_op()
450     if (b32 != U32(V + m) || a32 != U32(V + m + ONES))  in test_fetch_op()
471     b32 = __atomic_fetch_sub_4(&a32, U32(ONES), model);  in test_fetch_op()
472     if (b32 != U32(V + m) || a32 != U32(V + m - ONES))  in test_fetch_op()
493     b32 = __atomic_fetch_and_4(&a32, U32(V + m), model);  in test_fetch_op()
494     if (b32 != U32(V + m) || a32 != U32(V + m))  in test_fetch_op()
515     b32 = __atomic_fetch_or_4(&a32, U32(ONES), model);  in test_fetch_op()
516     if (b32 != U32(V + m) || a32 != U32((V + m) | ONES))  in test_fetch_op()
537     b32 = __atomic_fetch_xor_4(&a32, U32(ONES), model);  in test_fetch_op()
538     if (b32 != U32(V + m) || a32 != U32((V + m) ^ ONES))  in test_fetch_op()
559     b32 = __atomic_fetch_nand_4(&a32, U32(ONES), model);  in test_fetch_op()
560     if (b32 != U32(V + m) || a32 != U32(~((V + m) & ONES)))  in test_fetch_op()
586     __atomic_fetch_add_4(&a32, U32(V), model);  in test_fetch_op()
587     if (a32 != U32(V * 2 + m))  in test_fetch_op()
589     __atomic_fetch_sub_4(&a32, U32(V), model);  in test_fetch_op()
590     if (a32 != U32(V + m))  in test_fetch_op()