src/test/run-pass/atomic-compare_exchange.rs

   1 // Copyright 2016 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11 #![feature(extended_compare_and_swap)]
  12 use std::sync::atomic::{AtomicIsize, ATOMIC_ISIZE_INIT};
  13 use std::sync::atomic::Ordering::*;
  14
  15 static ATOMIC: AtomicIsize = ATOMIC_ISIZE_INIT;
  16
  17 fn main() {
  18     // Make sure trans can emit all the intrinsics correctly
  19     ATOMIC.compare_exchange(0, 1, Relaxed, Relaxed).ok();
  20     ATOMIC.compare_exchange(0, 1, Acquire, Relaxed).ok();
  21     ATOMIC.compare_exchange(0, 1, Release, Relaxed).ok();
  22     ATOMIC.compare_exchange(0, 1, AcqRel, Relaxed).ok();
  23     ATOMIC.compare_exchange(0, 1, SeqCst, Relaxed).ok();
  24     ATOMIC.compare_exchange(0, 1, Acquire, Acquire).ok();
  25     ATOMIC.compare_exchange(0, 1, AcqRel, Acquire).ok();
  26     ATOMIC.compare_exchange(0, 1, SeqCst, Acquire).ok();
  27     ATOMIC.compare_exchange(0, 1, SeqCst, SeqCst).ok();
  28     ATOMIC.compare_exchange_weak(0, 1, Relaxed, Relaxed).ok();
  29     ATOMIC.compare_exchange_weak(0, 1, Acquire, Relaxed).ok();
  30     ATOMIC.compare_exchange_weak(0, 1, Release, Relaxed).ok();
  31     ATOMIC.compare_exchange_weak(0, 1, AcqRel, Relaxed).ok();
  32     ATOMIC.compare_exchange_weak(0, 1, SeqCst, Relaxed).ok();
  33     ATOMIC.compare_exchange_weak(0, 1, Acquire, Acquire).ok();
  34     ATOMIC.compare_exchange_weak(0, 1, AcqRel, Acquire).ok();
  35     ATOMIC.compare_exchange_weak(0, 1, SeqCst, Acquire).ok();
  36     ATOMIC.compare_exchange_weak(0, 1, SeqCst, SeqCst).ok();
  37 }