blob: 982c41318b105b0538af72493663a07500e0945d [file] [log] [blame]
; RUN: opt -mem2reg < %s -S | FileCheck %s
; mem2reg is allowed with arbitrary atomic operations (although we only support
; it for atomic load and store at the moment).
define i32 @test1(i32 %x) {
; CHECK: @test1
; CHECK: ret i32 %x
%a = alloca i32
store atomic i32 %x, i32* %a seq_cst, align 4
%r = load atomic i32* %a seq_cst, align 4
ret i32 %r
}