test/Transforms/EarlyCSE/writeonly.ll

   1 ; RUN: opt -S -early-cse < %s | FileCheck %s
   2
   3 @var = global i32 undef
   4 declare void @foo() nounwind
   5
   6 define void @test() {
   7 ; CHECK-LABEL: @test(
   8 ; CHECK-NOT: store
   9   store i32 1, i32* @var
  10 ; CHECK: call void @foo()
  11   call void @foo() writeonly
  12 ; CHECK: store i32 2, i32* @var
  13   store i32 2, i32* @var
  14   ret void
  15 }