1 ; RUN: opt -mem2reg < %s -S | FileCheck %s
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) {
9 store atomic i32 %x, i32* %a seq_cst, align 4
10 %r = load atomic i32* %a seq_cst, align 4