mod rusti {
extern "rust-intrinsic" {
- pub fn atomic_cxchg<T>(dst: *mut T, old: T, src: T) -> T;
- pub fn atomic_cxchg_acq<T>(dst: *mut T, old: T, src: T) -> T;
- pub fn atomic_cxchg_rel<T>(dst: *mut T, old: T, src: T) -> T;
+ pub fn atomic_cxchg<T>(dst: *mut T, old: T, src: T) -> (T, bool);
+ pub fn atomic_cxchg_acq<T>(dst: *mut T, old: T, src: T) -> (T, bool);
+ pub fn atomic_cxchg_rel<T>(dst: *mut T, old: T, src: T) -> (T, bool);
+
+ pub fn atomic_cxchgweak<T>(dst: *mut T, old: T, src: T) -> (T, bool);
+ pub fn atomic_cxchgweak_acq<T>(dst: *mut T, old: T, src: T) -> (T, bool);
+ pub fn atomic_cxchgweak_rel<T>(dst: *mut T, old: T, src: T) -> (T, bool);
pub fn atomic_load<T>(src: *const T) -> T;
pub fn atomic_load_acq<T>(src: *const T) -> T;
rusti::atomic_store_rel(&mut *x,1);
assert_eq!(*x, 1);
- assert_eq!(rusti::atomic_cxchg(&mut *x, 1, 2), 1);
+ assert_eq!(rusti::atomic_cxchg(&mut *x, 1, 2), (1, true));
assert_eq!(*x, 2);
- assert_eq!(rusti::atomic_cxchg_acq(&mut *x, 1, 3), 2);
+ assert_eq!(rusti::atomic_cxchg_acq(&mut *x, 1, 3), (2, false));
assert_eq!(*x, 2);
- assert_eq!(rusti::atomic_cxchg_rel(&mut *x, 2, 1), 2);
+ assert_eq!(rusti::atomic_cxchg_rel(&mut *x, 2, 1), (2, true));
assert_eq!(*x, 1);
assert_eq!(rusti::atomic_xchg(&mut *x, 0), 1);
assert_eq!(rusti::atomic_xsub_acq(&mut *x, 1), 2);
assert_eq!(rusti::atomic_xsub_rel(&mut *x, 1), 1);
assert_eq!(*x, 0);
+
+ loop {
+ let res = rusti::atomic_cxchgweak(&mut *x, 0, 1);
+ assert_eq!(res.0, 0);
+ if res.1 {
+ break;
+ }
+ }
+ assert_eq!(*x, 1);
+
+ loop {
+ let res = rusti::atomic_cxchgweak_acq(&mut *x, 1, 2);
+ assert_eq!(res.0, 1);
+ if res.1 {
+ break;
+ }
+ }
+ assert_eq!(*x, 2);
+
+ loop {
+ let res = rusti::atomic_cxchgweak_rel(&mut *x, 2, 3);
+ assert_eq!(res.0, 2);
+ if res.1 {
+ break;
+ }
+ }
+ assert_eq!(*x, 3);
}
}