; RUN: opt -S < %s -passes=dse | FileCheck %s

declare void @llvm.sideeffect()

; Dead store elimination across a @llvm.sideeffect.

; CHECK-LABEL: dse
; CHECK: store
; CHECK-NOT: store
define void @dse(ptr %p) {
    store float 0.0, ptr %p
    call void @llvm.sideeffect()
    store float 0.0, ptr %p
    ret void
}