src/libcore/tests/atomic.rs

   1 use core::sync::atomic::Ordering::SeqCst;
   2 use core::sync::atomic::*;
   3
   4 #[test]
   5 fn bool_() {
   6     let a = AtomicBool::new(false);
   7     assert_eq!(a.compare_and_swap(false, true, SeqCst), false);
   8     assert_eq!(a.compare_and_swap(false, true, SeqCst), true);
   9
  10     a.store(false, SeqCst);
  11     assert_eq!(a.compare_and_swap(false, true, SeqCst), false);
  12 }
  13
  14 #[test]
  15 fn bool_and() {
  16     let a = AtomicBool::new(true);
  17     assert_eq!(a.fetch_and(false, SeqCst), true);
  18     assert_eq!(a.load(SeqCst), false);
  19 }
  20
  21 #[test]
  22 fn bool_nand() {
  23     let a = AtomicBool::new(false);
  24     assert_eq!(a.fetch_nand(false, SeqCst), false);
  25     assert_eq!(a.load(SeqCst), true);
  26     assert_eq!(a.fetch_nand(false, SeqCst), true);
  27     assert_eq!(a.load(SeqCst), true);
  28     assert_eq!(a.fetch_nand(true, SeqCst), true);
  29     assert_eq!(a.load(SeqCst), false);
  30     assert_eq!(a.fetch_nand(true, SeqCst), false);
  31     assert_eq!(a.load(SeqCst), true);
  32 }
  33
  34 #[test]
  35 fn uint_and() {
  36     let x = AtomicUsize::new(0xf731);
  37     assert_eq!(x.fetch_and(0x137f, SeqCst), 0xf731);
  38     assert_eq!(x.load(SeqCst), 0xf731 & 0x137f);
  39 }
  40
  41 #[test]
  42 fn uint_nand() {
  43     let x = AtomicUsize::new(0xf731);
  44     assert_eq!(x.fetch_nand(0x137f, SeqCst), 0xf731);
  45     assert_eq!(x.load(SeqCst), !(0xf731 & 0x137f));
  46 }
  47
  48 #[test]
  49 fn uint_or() {
  50     let x = AtomicUsize::new(0xf731);
  51     assert_eq!(x.fetch_or(0x137f, SeqCst), 0xf731);
  52     assert_eq!(x.load(SeqCst), 0xf731 | 0x137f);
  53 }
  54
  55 #[test]
  56 fn uint_xor() {
  57     let x = AtomicUsize::new(0xf731);
  58     assert_eq!(x.fetch_xor(0x137f, SeqCst), 0xf731);
  59     assert_eq!(x.load(SeqCst), 0xf731 ^ 0x137f);
  60 }
  61
  62 #[test]
  63 fn int_and() {
  64     let x = AtomicIsize::new(0xf731);
  65     assert_eq!(x.fetch_and(0x137f, SeqCst), 0xf731);
  66     assert_eq!(x.load(SeqCst), 0xf731 & 0x137f);
  67 }
  68
  69 #[test]
  70 fn int_nand() {
  71     let x = AtomicIsize::new(0xf731);
  72     assert_eq!(x.fetch_nand(0x137f, SeqCst), 0xf731);
  73     assert_eq!(x.load(SeqCst), !(0xf731 & 0x137f));
  74 }
  75
  76 #[test]
  77 fn int_or() {
  78     let x = AtomicIsize::new(0xf731);
  79     assert_eq!(x.fetch_or(0x137f, SeqCst), 0xf731);
  80     assert_eq!(x.load(SeqCst), 0xf731 | 0x137f);
  81 }
  82
  83 #[test]
  84 fn int_xor() {
  85     let x = AtomicIsize::new(0xf731);
  86     assert_eq!(x.fetch_xor(0x137f, SeqCst), 0xf731);
  87     assert_eq!(x.load(SeqCst), 0xf731 ^ 0x137f);
  88 }
  89
  90 static S_FALSE: AtomicBool = AtomicBool::new(false);
  91 static S_TRUE: AtomicBool = AtomicBool::new(true);
  92 static S_INT: AtomicIsize = AtomicIsize::new(0);
  93 static S_UINT: AtomicUsize = AtomicUsize::new(0);
  94
  95 #[test]
  96 fn static_init() {
  97     // Note that we're not really testing the mutability here but it's important
  98     // on Android at the moment (#49775)
  99     assert!(!S_FALSE.swap(true, SeqCst));
 100     assert!(S_TRUE.swap(false, SeqCst));
 101     assert!(S_INT.fetch_add(1, SeqCst) == 0);
 102     assert!(S_UINT.fetch_add(1, SeqCst) == 0);
 103 }