Searched refs:d_ty_ok (Results 1 – 3 of 3) sorted by relevance
2456 let d_ty_ok = match data_ty { in translate_atomic_store() localVariable2460 assert!(d_ty_ok && data_ty.bytes() >= access_ty.bytes()); in translate_atomic_store()