13 lines · plain
1; RUN: opt -passes=mem2reg < %s -S | FileCheck %s2 3; mem2reg is allowed with arbitrary atomic operations (although we only support4; it for atomic load and store at the moment).5define i32 @test1(i32 %x) {6; CHECK-LABEL: @test1(7; CHECK: ret i32 %x8 %a = alloca i329 store atomic i32 %x, ptr %a seq_cst, align 410 %r = load atomic i32, ptr %a seq_cst, align 411 ret i32 %r12}13