13 lines
372 B
LLVM
13 lines
372 B
LLVM
|
; 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-LABEL: @test1(
|
||
|
|
; CHECK: ret i32 %x
|
||
|
|
%a = alloca i32
|
||
|
|
store atomic i32 %x, i32* %a seq_cst, align 4
|
||
|
|
%r = load atomic i32, i32* %a seq_cst, align 4
|
||
|
|
ret i32 %r
|
||
|
|
}
|