1 // run-pass
2 #![feature(intrinsics)]
3
4 mod rusti {
5 extern "rust-intrinsic" {
atomic_cxchg<T>(dst: *mut T, old: T, src: T) -> (T, bool)6 pub fn atomic_cxchg<T>(dst: *mut T, old: T, src: T) -> (T, bool);
atomic_cxchg_acq<T>(dst: *mut T, old: T, src: T) -> (T, bool)7 pub fn atomic_cxchg_acq<T>(dst: *mut T, old: T, src: T) -> (T, bool);
atomic_cxchg_rel<T>(dst: *mut T, old: T, src: T) -> (T, bool)8 pub fn atomic_cxchg_rel<T>(dst: *mut T, old: T, src: T) -> (T, bool);
9
atomic_cxchgweak<T>(dst: *mut T, old: T, src: T) -> (T, bool)10 pub fn atomic_cxchgweak<T>(dst: *mut T, old: T, src: T) -> (T, bool);
atomic_cxchgweak_acq<T>(dst: *mut T, old: T, src: T) -> (T, bool)11 pub fn atomic_cxchgweak_acq<T>(dst: *mut T, old: T, src: T) -> (T, bool);
atomic_cxchgweak_rel<T>(dst: *mut T, old: T, src: T) -> (T, bool)12 pub fn atomic_cxchgweak_rel<T>(dst: *mut T, old: T, src: T) -> (T, bool);
13
atomic_load<T>(src: *const T) -> T14 pub fn atomic_load<T>(src: *const T) -> T;
atomic_load_acq<T>(src: *const T) -> T15 pub fn atomic_load_acq<T>(src: *const T) -> T;
16
atomic_store<T>(dst: *mut T, val: T)17 pub fn atomic_store<T>(dst: *mut T, val: T);
atomic_store_rel<T>(dst: *mut T, val: T)18 pub fn atomic_store_rel<T>(dst: *mut T, val: T);
19
atomic_xchg<T>(dst: *mut T, src: T) -> T20 pub fn atomic_xchg<T>(dst: *mut T, src: T) -> T;
atomic_xchg_acq<T>(dst: *mut T, src: T) -> T21 pub fn atomic_xchg_acq<T>(dst: *mut T, src: T) -> T;
atomic_xchg_rel<T>(dst: *mut T, src: T) -> T22 pub fn atomic_xchg_rel<T>(dst: *mut T, src: T) -> T;
23
atomic_xadd<T>(dst: *mut T, src: T) -> T24 pub fn atomic_xadd<T>(dst: *mut T, src: T) -> T;
atomic_xadd_acq<T>(dst: *mut T, src: T) -> T25 pub fn atomic_xadd_acq<T>(dst: *mut T, src: T) -> T;
atomic_xadd_rel<T>(dst: *mut T, src: T) -> T26 pub fn atomic_xadd_rel<T>(dst: *mut T, src: T) -> T;
27
atomic_xsub<T>(dst: *mut T, src: T) -> T28 pub fn atomic_xsub<T>(dst: *mut T, src: T) -> T;
atomic_xsub_acq<T>(dst: *mut T, src: T) -> T29 pub fn atomic_xsub_acq<T>(dst: *mut T, src: T) -> T;
atomic_xsub_rel<T>(dst: *mut T, src: T) -> T30 pub fn atomic_xsub_rel<T>(dst: *mut T, src: T) -> T;
31 }
32 }
33
main()34 pub fn main() {
35 unsafe {
36 let mut x: Box<_> = Box::new(1);
37
38 assert_eq!(rusti::atomic_load(&*x), 1);
39 *x = 5;
40 assert_eq!(rusti::atomic_load_acq(&*x), 5);
41
42 rusti::atomic_store(&mut *x,3);
43 assert_eq!(*x, 3);
44 rusti::atomic_store_rel(&mut *x,1);
45 assert_eq!(*x, 1);
46
47 assert_eq!(rusti::atomic_cxchg(&mut *x, 1, 2), (1, true));
48 assert_eq!(*x, 2);
49
50 assert_eq!(rusti::atomic_cxchg_acq(&mut *x, 1, 3), (2, false));
51 assert_eq!(*x, 2);
52
53 assert_eq!(rusti::atomic_cxchg_rel(&mut *x, 2, 1), (2, true));
54 assert_eq!(*x, 1);
55
56 assert_eq!(rusti::atomic_xchg(&mut *x, 0), 1);
57 assert_eq!(*x, 0);
58
59 assert_eq!(rusti::atomic_xchg_acq(&mut *x, 1), 0);
60 assert_eq!(*x, 1);
61
62 assert_eq!(rusti::atomic_xchg_rel(&mut *x, 0), 1);
63 assert_eq!(*x, 0);
64
65 assert_eq!(rusti::atomic_xadd(&mut *x, 1), 0);
66 assert_eq!(rusti::atomic_xadd_acq(&mut *x, 1), 1);
67 assert_eq!(rusti::atomic_xadd_rel(&mut *x, 1), 2);
68 assert_eq!(*x, 3);
69
70 assert_eq!(rusti::atomic_xsub(&mut *x, 1), 3);
71 assert_eq!(rusti::atomic_xsub_acq(&mut *x, 1), 2);
72 assert_eq!(rusti::atomic_xsub_rel(&mut *x, 1), 1);
73 assert_eq!(*x, 0);
74
75 loop {
76 let res = rusti::atomic_cxchgweak(&mut *x, 0, 1);
77 assert_eq!(res.0, 0);
78 if res.1 {
79 break;
80 }
81 }
82 assert_eq!(*x, 1);
83
84 loop {
85 let res = rusti::atomic_cxchgweak_acq(&mut *x, 1, 2);
86 assert_eq!(res.0, 1);
87 if res.1 {
88 break;
89 }
90 }
91 assert_eq!(*x, 2);
92
93 loop {
94 let res = rusti::atomic_cxchgweak_rel(&mut *x, 2, 3);
95 assert_eq!(res.0, 2);
96 if res.1 {
97 break;
98 }
99 }
100 assert_eq!(*x, 3);
101 }
102 }
103