| ; 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 | |
| } |