19 lines · plain
1; RUN: opt -S -passes=bdce < %s | FileCheck %s2 3target triple = "x86_64-unknown-linux-gnu"4 5define void @PR34211(ptr %p) {6; CHECK-LABEL: @PR342117 %not_demanded_but_not_dead = load volatile i16, ptr %p8 call void @no_side_effects_so_dead(i16 %not_demanded_but_not_dead)9 ret void10 11; CHECK: %not_demanded_but_not_dead = load volatile i16, ptr %p12; CHECK-NEXT: ret void13}14 15declare void @no_side_effects_so_dead(i16) #016 17attributes #0 = { nounwind readnone willreturn }18 19