test/Assembler/atomic.ll

   1 ; RUN: opt < %s | opt -S | FileCheck %s
   2 ; Basic smoke test for atomic operations.
   3
   4 define void @f(i32* %x) {
   5   ; CHECK: load atomic i32* %x unordered, align 4
   6   load atomic i32* %x unordered, align 4
   7   ; CHECK: load atomic volatile i32* %x singlethread acquire, align 4
   8   load atomic volatile i32* %x singlethread acquire, align 4
   9   ; CHECK: store atomic i32 3, i32* %x release, align 4
  10   store atomic i32 3, i32* %x release, align 4
  11   ; CHECK: store atomic volatile i32 3, i32* %x singlethread monotonic, align 4
  12   store atomic volatile i32 3, i32* %x singlethread monotonic, align 4
  13   ; CHECK: cmpxchg i32* %x, i32 1, i32 0 singlethread monotonic monotonic
  14   cmpxchg i32* %x, i32 1, i32 0 singlethread monotonic monotonic
  15   ; CHECK: cmpxchg volatile i32* %x, i32 0, i32 1 acq_rel acquire
  16   cmpxchg volatile i32* %x, i32 0, i32 1 acq_rel acquire
  17   ; CHECK: cmpxchg i32* %x, i32 42, i32 0 acq_rel monotonic
  18   cmpxchg i32* %x, i32 42, i32 0 acq_rel monotonic
  19   ; CHECK: cmpxchg weak i32* %x, i32 13, i32 0 seq_cst monotonic
  20   cmpxchg weak i32* %x, i32 13, i32 0 seq_cst monotonic
  21   ; CHECK: atomicrmw add i32* %x, i32 10 seq_cst
  22   atomicrmw add i32* %x, i32 10 seq_cst
  23   ; CHECK: atomicrmw volatile xchg  i32* %x, i32 10 monotonic
  24   atomicrmw volatile xchg i32* %x, i32 10 monotonic
  25   ; CHECK: fence singlethread release
  26   fence singlethread release
  27   ; CHECK: fence seq_cst
  28   fence seq_cst
  29   ret void
  30 }