1; RUN: opt -S -passes=bdce < %s | FileCheck %s 2 3target triple = "x86_64-unknown-linux-gnu" 4 5define void @PR34211(ptr %p) { 6; CHECK-LABEL: @PR34211 7 %not_demanded_but_not_dead = load volatile i16, ptr %p 8 call void @no_side_effects_so_dead(i16 %not_demanded_but_not_dead) 9 ret void 10 11; CHECK: %not_demanded_but_not_dead = load volatile i16, ptr %p 12; CHECK-NEXT: ret void 13} 14 15declare void @no_side_effects_so_dead(i16) #0 16 17attributes #0 = { nounwind readnone willreturn } 18 19