Searched refs:valid_atomic_transaction (Results 1 – 6 of 6) sorted by relevance
2388 (rule (lower (has_type (valid_atomic_transaction ty)2391 (rule (lower (has_type (valid_atomic_transaction ty)2394 (rule (lower (has_type (valid_atomic_transaction ty)2397 (rule (lower (has_type (valid_atomic_transaction ty)2400 (rule (lower (has_type (valid_atomic_transaction ty)2403 (rule (lower (has_type (valid_atomic_transaction ty)2406 (rule (lower (has_type (valid_atomic_transaction ty)2409 (rule (lower (has_type (valid_atomic_transaction ty)2412 (rule (lower (has_type (valid_atomic_transaction ty)2415 (rule (lower (has_type (valid_atomic_transaction ty)[all …]
1933 (decl valid_atomic_transaction (Type) Type)1934 (extern extractor valid_atomic_transaction valid_atomic_transaction)
551 fn valid_atomic_transaction(&mut self, ty: Type) -> Option<Type> { in valid_atomic_transaction() method
1679 … (has_type (valid_atomic_transaction ty) (atomic_rmw _ (little_or_native_endian flags) op addr x)))1685 …(has_type (valid_atomic_transaction (fits_in_16 ty)) (atomic_rmw _ (little_or_native_endian flags)…1692 …(has_type (valid_atomic_transaction (fits_in_16 ty)) (atomic_rmw _ (little_or_native_endian flags)…1699 …(has_type (valid_atomic_transaction (fits_in_16 ty)) (atomic_rmw _ (little_or_native_endian flags)…1706 …(has_type (valid_atomic_transaction ty) (atomic_rmw _ (little_or_native_endian flags) (AtomicRmwOp…1724 …(has_type (valid_atomic_transaction ty) (atomic_rmw _ (little_or_native_endian flags) (AtomicRmwOp…1732 (lower (has_type (valid_atomic_transaction ty) (atomic_load _ (little_or_native_endian flags) p)))1738 …(lower (atomic_store (little_or_native_endian flags) src @ (value_type (valid_atomic_transaction t…1758 …(lower (has_type (valid_atomic_transaction ty) (atomic_cas _ (little_or_native_endian flags) p e x…
2524 (decl valid_atomic_transaction (Type) Type)2525 (extern extractor valid_atomic_transaction valid_atomic_transaction)
279 fn valid_atomic_transaction(&mut self, ty: Type) -> Option<Type> { in valid_atomic_transaction() method