Searched refs:w_ty_ok (Results 1 – 3 of 3) sorted by relevance
2311 let w_ty_ok = match widened_ty { in translate_atomic_rmw() localVariable2315 assert!(w_ty_ok && widened_ty.bytes() >= access_ty.bytes()); in translate_atomic_rmw()2361 let w_ty_ok = match widened_ty { in translate_atomic_cas() localVariable2365 assert!(w_ty_ok && widened_ty.bytes() >= access_ty.bytes()); in translate_atomic_cas()2413 let w_ty_ok = match widened_ty { in translate_atomic_load() localVariable2417 assert!(w_ty_ok && widened_ty.bytes() >= access_ty.bytes()); in translate_atomic_load()