test/Transforms/Mem2Reg/atomic.ll

   1 ; RUN: opt -mem2reg < %s -S | FileCheck %s
   2
   3 ; mem2reg is allowed with arbitrary atomic operations (although we only support
   4 ; it for atomic load and store at the moment).
   5 define i32 @test1(i32 %x) {
   6 ; CHECK-LABEL: @test1(
   7 ; CHECK: ret i32 %x
   8   %a = alloca i32
   9   store atomic i32 %x, i32* %a seq_cst, align 4
  10   %r = load atomic i32* %a seq_cst, align 4
  11   ret i32 %r
  12 }