Lines Matching defs:b32

156 uint32_t a32, b32;
175   b32 = U32(value);
394       if (__atomic_compare_exchange_4(&a32, &b32, U32(V + m1), m_succ, m_fail))
396       if (a32 != U32(ONES) || b32 != U32(ONES))
398       if (!__atomic_compare_exchange_4(&a32, &b32, U32(V + m1), m_succ, m_fail))
400       if (a32 != U32(V + m1) || b32 != U32(ONES))
449     b32 = __atomic_fetch_add_4(&a32, U32(ONES), model);
450     if (b32 != U32(V + m) || a32 != U32(V + m + ONES))
471     b32 = __atomic_fetch_sub_4(&a32, U32(ONES), model);
472     if (b32 != U32(V + m) || a32 != U32(V + m - ONES))
493     b32 = __atomic_fetch_and_4(&a32, U32(V + m), model);
494     if (b32 != U32(V + m) || a32 != U32(V + m))
515     b32 = __atomic_fetch_or_4(&a32, U32(ONES), model);
516     if (b32 != U32(V + m) || a32 != U32((V + m) | ONES))
537     b32 = __atomic_fetch_xor_4(&a32, U32(ONES), model);
538     if (b32 != U32(V + m) || a32 != U32((V + m) ^ ONES))
559     b32 = __atomic_fetch_nand_4(&a32, U32(ONES), model);
560     if (b32 != U32(V + m) || a32 != U32(~((V + m) & ONES)))