llvm/test/Transforms/EarlyCSE/writeonly.ll

; RUN: opt -S -early-cse -earlycse-debug-hash < %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
}