; RUN: opt -S -early-cse < %s | FileCheck %s

@var = global i32 undef
declare void @foo() nounwind

define void @test() {
; CHECK-LABEL: @test(
; CHECK-NOT: store
  store i32 1, i32* @var
; CHECK: call void @foo()
  call void @foo() writeonly
; CHECK: store i32 2, i32* @var
  store i32 2, i32* @var
  ret void
}